Лекция 3. И.Г. Лысёнок. Алгоритмические проблемы. Теорема Тице