ミレニアム懸賞問題 (480レス)
上下前次1-新
抽出解除 レス栞
205(1): ◆Ph05QxAcng 2024/01/22(月) 19:25:34.76 ID:djQbyHip(6/16)調 AAS
証明問題=有限回の論理操作によって真偽の判定が定まっている問題→実数時間で必ず解ける
証明問題⊃計算問題なので、計算問題は必ず実数時間内で解ける。
よって計算量が超実数に発散する問題は存在しない。よって
全ての計算問題に対して、計算問題の計算量のクラスと同じクラスのアルゴリズムが存在する
が示された?
206: ◆Ph05QxAcng 2024/01/22(月) 19:30:34.66 ID:djQbyHip(7/16)調 AAS
>>205
すなわちP=NPである?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 1.125s*