NP-Completeness

首先需要一個問題叫做布林公式(Boolean formula)會像:

    \[\phi = (\bar{x} \wedge y) \vee (x \wedge \bar{z})\]

裡面的每一個符號稱作variable,每一個variable可以給0或1的值就像在做.

Turing Machine

圖靈機是由Alan Turing在1936年提出的概念,現今世界上所有的計算機不管是多複雜的架構都可以使用圖靈機的概念設計出來,其主要核心精神如下圖