文件大小：0.62 MB 14页
求解简单单词方程的困难
作者
-
部分： 体积： 第42届计算机科学数学基础国际研讨会（MFCS 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学数学基础 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2017-12-01
文件
文件标识符
引用为 获取BibTex
摘要
关键词
单词方程式 规则图案 常规约束
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
R.Da̧browski和W.Plandowski。 求解双变量单词方程。 程序中。 第31届国际自动化、语言和编程学术讨论会，ICALP 2004，计算机科学讲稿第3142卷，第408-419页，2004。 
-
V.Diekert、A.Jez和M.Kufleitner。 部分交换结构上的字方程的解。 程序中。 第43届国际自动化、语言和编程学术讨论会，2016年ICALP，莱布尼茨国际信息学会议（LIPIcs）第55卷，第127:1-127:14页，2016年。
-
V.Diekert和J.M.Robson。 关于二次方程式。 程序中。 第16届计算机科学理论方面年度研讨会，STACS 1999，计算机科学讲稿第1563卷，第217-226页，1999年。
-
发现两个单词之间的同态是NP完全的。 信息处理信件，9:86-881979。
-
H.Fernau、F.Manea、R.Mercaš和M.L.Schmid。 变量模式匹配：快速算法和新的硬度结果。 程序中。 第32届计算机科学理论方面研讨会，STACS 2015，莱布尼茨国际信息学会议（LIPIcs）第30卷，第302-315页，2015年。
-
H.Fernau和M.L.Schmid。 变量模式匹配：多元复杂性分析。 信息与计算，242:287-3052015。
-
H.Fernau、M.L.Schmid和Y.Villanger。 关于字符串态射问题的参数化复杂性。 《计算系统理论》，2015年。 http://dx.doi.org/10.1007/s00224-015-9635-3。
-
D.D.弗雷登伯格。 文档扳手的逻辑。 程序中。 第20届数据库理论国际会议，2017年ICDT，2017年莱布尼茨国际信息学论文集（LIPIcs）。 出现。
-
D.D.Freydenberger和M.Holldack。 文档扳手：从表达能力到决策问题。 程序中。 第19届国际数据库理论会议，ICDT 2016，《莱布尼茨国际信息学学报》（LIPIcs）第48卷，第17:1-17:17页，2016年。
-
M.R.Garey和D.S.Johnson。 计算机与难治性。 W.H.Freeman and Company，1979年。
-
J.雅法。 最小和完整的单词统一。 ACM期刊，37（1）：47-851990。
-
A.杰兹。 上下文统一在PSPACE中。 程序中。 第41届国际自动化、语言和编程学术讨论会，ICALP 2014，计算机科学讲稿第8573卷，第244-255页。 斯普林格，2014年。
-
A.杰伊。 线性时间中的单变量单词方程。 《算法》，74:1-482016。
-
A.杰伊。 再压缩：一种简单而强大的文字方程式技术。 《美国医学会杂志》，2016年第63期。
-
J.Karhumäki、F.Mignosi和W.Plandowski。 语言和关系的表达能力。 美国医学会杂志，47:483-5052000。
-
A.Koscielski和L.Pacholski。 马卡宁算法的复杂性。 美国医学会杂志，43（4）：670-6841996。
-
M.Lothaire先生。 单词代数组合学。 剑桥大学出版社，剑桥，纽约，2002年。
-
R.C.林登。 自由群中的方程。 美国数学学会学报，96:445-4571960。
-
R.C.Lyndon和P.E.Schupp。 组合群理论。 斯普林格，1977年。
-
G.S.马卡宁。 自由半群中方程的可解性问题。 Matematicheskii Sbornik，103:147-2361977。
-
F.Manea、D.Nowotka和M.L.Schmid。 关于受限类词方程的可解性问题。 程序中。 第20届语言理论发展国际会议，DLT 2016，计算机科学讲稿第9840卷，第306-318页。 斯普林格，2016年。
-
W.Plandowski。 一种求解单词方程的有效算法。 第38届ACM计算机理论年会论文集，STOC 2006，第467-476页，2006。
-
W.Plandowski和W.Rytter。 Lempel-Ziv编码在单词方程求解中的应用。 程序中。 第25届国际自动化、语言和编程学术讨论会，ICALP’98，计算机科学讲稿第1443卷，第731-742页。 施普林格，1998年。
-
D.Reidenbach和M.L.Schmid。 具有有界树宽的图案。 信息与计算，239:87-992014。
-
K·U·舒尔茨。 广义方程的单词统一和转换。 《自动推理杂志》，11:149-1841995年。