P≠NP予想
P≠NP予想(P≠NPよそう、英: P is not NP)は、計算複雑性理論(計算量理論)における予想 (未解決問題) の1つで、「クラスPとクラスNPが等しくなる例は存在しない」というものである。P対NP問題(PたいNPもんだい、英: P versus NP)と呼ばれることもある。
理論計算機科学と現代数学上の未解決問題の中でも最も重要な問題の一つであり、2000年にクレイ数学研究所のミレニアム懸賞問題の一つとして、この問題に対して100万ドルの懸賞金がかけられた。