我想知道如何需要許多比特來編碼的布爾公式像 @(x1,x2,x3,x4) = (x1 OR x2 OR NOT(x3) OR x4) AND ((NOT)x2 OR x3) AND (x1 OR (NOT)x4)
@是SAT的一個實例。我認爲它是4位,因爲可能的組合總數是2(power4)。那是對的嗎?我應該計算OR,NOT,還是計算編碼所需的位數?我搜查了很多,但無法找到任何東西。
例如,集合覆蓋決策問題已知是一個NP完全問題。這個問題的輸入是宇宙U,U的子集S和一個整數k()。 我很困惑的一件事是,如果讓k = 1,那麼通過簡單地檢查S中的每個元素,顯然問題可以在時間| S |中解決。更一般地,當k是常數,問題可以用| S |的多項式時間來解決。在這樣的方式,時間複雜度成倍成爲僅高當k也增加| S |像| S |/2,| S |/3 ...... 所以我這裏還有我的問題:
我試圖以直觀的方式包裝我聽到的P,NP,NP-Complete和NP-Hard,這樣我就不必記住他們的定義。 在下圖(左手腳,P!= NP)中,NP-Complete和NP-Hard之間有一個重疊區域。這是否意味着某些問題既是NP-Complete又是NP-Hard?我發現這個矛盾,根據這個特殊的答案:What are the differences between NP, NP-Complete