NP\( \subseteq \)PCP(poly(n),1). Базис Фурье для булевых функций. Тестирование функции на линейность.