計算複雜度 Archives - Scientia Potentia Est

定義1：存在一組Deterministic Turing Machine M對於所有的輸入language會停住，M的space complexity可以用一個function f表達，f:[latex]N \rightarrow N[/latex], 而[latex]f(n)..

首先需要一個問題叫做布林公式(Boolean formula)會像：$$\phi = (\overline{x} \wedge y) \vee (x \wedge \overline{z})$$裡面的每一個符號稱作variable，每一個variable可以給0或1的值就像在做布..

Scientia Potentia Est