如果電腦唔能夠用算法去解決一系列問題, 咁呢啲問題就會被認為係非決定性多項式時間, 而唔似係咩複雜性類別? 根據上個問題,寫下一個包含答案嘅上下文. 可以係一句到廿句 背景:
複雜性等級 P 經常被視為一個數學抽象模型,模擬一個有效算法嘅計算任務. 呢個假設叫做科班·埃德蒙德斯命題. 另一方面,複雜度類型NP包含許多人想有效解決嘅問題,但未知有有效算法,例如布爾式可滿足性問題,哈密爾頓式路徑問題同埋頂點覆蓋問題. 既然定式圖靈機器係特殊嘅非定式圖靈機器,咁就好容易睇到 P 中嘅每一個問題都係 NP 類嘅成員.