×
简·德雷尔;尼古拉斯·马尔曼;塞巴斯蒂安·西贝茨

结构稀疏图类上的一阶模型检查。 （英语） Zbl 07844613号

Saha，Barna（编辑）等人，第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20日至23日。纽约州纽约市：计算机协会（ACM）。567-580 (2023).

MSC公司：

68季度xx 计算理论

关键词：

一阶模型检验;结构图论
PDF格式BibTeX公司 XML格式引用
\textit{J.Dreier}等人，in：第55届ACM SIGACT计算理论研讨会论文集，STOC’23，美国佛罗里达州奥兰多，2023年6月20-23日。纽约州纽约市：计算机协会（ACM）。567-580（2023年；兹bl 07844613）
全文： DOI程序 arXiv公司

参考文献：

[1] 2016年，沃里克算法、逻辑和结构研讨会——开放问题会议。https://warwick.ac.uk/fac/sci/maths/people/staff/daniel_kral/alglogstr/openproblems.pdf[在线；访问日期：2023年2月7日]
[2] 汉斯·阿德勒和伊索尔德·阿德勒。2014.将无处密集的图类解释为模型理论的经典概念。《欧洲组合数学杂志》，36（2014），322-330·Zbl 1284.05155号
[3] John T Baldwin和Saharon Shelah。1985.二阶量词和理论的复杂性。。《圣母院形式逻辑杂志》，26，3（1985），229-303·Zbl 0596.03033号
[4] 埃杜亚德·博内、扬·德雷尔、贾库布·加亚尔斯克、斯蒂芬·克鲁泽、尼古拉斯·马尔曼、皮埃尔·西蒙和斯齐蒙·托伦茨克。2022.有界局部线宽类解释的模型检查。在LICS’22中。美国医学会，54:1-54:13。
[5] 埃杜阿尔·博内、乌戈·乔坎蒂、帕特里斯·奥斯纳·德门德斯、皮埃尔·西蒙、圣托马塞和西蒙·托伦奇克。2022.双宽IV：有序图和矩阵。在STOC 2022中。924-937.
[6] 埃杜亚德·博内、恩·荣·金、圣托马塞和雷米·瓦特里甘特。2021.双宽I：可控制FO模型检查。美国医学会杂志（JACM），69，1（2021），1-46·Zbl 1523.68039号
[7] Samuel Braunfeld和Michael C Laskowski。2022.一元NIP的存在特征。arXiv预打印arXiv:2209.05120·Zbl 07428294号
[8] 布鲁诺·库塞尔（Bruno Courcelle）。图的一元二阶逻辑I.有限图的可识别集。信息与计算，85，1（1990），12-75·Zbl 0722.03008号
[9] 布鲁诺·库塞尔（Bruno Courcelle）、约翰·马科斯基（Johann A Makowsky）和乌迪·罗蒂奇（Udi Rotics）。有界剪接宽度图上的线性时间可解优化问题。计算系统理论，33，2（2000），125-150·Zbl 1009.68102号
[10] Anuj Dawar、Martin Grohe和Stephan Kreutzer。2007.本地排除未成年人。在LICS 2007中。270-279.
[11] Jan Dreier、Jakub Gajarský、Sandra Kiefer、MichałPilipczuk和Szymon Toruńczyk。2022.稀疏图转导的树状分解。在LICS 2022中。计算机协会，第31条，14页。编号：9781450393515
[12] Jan Dreier、Nikolas Mählmann和Sebastian Siebertz。2023.结构稀疏图类的一阶模型检查。arXiv预打印arXiv:2302.03527。
[13] 简·德雷尔、尼古拉斯·马尔曼、塞巴斯蒂安·西贝茨和西蒙·托伦奇克。[未注明日期]。无处重温密集模型检查。即将发生的
[14] 简·德雷尔、尼古拉斯·马尔曼、塞巴斯蒂安·西贝茨和西蒙·托伦奇克。2022.单子稳定和单子NIP类中的不可分割和广泛性。arXiv预打印arXiv:2206.13765v1。
[15] Zdeněk Dvořák、Daniel Král和Robin Thomas。2010.确定稀疏图的一阶属性。2010年IEEE第51届计算机科学基础年会。133-142.
[16] 海因茨·迪特尔·埃宾豪斯（Heinz-Dieter Ebbinghaus）和约尔格·弗鲁姆（Jörg Flum）。1999.有限模型理论。施普林格科技与商业媒体·Zbl 0932.03032号
[17] Kord Eickmeyer和Ken-ichi Kawarabayashi。2017.地图上的FO模型检查。在计算理论基础国际研讨会上。204-216中·Zbl 1495.68132号
[18] Jörg Flum和Martin Grohe。2001.固定参数可处理性、可定义性和模型检查。SIAM J.计算。，31, 1 (2001), 113-145. ·Zbl 0992.68060号
[19] 马库斯·弗里克和马丁·格罗。2001.确定局部树分解结构的一阶性质。《美国医学会杂志》（JACM），48，6（2001），1184-1206·Zbl 1323.03014号
[20] 哈伊姆·盖夫曼。1982年。关于本地和非本地财产。在逻辑和数学基础研究中。爱思唯尔107，105-135·兹比尔0518.03008
[21] 雅库布·加亚尔斯克（Jakub Gajarskỳ）、马克西米利安·戈尔斯基（Maximilian Gorsky）和斯蒂芬·克鲁泽（Stephan Kreutzer）。2020年。图的FO逻辑的微分对策、局部性和模型检查。arXiv预印本arXiv:2007.11345。
[22] 贾库布·加亚尔斯克（Jakub Gajarsk）、彼得·赫林（Petr Hlin）、扬·奥布德·扎勒克（Jan Obdr zalek）、丹尼尔·洛克斯塔诺夫（Daniel Lokshtanov）和拉马努扬（Ramanujan）女士。2020年。关于稠密图类的FO模型检查的新观点。ACM计算逻辑学报（TOCL），21，4（2020），1-23·Zbl 1446.68093号
[23] 雅库布·加亚尔斯克（Jakub Gajarskỳ）、斯蒂芬·克鲁泽（Stephan Kreutzer）、雅罗斯拉夫·内什（Jaroslav Nešetřil）、帕特里斯·奥斯索纳·德门德斯（Patrice Ossona De Mendez）、米查·皮里普祖克（MichałPilipczuk）、塞巴斯蒂安·西贝茨（Sebastian Siebertz）和斯蒙·托鲁恩奇克（Szymon Toru nn czyk）。2020年。有界扩张类的一阶解释。ACM计算逻辑学报（TOCL），21，4（2020），1-41·Zbl 1446.68094号
[24] 雅库布·加亚尔斯克、尼古拉斯·马尔曼、罗斯·麦卡蒂、皮埃尔·奥斯曼、米夏·皮利普祖克、沃伊切赫·普尔兹比舍夫斯基、塞巴斯蒂安·西贝茨、马雷克·索科·奥斯基和斯齐蒙·托伦奇。2023.单函数稳定图类的Flipper游戏。arXiv预打印arXiv:2301.13735v1。
[25] 雅库布·加亚尔斯克（Jakub Gajarskł）、米查·皮利普祖克（Micha \322]Pilipczuk）、沃伊切赫·普尔兹比舍夫斯基（Wojciech Przybyszewski）和斯齐蒙·托伦奇克。2022.双胞胎宽度和类型。在第49届国际自动化、语言和编程学术讨论会上。123:1-123:21. 国际标准编号：978-3-95977-235-8国际标准编号1868-8969
[26] 雅库布·加亚尔斯克（Jakub Gajarskỳ）、米查·皮利普祖克（MichałPilipczuk）和西蒙·托伦奇克（Szymon Torunn czyk）。2022.有界双宽的稳定图。第37届ACM/IEEE计算机科学逻辑年会论文集。1-12.
[27] Robert Ganian、Petr Hlin nỳ、Daniel Král、Jan Obdr zalek、Jarett Schwartz和Jakub Teska。2013.FO区间图的模型检验。在自动化、语言和编程国际学术讨论会上。250-262. ·Zbl 1334.68132号
[28] Robert Ganian、Petr Hlin n、Alexander Langer、Jan Obdr zalek、Peter Rossmanith和Somnath Sikdar。2014年，MSO1模型检查复杂性下限。J.计算。系统科学。，80, 1 (2014), 180-194. ·Zbl 1311.68087号
[29] 马丁·格罗。2008.逻辑、图形和算法。。逻辑与自动机，2（2008），357-422·Zbl 1244.03053号
[30] 马丁·格罗和斯蒂芬·克鲁泽。2011.算法元定理的方法。有限组合数学中的模型理论方法，558（2011），181-206·Zbl 1278.68099号
[31] 马丁·格罗（Martin Grohe）、斯蒂芬·克鲁泽（Stephan Kreutzer）、罗曼·拉比诺维奇（Roman Rabinovich）、塞巴斯蒂安·西贝茨（Sebastian Siebertz）和康斯坦蒂诺斯·斯塔夫罗普洛斯。2018.着色并覆盖无处稠密的图。SIAM离散数学期刊，32，4（2018），2467-2481·Zbl 1398.05121号
[32] Martin Grohe、Stephan Kreutzer和Sebastian Siebertz。2017.确定无处稠密图的一阶性质。J.ACM，64，3（2017），17:1-17:32·Zbl 1426.68172号
[33] Petr Hlinený、Filip Pokrývka和Bodhayan Roy。2017.几何图形的FO模型检查。在2017年IPEC第12届参数化和精确计算国际研讨会上，Daniel Lokshtanov和Naomi Nishimura（编辑）（LIPIcs，第89卷）。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），19:1-19:12·Zbl 1443.68105号
[34] 威尔弗里德·霍奇斯。1997年，更短模型理论。剑桥大学出版社·Zbl 0873.03036号
[35] Russell Impagliazzo和Ramamohan Paturi，2001年。关于k-SAT.J.Compute的复杂性。系统科学。，62, 2 (2001), 367-375. ·Zbl 0990.68079号
[36] 罗素·英帕利亚佐（Russell Impagliazzo）、拉莫汉·帕图里（Ramamohan Paturi）和弗朗西斯·赞恩（Francis Zane）。2001.哪些问题具有强烈的指数复杂性？J.计算。系统科学。，63, 4 (2001), 512-530. ·Zbl 1006.68052号
[37] 斯蒂芬·克鲁泽（Stephan Kreutzer）。2011.算法元理论。。有限和算法模型理论，379（2011），177-270·Zbl 1262.03058号
[38] Stephan Kreutzer和Siamak Tazari，2010年。一元二阶逻辑复杂性的下界。2010年，第25届IEEE计算机科学逻辑年会。189-198. ·Zbl 1288.05282号
[39] Fabian Kuhn、Pascal von Rickenbach、Roger Wattenhofer、Emo Welzl和Aaron Zollinger。2005.蜂窝网络中的干扰：最低成员集覆盖问题。王路生主编，《计算与组合学》。施普林格-柏林-海德堡，柏林，海德堡。188-198年。国际标准编号：978-3-540-31806-4·Zbl 1128.90319号
[40] 雅罗斯拉夫·内什（Jaroslav Nešetřil）和帕·奥斯纳·德门德斯（P Ossona de Mendez）。2016年，结构稀疏。《俄罗斯数学调查》，71，1（2016），79·Zbl 1367.03065号
[41] 大卫·佩利格（David Peleg）。2000年。分布式计算：一种对位置敏感的方法。SIAM公司·Zbl 0959.68042号
[42] 克劳斯·佩特·波德夫斯基和马丁·齐格勒。1978.稳定图表。数学基础，100，2（1978），101-107·兹比尔0407.05072
[43] Detlef Seese。1996.线性时间可计算问题和一阶描述。计算机科学中的数学结构，6，6（1996），505-526·Zbl 0862.68056号
[44] 撒哈拉沙拉。1990年。分类理论：和非同构模型的数量。爱思唯尔·Zbl 0713.03013号
[45] 米克尔·索洛普（Mikkel Thorup）和乌里·兹威克（Uri Zwick）。2005年。近似距离预言。美国医学会杂志（JACM），52，1（2005），1-24·Zbl 1175.68303号
[46] 西门·托伦奇。2022.有限模型理论讲座。
[47] Pravin M Vaidya。1989.使用快速矩阵乘法加速线性规划。在第30届计算机科学基础年会上。332-337.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。