あることを証明するには？このようなOracle TM Mと、これが成り立つ再帰言語L （M ）= Lを探しています。NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L 私は、Oracleがあることを示す証拠を知っている、このようなP A ≠ N P AとOracle A、このようなP A = N P Aを。私はP A ≠ N P Aの証明を拡張することでそのような神託Aを見つけなければならないというヒントを持っていますが、どこで検索して読んだとしても、それはどこでも「明白」または「まっすぐ」ですが、それを証明する方法がまったくわかりません。AAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^AAAAPA=NPAPA=NPA\mathsf{P}^A = \mathsf{NP}^AAAAPA≠NPAPA≠NPA\mathsf{P}^A \neq \mathsf{NP}^A
Windows NTはポイントツーポイントプロトコルを使用し、クライアントはストリーム暗号を使用してメッセージの配列をキーで暗号化することにより、サーバーと「安全に」通信できます。サーバーは、同じキー応答も暗号化します。しかし、このキーをどのように認識していますか？kkkkkk より一般的：アリスとボブが同じ秘密鍵で動作する暗号化/復号化アルゴリズムを使用している場合、この鍵を交換する安全な方法は何ですか？（別のキーのコースを使用せずに）kkk これは、私が秘密鍵暗号法を研究しているときにいつも自問してきたことです。