亨宁费尔瑙;安德烈亚斯·克雷布斯 关于有限自动机和指数时间假设的问题。 （英语） Zbl 1461.68101号 算法（巴塞尔） 10，第1号，第24号论文，25页（2017年）. 摘要：我们在（强）指数时间假设下研究了有限自动机上的几个经典决策问题。我们关注三类问题：普遍性、等价性和交集的空性。所有这些问题都是非确定性有限自动机的CoNP-hard问题，即使仅限于一元输入字母。有限自动机上的另一类问题与非周期性和字同步有关。我们还考虑了处理交换字母和处理二维单词的有限自动机。 引用于10文件 MSC公司： 65年第68季度 形式语言和自动机 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 关键词：有限自动机;指数时间假说;普遍性问题;等价问题;交叉口空旷 软件：反链 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}和\textit{A.Krebs}，《算法（巴塞尔）》第10卷第1期，第24号论文，第25页（2017年；Zbl 1461.68101） 全文： DOI程序 OA许可证 参考文献： [1] Lokshtanov，D。；马克思，D。；Saurabh，S。；基于指数时间假设的下限；EATCS公牛队：2011; 第105卷，第41-72页·Zbl 1258.68068号 [2] Impagliazzo，R。；帕图里，R。；Zane，F。；哪些问题具有强指数复杂性？；J.计算。系统。科学：2001; 第63卷，512-530·Zbl 1006.68052号 [3] 卡拉布罗，C。；Impagliazzo，R。；帕图里，R。；SAT中条款宽度和条款密度的对偶性；第21届IEEE计算复杂性年会（CCC）会议记录：，252-260. [4] Fomin，F.V。；Kratsch，D；精确指数算法：德国柏林，2010年·Zbl 1370.68002号 [5] Cygan，M。；Fomin，F。；Kowalik，L.公司。；Lokshtanov，D。；马克思，D。；Pilipczuk，M。；Pilipczuk，M。；Saurabh，S；参数化算法：德国柏林，2015·Zbl 1334.90001号 [6] R.G.唐尼。；研究员，M.R；参数化复杂性基础：德国柏林，2013·Zbl 1358.68006号 [7] 霍尔泽，M。；库特里布，M。；有限自动机的描述和计算复杂性——综述；信息计算：2011; 第209卷，456-470页·Zbl 1217.68130号 [8] Fernau，H。；Krebs，A。；关于有限自动机和指数时间假设的问题。自动机的实现与应用；2016年7月19日至22日在韩国首尔举行的第21届CIAA国际会议记录：2016年德国柏林/海德堡；卷970589-100·Zbl 1475.68152号 [9] Stockmeyer，L.J。；A.R.梅耶。；需要指数时间的单词问题：初步报告；第五届ACM计算理论年会论文集，STOC:，1-9. ·Zbl 0359.68050号 [10] 兰道，E；德国莱比锡/柏林，1909年。 [11] Chrobak，M。；有限自动机与一元语言；理论。计算。科学：1986; 第47卷，149-158·Zbl 0638.68096号 [12] Wulf，医学博士。；Doyen，L。；亨廷格，T.A。；Raskin，J。；反链：一种检查有限自动机普遍性的新算法；2006年8月17日至20日在美国华盛顿州西雅图举行的第18届CAV国际会议记录：2006年德国柏林/海德堡；第4144卷，17-30·Zbl 1188.68171号 [13] 兰格，K.J。；Rossmanith，P。；正则语言交集的空性问题；第17届计算机科学数学基础国际研讨会论文集，1992年8月24日至28日，捷克共和国布拉格，1992年8月24日至28日：德国柏林/海德堡；第629卷，346-354页·Zbl 1493.68191号 [14] 加利尔，Z。；完整问题的层次结构；学报信息：1976年；第6卷，77-88·Zbl 0304.68044号 [15] Wareham，H.T。；有限状态自动机集上交合运算的参数化复杂性；2000年7月24日至25日在加拿大安大略省举行的第五届自动化实施和应用国际会议记录：2001年德国柏林/海德堡；卷2088302-310·Zbl 0999.68119号 [16] Dusart，P。；无R.H.素数上一些函数的估计。；2010; . ·Zbl 1426.11088号 [17] Kozen，D。；自然证明系统的下限；第18届计算机科学基础年会论文集，FOCS：，254-266. [18] Etscheid，M。；克拉奇，S。；Mnich，M。；Röglin，H。；加权问题的多项式核；第40届计算机科学数学基础国际研讨会论文集，2015年MFCS，意大利米兰，2015年8月24日至28日：德国柏林/海德堡，2015；第9235卷，第287-298页·Zbl 1353.68121号 [19] 卡拉科斯塔斯，G。；利普顿，R.J。；Viglas，A。；交叉有限状态自动机与NLvs NP的复杂性；理论。计算。科学：2003; 第302257-274卷·Zbl 1044.68098号 [20] Wehar，M。；交叉口非空硬度结果；2014年7月8日至11日，丹麦哥本哈根，2014年第41届国际自动化、语言和编程学术讨论会会议记录：德国柏林/海德堡；第8573卷，第354-362卷·Zbl 1410.68212号 [21] Schützenberger，医学博士。；关于只有平凡子群的有限幺半群；信息控制（信息计算）：1965年；第8卷，190-194年·Zbl 0131.02001号 [22] Cho，S。；Huynh，D.T。；有限自动非周期性是PSPACE-Complete；理论。计算。科学：1991; 第88卷，99-116·Zbl 0733.68038号 [23] 斯特恩，J。；自动机理论中若干问题的复杂性；信息控制（信息计算）：1985年；第66卷，163-176·Zbl 0603.68059号 [24] Alon，N。；Lokshtanov，D。；Saurabh，S。；快速Fast；2009年7月5日至12日在希腊罗德斯举行的第36届国际自动化、语言和编程学术讨论会会议记录：德国柏林/海德堡，2009年；卷5555、49-58·Zbl 1248.68547号 [25] Fernau，H。；Fomin，F.V。；Lokshtanov，D。；Mnich，M。；菲利普，G。；Saurabh，S。；社会选择与图形绘制：如何获得排序和绘制问题的次指数时间算法；清华科学。技术：2014; 第19卷，第374-386页。 [26] Beaudry，M。；麦肯齐，P。；Thérien，D。；非周期变换单体中的隶属度问题；《美国医学杂志》：1992年；第39卷，599-616·Zbl 0803.20046号 [27] Brzozowski，J.A。；沙利特，J。；徐，Z。；凸语言的决策问题；信息计算：2011; 第209卷，353-367·Zbl 1217.68125号 [28] Černý，J.等人。；Poznámka k homogénnym实验的konečnmi自动机；Matematicko-fyzikálnyčasopis:1964年；第14卷，208-216·Zbl 0137.01101号 [29] Fernau，H。；Heggenes，P。；Villanger，Y。；确定性有限自动机硬问题的多参数分析；J.计算。系统。科学：2015; 第81卷，747-765·Zbl 1320.68090号 [30] 桑德伯格，S。；归位和同步序列；基于模型的无功系统测试：德国柏林/海德堡，2005年；第3472卷，5-33页。 [31] 印度莱斯特索夫。；自动机理论中的多项式完备问题；信息处理。信函：1983; 第16卷，147-151·Zbl 0508.68030号 [32] Cho，S。；Huynh，D.T。；有限状态自动机问题的并行复杂性；信息计算：1992; 第97卷，1-22·Zbl 0755.68051号 [33] Stockmeyer，L.J。；自动机理论和逻辑中决策问题的复杂性；博士论文：美国马萨诸塞州剑桥市，1974年。 [34] 迪努尔，I。；Steurer，D。；平行重复的分析方法；2014年第46届ACM计算理论研讨会论文集：，624-633. ·Zbl 1315.91001号 [35] Fernau，H。；Paramasivan，M。；施密德，M.L。；托马斯·D·G。；以Boustrophedon的方式扫描图片；2015年组合图像分析国际研讨会论文集，印度加尔各答，2015年11月24日至27日：德国柏林/海德堡，2015；第9448202-216卷·Zbl 1486.68094号 [36] Meduna，A。；Zemek，P。；跳跃有限自动机；发现的国际期刊。计算。科学：2012; 第23卷，1555-1578·Zbl 1283.68199号 [37] Fernau，H。；Paramasivan，M。；施密德，M.L。；Vorel，V。；跳跃有限自动机的特征及其复杂性结果；2015; . ·Zbl 1371.68148号 [38] Haase，C。；霍夫曼，P。；加强交换语法等价问题的复杂性；2015; . ·Zbl 1388.68154号 [39] Huynh，D.T。；半线性集合的复杂性；Elektronische Informationsverarbeitung und Kybernetik（jetzt J.Inf.Process.Cybern.EIK）：1982年；第18卷，291-338·Zbl 0519.68060号 [40] Huynh，D.T。；交换语法：统一词问题的复杂性；信息控制：1983年；第57卷，第21-39页·Zbl 0541.68044号 [41] 科普琴斯基，E。；交换语法问题的复杂性；日志。方法计算。科学：2015; 第11卷，1-26·Zbl 1395.68172号 [42] Kudlek，M。；米特拉纳，V。；多集语言族的闭包性质；芬丹。信息：2002年；第49卷，191-203·Zbl 1052.68064号 [43] 贾马雷西，D。；Restivo，A。；二维语言；形式语言手册：德国柏林，1997年；第三卷，215-267。 [44] Kari，J。；萨洛，V。；图像漫游自动机研究综述；计算机科学代数基础：柏林/海德堡，德国2011；第7020卷，183-213页·Zbl 1350.68174号 [45] O.马茨。；可识别与常规图片语言；2007年第二届代数信息学国际会议论文集，希腊塞萨洛尼基，2007年5月21日至25日：德国柏林/海德堡，2007年；第4728卷，第112-121页·Zbl 1147.68045号 [46] Kari，J。；摩尔，C。；二维自动机识别矩形和正方形；《理论是永恒的》，献给阿尔托·萨洛马70岁生日之际的散文：柏林/海德堡，德国，2004年；卷3113、134-144·Zbl 1055.68071号 [47] 彼得森，H。；关于二维图灵机和有限自动机的一些结果；1995年8月22日至25日，德国德累斯顿，第十届计算理论基础国际研讨会论文集，1995年8月22日至25日：德国柏林/海德堡；卷965，374-382·Zbl 1508.68203号 [48] 利布金，L。；Tan，T。；Vrgoc，D。；数据词的正则表达式；J.计算。系统。科学：2015; 第81卷，1278-1297·Zbl 1320.68113号 [49] 坂本浩，H。；池田，D。；有限记忆自动机决策问题的难处理性；理论。计算。科学：2000; 第231297-308卷·Zbl 0952.68080号 [50] 佩特拉什cu，M。；威廉姆斯，R。；关于快速SAT算法的可能性；第二十届ACM-SIAM离散算法年会论文集，美国德克萨斯州奥斯汀，2010年1月17日至19日：，1065-1075. ·Zbl 1288.68135号 [51] 陈，J。；黄，X。；I.A.Kanj。；夏，G。；线性FPT约简与计算下限；第36届ACM计算理论年会论文集：，212-221. ·Zbl 1192.68313号 [52] 斯威诺夫斯基，J。；Wehar，M。；关于交叉正则语言、上下文无关语言和树语言的复杂性；2015年7月6日至10日在日本京都举行的第42届国际自动化、语言和编程学术讨论会论文集：德国柏林/海德堡，2015年；第9135卷，第414-426页·Zbl 1440.68163号 [53] 霍尔泽，M。；雅各比，S。；正则语言和上下文无关语言的边界集；理论。计算。科学：2016; 第610卷，第59-77页·Zbl 1332.68114号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。