短Presburger算术的复杂性
组合数学
2017-05-02 v3 计算复杂性
离散数学
计算机科学中的逻辑
逻辑
摘要
我们研究短Presburger算术(Short-PA)句子的复杂性。此处“短”是指具有有界数量的变量、量词、不等式和布尔操作的句子；输入仅由不等式中涉及的整数组成。我们证明，假设Kannan划分可在多项式时间内找到，则Short-PA句子的可满足性可在多项式时间内判定。此外，在相同假设下，我们证明短Presburger句子的满足赋值的数量也可在多项式时间内计算。
引用
@article{arxiv.1704.00249,
title = {Complexity of short Presburger arithmetic},
author = {Danny Nguyen and Igor Pak},
journal= {arXiv preprint arXiv:1704.00249},
year = {2017}
}