✨ ベストアンサー ✨
計算理論はあまり詳しくないですが⋯
NPは判定問題のクラスなので、判定問題でないものはNPに属しません。また、判定問題であってもNPの定義に属さないものはNPの外になりますね(当たり前ですが)
NP完全とPが少しでも重なったらP=NPになり、よってNP完全とPは一致します
なぜなら、NP完全かつPに属する問題Hがあるとすれば、全てのNP問題は多項式時間でHに帰着でき、HはP問題なので多項式時間で解けます。よって全てのNP問題が多項式時間で解けることになるので無事にP=NPとなるのです
感覚的な話でいうと、Pに属する問題というのはNPに属する問題の中で最も単純なものです。一方NP完全な問題というのはNPに属する問題の中で最も複雑なものです。よってPとNP完全が重なるということは最も単純な問題と最も複雑な問題が同じくらいの難易度だったことになるので、結局NPに属する問題はぜんぶ同程度の複雑さということになるのです
よかったです(｀・ω・´)
詳しい回答ありがとうございます。やっと腑に落ちました。