Напомню суть проблемы Дэвида Кнута. Дана бесконечная проследовательность прямоугольников со сторонами
![$\frac{1}{n}$ $\frac{1}{n}$](https://dxdy-02.korotkov.co.uk/f/1/7/9/179b80cc86f52ed7205e115c2a3ddc1b82.png)
и
![$\frac{1}{{n + 1}}$ $\frac{1}{{n + 1}}$](https://dxdy-03.korotkov.co.uk/f/e/2/5/e257e670541ce6d78343eef1ff4ea61a82.png)
.
Сумма площадей такой последовательности равна 1 при N стремящейся к бесконечности.
![$\sum\limits_{n = 1}^N {{S_n}} = \sum\limits_{n = 1}^N {\frac{1}{{n\left( {n + 1} \right)}}} = 1 - \frac{1}{{N + 1}}$ $\sum\limits_{n = 1}^N {{S_n}} = \sum\limits_{n = 1}^N {\frac{1}{{n\left( {n + 1} \right)}}} = 1 - \frac{1}{{N + 1}}$](https://dxdy-03.korotkov.co.uk/f/a/f/8/af898e71b9aaacd5cc5f80a0e112817882.png)
Вопрос, есть ли алгоритм, упаковывающий такие прямоугольники в единичный квадрат.
Вобщем-то есть аналитические решения для квадрата чуть больше единицы. Эту "ложную" проблему (вобщем-то проблема совсем не та, насмотря на схожесть) определил известный тополог Вильям Мозер и доказал для квадрата со сторонами
![$\frac{33}{32}$ $\frac{33}{32}$](https://dxdy-02.korotkov.co.uk/f/5/d/1/5d16cf99fb4426f91dc7c385b3fcfda682.png)
. Последнее достижение математической мысли комбинаторов - квадрат со стронами
![$\frac{501}{500}$ $\frac{501}{500}$](https://dxdy-01.korotkov.co.uk/f/c/b/2/cb2863df44c64a066a6f8f301fbe822082.png)
.
У меня вопрос, а что никто не пытался за эти 40-50 лет сваять программу по заполнению квадрата? Пусть бы она затыкалась на 20 квадрате. Ну хотябы народ посоревновался, а заодно и приблизил аналитическое рещение. Или наоборот, получил бы нескончаемую проследовательность, ограниченную компьютерными ресурсами, как в знаменитой гипотезе 3x+1.