Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
复制标题
有界局部团宽度类解释的模型检查
DOI：
10.1145/3531130.3533367
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Toruńczyk, Szymon
中科院分区：
文献类型：
--
作者：
Bonnet, Édouard;Dreier, Jan;Gajarský, Jakub;Kreutzer, Stephan;Mählmann, Nikolas;Simon, Pierre;Toruńczyk, Szymon
解释是通过使用一阶公式重新定义其边关系来将输入图映射到输出图的操作。这个丰富的框架，包括操作，如采取补充或固定的权力的一个图（非常）specials.We证明了有一个FPT算法的一阶模型检测问题的一类图是一阶解释的有界局部campus宽度的图。值得注意的是，这包括平面图的解释，和类的有界generation.To获得这一结果，我们开发了一个新的工具，它的工作在一个非常一般的设置NIP类，我们相信可以在未来获得类似的结果的一个重要组成部分。
An interpretation is an operation that maps an input graph to an output graph by redefining its edge relation using a first-order formula. This rich framework includes operations such as taking the complement or a fixed power of a graph as (very) special cases.We prove that there is an FPT algorithm for the first-order model checking problem on classes of graphs which are first-order interpretable in classes of graphs with bounded local cliquewidth. Notably, this includes interpretations of planar graphs, and of classes of bounded genus in general.To obtain this result we develop a new tool which works in a very general setting of NIP classes and which we believe can be an important ingredient in obtaining similar results in the future.
登录
查看更多内容
稳定性、f.c.p. 和超稳定性；
DOI：
--
发表时间：
1971
期刊：
影响因子：
--
作者：
S. Shelah;S. Shelah
通讯作者：
S. Shelah
密集图类 FO 模型检查的新视角
DOI：
10.1145/3383206
发表时间：
2018
期刊：
ACM Transactions on Computational Logic (TOCL)
影响因子：
--
作者：
Jakub Gajarský;Petr Hliněný;J. Obdržálek;D. Lokshtanov;M. Ramanujan
通讯作者：
M. Ramanujan
NIP 理论指南
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
Pierre Simon
通讯作者：
Pierre Simon
DOI：
10.1109/lics52264.2021.9470680
发表时间：
2021-06
期刊：
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Jannik Dreier
通讯作者：
Jannik Dreier
DOI：
10.1007/10692760_1
发表时间：
1998-06
期刊：
--
影响因子：
--
作者：
B. Courcelle;J. Makowsky;Udi Rotics
通讯作者：
B. Courcelle;J. Makowsky;Udi Rotics