1
爲什麼我正在閱讀關於Michael Sipser計算理論的書,我有一個小問題:每種語言是屬於P還是NP?每種語言都屬於P還是NP?
爲什麼我正在閱讀關於Michael Sipser計算理論的書,我有一個小問題:每種語言是屬於P還是NP?每種語言都屬於P還是NP?
不是,並非P或NP中的所有語言。這裏有一些方法可以看到這一點:
有不可數許多語言,但只有在P與NP數多個語言。這意味着,特別是,如果您隨機選擇一種語言,並以概率1選擇一種語言,而不是P或NP。
P和NP中的所有語言都是可判定的。任何不可判定的語言,如暫停問題,不能在NP中。
nondeterministic time hierarchy theorem可用於顯示NEXP中有不在NP中的語言。
希望這有助於!
有些語言「under」,就像NL類中的語言,還有其他的「over」,就像EXPSPACE類中的語言一樣。我認爲如果你繼續讀這本書會談論他們。 – 2014-08-27 09:58:35
謝謝。我已經到達你談論的地點:) – 2014-08-28 10:50:06
@FabioF。 NL不是P的子集嗎? – templatetypedef 2014-09-08 20:12:50