八边形关系传递闭包的 PTIME 计算
计算机科学中的逻辑
2016-04-05 v1
摘要
计算整数关系的传递闭包是寻找整数程序精确不变量的关键。在本文中，我们研究了差界和八边形关系，并证明了它们的传递闭包是 Presburger 算术存在片段中的 PTIME 可计算公式。这一结果标志着复杂性的显著改善，因为已知算法具有 EXPTIME 最坏情况复杂度。
引用
@article{arxiv.1402.2102,
title = {PTIME Computation of Transitive Closures of Octagonal Relations},
author = {Filip Konecny},
journal= {arXiv preprint arXiv:1402.2102},
year = {2016}
}