Напомню суть проблемы Дэвида Кнута. Дана бесконечная проследовательность прямоугольников со сторонами
и
.
Сумма площадей такой последовательности равна 1 при N стремящейся к бесконечности.
Вопрос, есть ли алгоритм, упаковывающий такие прямоугольники в единичный квадрат.
Вобщем-то есть аналитические решения для квадрата чуть больше единицы. Эту "ложную" проблему (вобщем-то проблема совсем не та, насмотря на схожесть) определил известный тополог Вильям Мозер и доказал для квадрата со сторонами
. Последнее достижение математической мысли комбинаторов - квадрат со стронами
.
У меня вопрос, а что никто не пытался за эти 40-50 лет сваять программу по заполнению квадрата? Пусть бы она затыкалась на 20 квадрате. Ну хотябы народ посоревновался, а заодно и приблизил аналитическое рещение. Или наоборот, получил бы нескончаемую проследовательность, ограниченную компьютерными ресурсами, как в знаменитой гипотезе 3x+1.