1) NP-completeness
NP-完备性
1.
The Proof on the NP-Completeness of Two Batching Scheduling Problems;
两个分批排序问题的NP-完备性证明
2) NP-hard in a strong sense
强NP-完备性
3) NP-completeness
NP-完备
4) NP completeness
NP完备
5) NP-complete
NP-完备
1.
This paper shows that 2-induced-matching cover problem of graphs with diameter 6 and 3-induced-matching cover problem of graphs with diameter 2 axe NP-complete,and 2-induced-matching cover problem of graphs with diameter 2 is polynomially solvable.
这篇文章证明了:直径为6的图的2-导出匹配覆盖问题和直径为2的图的3-导出匹配覆盖问题是NP-完备的,直径为2的图的2-导出匹配覆盖问题多项式可解。
2.
We focus on the seemingly simple case B≥ n, and show that the problem is NP-completeness.
本文主要考虑了B≥n的情形,即 证明了这个问题是NP-完备的。
6) NP-completeness
NP-完全性
1.
For the subclasses LCNF≥k of LCNF, in which formulas have only clauses of length at least k, the NP-completeness of the decision problem LSAT≥k is closely relevant to whether or not ther.
LCNF≥k是子句长度大于或等于k的CNF公式子类,判定问题LSAT≥k的NP-完全性与LCNF≥k中是否含有不可满足公式密切相关。
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条