标签： np
我正在寻找一个（可证明地）存在于NP中的问题，但是对于这个问题，它存在于NP中的证据“并非完全无关紧要/显而易见”。任何人都知道这样的问题（理想情况下是“自然”问题）吗？
答案 0 :(得分：1)
我认为素数是一个很好的选择：
见证数字很容易（给予因式分解），并且可以有效地对其进行检查。
见证数字不是素数并不是很明显。但是自80年代以来就知道可以做到这一点。因此，很长一段时间以来，PRIMES是“ NP相交coNP”中的自然语言。
自2004年以来就知道PRIMES实际上位于P