多項式時間 NP NP完全問題 Gets 一方向性関数 暗号理論 P≠NP予想 多項式 NP困難 チューリング 計算複雑性理論 アルゴリズム 平文 擬似乱数 Complexity オラクル SK 公開鍵暗号 乱数 指数関数時間 多項式時間変換 negligible シンプレックス法 部分和問題 充足可能性問題 completo ハミルトン閉路問題 polynomial Rumely 素数判定 AKS素数判定法 primality GRH BBB NPI 数学上の未解決問題 coNP Adleman Pomerance 計算可能性理論 乱数列 再現性 Computability メルセンヌ・ツイスタ PSPACE Lineare 解法 mathsf Chiphertext RSA暗号