Искусство мыслить рационально. Шорткаты в математике и в жизни

В конце концов доказательство теоремы о четырех цветах было найдено в 1976 году. Однако это доказательство уж точно не могло считаться шорткатом. Тысячи вариантов, перебрать которые человеку было бы не по силам, проверили методом грубой силы на компьютере. Это доказательство стало поворотной точкой в истории математики: путь к решению впервые был проложен с использованием вычислительной мощности компьютеров. Это было похоже на ситуацию, в которой мы оказались бы перед горным хребтом и не смогли найти пути, ведущего в долину, которая лежит за ним. Тогда мы просто взяли машину и пробурили гору насквозь.

Многие представители математического сообщества испытывали смешанные чувства по отношению к такому использованию компьютера для доказательства этой теоремы. Предполагалось, что доказательство должно позволить человеку понять, почему именно четырех цветов достаточно, а не просто установить, так ли это. Число связей, которые могут образоваться в мозге человека, ограниченно; именно поэтому мозгу так важно ощущать, что он понимает, почему тот или иной шорткат именно таков. Если доказывать приходится долгим, кружным путем, получается, что оно не может быть загружено в мозг, и у нас остается ощущение, что нам так и не дали по-настоящему понять его.

Родственная раскрашиванию карты задача связана с сетью, состоящей из точек, некоторые из которых соединены линиями. Линии подобны границам между странами. В задаче спрашивается, каково минимальное количество цветов, необходимое для раскрашивания точек, при котором никакие две точки, соединенные линией, не оказались бы одного и того же цвета.

Футбол. Наверное, мои самые любимые примеры задач, к которым мы не можем найти шорткаты, связаны с футболом. Не столько с самой игрой, сколько с теми восхитительными вопросами, которые начинают возникать ближе к концу сезона: существует ли еще математическая возможность победы моей команды в Премьер-лиге при ее нынешнем положении в турнирной таблице? Может показаться, что это очень простая задача. Нужно всего лишь предположить, что команда победит во всех матчах и получит за каждую победу по три очка, а затем проверить, хватит ли ей этого, чтобы занять первое место. Однако на самом деле беспокоиться нужно обо всех матчах между другими командами. Разумеется, хотелось бы, чтобы команда, занимающая сейчас верхнюю строчку таблицы, проиграла как можно больше матчей. Но это означает, что те команды, с которыми она будет играть, будут побеждать и зарабатывать очки. Что, если у них окажется слишком много очков и одна из них выйдет на первое место?

Получается еще одна задача, в которой необходимо учитывать множество разных комбинаций матчей и их результатов. Приписывая командам победы, поражения и ничьи, я снова и снова бываю вынужден возвращаться назад, как в судоку, потому что оказывается, что один из результатов, которые я приписал раньше, разрушает все с таким трудом выстроенное равновесие.

Если всего в турнире осталось сыграть N матчей, каждый из них может закончиться для принимающей стороны победой, поражением или ничьей. Следовательно, нужно учесть в общей сложности 3^N разных исходов: их число растет экспоненциально. А хотелось бы найти шорткат, который поможет мне быстро понять, может ли еще моя команда, чисто математически, надеяться на победу в турнире.

Но эта задача так нравится мне потому, что, когда я был школьником, такой алгоритм существовал. Что же случилось с тех пор? Нет, дело не в том, что мы утратили этот алгоритм, а в том, что изменились правила начисления очков. Раньше команды получали за победу всего лишь по два очка, а в случае ничьей – по одному каждая. Потом решили, что это побуждает футболистов сводить матчи к скучным ничьим. Поэтому в 1981 году было принято решение усилить привлекательность побед для команд. Вместо двух очков победившая в матче команда стала получать три. Это, казалось бы, безобидное новшество резко изменило ситуацию с точки зрения задачи о возможности выхода той или иной команды на верхнюю строчку турнирной таблицы Премьер-лиги.

Важнее всего то обстоятельство, что до 1981 года суммарное число очков, распределяющееся между командами, не зависело от того, кто выигрывает, проигрывает или заканчивает матч вничью. В турнире участвуют 20 команд; каждая из них встречается со всеми остальными по два раза, на своем поле и на выезде, то есть всего получается 20 × 19 матчей. В старой системе в каждом матче разыгрывались два очка, которые распределялись в зависимости от его исхода. Стало быть, суммарное число очков, распределенных между 20 командами к концу сезона, было равно 2 × 20 × 19 = 760.