Доказательство существования маленького epsilon-мещенного множества вероятностным методом. Явная конструкция. NP-полнота задачи о выполнимости системы квадратичных уравнений (QE). Сложность приближения задачи MAXQE.