ГЛ А В А 6 .

М А С С О В Ы Е З А Д АЧ И И А Л Г О РИ Т М Ы

Решение задачи о построении равностороннего треугольника (см. с. 144).

A В

Пусть отрезок AB (см. рисунок) конгруэнтен исходному отрезку. Устанавли-

ваем иглу в точку А, стило — в точку В и проводим окружность с центром
в А. Далее переносим иглу в точку В, стило — в точку А и проводим окруж-
ность с центром в В. Полученные окружности пересекутся в двух точках.
Одну из них обозначим буквой С. Треугольник АВС окажется равносторон-
ним со сторонами, конгруэнтными исходному отрезку.

ГЛАВА 
Массовые задачи и алгоритмы
В который уже раз подчеркнем, задача — это всегда требо-
вание что-то найти, построить, указать. В школе это «что-то»
обычно называют ответом, а систему рассуждений, приводя-
щую к ответу, — решением. Во «взрослой» математике ответ
чаще всего тоже называют решением. Таким образом, термин
«решение» обозначает сразу и действие, и его результат. Си-
туация эта отнюдь не уникальна: слово «пение», например,
означает и процесс извлечения звуков, и сами звуки. К пута-
нице подобная многозначность, как правило, не приводит.
Всё расставляет по местам контекст. Так что договоримся
употреблять «взрослую» терминологию.
В замечательной одноактной пьесе «Урок» Эжена Ионе-
ско есть такой диалог, который мы приведём с купюрами.

149
 А П ОЛ О Г И Я М АТ Е М АТ И К И , И Л И О М АТ Е М АТ И К Е ...

Учитель. <…> Сколько будет, ну, скажем, если три

миллиарда семьсот пятьдесят пять миллионов девять-
сот девяносто восемь тысяч двести пятьдесят один ум-
ножить на пять миллиардов сто шестьдесят два мил-
лиона триста три тысячи пятьсот восемь?
Ученица (отвечает немедленно). Это будет девятнад-
цать квинтиллионов триста девяносто квадриллионов
два триллиона восемьсот сорок четыре миллиарда две-
сти девятнадцать миллионов сто шестьдесят четыре
тысячи пятьсот восемь. <…>
Учитель (сосчитав в уме, с нарастающим изумлением).
Да… Вы правы… ответ действительно… (невнятно бормо-
чет) квадриллионов… триллионов… миллиардов… мил-
лионов… (разборчиво) сто шестьдесят четыре тысячи
пятьсот восемь… (Ошеломлённо.) Но каким образом вы
это вычислили, если вам недоступны простейшие при-
емы арифметического мышления?
Ученица. Очень просто. Поскольку я не могу поло-
житься на своё арифметическое мышление, я взяла
и выучила наизусть все результаты умножения, какие
только возможны1.

Всех результатов умножения бесконечно много, так что

выучить их наизусть нет никакой возможности. Да это
и не нужно: Ионеско справедливо утверждает устами Учи-
теля из своей миниатюры, что «математика — заклятый
враг зубрёжки». (Кстати, теоретическая невозможность
выучить все результаты получила в приведённом диа-
логе и экспериментальное подтверждение. Дело в том,
что Ученица дала неправильный ответ: правильным отве-
том является число 19 389 602 947 179 164 508, а ею на-
звано число 19 390 002 844 219 164 508. Не берусь судить,

1
Пер. с фр. Н. Мавлевич.

150
 ГЛ А В А 6 . М А С С О В Ы Е З А Д АЧ И И А Л Г О РИ Т М Ы

получил ли этот факт должное отражение в ионесковеде-

нии1.)
Но мы ведь умеем умножать. Это потому, что ещё в на-
чальной школе нас учат некоторому общему способу умно-
жения любых целых чисел, а именно умножению столбиком.
Любой человек, им овладевший, имеет право заявить, что
теперь готов умножить друг на друга любые два натураль-
ных числа — и не потому, что выучил все результаты (что,
повторим, невозможно), а именно потому, что указанный
способ позволяет найти требуемый результат для любой пары
сомножителей.
Пример с умножением даёт представление о массовых за-
дачах. Массовая задача образуется в результате совместного
рассмотрения серии однотипных единичных задач. В слу-
чае умножения каждая единичная задача состоит в указа-
нии пары конкретных чисел (например, тех, которые были
названы Ученице Учителем) и требовании найти их произ-
ведение. Это произведение является решением предложен-
ной единичной задачи. Массовая же задача состоит здесь

1
Сдержанность в этом вопросе российского ионесковедения объ-
ясняется, возможно, тем, что в некоторых русских переводах
(например, вошедшем в книгу: Ионеско Э. Носорог: Пьесы и рас-
сказы / Пер. с фр. — М., 1991. — C. 208) приведены иные цифры,
нежели во французском оригинале. Мы сверили этот перевод
с двумя изданиями, выпущенными в 1954 г. известным париж-
ским издательством «Галлимар» (Gallimard): 1) Ionesco E. Théâtre.
V. 1. P. 73 и 2) Ionesco E. La cantatrice chauve, suivi de La leçon.
P. 114. Для полной ясности приведём французский текст. Во-
прос Учителя звучит так: «<…> Combien font, par exemple, trois
milliards sept cent cinquante-cinq millions neuf cent quatre-vingt-dix-
huit mille deux cent cinquante et un, multiplié par cinq milliards cent
soixantedeux millions trois cent trois mille cinq cent huit?» На что
Ученица сразу же отвечает: «Ça fait dix-neuf quintillions trois cent
quatre-vingt-dix quadrillions deux trillions huit cent quarante-quatre
milliards deux cent dix-neuf millions cent soixante-quatre mille cinq
cent huit. <…>

151
 А П ОЛ О Г И Я М АТ Е М АТ И К И , И Л И О М АТ Е М АТ И К Е ...

в требовании указать некий метод, позволяющий найти про-

изведение для каждой отдельной пары чисел.
Другой простой пример. Требуется решить квадратное
уравнение x2 − 13x + 30 = 0. Это единичная задача, и её ре-
шением служит пара чисел 3 и 10. А вот изучаемая в средней
школе задача решения произвольного квадратного уравне-
ния является массовой, и её решением служит всем извест-
ная (по крайней мере она должна быть всем известна) фор-
мула, дающая решение для любого конкретного квадратного
уравнения.
Остановим свой взгляд на какой-нибудь массовой задаче
и посмотрим, чем различаются составляющие её единичные
задачи. Мы видим, что они различаются своими исходными
данными. Для каждой единичной задачи умножения исход-
ным данным служит конкретная пара чисел. А для каждой
единичной задачи на решение квадратного уравнения ис-
ходное данное — это конкретное квадратное уравнение. Ре-
шением же массовой задачи является общий метод, дающий
решение для каждой из составляющих её единичных задач.
Если предложенный общий метод состоит в последователь-
ности строго детерминированных операций, ведущих от ис-
ходных данных к результату, он называется конструктивным,
или эффективным, или алгоритмическим, или, ещё короче,
алгоритмом. Таким образом, можно говорить об алгоритме
сложения столбиком, об алгоритме умножения столбиком,
об алгоритме решения квадратных уравнений и т. п. Алго-
ритмы играют в математике — да и во всей нашей жизни —
большую роль, особенно в связи с развитием компьютерной
технологии.
Само слово «алгоритм» достаточно интересно: это, воз-
можно, единственный математический термин, произошед-
ший от географического названия — Хорезм. Это название
носили историческая область и древнее государство в Сред-
ней Азии в низовьях реки Амударьи. В конце VIII — первой

152
 ГЛ А В А 6 . М А С С О В Ы Е З А Д АЧ И И А Л Г О РИ Т М Ы

половине IX в. здесь жил замечательный ученый Мухаммед

бен Муса аль-Хорезми (аль-Хорезми буквально означает
«из Хорезма»). Он предложил некоторые методы решения
арифметических задач, и на его авторитет ссылались средне-
вековые европейские авторы, писавшие, как это было при-
нято, на латыни. Начиная с XII в. его имя транслитериро-
валось как Algoritmi. Отсюда и пошёл термин «алгоритм».
Поиски общего метода для решения массовой задачи велись
со времён Античности. Однако впервые ясное понимание
алгоритма в качестве самостоятельной сущности встреча-
ется лишь в 1912 г. в трудах великого французского матема-
тика Эмиля Бореля.
Понятие алгоритма — одно из центральных в матема-
тике. Программа для компьютера есть не что иное, как за-
пись алгоритма на одном из так называемых языков про-
граммирования. Прорыв в осмыслении этого важнейшего
понятия произошёл в 1936 г., когда независимо друг от друга
Алонзо Чёрч в Америке и Алан Тьюринг в Великобритании
предложили математические уточнения понятия алгоритма
(каждый своё) и на основе этих уточнений предъявили пер-
вые примеры массовых проблем, неразрешимых алгоритми-
чески, в числе которых оказалась и очень знаменитая, сто-
явшая с 1915 г. так называемая проблема разрешения (das
Entscheidungsproblem), считавшаяся главной в математиче-
ской логике. Поясним, что термины «проблема» и «задача»
для нас синонимы и что массовая проблема считается алго-
ритмически неразрешимой, если не существует решающего
её алгоритма, т. е. такого единого алгоритма, который по-
зволял бы находить решение для каждой из тех единичных
проблем, которые и составляют рассматриваемую массовую
проблему.
Алгоритмически неразрешимые проблемы, указанные
Чёрчем и Тьюрингом, слишком сложны, чтобы их здесь фор-
мулировать. Сейчас мы приведём достаточно простой пример

153
 А П ОЛ О Г И Я М АТ Е М АТ И К И , И Л И О М АТ Е М АТ И К Е ...

такой проблемы. Разумеется, мы вынуждены ограничиться её

формулировкой и не приводить ни доказательства её нераз-
решимости, ни даже намёка на него. Пример этот покажет,
что массовые проблемы, для решения которых алгоритма
нет, лежат совсем близко к повседневной жизни.
Для большей наглядности изложим наш пример в терми-
нах некой игры. Любезный читатель согласится, что такая
игра вполне мыслима в нашу эпоху пиара, рекламных акций,
казино и игровых автоматов.
Игровыми принадлежностями будут служить пластинки,
похожие на костяшки, что используются при игре в домино.
Как и костяшка домино, каждая пластинка разделена по-
полам чертой. В каждой половине что-то написано. Отли-
чие от домино заключается в том, что именно написано.
В случае домино в каждой из половин точками фиксируется
число очков от 0 до 6. В нашем случае в каждой из половин
записывается цепочка из букв x и z. Вот примеры таких це-
почек. Цепочки длины один: x, z. Цепочки длины два: xx, xz,
zx, zz. Цепочки длины три: xxx, xxz, xzx, xzz, zxx, zxz, zzx, zzz.
Возможна и цепочка длины ноль, в этом случае не записано
ничего. А вот одна из 128 цепочек длины семь: zxzxxxz. Воз-
можный вид пластинок изображён на рис. 1.

x x xz zzz
zx zzxx zz z

А B C D
Рис. 1

Изображённые на рис. 1 четыре пластинки, в том порядке,

как они показаны, обозначим — для дальнейших ссылок —
буквами A, B, C, D. Если приложить одну пластинку к другой,
но не торцами, как при игре в домино, а боками, то в резуль-
тате получим две строчки букв: одну сверху, другую снизу.

154
 ГЛ А В А 6 . М А С С О В Ы Е З А Д АЧ И И А Л Г О РИ Т М Ы

Так, прикладывая A к D (слева D, справа A), получаем zzzx

сверху и zzx снизу. Если приложить в другом порядке, по-
лучим xzzz сверху, zxz снизу. Аналогично можно приклады-
вать друг к другу несколько пластинок и считывать верх-
нюю и нижнюю строчки букв. Более того, каждую пластинку
разрешается воспроизводить в неограниченном количестве
и создавать сочетания из повторяющихся пластинок, такие,
например, как AACA. В этом примере верхней строчкой бу-
дет xxxzx, а нижней — zxzxzzzx. Прошу у читателя прощение
за долгое вступление, но хотелось бы, чтобы всё было пре-
дельно ясно.
Теперь — сама игра. Она состоит в следующем. В сред-
ствах массовой информации объявляется некоторый кон-
кретный набор пластинок. Далее предлагается, воспроизводя
каждую из пластинок набора в необходимом количестве, при-
ложить пластинки друг к другу так, чтобы верхняя и нижняя
строчки совпали друг с другом. Первым пяти приславшим
решения будет выплачен внушительный приз.
Поясним сказанное на примерах. Пусть объявленный на-
бор содержит всего только одну пластинку A из приведённого
выше перечня. Ясно, что решение невозможно, потому что,
сколько раз ни прикладывай пластинку A саму к себе, ниж-
няя строка всегда окажется длиннее верхней. По сходной
причине решения не существует, если объявленный набор со-
стоит из одной только пластинки D, только тут длиннее будет
верхняя строка. Желающие могут попытаться доказать, что
решения не существует и в том случае, когда объявленный
набор состоит из двух пластинок A и D. А вот если объявить
набор из всех наших четырёх пластинок A, B, C и D, то ре-
шение существует. Действительно, если сложить пластинки
в таком порядке: DBCDA, — то и верхняя, и нижняя строка
окажутся одинаковы: zzzxxzzzzx.
Итак, набор объявлен. Все хотят получить приз. Но, пре-
жде чем пытаться найти такое расположение пластинок, при

155
 А П ОЛ О Г И Я М АТ Е М АТ И К И , И Л И О М АТ Е М АТ И К Е ...

котором верхняя и нижняя строки окажутся одинаковыми,

желательно узнать, возможно ли такое расположение в прин-
ципе. Ведь если оно невозможно, то бесперспективно его ис-
кать, это будет пустой потерей времени. Так вот, оказыва-
ется, что не существует никакого эффективного способа это
узнать. Не существует такого алгоритма (он не просто неиз-
вестен — его нет), который позволял бы для любого объяв-
ленного набора пластинок узнать, имеется ли решение, т. е.
можно или нельзя сложить пластинки требуемым образом.
Узнать, к какой из двух категорий относится каждый отдельно
взятый набор пластинок — к той, для которой решения име-
ются, или же к той, для которой решений нет, — это сугубо
творческая задача, своя для каждого набора, а общий метод
нахождения ответа для всех таких задач отсутствует.

ГЛАВА 
Парадокс Галилея,
эффект Кортасара
и понятие количества
Мне леф-ноль сияет в вышине,
Как лишь песцы сияют голубые,
И я ищу спасения от змия
В теории Георга, как в вине.
ИЗ СТУДЕНЧЕСКОГО ФОЛЬКЛОРА

В детстве меня иногда посещал кошмар. Мне представлялось

большое число стульев (наглядно — в виде рядов в партере
летнего театра). И вот их начинают пересчитывать. Полу-
чают некоторое число. Затем пересчитывают в другом по-
рядке и получают другое число. Кошмар заключался в том,
что оба числа верны.

156