依赖对方法诱导的派生复杂度
计算机科学中的逻辑
2015-07-01 v5 人工智能
计算复杂性
编程语言
摘要
我们研究了由依赖对方法（结合标准改进）所诱导的派生复杂度。我们以所采用的基础技术的派生复杂度为项，得到了依赖对方法诱导的派生复杂度的上界。特别地，我们证明，基于某种直接技术（可能通过参数过滤、可用规则准则或依赖图进行改进）的依赖对方法所诱导的派生复杂度，是直接方法所诱导的派生复杂度的原始递归函数。这意味着，基于传统终止序（如KBO、LPO和MPO）的标准依赖对方法应用所诱导的派生复杂度，与将这些序作为唯一终止技术应用时所诱导的派生复杂度完全相同。
引用
@article{arxiv.0904.0570,
title = {The Derivational Complexity Induced by the Dependency Pair Method},
author = {Georg Moser and Andreas Schnabl},
journal= {arXiv preprint arXiv:0904.0570},
year = {2015}
}