Молодой инженер открыл ноутбук, быстро отыскал нужный файл и вывел на экран PDF-версию статьи.
Инженер Тянь взял компьютер и, прищурившись, увеличил масштаб текста.
«Теорема об асимптотической сходимости и абсолютные неравенства отсечения для деревьев игр с конечным числом состояний».
Стоило Тяню прочесть заголовок, как его лицо сделалось предельно сосредоточенным.
Остальные сотрудники в приёмной продолжали неторопливо беседовать, не замечая перемены в его настроении.
Тянь быстро пробежал глазами аннотацию, перешёл к введению, задержался там примерно на полминуты, после чего сразу прокрутил документ к третьей главе, где формулировалась основная теорема.
Здесь он замер.
Опустив ноутбук на стол, он достал из портфеля ручку, взял лежавший на журнальном столике блокнот для заметок и принялся быстро набрасывать какие-то формулы.
Закончив писать, он некоторое время всматривался в получившиеся строки, затем снова взял компьютер и открыл раздел с доказательствами.
Сопровождавшие Тяня специалисты, его давние подчинённые, заметив такую перемену в поведении начальника, тут же смолкли.
— Старина Тянь? — Осторожно позвал его мужчина в очках.
Тянь не ответил, пролистал ещё пару страниц и вдруг резко вскинул голову:
— Чжао, помнишь тот вопрос, о котором ты докладывал мне в прошлом месяце? Ну, с лавинообразным ростом пространства поиска. На чём вы тогда споткнулись?
Вызванный к ответу Чжао слегка растерялся:
— Ну… когда увеличивается коэффициент ветвления, эффективность отсечения резко падает. Классическая схема альфа-бета в нашем пространстве состояний практически перестаёт работать. Мы перепробовали несколько эвристик, но не смогли вывести строго доказуемую границу, поэтому верификаторы завернули работу.
Тянь понимающе кивнул:
— И вы по-прежнему использовали подходы Перла?
— В основном да. Наши математики настаивали именно на этом.
Тянь постучал пальцем по экрану:
— Теперь понятно, почему у вас ничего не выходило. Вероятностный подход в вашей задаче изначально неприменим. Взаимосвязь между значениями узлов слишком сильна, допущение о независимости распределения там вообще не работает.
Чжао не нашёлся что ответить.
— А вот в этой статье предложенный метод абсолютных неравенств отсечения строится на верной логике. Автор отказался от теории вероятностей в пользу экстремальной комбинаторики. У вас ведь тоже детерминированные состояния, там по определению нельзя использовать вероятностные методы.
— Старина Тянь, вы хотите сказать… эта работа может помочь нашему проекту? — Мужчина в очках подался ближе.
— Не просто помочь. Как минимум это неравенство можно использовать для проверки нижних границ наших эвристик. Если выведенный им предел окажется точным, мы чётко увидим потолок для оптимизации. Это убережёт нас от блуждания впотьмах.
— По моим оценкам, это сэкономит нам от трёх до шести месяцев работы.
— Настолько много?
Присутствующие в комнате мгновенно подобрались.
— Но инженер Тянь, — нерешительно заговорил Чжао, — автора ведь обвиняют в фальсификации источников. В сети вовсю твердят, будто этих пяти советских статей никогда не существовало.
Тянь отложил телефон и усмехнулся:
— И с чего вы взяли, что их выдумали?
— Так в интернете ничего не ищется.
— В интернете много чего нет, — спокойно произнёс Тянь. — После распада Союза я сам бывал в России. В библиотеке РАН целые стеллажи старых журналов стоят под слоем пыли, и никому до них нет дела.
— Но это ведь ещё не доказывает, что здесь нет обмана.
— Я вам так скажу: фальшивку в научной статье всегда видно.
— Посмотрите на третью главу. Из тех пяти советских статей он выводит три леммы, которые затем последовательно использует для построения неравенства, доказательства сходимости и создания контрпримеров. Эти леммы не взяты с потолка – они органично вплетены в общую логику доказательства.
— Если бы он выдумал эти леммы, они бы либо не сошлись с его выкладками, либо послужили лишь разовой заплаткой. Невозможно сфабриковать три независимых утверждения так, чтобы они идеально и непротиворечиво легли в основу целостного математического доказательства.
— К тому же посмотрите на имена авторов, которых он цитирует. Первые два – авторы AVL-деревьев, учитель и ученик, специалисты по комбинаторным структурам. Остальные трое – московская школа семидесятых годов, занимавшаяся экстремальным анализом в теории игр. Эти имена складываются в чёткую преемственность научной мысли. Человек со стороны не смог бы выстроить столь достоверную генеалогию.
— Лемма три-два на седьмой странице выведена из работ Ландиса. Я помню этот подход – позже советские математики применили его в совершенно другой области, для поиска ближайших соседей. Если этот первокурсник действительно всё сфабриковал, то как он умудрился так безупречно увязать контекст исследований Ландиса шестидесятых годов?
В комнате повисла тишина.
Мужчина в очках криво усмехнулся:
— Инженер Тянь, ну и намётанный же у вас глаз…
— Хватит лести. Дело не в глазе, любой человек с базовым пониманием предмета пришёл бы к тем же выводам. Не понимаю, почему вы сразу поверили в фальсификацию.
Сотрудники лишь переглянулись.
«Шеф, вы сейчас деликатно назвали нас профанами?»
Впрочем, сколько бы лет тебе ни было, от начальства всё равно периодически прилетает.
— Эту статью нужно проверить на практике, — Тянь, не обращая внимания на их замешательство, мгновенно перешёл к делу и распределил задачи.
Тут подал голос Чжао:
— Инженер Тянь, вы же знаете, что мы сейчас обкатываем альтернативное решение. Вся группа из десятка человек брошена туда, графики расписаны на месяц вперёд. Свободных людей просто нет.
— Хм, тогда…
— Хуацзи, — неожиданно предложил другой пожилой специалист, до этого хранивший молчание.
Тянь повернулся к нему.
— У нас есть контакты в Хуацзи.
— Они последние два года активно заходят в сферу искусственного интеллекта. Мы направляли туда наших инженеров для обмена опытом. Если вопрос срочный, можно озадачить их специалистов.
Тянь согласно кивнул:
— Разумно. Пусть проверяют они, так мы не оголим собственный проект.
— Тогда пусть Чжао свяжется с их координатором.
— Договорились.
Тянь взглянул на часы и поднялся:
— Ладно, пойдёмте. Ждать больше не будем, ректор явно освободится не скоро.
Едва они собрали вещи и вышли из приёмной, как в коридоре столкнулись с запыхавшимся проректором.
Тот, увидев, что гости уходят, заметно разволновался и поспешил навстречу:
— Инженер Тянь, коллеги, приношу глубочайшие извинения! У ректора возникли срочные дела со студентами, но он освободится буквально через пятнадцать минут.
— Не стоит беспокоиться, — спокойно ответил Тянь. — Наше время тоже на исходе. Раз уж сегодня обсудить дела не получилось, встретимся в другой раз.
Проректор выглядел крайне неловко:
— Инженер Тянь, нам действительно очень неловко за такой приём…
Тянь добродушно улыбнулся:
— Напротив, этот визит принёс мне неожиданную радость.
— Э-э… — проректор растерялся. — Какую?
Тянь не стал вдаваться в подробности, лишь дружески похлопал его по плечу:
— Передайте ректору, когда он вернётся, что мы съездили не зря.
С этими словами делегация удалилась.
Проректор так и остался стоять посреди коридора в полном недоумении.
«Какая ещё неожиданная радость?»
Ректор, закончив наконец тяжёлый разговор с деканатом, поспешил в приёмную.
Проректор тут же доложил:
— Ректор, гости из шестьсот одиннадцатого института ушли.
— Ушли? Эх, как неловко вышло… Они передали что-нибудь?
— Перед уходом инженер Тянь обронил странную фразу. Сказал, что эта поездка принесла ему неожиданную радость.
Ректор замер на месте.
— Неожиданную радость? Какую ещё радость?
— Без понятия, он не стал уточнять.
Ректор нахмурился:
— Мы продержали уважаемых людей в приёмной больше часа. Какая тут может быть радость? Хорошо хоть не обругал на прощание.
— Может, это был сарказм? — Осторожно предположил проректор.
Комментарии