哥尔斯，埃里克;佩德罗·蒙塔雷格里;马丁·雷奥斯·威尔森;他们是纪尧姆 关于冻结动力学的参数化复杂性。 （英语） Zbl 07844847号 高级申请。数学。 157，文章ID 102706，39 p.（2024）. 摘要：在本文中，我们建立了字母表大小、树宽和底层图的最大度是如何影响有限冻结自动机网络整体计算复杂性的关键参数。首先，我们定义了一个一般决策问题，称为规格检查问题，它捕获了许多经典的决策问题，如预测、幂零性、前辈、异步可达性。然后，我们提出了一种快速并行算法，解决了三个参数有界时的一般模型检查问题，从而表明问题在NC中。此外，我们还表明问题在XP中的参数树宽度和最大度。最后，我们从两个不同的角度表明，这些问题很难解决。首先，当将树宽或字母作为单个参数并固定其他参数时，一般问题是W[2]-困难。其次，当经典问题局限于具有足够大树宽的图族时，它们在各自的类中是很困难的。 MSC公司： 68卢比99 离散数学与计算机科学 关键词：冻结自动机网络;树宽;快速并行算法;预测问题;幂零性问题;异步可达性;前辈问题 PDF格式BibTeX公司 XML格式引用 \textit{E.Goles}等人，高级应用程序。数学。157，文章ID 102706，39 p.（2024；Zbl 07844847） 全文： 内政部 参考文献： [1] Adrien，Richard，有符号交互图上的幂零动力学和Thomas规则的弱转换，离散应用。数学。，267160-1752019年8月·Zbl 1419.05100号 [2] 阿米尼，哈米德；Fountoulakis，Nikolaos，幂律随机图中的Bootstrap渗流，J.Stat.Phys。，2014年2月，第155页，第172-92页·Zbl 1291.82052号 [3] 斯特凡·阿恩伯格；科内尔，德里克·G。；Proskurowski，Andrzej，在k树中寻找嵌入的复杂性，SIAM J.代数离散方法，8，2，277-2841987年4月·Zbl 0611.05022号 [4] 桑吉耶夫·阿罗拉；Barak，Boaz，《计算复杂性：现代方法》，2009年，剑桥大学出版社·Zbl 1193.68112号 [5] 烘焙，Per；陈、坎；Tang，Chao，森林防火模型和关于湍流的一些想法，Phys。莱特。A、 147、5、297-300、1990 [6] József Balogh；Bollobás，Béla，超立方体上的Bootstrap渗流，Probab。理论相关性。Fields，134，4624-6482005年7月·Zbl 1087.60068号 [7] József Balogh；博洛巴斯，贝拉；雨果·杜米尼尔·科宾；罗伯特·莫里斯（Robert Morris），《自举渗透在所有维度中的临界值》（The sharp threshold for bootstrap periofication in all dimensions），Trans。美国数学。Soc.3642667-27012012年5月·Zbl 1238.60108号 [8] 佛罗伦萨·贝克尔；迭戈·马尔多纳多；尼古拉斯·奥林格；Theyssier，Guillaume，《冰冻细胞自动机的普遍性》，（计算世界中的航行路线——第14届欧洲可计算性会议。计算世界中航行路线——欧洲第14届可计算性大会，2018年7月30日至8月3日，德国基尔，2018年），50-59·Zbl 1509.37018号 [9] Bodlaender，Hans L。；Hagerup，Torben，有界树宽的最佳加速比并行算法，SIAM J.Compute。，1998年12月27日、6日、1725-1746日·Zbl 0907.68089号 [10] Buss，S.R.，《ALOGTIME中的布尔公式值问题》（第十九届ACM计算理论年会论文集-STOC’87，1987，ACM出版社） [11] Calamoneri，T.，《l（h，k）-标签问题：调查和注释书目》，计算。J.，49，5，585-6082006年2月 [12] 卡尔顿，奥利维尔；吉隆，布鲁诺；Reiter，Fabian，《计数器和分布式自动机》（Cellular automata and Discrete Complex Systems，2018，Springer International Publishing），13-28·Zbl 1508.68233号 [13] Chandra Chekuri；Chuzhoy，Julia，网格定理的多项式界，J.ACM，63，5，1-652016年12月·Zbl 1410.05186号 [14] Stephen A.Cook，《理论证明程序的复杂性》，（第三届ACM计算理论研讨会论文集。第三届年度ACM计算原理研讨会论文集，STOC’711971年，ACM：美国纽约州纽约市ACM），151-158·Zbl 0253.68020号 [15] Courcelle，Bruno，图的一元二阶逻辑。I.有限图的可识别集，Inf.Compute。，1990年3月85日、1日、12-75日·Zbl 0722.03008号 [16] 维克托·达尔摩；Kolaitis，Phokion G。；Vardi，Moshe Y.，约束满足，有界树宽和有限变量逻辑，（约束编程原理和实践国际会议，2002年，Springer），310-326 [17] 阿尔贝托·丹尼恩齐奥；Enrico Formenti；卢卡·曼佐尼；Giancarlo Mauri；Porreca，Antonio E.，有限异步细胞自动机的计算复杂性，Theor。计算。科学。，664131-1432017年2月·Zbl 1359.68207号 [18] 罗德·唐尼（Rod G.Downey）。；Michael R.Fellows，《固定参数可处理性和完整性i：基本结果》，SIAM J.Compute。，1995年8月24日、4日、873-921日·兹比尔083068063 [19] 罗德尼·G·唐尼。；Michael R.研究员，参数化复杂性基础，2013年，施普林格：施普林格伦敦·Zbl 1358.68006号 [20] 迈克尔·埃尔伯菲尔德；安德烈亚斯·雅各比；Tantau，Till，Bodlaender和Courcelle定理的Logspace版本，（2010年IEEE第51届计算机科学基础年会，2010年10月，IEEE） [21] Eric Goles、Diego Maldonado、Pedro Montealegre、Martín Ríos-Wilson，关于异步冷冻细胞自动机的复杂性，2019年。 [22] 富恩特斯，硕士。；Kuperman，M.N.，《细胞自动机和具有空间依赖性的流行病学模型》，Phys。A、 统计机械。申请。，267, 3-4, 471-486, 1999 [23] 马克西米利安·加杜洛（Maximilien Gadouleau）；Richard，Adrien，《图的简单动力学》，Theor。计算。科学。，628、62-77，2016年5月·Zbl 1372.37083号 [24] 加德纳，M.，约翰·康威的新纸牌游戏“生活”的奇妙组合，科学。美国，223120-1231970年10月 [25] 安德鲁·戈德伯格（Andrew Goldberg）；谢尔盖·普洛金（Serge Plotkin）；Shannon，Gregory，稀疏图中的平行对称性破缺，（1987年第十九届ACM计算理论年度研讨会论文集），315-324 [26] Goles，E。；Ollinger，N。；Theyssier，G.，《介绍冻结细胞自动机》，（细胞自动机和离散复杂系统探索性论文（automata 2015），2015年），65-73 [27] 埃里克·戈尔斯（Eric Goles）；迭戈·马尔多纳多；佩德罗·蒙塔雷格里；Ollinger，Nicolas，《关于冻结非严格多数自动机的计算复杂性》（Cellular automata and Discrete Complex Systems-233 IFIP WG 1.5 International），《细胞自动机和离散复杂系统-233 IPWG 1.5国际》，2017年6月7日至9日，意大利米兰，2017年研讨会，第109-119页·Zbl 1451.68147号 [28] 埃里克·戈尔斯（Eric Goles）；迭戈·马尔多纳多；佩德罗·蒙塔雷格里·巴巴（Pedro Montealegre-Barba）；Ollinger，Nicolas，冻结总体异步细胞自动机的快速并行算法，（Cellular Automata-第13届研究和工业用元胞自动机国际会议，会议记录。Cellulal Automata–第13届国际研究和工业细胞自动机会议记录，ACRI 2018，意大利科莫，2018年9月17日至21日。元胞自动机-第13届研究和工业元胞自然主义国际会议，会议记录。元胞自动机-第13届研究和工业元胞自然主义国际会议，会议记录，ACRI 2018，意大利科莫，2018年9月17日至21日，计算机科学讲义，第11115卷，2018，Springer），406-415·Zbl 1515.68192号 [29] 埃里克·戈尔斯（Eric Goles）；佩德罗·蒙塔雷格里·巴巴（Pedro Montealegre-Barba）；Todinca，Ioan，《自举渗透和其他问题的复杂性》，Theor。计算。科学。，2013年9月504日、73-82日·Zbl 1297.68092号 [30] 扬科·格雷夫纳；David Griffeath，《z2上的元胞自动机增长：定理、示例和问题》，高级应用。数学。，21, 2, 241-304, 1998 ·Zbl 0919.68090号 [31] Green，Frederic，细胞自动机中的NP-完全问题，复杂系统。，第1条，第01页，1987年·Zbl 0648.68067号 [32] 雷蒙德·格林洛；胡佛，H.詹姆斯；Ruzzo，Walter L.，《并行计算的极限：P-完备性理论》，1995年，牛津大学出版社·Zbl 0829.68068号 [33] Griffeath，D。；摩尔，C.，没有死亡的生命是P完整的复杂系统。，10, 1996 ·Zbl 0912.68140号 [34] Holroyd，Alexander E.，《二维自举渗流的夏普亚稳态阈值》，Probab。理论相关性。菲尔兹，125,2195-2242003·Zbl 1042.60065号 [35] JáJá，Joseph，《并行算法导论》，1992年，艾迪森·韦斯利·朗曼出版公司：美国艾迪森·布斯利·隆曼出版公司·Zbl 0781.68009号 [36] Kari，J.，一维细胞自动机的幂零性问题，SIAM J.Compute。，21, 571-586, 1992 ·Zbl 0761.68067号 [37] 川崎、秋野；Mitsunori Ogihara；Uchizawa，Kei，有向图上布尔有限动力系统的广义前导存在性问题，Theor。计算。科学。，762，25-40，2019年3月·Zbl 1434.68315号 [38] 威廉·奥格尔维（William Ogilvy）·科马克（Kermack）；McKendrick，A.G.，对流行病数学理论的贡献，Proc。R.Soc.伦敦。序列号。A、 包含。巴普。数学。物理学。字符，115772700-7211927年8月 [39] Knop，D。；库特克，M。；马萨诸塞州。；Toufar，T.，《mso以外的简化算法元定理：树宽和邻域多样性》，Log。方法计算。科学。，15, 4, 1860-5974, 2019 ·兹比尔1427.68125 [40] 斯蒂芬·克鲁泽（Stephan Kreutzer）；Tazari，Siamak，《关于荆棘、网格状子函数和一元二阶逻辑的参数难处理性》，（第二十届ACM-SIAM离散算法研讨会论文集。第二十届第一届ACM-SAAM离散算法会议论文集，SODA 2010，美国德克萨斯州奥斯汀，2010年1月17日至19日，SIAM）， 354-364 ·Zbl 1288.05282号 [41] 马丁·库特里布（Martin Kutrib）；Malcher，Andreas，《具有稀疏通信的细胞自动机》，Theor。计算。科学。，411, 38-39, 3516-3526, 2010 ·Zbl 1207.68214号 [42] 马克思，达尼尔，你能打败树的宽度吗？，（2007年第48届IEEE计算机科学基础年会（FOCS’07），IEEE），169-179 [43] 尼古拉·奥林格（Nicolas Ollinger）；Theyssier、Guillaume、Freezing、有界变换和收敛细胞自动机，2019年，CoRR [44] Omer，Reingold，《日志空间中的无向连接》，J.ACM，55，4，1-242008年9月·Zbl 1315.68156号 [45] 尼尔·罗伯逊（Neil Robertson）；西摩，P.D.，《未成年人图形》。v.排除平面图，J.Comb。理论，Ser。B、 1986年8月41日，1日，92-114·Zbl 0598.05055号 [46] 马可·萨梅尔；Szeider，Stefan，《有界树宽约束满足重访》，J.Compute。系统。科学。，76, 2, 103-114, 2010 ·Zbl 1186.68443号 [47] 托马索·托福利；Norman Margolus，《元胞自动机机器：建模的新环境》，1987年，麻省理工学院出版社 [48] Ulam，S.M.，《关于与数字增长模式相关的一些数学问题》，（Bukrs，A.W.，《细胞自动机论文》，1970年，伊利诺伊州大学出版社），219-231·Zbl 0241.94048号 [49] Vollmar，R.，《关于状态变化有限的元胞自动机》（Parallel Processes and Related automata），《并行过程和相关自动机》，《计算补充》，第3卷，1981年，施普林格：施普林格维也纳），181-191·Zbl 0458.68013号 [50] 安德鲁·温斯洛（Andrew Winslow），理论瓦自组装简介，（细胞自动机和离散复杂系统-第22届IFIP WG 1.5国际研讨会，会议记录。细胞自动机与离散复杂系统–第22届国际研讨会，2016年6月15日至17日，瑞士苏黎世，Automata 2016），26-31·Zbl 1350.68116号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。