×
布鲁诺·库塞尔;西里尔·加沃维尔;马马杜·穆斯塔法·坎特

紧凑的标签用于高效的一阶模型检查。 （英语） Zbl 1237.90191号

J.库姆。最佳方案。 21，第1期，第19-46页（2011年）.
本文考虑了可以从附加到顶点的对数长度标签中检查的图形属性。证明了在“很好地局部clique-width-decomposable”的每一类图中，存在这样一个用于检查带有自由集变量的一阶公式的标号。这个概念概括了一个很好的局部树可分解类的概念。这类图可以被有限重叠的有界围宽图覆盖。还考虑了有界展开图类上有界一阶公式的标号。
审核人：马蒂亚斯·埃尔戈特（奥克兰）

引用于4文件

MSC公司：

90C27型 组合优化
60年第68季度 规范和验证（程序逻辑、模型检查等）
68兰特 计算机科学中的图论（包括图形绘制）

关键词：

一阶逻辑;标签方案;地方集团宽度;当地树木宽度;局部有界团宽度
PDF格式BibTeX公司 XML格式引用
\textit{B.Courcelle}等人，J.Comb。最佳方案。21、1号、19-46（2011；Zbl 1237.90191）
全文： 内政部 arXiv公司

参考文献：

[1] Arnborg S，Lagergren J，Seese D（1991）树可分解图的简单问题。J算法12（2）：308–340·Zbl 0734.68073号 ·doi:10.1016/0196-6774（91）90006-K
[2] Bagan G（2009）《逻辑的算法与复杂性》。卡昂大学/卡昂诺曼底大学博士论文
[3] Blumensath A，Courcelle B（2006），可识别性，超图操作和逻辑类型。Inf计算204（6）：853–919·Zbl 1110.03021号 ·doi:10.1016/j.ic.2005.11.006
[4] Bodlaender HL（1996）一种求小树宽的树分解的线性时间算法。SIAM J计算25（6）：1305–1317·Zbl 0864.68074号 ·doi:10.1137/S00975397932321219
[5] Bodlaender HL（2007）《树宽度：结构和算法》。In：Principe G，Zaks S（编辑）《结构信息和通信复杂性》（SIROCCO）。LNCS，第4474卷。柏林施普林格，第11-25页·Zbl 1201.05076号
[6] Courcelle B，Olariu S（2000）图的clique-width的上界。离散应用数学101（1-3）：77–114·Zbl 0958.05105号 ·doi:10.1016/S0166-218X（99）00184-5
[7] Courcelle B，Twigg A（2009）有界集团宽度图上的约束路径标记。出现在理论计算系统。完整版本可从doi:10.1007/s00224-009-9211-9获得
[8] Courcelle B，Vanica R（2003）有界剪接宽度图的查询高效实现。离散应用数学131（1）：129–150·Zbl 1029.68113号 ·doi:10.1016/S0166-218X（02）00421-3
[9] Courcelle B，Makowsky JA，Rotics U（2000）有界团宽图上的线性时间可解优化问题。理论计算系统33（2）：125–150·兹比尔1009.68102 ·doi:10.1007/s002249910009
[10] Courcelle B，Gavoille C，KantéMM，Twigg A（2008），带障碍物平面网络中连通性检查的最佳标记。手稿，2008年。关于3连通平面图的扩展摘要发表在《离散数学电子笔记》31:151–155（2008）中。第一届拓扑与几何图论会议纪要，巴黎，2008·Zbl 1267.05155号
[11] Dawar A、Grohe M、Kreutzer S（2007）《当地不包括未成年人》。第22届IEEE计算机科学逻辑研讨会（LICS）。IEEE计算机协会，纽约，第270–279页
[12] Diestel R（2005）图论，第三版。柏林施普林格·Zbl 1074.05001号
[13] Durand A，Grandjean E（2007）有界度结构上的一阶查询可以用恒定延迟计算。ACM事务计算日志8（4）·兹比尔1367.68086
[14] Eppstein D（1994）树状图和二部子图列表算法。Inf过程Lett 51（4）：207–211·Zbl 0813.68115号 ·doi:10.1016/0020-0190（94）90121-X
[15] Fisher E，Makowsky JA，Ravve EV（2008）有界树宽或楔形宽度公式的真值赋值计算。离散应用数学156（4）：511–529·Zbl 1131.68093号 ·doi:10.1016/j.dam.2006.06.020
[16] Frick M（2004）局部树可分解类的广义模型检验。理论计算系统37（1）：157–191·Zbl 1101.68727号 ·doi:10.1007/s00224-003-1111-9
[17] Frick M，Grohe M（2001）确定局部树分解结构的一阶性质。美国临床医学杂志48（1）：1184–1206·Zbl 1323.03014号 ·数字对象标识代码：10.1145/504794.504798
[18] Gaifman H（1982）关于本地和非本地属性。摘自：Stern J（ed）herbrand研讨会论文集，81年逻辑座谈会。阿姆斯特丹霍兰德北部，第105–135页
[19] Gavoille C，Peleg D，（2003）紧凑和本地化分布式数据结构。分布计算16（2–3）：111–120·doi:10.1007/s00446-002-0073-5
[20] Grohe M（2007）《逻辑、图形和算法》。收录：Flum J、Grädel E、Wilke T（eds）Logic、automata、history和perspectives。阿姆斯特丹大学出版社，阿姆斯特丹，第357–422页·Zbl 1244.03053号
[21] Gurski F，Wanke E（2007）有界团宽的线图。离散数学307（22）：2734–2754·Zbl 1128.05049号 ·doi:10.1016/j.disc.2007.01.020
[22] Hliněn଑P，Oum S（2008）《寻找分支分解和等级分解》。SIAM J计算38（3）：1012–1032·兹比尔1163.05331 ·数字对象标识代码：10.1137/070685920
[23] Kamiñski M，Lozin V，MilanićM（2008）有界围宽图的最新发展。离散应用数学。出版中·Zbl 1211.05165号
[24] KantéMM（2008）图结构：一些算法应用。波尔多第一大学博士论文
[25] Kreutzer S（2008）算法元理论。收录：Grohe M，Neidermeier R（eds）参数化和精确计算（IWPEC）国际研讨会。LNCS，第5018卷。柏林施普林格，第10-12页。arXiv:0902.3616v1上提供了完整版本·Zbl 1142.68458号
[26] Libkin L（2004）有限模型理论基础。柏林施普林格·Zbl 1060.03002号
[27] Lozin V（2008）从树宽到剪贴宽度：排除单位间隔图。摘自：Hong S，Nagamochi H，Fukunaga T（eds）国际算法与计算研讨会（ISAAC）。LNCS，第5369卷。柏林施普林格，第871-882页·Zbl 1183.05070号
[28] Nešetřil J，Ossona de Mendez P（2006）线性时间低树宽分区和算法结果。收录：Kleinberg JM（ed）第38届ACM计算理论年会。ACM，纽约，第391-400页·兹比尔1301.05268
[29] Oum S，Seymour P（2006）《近似集团宽度和分支宽度》。J梳理论，Ser B 96（4）：514–528·Zbl 1114.05022号 ·doi:10.1016/j.jctb.2005.10.006
[30] 参见D（1996）线性时间可计算问题和一阶描述。数学结构计算科学6（6）：505–526·Zbl 0862.68056号
[31] Suchan K，Todinca I（2007）关于有界NLC-宽度图的幂（Clique-width）。离散应用数学155（14）：1885–1893·Zbl 1129.68051号 ·doi:10.1016/j.dam.2007.03.014
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。