×
郭青;巴利亚特·纳伦德兰;沃尔夫拉姆，D.A。

幂零统一和匹配问题的复杂性。 （英语） Zbl 1045.68603号

Inf.计算。 162，编号1-2，3-23（2000）.
摘要：我们考虑方程理论包含幂零函数的方程统一和匹配问题的复杂性，即满足（f（x，x）=0）的函数，其中0是常数。我们证明了幂零统一和匹配是NP-完全的。在存在结合性和交换性的情况下，问题仍然是NP-完全的。然而，当0也是函数（f）的单位时，问题可以在多项式时间内求解。我们还证明了即使添加同态，问题仍然存在于P中。举例说明了该结果在集合约束子类中的应用。二阶匹配模幂零性被证明是不可判定的。

引用于1文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
03B35型 证明和逻辑操作的机械化
65年第68季度 算法和问题复杂性分析

关键词：

方程统一
PDF格式BibTeX公司 XML格式引用
\textit{Q.Guo}等人，《信息计算》。162，编号1--2，3--23（2000；Zbl 1045.68603）
全文： 内政部

参考文献：

[1] Aiken，A.，《设置约束：结果、应用和未来方向》，《约束编程原理和实践第二次研讨会论文集》。约束程序设计原理与实践第二次研讨会论文集，计算机科学讲义，874（1994），Springer-Verlag:Springer-Verlag Berlin，第326-335页
[2] 艾肯，A。；Kozen，D。；瓦尔迪，M。；Wimmers，E.，集约束的复杂性，1993年计算机科学逻辑会议论文集。1993年计算机科学逻辑会议记录，计算机科学讲义，832（1993），Springer-Verlag:Springer-Verlag Berlin，p.1-17·Zbl 0953.68557号
[3] Baader，F.，《交换理论中的统一》，Hilbert基础定理和Gröbner基础，J.Assoc.Compute。马赫数。，40477-503（1993年）·Zbl 0791.68146号
[4] 巴德，F。；舒尔茨，K.U.，《不相交方程理论的统一：合并决策程序》，《第十一届自动扣除会议论文集》。《第十一届自动演绎会议记录》，《人工智能讲义》，607（1992），柏林斯普林格·弗拉格出版社，第50-65页·Zbl 0925.03084号
[5] 巴德，F。；Siekmann，J.S.，《统一理论》（Gabbay，D.M.；Hogger，C.J.；Robinson，J.A.，《人工智能和逻辑编程逻辑手册》（1994），牛津大学出版社：牛津大学出版社，41-125·Zbl 0804.03017号
[6] 科蒙，H。；哈伯斯特劳，M。；Jouannaud，J.-P.，浅层方程理论中的可判定问题，第七届IEEE计算机科学逻辑研讨会论文集（1992年），IEEE计算机学会：IEEE计算机协会华盛顿，第255-265页
[7] 北卡罗来纳州德肖维茨。；Jouannaud，J.-P.，《重写系统》，《理论计算机科学手册》（1990），爱思唯尔出版社：阿姆斯特丹，第245-320页·Zbl 0900.68283号
[8] 北卡罗来纳州德肖维茨。；密特拉，S。；Sivakumar，G.，收敛系统的可判定匹配，第十一届自动演绎会议论文集。《第十一届自动演绎会议记录》，《人工智能讲义》，607（1992），柏林斯普林格·弗拉格出版社，第589-602页
[9] Garey，M.R。；Johnson，D.S.，《计算机与难处理性：NP-完备性理论指南》（1979），弗里曼：弗里曼旧金山·Zbl 0411.68039号
[10] Geddes，K.O。；捷克共和国。；Labahn，G.，《计算机代数算法》（1992），Kluwer学术：Kluwer-学术波士顿·Zbl 0805.68072号
[11] Goldfarb，W.D.，二阶统一问题的不可判定性，定理。计算。科学。，13, 225-230 (1981) ·Zbl 0457.03006号
[12] Heintze，N.，基于集合的ML程序分析，《1994年ACM Lisp和函数编程会议论文集》（1994），第306-317页
[13] 赫尔曼，M。；Kolaitis，P.G.，《统一算法不能在多项式时间内组合》，《第十三届自动演绎会议论文集》。《第十三届自动演绎会议记录》，《人工智能讲义》，1104（1996），施普林格-弗拉格：柏林施普林格出版社，第246-260页·Zbl 1412.68233号
[14] Hullot，J.-M.，规范形式与统一，第五届自动演绎会议论文集。《第五届自动演绎会议论文集》，《计算机科学讲义》，87（1980），施普林格-弗拉格：柏林施普林格出版社，第318-334页·Zbl 0441.68108号
[15] Jouannaud，J.-P。；Kirchner，C.，《在抽象代数中求解方程：基于规则的统一调查》，《计算逻辑：纪念艾伦·罗宾逊的论文》（1991），麻省理工学院出版社：麻省理学院出版社波士顿，第360-394页
[16] 卡尔托芬，E。；克里希那穆尔蒂，M.S。；桑德斯，B.D.，多项式矩阵的Hermite和Smith形式的快速并行计算，SIAM J.代数离散方法，8683-690（1987）·Zbl 0655.65069号
[17] 卡普尔，D。；Narendran，P.，集统一和匹配问题的NP-完备性，第八届自动演绎会议论文集。《第八届自动扣除会议论文集》，计算机科学讲义，230（1986），施普林格-弗拉格：柏林施普林格，第489-495页·Zbl 0643.68054号
[18] 卡普尔，D。；Narendran，P.，结合交换算子统一问题的复杂性，J.自动化推理。，9, 261-280 (1992) ·Zbl 0781.68076号
[19] Kirchner，C.，计算统一算法，第一届IEEE计算机科学逻辑年会论文集（1986），IEEE计算机学会：IEEE计算机协会华盛顿，第206-216页
[20] Martelli，A。；Montanari，U.，一种高效的统一算法，ACM-Trans。程序。语言系统，4258-282（1982）·Zbl 0478.68093号
[21] Narendran，P。；Pfenning，F。；Statman，R.，关于笛卡尔闭范畴的统一问题，第八届IEEE计算机科学逻辑年会论文集（1993），IEEE计算机学会：IEEE计算机协会华盛顿，第57-63页
[22] Nutt，W.，《单体理论的统一》，第十届自动演绎国际会议论文集。第十届自动扣除国际会议论文集，计算机科学讲义，449（1990），Springer-Verlag:Springer-Verlag Berlin，第618-632页·Zbl 1509.03045号
[23] Plotkin，G.D.，《内建方程理论》，《机器智能》（1972），第73-90页·Zbl 0262.68036号
[24] Schaefer，T.J.，可满足性问题的复杂性，第十届ACM计算理论研讨会论文集（1978），第216-226页·Zbl 1282.68143号
[25] Schmidt-Schauss，M.，《分布式统一算法》（1995），法兰克福大学信息学院：法兰克福大学信息学院·Zbl 1503.03020号
[26] Wolfram，D.A.，《类型的从句理论》（1993），剑桥大学出版社：剑桥大学出版社·Zbl 0782.68007号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。