Лекция 12 | Основы вычислимости и теории сложности | Дмитрий Ицыксон | CSC | Лекториум
Уровни Super Mario оказались неразрешимыми в теории вычислимости
Профессор MIT Эрик Демэйн и его студенты (Хаяши Ани, Холден Холл, Рикардо Руис, Навин Венкат) доказали, что Super Mario принадлежит к классу сложности RE-Complete, самому сложному классу задач, которые вообще существуют. Демэйн ранее считал, что игра в классе PSPACE, но новая работа переместила её выше. Студенты использовали редакторы уровней Super Mario Maker для создания уровней с 'counter gadgets', системами, отслеживающими Гумб в уровне. Гумба добавляется или удаляется при попадании трубы или прыжке Марио...