「P≠NP」問題　現代数学の超難問

P(多項式時間で解ける問題の集合)に対して、NP(Yesとなる証拠が与えられた問題に対して、多項式時間で検証できる問題の集合)の集合の方が大きいはずである、という予想についての解説。P≠NPである(と思われる)ことで、NPだがPではないというスキマで、暗号などのアルゴリズムがありうるのだが、P＝NPだとすると、NPなものはすべて多項式時間で解けることになってしまう。仮にこれが証明されたら、ビットコインの暴落などがまた起きるかもしれない。