202402600

学び始めたばかりなので変な疑問かもしれないが、「NP-hard でないと証明されているが多項式時間での解法が見つかっていない問題」ってあるんだろうか。

あと、よく (P != NP だとして) 想定される包含図で NP-complete ∩ coNP-complete = φ になっていることが多いが、ここに入る問題ってないのかな。