Тестирование функции на линейность с помощью базиса Фурье. Общий план доказательства PCP-теоремы. Понижение алфавита (начало).