Лекция 15. А.С. Трушечкин. Алгоритм Гровера