×
亨宁费尔瑙;延斯·布鲁赫塞费尔

同步单词和幺半分解，生成一个新的参数化复杂度类？ （英语） 兹伯利07618926

数学。结构。计算。科学。 32，第2期，189-215（2022）.
摘要：同步词的概念是有限自动机理论中一个非常重要的概念。我们考虑相关的决策问题来决定给定的DFA是否拥有长度最多为\（k）的同步字，其中\（k \）是标准参数。我们证明这个问题DFA-SW与这个问题等价单体分解由蔡、陈、唐尼和费罗斯介绍。除了已知的W公司[2] -硬度结果，我们表明这些问题属于A类[2],W公司[P（P）]、和西尼罗河这表明DFA-SW对于这些类中的任何一个都是不完整的，因此，我们建议使用一个新的参数化复杂度类W公司[同步]作为解决这些（和更多）问题的合适场所。我们提出了相当多的问题，这些问题属于W公司[同步]或者对于这门新课来说很难或很完整。

MSC公司：

68年第27季度 参数化的复杂性、易处理性和内核化
65年第68季度 形式语言和自动机

关键词：

同步字;确定性有限自动机;参数复杂性;幺半分解
PDF格式BibTeX公司 XML格式引用
\textit{H.Fernau}和\textit{J.Bruchertseifer}，数学。结构。计算。科学。32，第2号，189--215（2022；Zbl 07618926）
全文： 内政部

参考文献：

[1] Arrighi，E.，Fernau，H.，Hoffmann，S.，Holzer，M.，Jecker，I.，De Oliveira，M.和Wolf，P.（2021）。关于无星语言类的交集非空性的复杂性。收录于：Bojanczyk，M.和Chekuri，C.（编辑）第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS，LIPIcs，第213卷，Schloss Dagstuhl-Leibniz-Zentrum für Informatik，34:1-34:15。
[2] Barrington，D.A.M.、Kadau，P.、Lange，K.和Mckenzie，P.（2001年）。关于作为乘法表输入的组的一些问题的复杂性。《计算机与系统科学杂志》63（2）186-200·Zbl 0988.68080号
[3] Beaudry，M.（1988年）。交换变换半群的成员测试。信息与计算（原信息与控制）79（1）84-93·Zbl 0654.68043号
[4] Beaudry，M.（1994年）。阈值一变换monoid中的隶属度测试。信息与计算（原信息与控制）113（1）1-25·兹比尔0942.68577
[5] Berlinkov，M.V.（2014）。很难估计同步单词的最小长度。计算系统理论54（2）211-223·Zbl 1380.68247号
[6] Bläsius，T.、Friedrich，T.，Lischeid，J.、Meeks，K.和Schirneck，M.（2019年）。高效枚举数据分析中出现的超图的命中集。In:算法工程与实验（ALENEX），SIAM，130-143·Zbl 1430.68178号
[7] Bodlainder，H.、Downey，R.G.、Fellows，M.R.和Wareham，H.T.（1995）。序列比对和一致性的参数化复杂性。理论计算机科学14731-54。
[8] Böhler，E.、Glaßer，C.、Schwarz，B.和Wagner，K.W.（2005）。发电问题。理论计算机科学345（2-3）260-295·Zbl 1080.68038号
[9] Bruchertseifer，J.和Fernau，H.（2020年）。同步单词和幺半分解：参数化透视图。收录：Chen，J.，Feng，Q.和Xu，J.（编辑）《计算模型的理论与应用》，第16届国际会议，TAMC，LNCS，第12337卷，Springer，352-364·Zbl 1517.68142号
[10] Bruchertseifer，J.和Fernau，H.（2021）。将串行并行确定性自动机与循环及相关问题同步。RAIRO Informatique theorique et Applications/理论信息学和应用55（7）1-24·Zbl 1508.68186号
[11] Cai，L.、Chen，J.、Downey，R.和Fellows，M.（1997）。关于短计算和因子分解的参数化复杂性。数理逻辑档案36321-337。
[12] Casel，K.、Fernau，H.、Ghadikolaei，M.K.、Monnot，J.和Sikora，F.（2018年）。优化问题解扩展的复杂性。CoRR，abs/1810.04553。
[13] 乔恩·J·、皮里卡·A·和罗森豪洛娃·B·（1971）。关于可定向自动机。Kybernetika7（4）289-298·Zbl 0223.94029号
[14] 乔恩·J（1964）。Poznámka k homogénnym实验是自动化的。Matematicko fyzikálnyčasopis14（3）208-216·Zbl 0137.01101号
[15] Černý，J.（2019）。关于有限自动机齐次实验的注记。《自动机、语言与组合学杂志》24（2-4）123-132·Zbl 1427.68140号
[16] Cesati，M.（2003年）。参数化复杂性的图灵方法。计算机与系统科学杂志67654-685·Zbl 1114.68045号
[17] Chen，J.和Zhang，F.（2006）。关于三层供应链模型中的产品覆盖：W[3]和W[4]的自然完全问题。理论计算机科学363（3）278-288·Zbl 1154.68055号
[18] De Haan，R.（2016）。多项式层次中的参数化复杂性。奥地利维也纳理工大学信息学院博士论文。
[19] Downey，R.G.和Fellows，M.R.（2013）。参数化复杂性基础，计算机科学文本，瑞士查姆施普林格·Zbl 1358.68006号
[20] Elberfeld，M.、Stockhusen，C.和Tantau，T.（2015）。关于参数化问题的空间和电路复杂性：类和完备性。算法71（3）661-701·Zbl 1312.68099号
[21] Eppstein，D.（1990）。单调自动机的重置序列。SIAM计算杂志19（3）500-510·Zbl 0698.68058号
[22] Even，S.和Goldreich，O.（1981）。最小长度生成器序列问题是NP-hard。《算法杂志》2（3）311-313·Zbl 0467.68046号
[23] Fernau，H.（2019）。形式语言中复杂性的现代方面。收录于：Martn-Vide，C.、Okhotin，A.和Shapira，D.（编辑）《语言与自动机理论与应用——第十三届国际会议》，LATA，LNCS，第11417卷，Springer，3-30·Zbl 1425.68197号
[24] Fernau，H.、Gusev，V.V.、Hoffmann，S.、Holzer，M.、Volkov，M.V.和Wolf，P.（2019年）。规则约束下同步的计算复杂性。在：Rossmanith，P.、Heggernes，P.和Katoen，J.-P（编辑）第44届计算机科学数学基础国际研讨会，MFCS，莱布尼茨国际信息学期刊（LIPIcs），第138卷，Schloss Dagstuhl-Leibniz Zentrum für Informatik，63:1-63:14·兹比尔07561707
[25] Fernau，H.、Heggenes，P.和Villanger，Y.（2015）。确定性有限自动机难题的多参数分析。计算机与系统科学杂志81（4）747-765·Zbl 1320.68090号
[26] Fernau，H.和Hoffmann，S.（2019年）。最小同步字的扩展。自动化、语言和组合学杂志24287-307。
[27] Fernau，H.、Hoffmann，S.和Wehar，M.（2021）。有限自动机交集非空性：重新审视参数化复杂性。CoRR，abs/2108.05244。
[28] Fernau，H.和Krebs，A.（2017年）。关于有限自动机和指数时间假设的问题。算法1024:1-25·Zbl 1461.68101号
[29] Fernau，H.和Wolf，P.（2020年）。确定性下推自动机的同步。收录于：Saxena，N.和Simon，S.（编辑）第40届IARCS软件技术和理论计算机科学基础年会，FSTTCS，LIPIcs，第182卷，Schloss Dagstuhl-Leibniz-Zentrum für Informatik，45:1-45:15。
[30] Fernau，H.、Wolf，P.和Yamakami，T.（2020年）。同步确定性下推自动机可能非常困难。摘自：Esparza，J.和Král'，D.（eds.）第45届计算机科学数学基础国际研讨会，MFCS，LIPIcs，第170卷，Schloss Dagstuhl-Leibniz-Zentrum für Informatik，33:1-33:15·Zbl 07559404号
[31] Flum，J.和Grohe，M.（2006年）。参数化复杂性理论，施普林格，海德堡，德国·Zbl 1143.68016号
[32] Frankl，P.（1982）。两类集合的极值问题。欧洲组合数学杂志3（2）125-127·Zbl 0488.05004号
[33] Garey，M.R.和Johnson，D.S.（1979年）。《计算机与难治性》，纽约，弗里曼·Zbl 0411.68039号
[34] Goldstine，J.、Leung，H.和Wotschke，D.（1992年）。有限自动机中模糊性与不确定性的关系。信息与计算100261-270。
[35] Goralík，P.和Koubek，V.（1995年）。对复合变换的问题进行排序。国际代数与计算杂志5（3）309-316·兹比尔08311.089
[36] Guillemot，S.（2011年）。最长相容序列问题的参数化复杂性和逼近性。离散优化8（1）50-60·Zbl 1248.90066号
[37] Jerrum，M.（1985）。寻找最小长度生成器序列的复杂性。理论计算机科学36265-289·Zbl 0564.68031号
[38] Kisielewicz，A.、Kowalski，J.和SzykułA，M.（2015）。计算同步自动机的最短重置字。组合优化杂志29（1）88-124·Zbl 1331.68136号
[39] Kozen，D.（1977年）。自然证明系统的下限。摘自：第18届计算机科学基础年会，FOCS，IEEE计算机学会，254-266。
[40] Martyugin，P.（2009）。自动机部分情况下重置词相关问题的复杂性。《控制论学报》19（2）517-536·Zbl 1199.68173号
[41] Martyugin，P.V.（2014）。某些问题的计算复杂性与部分自动机的精确同步单词和非确定性自动机的定向单词有关。计算系统理论54（2）293-304·Zbl 1380.68257号
[42] Möhring，R.H.（1989）。有序集的可计算类。收录于：Rival，I.（编辑）《算法与秩序：北约算法与秩序高级研究所学报》，北约科学系列C，第255卷，105-194，施普林格。
[43] Montoya，J.A.和Nolasco，C.（2018年）。关于平面自动机的同步。收录于：Klein，S.T.，Martn-Vide，C.和Shapira，D.（编辑）《语言与自动机理论与应用——第十二届国际会议》，LATA，LNCS，第10792卷，Springer，93-104·Zbl 1504.68094号
[44] Pin，J.E.（1983）。关于自动机理论产生的两个组合问题。离散数学年鉴17535-548。
[45] Rystsov，I.K.（1980年）。关于最小化有限自动机同步字的长度。收录：乌克兰科学院控制论研究所计算系统设计理论，75-82。（俄语）。
[46] Rystsov，I.K.（1983年）。自动机理论中的多项式完全问题。信息处理信函16（3）147-151·兹比尔0508.68030
[47] Sandberg，S.（2005）。回零和同步序列。收录于：Broy，M.，Jonsson，B.，Katoen，J.-P.，Leucker，M.和Pretschner，A.（编辑），基于模型的无功系统测试，LNCS，第3472卷，Springer，5-33。
[48] Shitov，Y.（2019）。对有限自动机同步字的最新上界的改进。《自动机、语言与组合学杂志》24（2-4）367-373·Zbl 1447.68007号
[49] Szykuła，M.（2018）。改进最短重置字长度的上限。收录：Niedermeier，R.和Valleée，B.（eds.）第35届计算机科学理论研讨会，STACS，LIPIcs，第96卷，Schloss Dagstuhl-Leibniz Zentrum füR Informatik，56:1-56:13·Zbl 1440.68164号
[50] Turker，U.C.和Yenigün，H.（2015）。与同步、非同步和单调自动机相关的一些问题的复杂性。国际计算机科学基础杂志26（1）99-122·Zbl 1312.68125号
[51] Volkov，M.V.（2008）。同步自动机与乔恩猜想。收录于：Martn-Vide，C.、Otto，F.和Fernau，H.（编辑）语言与自动机理论与应用，第二届国际会议，LATA，LNCS，第5196卷，Springer，11-27·Zbl 1156.68466号
[52] Volkov，M.V.（2019年）。前言：关于乔恩猜想的特刊。《自动机、语言与组合学杂志》24（2-4）119-121·Zbl 1427.68016号
[53] Wareham，H.T.（2001）。有限状态自动机集上交和合成操作的参数化复杂性。收录于：Yu，S.和Péun，A.（编辑）《自动化的实现和应用》，第5届CIAA 2000，LNCS，第2088卷，Springer，302-310·Zbl 0999.68119号
[54] Wolf，P.（2020年）。动态约束下的同步。收录于：Saxena，N.和Simon，S.（编辑）第40届IARCS软件技术和理论计算机科学基础年会，FSTTCS，LIPIcs，第182卷，Schloss Dagstuhl-Leibniz Zentrum für Informatik，58:1-58:14。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。