Izjednačeno: najbolja poznata vrijednost

Slaganje 18 kvadrata stranice 1 u kvadrat

Koliki je najmanji kvadrat za 18 kvadrata stranice 1, bez preklapanja? Najbolji poznati odgovor je duljina stranice 4,8228756555 (Pertti Hämäläinen, 1980). Izjednačio ju je naš program Velmar Cut.

18 kvadrata u kvadratu stranice 4,8228756555: uspravnih 12, zakrenutih 6

Brojevi

Najbolja poznata duljina stranice4,8228756555
Najbolja poznata duljina stranice, u cijelosti4,82287565553229
Duljina stranice iz Velmar Cuta4,8228756555
Duljina stranice iz Velmar Cuta, u cijelosti4,822875655533110
Razlika, Velmar Cut minus najbolja poznata+8.200E-13
AutorPertti Hämäläinen, 1980
StatusNajbolje poznato, nije dokazano
Vrijeme do rezultata0,471 s, jedno pokretanje
Korištene niti16
RačunaloIntel Core i5-12600K, 10 jezgri, 16 niti
Kvadratiuspravnih: 12, zakrenutih: 6
U običnoj mreži trebaduljina stranice 5

Vrijeme do ovog rezultata na jednom stolnom računalu.

Zadatak: 18 kvadrata

Kvadrat više nego kod 17, a duljina stranice opet ima zatvoreni oblik: 7/2 + ½√7, s √7 umjesto uobičajenijeg √2. Običnoj mreži i dalje treba kvadrat stranice 5. U ovom je rasporedu dvanaest kvadrata uspravno, šest je zakrenuto, a isti se oblik vraća kod 53.

Obična mreža: duljina stranice 5

18 kvadrata u uspravnim redovima, u kvadratu stranice 5
U uspravnim redovima za 18 kvadrata treba kvadrat stranice 5.

Najbolja poznata duljina stranice: 4,8228756555

18 kvadrata u kvadratu stranice 4,8228756555: uspravnih 12, zakrenutih 6
Raspored iz našeg programa Velmar Cut, s najboljom poznatom duljinom stranice (Pertti Hämäläinen, 1980).

Plavi kvadrati stoje uspravno, narančasti su zakrenuti. Obje su slike u istom mjerilu.

Povijest

Autor najbolje poznate vrijednosti na ovoj veličini: Pertti Hämäläinen, 1980. Taj rezultat izjednačuje naš program Velmar Cut.

Ovo je najbolja poznata duljina stranice, ali nije dokazano da je optimalna; najbolja donja granica u Friedmanovu pregledu iz 2009. bila je 4,4452 (Trevor Green), pa ima mjesta za manji kvadrat.

U rasporedima Perttija Hämäläinena i Matsa Gustafssona srednji su kvadrati zakrenuti za oko 24,295 stupnja.

Kada Duljina stranice Tko Što se dogodilo
početkom 1979. 2 + 2√2 ≈ 4,82843 Frits Göbel prvi raspored
1980. 7/2 + ½√7 ≈ 4,82288 Pertti Hämäläinen poboljšan, danas najbolji poznati
1981. ista duljina stranice Mats Gustafsson alternativa s najmanje zakrenutih kvadrata
rujan 2002. ista duljina stranice David W. Cantrell alternativa
travanj 2004. ista duljina stranice Thierry Gensane i Philippe Ryckelynck alternativa
prosinac 2024. 2 + 2√2 ≈ 4,82843 David Ellsworth kruta alternativa s Göbelovom duljinom stranice, bez poboljšanja

Izvori

Najbolje poznate vrijednosti preuzete su iz tablice „Squares in Squares“ koju vodi David Ellsworth, prema izvorniku Ericha Friedmana.

Uz svaku je veličinu naveden autor vrijednosti i godina. Njihov rezultat izjednačuje naš program Velmar Cut.

Je li raspored valjan?

Jest. Certifikat prolazi egzaktnu provjeru: 18 komada, svaki točno kvadrat stranice 1, svaki unutar okvira, a nijedna se dva ne preklapaju.

Koliko je blizu najboljoj poznatoj vrijednosti?

Duljina stranice iz našeg programa Velmar Cut minus najbolja poznata vrijednost iznosi +8.200E-13, što je unutar granice 1E-11 iz pravila.

Izjednačenje: certifikat prolazi egzaktnu provjeru, a |L - najbolja poznata| <= 1E-11, pri čemu je razlika objavljena nezaokružena za svaku veličinu. L je duljina stranice okvira iz certifikata, zaokružena naviše na 15 decimala.

Ne morate nam vjerovati na riječ

Samo s Pythonom, bez ikakvog drugog softvera, verify_exact.py uz certifikat provjerava gornju datoteku egzaktnom aritmetikom, bez zaokruživanja.

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

Provjera ne dokazuje da je raspored optimalan, da je referentna vrijednost trenutačno najbolja poznata ni kako je raspored pronađen.

Cijela provjera i što obuhvaća

Besplatna proba

Sedam dana sa svim izdanjima

Instalirajte Velmar Cut, unesite dijelove i zalihu tekućeg posla i ispišite plan rezanja. Proba počinje pri prvom pokretanju i ne traži korisnički račun ni karticu.