关于关联和交换一致化的参数复杂性
摘要：可变参的论文中三个函数的联合问题主要从变量数量的参数化复杂性的角度进行研究。结果表明，关联和关联交换的统一问题都是W[1]-困难的。为特殊情况的交换统一问题提出了一个固定参数算法和一个多项式时间算法，其中一个输入术语是无变量的，并且变量的数量受到常数的限制。还展示了与带有变量的字符串和树编辑距离问题相关的结果。
作者：Tatsuya Akutsu, Takeyuki Tamura, Atsuhiro Takasu
论文ID：1310.0919
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-10-04