По-видимому, все верят, будто Пуанкаре доказал, что задача трех тел не имеет решения; но я считаю, что они ошибаются. Он доказал лишь, что она чувствительна к начальным условиям и ее нельзя решить с помощью интегрального счисления. Но чувствительность не подразумевает полную неопределенность. Она означает лишь, что решение насчитывает большое количество различных форм. Все, что нужно, – это новый алгоритм.
И тогда я кое-что вспомнил. Вы слышали о методе Монте-Карло? Этот компьютерный алгоритм часто применяют для определения площадей неправильных фигур. Делается это так: компьютерная программа накладывает неправильную фигуру на фигуру, площадь которой известна, например, на круг, и начинает хаотично обстреливать круг с наложенной на него фигурой точками, словно крохотными «мячиками», ни разу не попадая в одно и то же место. После того как сделано достаточно много «выстрелов», соотношение количества «мячиков», попавших внутрь неправильной фигуры, к общему количеству «мячиков», которыми усеяли круг, даст приблизительную площадь неизвестной фигуры. Конечно, чем «мячики» меньше, тем точнее результат.
Хотя метод и прост, он демонстрирует, как грубая сила в ее математическом смысле может одержать верх над тонкой логикой. Это численный метод, использующий количество для достижения качества. Такова моя стратегия в отношении задачи трех тел. Я изучаю систему мгновение за мгновением. И в каждый момент времени векторы движения сфер образуют бесконечное количество сочетаний. Каждое из них я рассматриваю как некую форму жизни. Ключевое условие – это установить правила: какие сочетания векторов «здоровые» и «полезные», а какие «губительные» и «вредные». Первые получают преимущество в выживании, последние – наоборот. При дальнейших вычислениях «вредные» комбинации отбрасываются, остаются только «полезные». Конечная выжившая комбинация и есть верное предсказание конфигурации системы в следующий момент времени.
– Эволюционный алгоритм, – заметил Ван.
– Как хорошо, что я догадался позвать тебя! – кивнул ему Ши Цян.
– Да. Только я узнал этот термин гораздо позже. Характерной чертой этого алгоритма является то, что он требует колоссального количества вычислений. Тех компьютерных мощностей, которыми мы располагаем сейчас, для решения задачи трех тел недостаточно.
А тогда, в храме, у меня даже карманного калькулятора не было. Пришлось наведаться в бухгалтерию и попросить чистый гроссбух и карандаш. Я начал строить свою математическую модель на бумаге. Это была очень объемная работа, и не успел я оглянуться, как исписал больше дюжины гроссбухов. Монах-счетовод сердился, но, уступая просьбе настоятеля, снабжал меня бумагой и ручками. Я прятал готовые вычисления под подушкой, а черновики сжигал во дворе, в курильнице для благовоний.
Однажды вечером в мою комнату ворвалась молодая женщина. Впервые в жизни женщина переступила порог моего жилища. В руке она сжимала несколько клочков бумаги, обгоревших