5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

山口人生 〜超無職、失意の実家帰り〜 Part20

704 :132人目の素数さん:2005/05/04(水) 14:35:10
701、702のキチガイ餓鬼よ
馬鹿の見本。
その定義なら、
正解が非決定的多項式時間で受理。
不正解が計算終了しない。
でもNPになるぞ。
「acceptされない」は、「reject終了」だけでなく、「計算終了してない」も含む。
つまり、半決定でもNPになる可能性がある。
いっぽう、半決定がSATに還元できるはずがない。
この程度のことも理解できないのか?
次回の記事に載せると言ってるぞ。

251 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)