Computing maximal copies of polyhedra contained in a polyhedron. (English) Zbl 1315.51017
Summary: Kepler (1619) and H. T. Croft [Proc. Lond. Math. Soc. (3) 41, 279–296 (1980; Zbl 0448.52001)] considered the problem of finding the largest homothetic copies of one regular polyhedron contained in another regular polyhedron. For arbitrary pairs of polyhedra, we propose to model this as a quadratically constrained optimization problem. These problems can then be solved numerically; in case the optimal solutions are algebraic, exact optima can be recovered by solving systems of equations to very high precision and then using integer relation algorithms. Croft [loc. cit.] solved the special cases concerning maximal inclusions of Platonic solids for 14 out of 20 pairs. For the six remaining cases, we give numerical solutions and conjecture exact algebraic solutions.
MSC:
| 51M20 | Polyhedra and polytopes; regular figures, division of spaces |
| 52C17 | Packing and covering in \(n\) dimensions (aspects of discrete geometry) |
| 90C30 | Nonlinear programming |
Citations:
Zbl 0448.52001References:
| [1] | DOI: 10.1007/s12532-008-0001-1 · Zbl 1171.90476 · doi:10.1007/s12532-008-0001-1 |
| [2] | DOI: 10.1007/978-3-540-68155-7_4 · Zbl 1142.68504 · doi:10.1007/978-3-540-68155-7_4 |
| [3] | DOI: 10.1007/PL00009337 · Zbl 0892.68101 · doi:10.1007/PL00009337 |
| [4] | Chazelle [Chazelle 83] Bernard, Advances in Computing Research I pp 1– (1983) |
| [5] | DOI: 10.1112/plms/s3-41.2.279 · Zbl 0448.52001 · doi:10.1112/plms/s3-41.2.279 |
| [6] | DOI: 10.1007/978-1-4612-0963-8 · Zbl 0748.52001 · doi:10.1007/978-1-4612-0963-8 |
| [7] | DOI: 10.1007/s00022-011-0065-3 · Zbl 1231.68264 · doi:10.1007/s00022-011-0065-3 |
| [8] | DOI: 10.1016/0012-365X(94)00111-U · Zbl 0824.68052 · doi:10.1016/0012-365X(94)00111-U |
| [9] | DOI: 10.1016/0024-3795(95)00541-2 · Zbl 0861.15004 · doi:10.1016/0024-3795(95)00541-2 |
| [10] | Kepler [Kepler 19] Johannes, Harmonices Mundi (1619) · Zbl 0118.24703 |
| [11] | DOI: 10.1007/BF01457454 · Zbl 0488.12001 · doi:10.1007/BF01457454 |
| [12] | DOI: 10.1007/s10998-009-9121-8 · Zbl 1199.52030 · doi:10.1007/s10998-009-9121-8 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
