Текст книги "Есть идея!"

Автор книги: Мартин Гарднер

сообщить о нарушении

Текущая страница: 3 (всего у книги 17 страниц)

Как поджарить ромштексы?

На лужайке перед домом мистер Джонсон соорудил небольшую плиту, иа которой за один час можно поджарить 2 ромштекса. Его жена и дочь Бетси очень проголодались и хотят поесть как можно скорей. Как быстрее всего поджарить 3 ромштекса?

Мистер Джонсон. Чтобы поджарить с двух сторон 1 ромштекс, требуется 20 мин (по 10 мин на каждую сторону). Значит, за 20 мин можно приготовить 2 ромштекса. Еще 20 мин мне понадобится, чтобы поджарить третий ромштекс, поэтому всего на приготовление 3 ромштексов придется затратить 40 мин.

Бетси. Папочка, ромштексы можно поджарить гораздо быстрее! Я только что придумала, как можно сэкономить 10 мин.

Какая удачная мысль позволила Бетси сократить приготовление обеда на 10 мин?

Чтобы объяснить предложенное Бетси решение, обозначим ромштексы A, B и C, а их стороны – цифрами 1 и 2. За первые 10 мин следует поджарить стороны А1 и В1.

Отложим ромштекс B в сторону и поджарим за следующие 10 мин стороны A2 и C1. К концу 20-й минуты ромштекс A будет готов.

Еще через 10 мин поджарятся стороны B2 и C2. Таким образом, на приготовление всех 3 ромштексов уйдет всего 30 мин, что и утверждала Бетси.

Общая стратегия

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

Как обычно, рассмотренная нами простая задача допускает не одно обобщение. Например, условия задачи можно варьировать, изменяя число ромштексов, которые можно одновременно поджаривать на плите, число ромштексов, которые требуется поджарить, или то и другое одновременно. Другой подход к обобщению задачи состоит в увеличении числа сторон, с которых требуется «обжарить» тот или иной предмет. Например, кому-нибудь может понадобиться окрасить со всех сторон в красный цвет n кубов, окрашивая за один раз по одной грани k кубов.

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

Из длинного списка хлопотливых домашних дел мистеру и миссис Джонс осталось выполнить три пункта:

1) произвести уборку на первом этаже (у семейства Джонсов имеется 1 пылесос, на уборку первого этажа уходит 30 мин);

2) подстричь газон перед домом (у семейства Джонсов имеется 1 машинка для стрижки газона, на выполнение этого задания необходимо затратить 30 мин);

3) накормить и уложить спать ребенка (на это также требуется затратить 30 мин).

Как следует распределить обязанности супругам Джонс, чтобы завершить все работы по дому в кратчайший срок? Если предположить, что мистер и миссис Джонс работают одновременно, то трудно удержаться от искушения дать ответ: «На выполнение 3 пунктов программы у супругов Джонс уйдет 60 мин». Но если одну из работ, например уборку первого этажа, разделить на 2 равные части и выполнение второй половины отложить (как в задаче с поджариванием ромштексов) до завершения другой работы, то на выполнение намеченной программы у супругов Джонс уйдет лишь ¾ времени (по сравнению с первым вариантом), или 45 мин.

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

Чтобы положить ломтик хлеба в тостер, требуется затратить 3 с. Еще 3 с уходит на то, чтобы вынуть каждый ломтик из тостера, и 3 с требуется для того, чтобы повернуть ломтик на другую сторону, не вынимая его из тостера. Каждую из этих операций необходимо производить двумя руками. Это означает, что ли одну из них нельзя выполнить одновременно над двумя ломтиками хлеба. Кроме того, пока мы кладем ломтик хлеба в тостер, вынимаем его оттуда или переворачиваем, его нельзя намазать маслом. Ломтик хлеба поджаривается с одной стороны за 30 с. Намазать ломтик хлеба маслом можно за 12 с.

Каждый тост требуется намазать маслом только с одной стороны. Намазывать маслом неподжаренную сторону запрещается. Ломтик хлеба, поджаренный и намазанный маслом с одной стороны, можно снова положить в тостер, чтобы поджарить с другой стороны. Сразу после включения тостер нагревается до рабочей температуры. Сколько времени потребуется, чтобы поджарить с двух сторон 3 ломтика хлеба и каждый из них намазать маслом?

Нетрудно спланировать все операции так, чтобы 3 ломтика поджаренного хлеба с маслом были готовы за 2 мин. Но 9 с можно сэкономить, если вам удастся набрести на следующую счастливую идею: ломтик хлеба можно поджарить с одной стороны не до конца, затем вынуть из тостера и дожарить позже. При таком подходе время на приготовление 3 ломтиков поджаренного хлеба с маслом удается сократить до 114 с. Но даже для тех, кому удается подобрать ключ к решению, составление оптимального графика выполненных операций остается далеко не легкой задачей. Что же касается бесчисленных проблем на составление самых экономичных последовательностей операций в различных областях человеческой деятельности, то они требуют для своего решения сложных математических методов, обращения к ЭВМ и современной теории графов.

Упрямые плитки

Площадка перед домом мистера Брауна выложена 40 квадратными плитками. Со временем некоторые плитки треснули, и мистер Браун решил покрыть площадку заново.

Он отправился в магазин и выбрал новые плитки, которые имели форму прямоугольников, составленных из двух квадратов размером в старую плитку.

Владелец магазина. Сколько вам нужно плиток, мистер Браун?

Мистер Браун. Мне нужно покрыть 40 квадратов. Думаю, что 20 плиток будет достаточно.

Но когда м-р Браун попытался вымостить площадку новыми плитками, то ничего хорошего из этого не получилось. Как он ни старался, уложить плитки так, чтобы они покрыли всю площадку, это ему не удалось.

Бетси. Что случилось, папа? Чем ты так озабочен?

М-р Браун. Никак не могу уложить эти проклятые плитки! Как ни бьюсь, два квадрата остаются непокрытыми. С ума можно сойти!

Дочь мистера Брауна начертила план площадки, раскрасила квадраты в шахматном порядке и в течение нескольких минут внимательно разглядывала свой рисунок.

Бетси. Есть идея! Я поняла, почему у тебя ничего не получается, папа! Все дело в том, что каждая новая плитка должна накрывать один белый и один черный квадрат.

Какое отношение это имеет к делу? Что Бетси имеет в виду?

На плане площадки 21 черный квадрат и 19 белых квадратов. Следовательно, после того, как уложено 19 новых плиток, 2 черных квадрата неизменно остаются непокрытыми, и покрыть их одной новой плиткой невозможно. Единственный способ выйти из затруднения – расколоть новую плитку на два квадрата.

Проверка на четность

Дочь мистера Брауна нашла способ покрыть площадку прямоугольными плитками, воспользовавшись рассуждением, известным под названием «проверка на четность». Мы говорим о двух числах, что их четность одинакова, если они либо оба четны, либо оба нечетны. Если одно число четно, а другое нечетно, то говорят, что их четность различна. С подобными ситуациями неоднократно приходится сталкиваться в комбинаторной геометрии.

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

Проверка на четность в самых различных вариантах лежит в основе доказательств многих теорем «несуществования» в математике. Кто не помнит, например, знаменитое доказательство иррациональности числа √2, предложенное Евклидом. Иррациональность √2 Евклид доказывает от противного, то есть сначала предполагает, что число √2 рациональное и его можно представить в виде несократимой дроби с целым числителем и знаменателем. Числитель и знаменатель этой дроби не могут быть оба четными, так как тогда дробь не была бы несократимой. Следовательно, либо они оба нечетны, либо один из них четен, а другой нечетен. Затем Евклид доказывает, что и в том, и в другом случае дробь, которая была бы равна √2, не существует. Иначе говоря, числитель и знаменатель дроби, которая была бы равна √2, не могли бы быть ни одинаковой, ни различной четности. Но все дроби подразделяются на два непересекающихся класса: к одному относятся дроби с числителем и знаменателем одинаковой четности, к другому принадлежат дроби с числителем и знаменателем различной четности. Следовательно, число √2 непредставимо в виде дроби с целым числителем и знаменателем, то есть иррационально.

Теория покрытия одних плоских фигур другими изобилует задачами, в которых доказать несуществование решения было бы трудно, если бы не проверка на четность. Задача, с которой столкнулся мистер Браун, чрезвычайно проста, поскольку в ней речь идет о покрытии площадки плитками в форме костей домино – простейших нетривиальных полимино. (Каждая «кость» полимино составлена из квадратов, примыкающих друг к другу по целой стороне). Предложенное Бетси доказательство неразрешимости задачи применимо к любой фигуре из единичных квадратов, у которой после раскрашивания квадратов в шахматном порядке клеток одного цвета оказывается по крайней мере на одну больше, чем клеток другого цвета.

В рассмотренной нами задаче площадку перед домом можно рассматривать как прямоугольник размером 6×7 единиц с двумя недостающими клетками одного цвета. Если из прямоугольника вырезать 2 клетки одного цвета, то ясно, что покрыть 20 костями домино 40 остальных клеток невозможно. С исходной задачей тесно связан следующий ее интересный вариант: всегда ли 20 костями домино можно покрыть прямоугольник размером 6×7 единиц, из которого вырезаны 2 клетки разного цвета? Проверка на четность не позволяет доказать неразрешимость новой задачи, но это отнюдь не означает, будто бренные останки прямоугольника всегда можно покрыть 20 костями домино. От перебора всех фигур, возникающих при удалении из прямоугольника размером 6×7 единиц двух клеток разного цвета, следует заранее отказаться, так как их слишком много, что затрудняет анализ задачи. Не существует ли простое доказательство разрешимости задачи, позволяющее разом охватить все прямоугольники размером 6×7 с двумя недостающими клетками разного цвета?

Такое доказательство, простое и изящное, действительно существует. Идею его предложил Ральф Гомори. Оно также использует проверку на четность. Предположим, что прямоугольник размером 6×7 целиком заполнен замкнутой дорожкой шириной в 1 клетку (рис. 4). Если удалить 2 клетки разного цвета, то, где бы они ни были расположены в прямоугольнике, замкнутая дорожка распадется на две части, каждая из которых состоит из четного числа клеток, цвета которых чередуются. Ясно, что каждый такой отрезок дорожки можно выложить костями домино. Следовательно, задача всегда допускает решение. Может быть вам захочется испытать свои силы и, применить остроумную идею Гомори к доказательству разрешимости аналогичных задач для прямоугольников других размеров и форм, из которых вырезано более двух клеток.

Теория «покрытия» – обширный раздел комбинаторной геометрии, интерес к которому все возрастает. Области, которые требуется покрыть, могут быть любой формы, конечными или бесконечными. Форма фигур, которыми требуется покрыть заданную фигуру, варьируется от задачи к задаче. Иногда требуется покрытие не конгруэнтными фигурами, а фигурами нескольких различных форм. Доказательство несуществования решения таких задач нередко удается получить, раскрасив клетки покрываемой фигуры специальным образом в несколько цветов.

Трехмерным аналогом домино служит кирпич размером 1×2×4 единиц. Такими кирпичами нетрудно заполнить ящик размером 4×4×4 единиц (заполнение пространственных тел принято называть упаковкой). Можно ли заполнить кирпичами ящик размером 6×6×6 единиц? Решение этой задачи аналогично решению задачи о покрытии площадки перед домом мистера Брауна. Представим себе, что ящик разделен на 27 кубиков размером 2×2×2 единиц. Раскрасим кубики в шахматном порядке в черный и белый цвет («шахматная доска» при этом получится не обычная, а трехмерная). Подсчитав, сколько черных и белых кубиков вмещает ящик, мы обнаружим, что кубиков одного цвета на 8 больше, чем кубиков другого.

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

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

Четность играет важную роль и в физике элементарных частиц. В 1957 г. два американских физика китайского происхождения, Ли Цзундао и Янг Чжэньнин, получили Нобелевскую премию за теоретическое предсказание несохранения четности. Их знаменитая работа носит слишком специальный характер, чтобы мы могли разобрать ее здесь, но сохранение четности можно продемонстрировать на примере одного замечательного фокуса с монетами.

Наберите пригоршню монет и, бросив ее на стол, сосчитайте, сколько монет выпало вверх гербом. Если число гербов окажется четным, мы скажем, что гербы имеют «четную четность». Если число гербов на столе окажется нечетным, мы скажем, что гербы имеют «нечетную четность». Выбрав наугад две монеты, переверните их и повторите эту операцию сколько угодно раз (выбирая пары монет каждый раз наугад). Вы обнаружите удивительную закономерность: независимо от того, сколько пар монет перевернуто, четность гербов остается неизменной. Если сначала она была нечетной, то она останется нечетной, а если была четной, то останется четной.

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

Фокус можно показывать и по-другому. Пусть ваш помощник закроет рукой не одну, а две монеты. Вы сможете безошибочно сказать, лежат ли они обе вверх гербом или «решкой», или же одна монета лежит гербом вверх, а другая – гербом вниз. Аналогичные проверки на четность лежат в основе многих хитроумных карточных фокусов.

Проф. Квиббл и его домашние животные

Перед вами снова проф. Квиббл.

Проф. Квиббл. У меня есть для вас новая головоломка. Сколько у меня домашних животных, если все они, кроме двух, собаки, все оии, кроме двух, кошки и все они, кроме двух, попугаи?

Ну как, решили?

У проф. Квиббла всего 3 домашних животных: собака, кошка и попугай. Все они, кроме двух, собаки, все они, кроме двух, кошки, и все они, кроме двух, попугаи.

Один за «всех» и «все» за одного

Эту задачу-головоломку, кажущуюся на первый взгляд неприступной, легко решить «в уме», если понять, что слово «все» может относиться и к одному-единственному животному. Требуемое решение мы получаем в простейшем случае, когда имеется 1 собака, 1 кошка и 1 попугай. Однако решение задачи полезно представить в алгебраическом виде.

Пусть x – число собак, y – число кошек, z – число попугаев, а n – общее число животных. Тогда условия задачи позволяют записать следующую систему из 4 уравнений:

n = x + 2

n = y + 2

n = z + 2

n = x + y + z

Решить ее можно многими стандартными способами. Из первых трех уравнений видно, что x = y = z. Так как n = x + 2 и n = Зx (из последнего уравнения), то x + 2 = 3x, откуда x = 1, и мы получаем полный ответ задачи: x = y = z = 1.

Поскольку x, y и z в таких задачах принимают, как правило, целые положительные значения (кто станет держать у себя треть кошки или четверть попугая?), то задачу о домашних животных проф. Квиббла можно отнести к так называемым диофантовым задачам. Так принято называть задачи, сводящиеся к решению алгебраических уравнений в целых числах. Иногда диофантовы уравнения не имеют решений или допускают только одно решение. Существуют также диофантовы уравнения, имеющие более одного решения и даже бесконечно много решений. Вот, например, еще одна несколько более трудная диофантова задача о трех видах домашних животных, также сводящаяся к решению системы линейных уравнений.

Корова стоит 10 долларов, свинья – 3 доллара, а овца – 50 центов. Фермер купил по крайней мере 1 корову, 1 свинью и 1 овцу, израсходовав на покупку всего 100 долларов. Сколько и каких животных он купил?

Пусть x – число коров, y – число свиней и z – число овец. Тогда условия задачи можно записать в виде двух уравнений:

10x + 3y + z/2 = 100,

x + y + z = 100.

Умножив правую и левую часть первого уравнения на 2, избавимся от двойки в знаменателе, после чего вычтем из первого уравнения второе. Тем самым мы исключим z и получим «укороченное» уравнение

19x + 5y = 100.

Какие целочисленные значения могут принимать x и y? Один из способов получить ответ на этот вопрос состоит в том, чтобы преобразовать уравнение, оставив в левой части только член с наименьшим коэффициентом при неизвестном: 5y = 100 − 19x. Разделив обе части уравнения на 5, получим у = (100 − 19x)/5. Разделим теперь 100 и 19x на 5, выделив заведомо целую часть и дробный остаток (если он существует):

y = 20 − Зx − 4x/5.

Ясно, что выражение 4x/5 должно принимать целочисленные значения. Следовательно, x должен быть кратен 5. Наименьшее кратное 5 равно 5, что соответствует y = 1 и (если вернуться к любому из двух исходных уравнений) z = 94. При остальных значениях x, кратных 5 (и больших 5), у принимает отрицательные значения. Значит, наша задача допускает единственное решение: фермер купил 5 коров, 1 свинью и 94 овцы.

Варьируя цены на коров, свиней и овец, можно самостоятельно открыть многие премудрости элементарной теории диофантовых уравнений. Предположим, например, что коровы продаются по 4 доллара, свиньи – по 2 доллара и овцы – по ⅓ доллара за голову. Сколько животных купил фермер на 100 долларов, если известно, что он купил по крайней мере 1 корову, 1 свинью и 1 овцу? Эта задача допускает 3 решения. А что можно сказать, если корова стоит 5 долларов, свинья – 2 доллара и овца – 50 центов? Оказывается, что в этом случае решения не существует.

Теория диофантовых уравнений представляет собой обширный раздел теории чисел, имеющий бесчисленные применения во многих областях науки и техники. Одна из знаменитых задач на решение диофантовых уравнений известна под названием великой (или последней) теоремы Ферма. В ней требуется найти при любых целых положительных n > 2 решение в целых числах уравнения xⁿ + yⁿ = zⁿ (при n = 2 эти решения называются пифагоровыми тройками; существует бесконечно много пифагоровых троек, начиная с 3² + 4² = 5²). Великая теорема Ферма – наиболее известная из нерешенных проблем теории чисел. До сих пор никому еще не удалось ни найти хотя бы одно решение уравнения xⁿ + yⁿ = zⁿ в целых числах (при n > 2), ни доказать, что такого решения не существует.