Erreicht: der beste bekannte Wert

27 Einheitsquadrate in einem Quadrat packen

Wie klein kann ein Quadrat sein, das 27 Quadrate der Seitenlänge 1 ohne Überlappung aufnimmt? Die beste bekannte Antwort ist die Seitenlänge 5,7071067812, von Frits Göbel, 1979. Velmar Cut hat sie erreicht.

27 Quadrate in einem Quadrat der Seitenlänge 5,7071067812, 25 aufrecht und 2 gedreht

Die Zahlen

Beste bekannte Seitenlänge5,7071067812
Beste bekannte Seitenlänge, vollständig5,70710678118654
Seitenlänge von Velmar Cut5,7071067812
Seitenlänge von Velmar Cut, vollständig5,707106781187605
Differenz, Velmar Cut minus bester bekannter Wert+1.065E-12
Gefunden vonFrits Göbel, 1979
StatusBester bekannter Wert, nicht bewiesen
Zeit bis zum Ergebnis0,837 s, ein Lauf
Verwendete Threads16
RechnerIntel Core i5-12600K, 10 Kerne, 16 Threads
Quadrate25 aufrecht, 2 gedreht
Ein einfaches Raster brauchtSeitenlänge 6

Die Zeit bis zu diesem Ergebnis auf einem Desktop-PC.

Das Problem bei 27 Quadraten

Hier müssen nur zwei Quadrate gedreht werden. Diese Anordnung lässt fünfundzwanzig aufrecht und legt die anderen zwei bei 45 Grad, und die Seitenlänge sinkt von den 6 des Rasters auf 5 + ½√2. Das ist die Form von 5 und 10, und sie kehrt bei 38, 52, 67 und 84 wieder.

Ein einfaches Raster: Seitenlänge 6

27 aufrechte Quadrate in Reihen in einem Quadrat der Seitenlänge 6
In aufrechten Reihen brauchen 27 Quadrate die Seitenlänge 6.

Bester bekannter Wert: Seitenlänge 5,7071067812

27 Quadrate in einem Quadrat der Seitenlänge 5,7071067812, 25 aufrecht und 2 gedreht
Die Anordnung von Velmar Cut, mit der besten bekannten Seitenlänge von Frits Göbel, 1979.

Blaue Quadrate stehen aufrecht, orange Quadrate sind gedreht. Beide Bilder haben denselben Maßstab.

Geschichte

Der beste bekannte Wert bei dieser Größe ist das Ergebnis von Frits Göbel, 1979, und dieses Ergebnis hat Velmar Cut erreicht.

Diese Seitenlänge ist die beste bekannte, aber nicht als optimal bewiesen; die beste untere Schranke in Friedmans Übersicht von 2009 lag bei 5,3918 (Trevor Green), es bleibt also Raum für ein kleineres Quadrat.

Das ist eine Streifenpackung von Frits Göbel: in der Mitte ein Streifen aus Quadraten, eine Quadratbreite breit und bei 45 Grad, zwischen zwei Treppen aus aufrechten Quadraten. Diese Streifen bleiben bei jedem Schritt, den David Ellsworth aufführt, bis zu einer sehr großen Größe die besten bekannten, außer dem bei 17 Quadraten.

Wann Seitenlänge Wer Was geschah
Anfang 1979 5 + ½√2 ≈ 5,70711 Frits Göbel gefunden, heute bester bekannter Wert
2005 gleiche Seitenlänge David W. Cantrell Alternative mit den wenigsten gedrehten Quadraten

Quellen

Die besten bekannten Werte stammen aus „Squares in Squares“ von David Ellsworth, nach dem Original von Erich Friedman.

Zu jeder Größe steht, von wem ihr Wert stammt und seit wann. Deren Ergebnis hat Velmar Cut erreicht.

Ist die Packung gültig?

Ja. Das Zertifikat besteht die exakte Prüfung: 27 Teile, jedes exakt ein Einheitsquadrat, jedes im Rahmen, keine zwei überlappend.

Wie nah ist sie am besten bekannten Wert?

Seitenlänge von Velmar Cut minus bester bekannter Wert ergibt +1.065E-12, innerhalb der 1E-11 aus der Regel.

Erreicht heißt: Das Zertifikat besteht die exakte Prüfung, und |L - bester bekannter Wert| <= 1E-11, wobei die Differenz für jede Größe ungerundet veröffentlicht wird. L ist die Seitenlänge des Rahmens im Zertifikat, auf 15 Dezimalstellen aufgerundet.

Sie müssen uns nicht vertrauen

Mit reinem Python und ohne weitere Software prüft verify_exact.py neben dem Zertifikat die Datei oben mit exakter Arithmetik, ohne Rundung.

python verify_exact.py 27-squares-in-a-square.csv --squares=27 --reference=5.70710678118654 --epsilon=1e-11

Es beweist nicht, dass die Packung optimal ist, dass der Referenzwert der aktuell beste bekannte Wert ist oder wie die Anordnung gefunden wurde.

Die vollständige Prüfung und was sie abdeckt

Kostenloser Testzeitraum

Sieben Tage mit allen Editionen

Installieren Sie Velmar Cut, geben Sie Teile und Rohmaterial eines laufenden Auftrags ein und drucken Sie die Zuschnittliste. Der Testzeitraum beginnt beim ersten Start und braucht weder Konto noch Karte.