[過去ﾛｸﾞ]
全ての命題の真偽は判定可能か否か2 (1002ﾚｽ)
上
下
前
次
1-
新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
28
:
◆Ph05QxAcng
2024/01/25(木) 19:01:59.13
ID:0(28/1000)
AA×
[
240
|320|
480
|
600
|
100%
|
JPG
|
べ
|
ﾚｽ栞
|
ﾚｽ消
]
28: ◆Ph05QxAcng [] 2024/01/25(木) 19:01:59.13 ID:0 今仮に命題が成立しないと仮定すると、問題の解法となるアルゴリズムは全て問題のクラス一致しない、小さいクラスである問題aが存在して、そのアルゴリズムをa’と置く。 この時問題aを無限に生成するプログラムAが作成出来る。 今問題を無限に作成するプログラムがあって、その作成した問題を全て解くようにして、解いた問題の全体の割合をrと置く。 Aの場合、時間を∞^nとしてnをいくら大きくとっても0に収束する。 全ての真である証明問題の集合をPと置き、全ての計算問題の集合をpと置いた時、P⊃pであり、これは補題に矛盾する。 よって命題は示された。 系 P=NPが成り立つ」 http://lavender.5ch.net/test/read.cgi/philo/1703601600/28
今仮に命題が成立しないと仮定すると問題の解法となるアルゴリズムは全て問題のクラス一致しない小さいクラスである問題が存在してそのアルゴリズムをと置く この時問題を無限に生成するプログラムが作成出来る 今問題を無限に作成するプログラムがあってその作成した問題を全て解くようにして解いた問題の全体の割合をと置く の場合時間をとしてをいくら大きくとってもに収束する 全ての真である証明問題の集合をと置き全ての計算問題の集合をと置いた時でありこれは補題に矛盾する よって命題は示された 系 が成り立つ
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 974 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
ぬこの手
ぬこTOP
0.033s