sat问题的npc证明讲课教案.pptVIP

;内容提要;证明思路总览;证明思路总览;NP问题的统一模型;NDTM的运转规则;NDTM的运转规则;NDTM的运转规则;NDTM的运转规则;NDTM的运转规则;NDTM的运转规则;NDTM的运转规则;NDTM的运转规则;用或逻辑式表达运转规则;用或逻辑式表达运转规则;用或逻辑式表达运转规则;(1)初始时刻的或逻辑式： ;(2) 在每一时刻，M处于且仅处于一个状态： ;(2) 在每一时刻，M处于且仅处于一个状态： ;(3) 在每一时刻，读写头仅瞄准一个带格： ;(3) 在每一时刻，读写头仅瞄准一个带格： ;(4) 在每一时刻，每个带格恰好写有一个带符: ;(4) 在每一时刻，每个带格恰好写有一个带符: ; (5) 在最后一步，若x被M接受，则当时状态为 : ; (5) 在最后一步，若x被M接受，则当时状态为 : ;;;用或逻辑式表达运转规则;;;用或逻辑式表达运转规则;;;;;;用或逻辑式表达运转规则;用或逻辑式表达运转规则;用或逻辑式表达运转规则;用或逻辑式表达运转规则;;;;;用或逻辑式表达运转规则;;;;;用或逻辑式表达运转规则;ND