63-летний математик – уроженец России, после репатриации в Израиль первое время работавший чернорабочим и ночным сторожем, – решил задачу, над которой более 30 лет безуспешно бились лучшие мировые умы. Авраам Трахтман разгадал тайну так называемой "теоремы о раскраске дорог", доказав гипотезу "универсальной карты", позволяющей путешественнику на основе одних и тех же инструкций достичь заданного пункта назначения при выходе из любой точки, пишет The Independent (полный текст на сайте Inopressa.ru).
На общедоступном языке эту задачу, относящуюся к области символической динамики, можно изложить таким образом: человек приезжает к другу в город, где улицы не имеют названий, и звонит ему по телефону. Друг таким образом объясняет ему дорогу, что приезжий в силах добраться до его дома вне зависимости от того, в какой части города изначально находится.
Трахтман, профессор университета Бар-Илан, записал доказательство этой задачи на восьми листах бумаги. По его словам, на решение задачи он потратил год. Однако в интервью AP он уверял: "Решение не такое уж запутанное. Трудное, но не сказать, что запутанное. Некоторые считают, что решения должны быть запутанными. Я полагаю, что они должны быть красивыми и простыми".
Решение задачи (казалось бы, логика подсказывает, что она неразрешима, но математики полагают, что решение может пригодиться в таких практических сферах, как картография и информатика) вызвало широкий интерес и восхищение среди коллег Трахтмана во всем мире, работающих в том же направлении.
Если изобразить задачу - ныне, благодаря усилиям профессора Трахтмана, уже теорему - в виде графика, то это будет граф из 16, окрашенных в красный или синий цвет, линий, образующих один квадрат и восемь треугольников; две вершины этих фигур символизируют различные пункты назначения. Переходя с линии на линию в последовательности "синяя-красная-красная" (и так три раза подряд) обязательно достигаешь одного из пунктов назначения, а следуя по маршруту "синяя-синяя-красная", непременно попадаешь в другой, с какой бы точки ты ни начинал.
Задачу о раскраске дорог первыми сформулировали в 1970 году Бенджамин Вейсс, американский математик израильского происхождения, и Рой Эдлер. Оба они работали в компьютерной фирме IBM. Они выдвинули тезис, что, если число дорог конечно, их можно изобразить на карте, закодировав различными цветами таким образом, что по этой карте удастся достичь заданного пункта, из какой бы точки вы ни вышли. Примерно 100 специалистов, в том числе авторы задачи, попытались доказать эту теорему, но ни у кого ничего не получилось.
Стюарт Марголис, пригласивший профессора Трахтмана в университет Бар-Илан неподалеку от Тель-Авива, сказал в интервью Associated Press: "У нас в математических кругах бытует выражение "красивое решение". Это решение красиво и неожиданно. Даже с точки зрения профана оно абсолютно противоречит интуитивным представлениям, но каким-то загадочным образом оно работает".
Профессор Марголис добавил, что открытие выглядит еще более поразительным, если учесть возраст и биографию профессора Трахтмана. "Когда я с ним познакомился, он был одет в форму ночного сторожа", – пояснил он.
Бенджамин Вейсс сказал, что был очень рад узнать, что кто-то решил его задачу, добавив, что решение профессора Трахтмана "по своему характеру постижимо".