摩西·加纳尔迪;斯特凡·格勒;马库斯·洛伊 有限系统上互模拟和仿真的复杂性。 （英语） Zbl 1402.68092号 日志。方法计算。科学。 14，第4号，第5号论文，29页（2018年）. 摘要：本文研究了限制图类上（bi）模拟问题的计算复杂性。对于作为指针结构或项给出的树，（bi）模拟问题对于对数空间或mathsf{NC}（^1）分别是完全的。这解决了来自[J.Balcázar等，正式Asp。计算。4，第6A号，638–648（1992年；Zbl 0758.68033号)]. 此外，如果只有一个输入图需要是树，则双模拟（模拟）问题包含在\mathsf｛AC｝\（^1）（\mathsf｛LogCFL｝）中。相比之下，还表明模拟问题是mathsf{P} -完成对于有界路径宽度的图已经有了。 理学硕士： 65年第68季度 算法和问题复杂性分析 68兰特 计算机科学中的图论（包括图形绘制） 引文：兹伯利0758.68033 PDF格式BibTeX公司 XML格式引用 \textit{M.Ganardi}等人，日志。方法计算。科学。14，第4号，第5号论文，29页（2018；Zbl 1402.68092） 全文： 内政部 arXiv公司 参考文献： [1] [AI07]L.Aceto和A.Ing‘olfsd’ottir。反应系统：建模、规范和验证。剑桥大学出版社，2007年·Zbl 1141.68043号 [2] [BC89]D.A.M.Barrington和J.Corbet。关于NC1中某些语言的相对复杂性。信息处理信函，32:251-2561989·Zbl 0678.68065号 [3] [BCD+89]A.Borodin、S.A.Cook、P.W.Dymond、W.L.Ruzzo和M.Tompa。归纳计数在互补问题中的两个应用。SIAM计算机杂志，18（3）：559–5781989·Zbl 0678.68031号 [4] [BGS92]J.L.Balc´azar、J.Gabarr´o和M.S´antha。判定双相似性是P-完全的。计算的形式方面，4（6A）：638–6481992·Zbl 0758.68033号 [5] [BIS90]D.A.M.Barrington、N.Immerman和H.Straubing。关于NC1内的均匀性。《计算机与系统科学杂志》，41:274-3061990年·Zbl 0719.68023号 [6] [BM95]M.Beaudry和P.Mckenzie。电路、矩阵和非关联计算。计算机与系统科学杂志，50（3）：441-4551995·Zbl 0837.68031号 [7] [Bus97]S.R.巴斯。用于树同构、比较和标准化的Alogtime算法。1997年，库尔特·G·模型学术讨论会97，第18-33页·Zbl 0884.68098号 [8] [CS01]R.Cleaveland和O.Sokolsky。第6章-有限状态系统的等价性和预序检验。《过程代数手册》编辑J.A.Bergstra、A.Ponse和S.A.Smolka，第391-424页。Elsevier Science，阿姆斯特丹，2001年·Zbl 1020.68062号 [9] [DF13]R·G·唐尼和M·R·费罗斯。参数化复杂性基础。计算机科学课文。施普林格，2013年·Zbl 1358.68006号 [10] [EJT10]M.Elberfeld、A.Jakoby和T.Tantau。Bodlaender和Courcelle定理的对数空间版本。《2010年FOCS会议记录》，第143-152页。IEEE，2010年。 [11] [EJT12]M.Elberfeld、A.Jakoby和T.Tantau。常数电路类的算法元定理·Zbl 1245.68086号 [12] [ES16]M.Elberfeld和P.Schweitzer。在日志空间中对有界树宽度的图进行规范化。《2016年STACS会议记录》，LIPIcs第47卷，第32:1–32:14页。Schloss Dagstuhl-Leibniz Zentrum füur Informatik出版社，2016年·Zbl 1388.68227号 [13] [Ete97]K.Etessami。计数量词、后继关系和对数空间。计算机与系统科学杂志，54（3）：400–4111997·Zbl 0882.68074号 [14] [GGHL12]M.Grohe、B.Grußien、A.Hernich和B.Laubner。L-递归和对数空间的一种新逻辑。《计算机科学中的逻辑方法》，9（1），2012年·Zbl 1247.68104号 [15] [GGL16]M.Ganardi、S.G¨oller和M.Lohrey。关于有限系统上互模拟的并行复杂性。《2016年CSL会议录》，LIPIcs第62卷，第12:1–12:17页。Dagstuhl Leibniz-Zentrum宫f¨ur Informatik，2016年·Zbl 1369.68241号 [16] [GHR95]R.Greenlaw、H.J.Hoover和W.L.Ruzzo。并行计算的极限：P-完备性理论。牛津大学出版社，1995年·Zbl 0829.68068号 [17] [GLS01]G.Gottlob，N.Leone和F.Scarcello。非循环连接查询的复杂性。美国医学会杂志，48（3）：431-4982001·兹比尔1323.68250 [18] [GV06]M.Grohe和O.Verbitsky。通过玩游戏来并行测试图形同构。《ICALP 2006年会议录》，第一部分，《计算机科学讲义》第4051卷，第3-14页。施普林格，2006年·Zbl 1223.68056号 [19] [GW00]F.Gurski和E.Wanke。没有Kn，n的clique-width有界图的树宽度。《2000年WG会议录》，计算机科学讲义第1928卷，第196-205页。斯普林格，2000年·Zbl 0988.68131号 [20] [HAB02]W.Hesse、E.Allender和D.A.M.Barrington。用于除法和迭代乘法的一致恒深阈值电路。计算机与系统科学杂志，65:695–7162002·Zbl 1059.68044号 [21] [Imm88]N.伊梅尔曼。非确定性空间在互补下是封闭的。SIAM计算机杂志，17（5）：935–9381988·兹比尔0668.68056 [22] [JKMT03]B.Jenner、J.K¨obler、P.McKenzie和J.Tor´an。图同构的完备性结果。计算机与系统科学杂志，66（3）：549–5662003·Zbl 1054.68101号 [23] [JW96]D.Janin和I.Walukiewicz。关于命题mu-calculus相对于一元二阶逻辑的表达完备性。《CONCUR’96会议录》，《计算机科学讲义》第1119卷，第263-277页。施普林格，1996年·Zbl 1514.68171号 [24] [KLM09]M.Kaminski、V.V.Lozin和M.Milanic。有界cliquewidth图的最新发展。离散应用数学，157（12）：2747–27612009·Zbl 1211.05165号 [25] [KS90]P.C.Kanellakis和S.A.Smolka。CCS表达式、有限状态过程和三个等价问题。信息与计算，86（1）：43-681990·Zbl 0705.68063号 [26] [Lin92]S.Lindell。用于树规范化（扩展抽象）的日志空间算法。《1992年STOC会议记录》，第400–404页。ACM，1992年。 [27] [LM98]K.-J.Lange和P.McKenzie。关于自由单调态射的复杂性。《ISAAC’98会议录》，《计算机科学讲义》第1533卷，第247-256页。斯普林格，1998年·Zbl 0930.68081号 [28] [PT87]R.Paige和R.E.Tarjan。三种分区细化算法。SIAM计算机杂志，16（6）：973–9891987·Zbl 0654.68072号 [29] [Ruz80]W.L.Ruzzo。树大小有界的交替。《计算机与系统科学杂志》，21:218-2351980年·Zbl 0445.68034号 [30] [Ruz81]W.L.Ruzzo。关于均匀电路复杂性。《计算机与系统科学杂志》，22:365–3831981年·Zbl 0462.68013号 [31] [SJ05]Z.Sawa和P.Jancar。有限状态系统上的行为等价是PTIME-hard。计算机与人工智能，24（5）：513–5282005·兹比尔1109.68052 [32] [Srb01]斯尔巴（J.Srba）。关于过渡系统中标签的力量。《CONCUR 2001年会议录》，计算机科学讲义第2154卷，第277-291页。斯普林格，2001年·Zbl 1006.68091号 [33] [Srb04]斯尔巴（J.Srba）。无限结果的路线图。《理论计算机科学的当前趋势，新世纪的挑战》，第2卷：形式模型和语义，第337-350页。世界科学出版社，2004年·Zbl 1065.68073号 [34] [Sze88]R.Szelepcs´enyi。非确定自动机的强制枚举方法。信息学报，26（3）：279–2841988·Zbl 0638.68046号 [35] [Ven91]H.Venkateswaran。特性的属性 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。