Синхронный турнир "Зеркало Архимеда". 2 тур. Вопрос 10

Вопрос 10: Группа ученых представила ЕГО о пифагоровых тройках, общий объем которого превышал 200 терабайт. Неудивительно, ведь для НЕГО был использован полный перебор. Назовите ЕГО двумя словами, начинающимися на парные согласные.

Ответ: Доказательство теоремы.

Комментарий: Для доказательства теоремы из бУлевой проблемы о пифагоровых тройках, ученые совершили полный перебор всех возможных комбинаций, что и дало такой огромный объем данных. Несмотря на то что доказательство было осуществлено не классически, на бумаге, а при помощи перебора, на конференции SAT 2016 оно было признано лучшей работой.

Источник(и): http://en.wikipedia.org/wiki/Boolean_Pythagorean_triples_problem

Автор: Максим Мозуль (Мюнхен)