希尔伯特第十问题与带无序笛卡尔积的布尔三段论的 NP 完全性
逻辑
2021-01-05 v1 组合数学
摘要
我们将带无序笛卡尔积的布尔三段论（BS）的可判定性问题与希尔伯特第十问题相联系，并证明带无序笛卡尔积的布尔三段论是 NP 完全的。
引用
@article{arxiv.2101.00198,
title = {Hilbert's Tenth problem and NP-completeness of Boolean Syllogistic with unordered cartesian product},
author = {Domenico Cantone and Pietro Ursino},
journal= {arXiv preprint arXiv:2101.00198},
year = {2021}
}
备注
22 pages