非对称合一与反合一
计算机科学中的逻辑
2017-10-09 v3
摘要
我们比较了两种合一问题：非对称合一 (Asymmetric Unification) 与反合一 (Disunification)，它们是等式合一的变体。非对称合一是等式合一的一种，其中等式的右侧相对于给定的项重写系统处于范式。在反合一中，我们针对带自由常量的情况，求解相对于等式理论的方程与不等式。我们对比了两者时间复杂度，并表明这两个问题不可比较：存在某些理论，其中一个问题可在多项式时间内求解，而另一个问题是 NP-hard 的。反之亦然。时间复杂度还随项重写系统中使用的终止序而变化。
引用
@article{arxiv.1706.05066,
title = {Asymmetric Unification and Disunification},
author = {Veena Ravishankar and Kimberly A. Gero and Paliath Narendran},
journal= {arXiv preprint arXiv:1706.05066},
year = {2017}
}