×
亨宁费尔瑙;安德烈亚斯·克雷布斯

关于有限自动机和指数时间假设的问题。 （英语） Zbl 1475.68152号

Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 89-100 (2016).
摘要：我们在（强）指数时间假设下研究了有限自动机上的几个经典决策问题。我们关注三类问题：普遍性、等价性和交集的空性。所有这些问题都是非确定性有限自动机的CoNP-hard问题，即使仅限于一元输入字母。有限自动机上的另一类问题涉及非周期性和同步字。我们还考虑了处理交换字母和处理二维单词的有限自动机。
关于整个系列，请参见[Zbl 1365.68008号].

引用于4文件

MSC公司：

第68季度第45季度 形式语言和自动机
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
65年第68季度 算法和问题复杂性分析

关键词：

有限自动机;指数时间假说;普遍性问题;等价问题;交叉口空旷
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}和\textit{A.Krebs}，莱克特。注释计算。科学。9705,89--100（2016；Zbl 1475.68152）
全文： 内政部

参考文献：

[1] Beaudry，M.，McKenzie，P.，Thérien，D.：非周期变换幺半群中的成员问题。J.ACM 39（3），599–616（1992）·Zbl 0803.20046号 ·数字对象标识代码：10.1145/146637.146661
[2] Cho，S.，Huynh，D.T.：有限自动非周期性是PSPACE完成的。理论。计算。科学。88(1), 99–116 (1991) ·Zbl 0733.68038号 ·doi:10.1016/0304-3975（91）90075-D
[3] Cho，S.，Huynh，D.T.：有限状态自动机问题的并行复杂性。Inf.计算。97(1), 1–22 (1992) ·Zbl 0755.68051号 ·doi:10.1016/0890-5401（92）90002-W
[4] Chrobak，M.：有限自动机和一元语言。理论。计算。科学。47, 149–158 (1986) ·兹伯利0638.68096 ·doi:10.1016/0304-3975（86）90142-8
[5] Cygan，M.，Fomin，F.，Kowalik，Ł。，Lokshtanov，D.，Marx，D.，Pilipczuk，M.，Pilipczuk，M.，Saurabh，S.：参数化算法。斯普林格，海德堡（2015）·Zbl 1334.90001号 ·doi:10.1007/978-3-319-21275-3
[6] Dusart，P.：没有R.H.技术报告arXiv:1002.0442的素数上一些函数的估计[math.NT]（2010）
[7] Fernau，H.，Heggenes，P.，Villanger，Y.：确定性有限自动机硬问题的多参数分析。J.计算。系统。科学。81(4), 747–765 (2015) ·Zbl 1320.68090号 ·doi:10.1016/j.jcss.2014.12.027
[8] Fernau，H.，Paramasivan，M.，Schmid，M.L.，Thomas，D.G.：一路上扫描图片。收录人：Barneva，R.P.，Bhattacharya，B.B.，Brimkov，V.E.（编辑）IWCIA 2015。LNCS，第9448卷，第202-216页。斯普林格，海德堡（2015）。文件编号：10.1007/978-3-319-26145-4_15·Zbl 1486.68094号 ·数字对象标识代码：10.1007/978-3-319-26145-4_15
[9] Fernau，H.，Paramasivan，M.，Schmid，M.L.，Vorel，V.：跳跃有限自动机的表征、复杂性结果。技术报告arXiv:1512.00482[cs.FL]（2015）·Zbl 1371.68148号
[10] Galil，Z.：完整问题的层次结构。信息学报6，77–88（1976）·Zbl 0304.68044号 ·doi:10.1007/BF00263744
[11] Haase，C.，Hofman，P.：加强交换文法等价问题的复杂性。技术报告arXiv:1506.07774[cs.FL]（2015）·Zbl 1388.68154号
[12] Holzer，M.，Kutrib，M.：有限自动机的描述和计算复杂性——综述。Inf.计算。209(3), 456–470 (2011) ·兹比尔1217.68130 ·doi:10.1016/j.ic.2010.11.013
[13] Impagliazzo，R.、Paturi，R.和Zane，F.：哪些问题具有强烈的指数复杂性？J.计算。系统。科学。63(4), 512–530 (2001) ·Zbl 1006.68052号 ·doi:10.1006/jcss.2001.1774
[14] 科普琴斯基，E.：交换文法问题的复杂性。逻辑方法计算。科学。11(1:9) (2015). http://www.lmcs-online.org/ojs/viewarticle.php？id=1533 ·Zbl 1395.68172号
[15] Kozen，D.：自然证明系统的下限。摘自：第18届计算机科学基础年度研讨会，FOCS，第254-266页。IEEE（1977年）·doi:10.1109/SFCS.1977.16
[16] Lange，K.-J.，Rossmanith，P.：统治语言交叉点的空性问题。收录：Havel，I.M.，Koubek，V.（编辑）MFCS 1992。LNCS，第629卷，第346–354页。斯普林格，海德堡（1992）·doi:10.1007/3-540-55808-X_33
[17] Lokshtanov，D.，Marx，D.，Saurabh，S.：基于指数时间假设的下限。EATCS牛市。105, 41–72 (2011) ·兹比尔1258.68068
[18] Meduna，A.，Zemek，P.：跳跃有限自动机。发现的国际期刊。计算。科学。23(7), 1555–1578 (2012) ·Zbl 1283.68199号 ·doi:10.1142/S0129054112500244
[19] Rystsov，I.K.：自动机理论中的多项式完全问题。信息处理。莱特。16(3), 147–151 (1983) ·Zbl 0508.68030号 ·doi:10.1016/0020-0190（83）90067-4
[20] Sandberg，S.：1回零和同步序列。收录：Broy，M.、Jonsson，B.、Katoen，J.-P.、Leucker，M.和Pretschner，A.（编辑）《无功系统的基于模型的测试》。LNCS，第3472卷，第5-33页。斯普林格，海德堡（2005）·数字对象标识代码：10.1007/11498490_2
[21] Schützenberger，M.P.：关于只有平凡子群的有限幺半群。《信息控制》第8190–194页（1965年）。（现为信息与计算）·Zbl 0131.02001号 ·doi:10.1016/S0019-9958（65）90108-7
[22] 斯特恩，J.：自动机理论中一些问题的复杂性。《信息控制》66（3），163-176（1985）。（现为信息与计算）·Zbl 0603.68059号 ·doi:10.1016/S0019-9958（85）80058-9
[23] Stockmeyer，L.J.，Meyer，A.R.：需要指数时间的单词问题：初步报告。摘自：第五届ACM计算机理论研讨会论文集，STOC，第1-9页。ACM（1973）·Zbl 0359.68050号 ·doi:10.1145/800125.804029
[24] Wareham，H.T.：有限状态自动机集合上交集和合成操作的参数化复杂性。在：Yu，S.，Păun，A.（编辑）CIAA 2000。LNCS，第2088卷，第302-310页。斯普林格，海德堡（2001）·Zbl 0999.68119号 ·doi:10.1007/3-540-44674-5_26
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。