Группа ученых представила ЕГО о пифагоровых тройках, общий объем которого превышал 200 терабайт. Неудивительно, ведь для НЕГО был использован полный перебор. Назовите ЕГО двумя словами, начинающимися на парные согласные.
Доказательство теоремы.
Комментарии: Для доказательства теоремы из бУлевой проблемы о пифагоровых тройках, ученые совершили полный перебор всех возможных комбинаций, что и дало такой огромный объем данных. Несмотря на то что доказательство было осуществлено не классически, на бумаге, а при помощи перебора, на конференции SAT 2016 оно было признано лучшей работой.
Автор: Максим Мозуль (Мюнхен)
Источник: http://en.wikipedia.org/wiki/Boolean_Pythagorean_triples_problem
Чемпионат: Синхронный турнир "Зеркало Архимеда"
Тур: 2 тур
Номер: Вопрос 10
Показать как json