Кайл издал звук, похожий на презрительное фырканье.

— И нечего надо мной смеяться, — сказала Хизер.

— Нет… нет, я не о том. Прости. Просто это забавно. Видишь ли, это задача покрытия.

— Да?..

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

— И что?

— Просто забавно, что центавряне выбрали для своих сообщений формат, который был предметом больших дебатов в человеческом сознании, вот и всё.

— Гмм. Но ты сказал, что задача решаема?

— Конечно. Мне понадобятся размеры каждого сообщения — ширина и высота в битах или пикселях. Я могу написать простенькую программку, которая будет их переставлять, пока они не сложатся в прямоугольник — исходя, разумеется, из предположения, что такой способ есть. — Он помолчал. — Тут, знаешь ли, может быть интересный побочный эффект: если отдельные плитки не квадратные и есть лишь один способ уложить их в прямоугольник, ты будешь знать правильную ориентацию каждого отдельного сообщения. Тебе больше не придётся беспокоиться о том, какую из двух возможных ориентаций выбрать.

— Я об этом не подумала, но ты прав. Когда ты сможешь это сделать?

— Ну, на самом деле я сейчас очень занят — прости, но это так. Но я могу посадить за это одного из своих аспирантов. И тогда у нас будет ответ через пару дней.

— Спасибо, Кайл, — сказала Хизер так тепло, как только смогла.

Она почти услышала, как он пожимает плечами.

— Всегда к твоим услугам, — ответил он и положил трубку.