Пазл для упаковки Хоффмана - Hoffmans packing puzzle
Загадка упаковки Хоффмана является сборочная головоломка названный в честь Дин Г. Хоффман, который описал это в 1978 году.[1] Пазл состоит из 27 одинаковых прямоугольников. кубоиды, каждое из ребер которого имеет три разные длины. Его цель - собрать их все так, чтобы они поместились в куб, длина ребра которого является суммой трех длин.[2][3]
Хоффман (1981) пишет, что первым, кто решил загадку, был Дэвид А. Кларнер, и что типичное время решения может составлять от 20 минут до нескольких часов.[2]
Строительство
Сама головоломка состоит всего из 27 одинаковых прямоугольников. кубовид -образные блоки, хотя физические реализации головоломки также обычно предоставляют кубическую коробку, в которую помещаются блоки. Если три длины ребер блока равны Икс, у, и z, то куб должен иметь длину ребра Икс + у + z.Хотя головоломка может быть построена с любыми тремя сторонами различной длины, это наиболее сложно, когда три длины ребер блоков расположены достаточно близко друг к другу, чтобы Икс + у + z <4 мин (Икс,у,z), поскольку это предотвращает альтернативные решения, в которых четыре блока минимальной ширины упаковываются рядом друг с другом. Кроме того, три длины образуют арифметическая прогрессия может сделать его более запутанным, потому что в этом случае размещение трех блоков средней ширины рядом друг с другом дает строку правильной общей ширины, но такую, которая не может привести к правильному решению всей головоломки.[2]
Математический анализ
Каждое правильное решение головоломки расставляет блоки примерно так 3 × 3 × 3 сетка блоков, причем все стороны блоков параллельны сторонам внешнего куба, и по одному блоку каждой ширины вдоль каждой параллельной оси линии из трех блоков. Считая отражения и вращения как одно и то же решение, головоломка имеет 21 комбинаторно отличное решение.[2][4]
Общий объем деталей, 27xyz, меньше объема (Икс + у + z)3 куба, в который они упаковываются. Если взять кубический корень из обоих объемов и разделить на три, то полученное таким образом число из общего объема частей будет среднее геометрическое из Икс, у, и z, а число, полученное таким же образом из объема куба, является их среднее арифметическое. Тот факт, что части имеют меньший общий объем, чем куб, следует из неравенство средних арифметических и геометрических.[2][3]
Высшие измерения
Двумерный аналог головоломки просит упаковать четыре одинаковых прямоугольника с длиной сторон. Икс и у в квадрат со стороной Икс + у; как показано на рисунке, это всегда возможно. В d размеры, которые головоломка просит упаковать dd идентичные блоки в гиперкуб. В результате Рафаэль М. Робинсон это снова разрешимо всякий раз, когда d = d1 × d2 для двух чисел d1 и d2 так что d1- и d2-мерные случаи сами по себе разрешимы. Например, согласно этому результату она разрешима для размерностей 4, 6, 8, 9 и других 3-гладкие числа. Во всех измерениях неравенство средних арифметических и геометрических показывает, что объем фигур меньше объема гиперкуба, в который они должны быть упакованы. Однако неизвестно, можно ли решить головоломку в пяти измерениях или в более высоких. простое число размеры.[2][5]
Рекомендации
- ^ Рауш, Джон, "Собираем вместе - загадка упаковки Хоффмана", Мир головоломок, в архиве из оригинала на 2019-11-17, получено 2019-11-16
- ^ а б c d е ж Хоффман Д. Г. (1981), "Проблемы упаковки и неравенства", в Кларнер, Дэвид А. (ред.), Математический Гарднер, Springer, стр. 212–225, Дои:10.1007/978-1-4684-6686-7_19
- ^ а б Альсина, Клауди; Нельсен, Роджер Б. (2015), «Проблема 3.10», Математическая космическая одиссея: сплошная геометрия в 21 веке, Математические экспозиции Дольчиани, 50, Математическая ассоциация Америки, стр. 63, ISBN 9780883853580
- ^ Берлекамп, Элвин Р.; Конвей, Джон Х.; Гай, Ричард К. (2004), Выигрышные способы для ваших математических игр, IV, А. К. Питерс, стр. 913–915.
- ^ фон Хольк, Николай Ингеманн (январь 2018 г.), Экспериментальный подход к проблемам упаковки (PDF), Бакалаврская работа под руководством Сёрена Эйлерса, Копенгагенский университет, в архиве (PDF) из оригинала на 2019-11-17, получено 2019-11-17