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