PCP-теорема, альтернативное доказательство

Определение:

[math]qCSP[/math] представляет собой [math]\varphi[/math] — набор функций [math]\varphi_1, \ldots, \varphi_m[/math] из [math]\{0, 1\}^2[/math] в [math]\{0, 1\}[/math], такие что [math]\varphi_i[/math] зависит только от [math]q[/math] заданных параметров. То есть для [math]\forall i \in [1..m][/math] существуют [math]j_1, \ldots, j_q \in [1..n][/math] и функция [math]f:\{0, 1\}^q \rightarrow \{0, 1\}, такие что \lt tex\gt \varphi_i(u) = f(u_{j_1}, \ldots, u_{j_q})[/math] для любого [math]u \in \{0, 1\}^n[/math]. Назовём распределение [math]u \in \{0, 1\}[/math] удовлетворяет [math]\varphi_i[/math], если [math]\varphi_i(u) = 1[/math]. [math]val(\varphi) = \frac{\sum_{i = 1}^{m} \varphi_i(u)}{m}.[/math] Если [math]val(\varphi) = 1[/math], то [math]\varphi[/math] - удовлетворима.

Определение:

[math]\rho \in (0, 1)[/math]. Задача [math]\rho[/math]-GAP qCSP - определить для формулы q-CSP — [math]\varphi[/math]: [math]\bullet[/math] [math]\varphi[/math] удовлетворима, то "YES". [math]\bullet[/math] [math]val(\varphi) \leq \rho[/math], то "NO".

Теорема:

Существуют [math]q \in \mathbb{N}, \rho \in (0, 1)[/math] такие, что задача [math]\rho[/math]-GAP qCSP — NP-трудная.

Утверждение:

Теорема выше эквивалентна теореме о том, что NP = PCP(1, [math]log(n)[/math]).

[math]\triangleright[/math]

1) Пусть NP [math]\subseteq[/math] PCP(1, [math]log(n)[/math]). Докажем, что задача 3SAT сводится к [math]\frac{1}{2}[/math]-GAP qCSP, а, значит, [math]\rho[/math]-GAP qCSP является NP-сложной. По нашему предположению для задачи 3SAT существует верифаер [math]V[/math] с доказательством [math]\pi[/math] и обращается он к нему [math]q[/math] раз, а случайной лентой пользуется [math]clog(n)[/math] раз. Теперь для любого входа [math]x \in \{0, 1\}^n[/math] и [math]r \in \{0, 1\}^{clog(n)}[/math] определим функцию [math]V_{x, r}[/math] такую, что для доказательства — [math]\pi[/math] возвращает 1, если верифаер принимает доказательство [math]\pi[/math], имея на входе [math]x[/math] и ленту [math]r[/math]. Получается что набор [math]\varphi={V_{x, r}}[/math] для всех [math]x[/math] и [math]r[/math] является qCSP полиномиального размера. Так как верифаер работает за полиномиальное время, то [math]x[/math] сводится к [math]\varphi[/math] за полиномиальное время. И если [math]x \in[/math] 3SAT, то [math]val(\varphi) = 1[/math], и [math]x \not\in[/math] 3SAT, то [math]val(\varphi) \leq \frac{1}{2}[/math].

[math]\triangleleft[/math]