P≠NP予想（P≠NPよそう、）は、計算複雑性理論（計算量理論）におけるクラスPとクラスNPが等しくないという予想である。P対NP問題（PたいNPもんだい、）と呼ばれることもある。理論計算機科学と現代数学上の未解決問題の中でも最も重要な問題の一つであり、2000年にクレイ数学研究所のミレニアム懸賞問題の一つとして、この問題に対して100万ドルの懸賞金がかけられた。クラスPとは、決定性チューリング機械において、多項式時間で判定可能な問題のクラスであり、クラスNPは、Yesとなる証拠（Witnessという）が与えられたとき、多項式時間でWitnessの正当性の判定（これを検証という）が可能な問題のクラスである。多項式時間で判定可能な問題は、多項式時間で検証可能であるので、P⊆NPであることは明らかであるが、PがNPの真部分集合であるか否かについては明確ではない。証明はまだないが、多くの研究者はP≠NPだと信じている。そして、このクラスPとクラスNPが等しくないという予想を「P≠NP予想」という。仮にP＝NPであると示された場合、多項式時間で検証可能な問題は全て多項式時間で判定可能であることを意味し、未だ効率の悪い指数時間アルゴリズムしかないさまざまな分野の問題に効率的な計算アルゴリズムが与えられる可能性が示される。しかし、多くの研究者が長年にわたって多項式時間オーダーのアルゴリズムの開発に取り組んでいるにもかかわらず、そのような効率的なアルゴリズムは見つかっていない。このことがP≠NP予想の根拠の一つとなっている。P≠NP予想は、暗号理論の分野でも重要な位置を占めている。例えば、RSA暗号は素因数分解、ElGamal暗号および楕円曲線暗号(楕円曲線上のDLP)は離散対数問題の多項式時間による解法が存在しないことを安全性の根拠とした暗号であるが、これらの問題はどちらもクラスNPに属する問題に多項式時間帰着できる。仮にP≠NP予想が否定された場合（P＝NPの場合）、素因数分解などが多項式時間で計算可能であることになり、これらの暗号の安全性は根底から覆ることになる。それだけではなく、P＝NPであれば「一方向性関数が存在しない」ことも証明できる。そして「一方向性関数が存在しない」ならば、多項式時間で破れない（暗号学的に安全な）公開鍵暗号やハッシュ関数、擬似乱数が存在しないことが導かれる。逆に「一方向性関数が存在する」ならば、少なくとも多項式時間では破れない共通鍵暗号が構成できること、擬似乱数が存在することが証明されている。また、暗号方式とその平文・暗号文ペアを与えられて鍵の1ビットを判定する問題は、(通常)多項式時間で検証可能であるから、この暗号方式が既知平文攻撃の条件で鍵探索が困難であることを証明できるならば、多項式時間で判定不可能であることを示したことになり、P≠NP予想を証明できたことになる。このように、P≠NP予想は計算量的安全性を通じて現代暗号理論と密接に関係している。

出典:wikipedia