問題のサイズ(全探索の計算量)のクラス(指数量か多項式かそれ以上の計算量かの分類、計算量の型)と同じクラスの(計算量を削る)アルゴリズムが各問題について存在するか否か、を解くのと同値。この問題は美しいと思う。そして暗号に対して二分探索というアルゴリズムは存在する。美しいならば、アルゴリズムは存在してP=NPになる。