Izjednačeno: najbolja poznata vrijednost

Slaganje 67 kvadrata stranice 1 u kvadrat

Koliki je najmanji kvadrat za 67 kvadrata stranice 1, bez preklapanja? Najbolji poznati odgovor je duljina stranice 8,7071067812 (Evert Stenlund, 1980). Izjednačio ju je naš program Velmar Cut.

67 kvadrata u kvadratu stranice 8,7071067812: uspravnih 57, zakrenutih 10

Brojevi

Najbolja poznata duljina stranice8,7071067812
Najbolja poznata duljina stranice, u cijelosti8,70710678118654
Duljina stranice iz Velmar Cuta8,7071067812
Duljina stranice iz Velmar Cuta, u cijelosti8,707106781190623
Razlika, Velmar Cut minus najbolja poznata+4.083E-12
AutorEvert Stenlund, 1980
StatusNajbolje poznato, nije dokazano
Vrijeme do rezultata2,907 s, jedno pokretanje
Korištene niti8
RačunaloIntel Core i5-12600K, 10 jezgri, 16 niti
Kvadratiuspravnih: 57, zakrenutih: 10
U običnoj mreži trebaduljina stranice 9

Vrijeme do ovog rezultata na jednom stolnom računalu.

Zadatak: 67 kvadrata

Tri kvadrata više nego što stane u mrežu stranice 8, pa običnoj mreži treba kvadrat stranice 9. U ovom je rasporedu deset kvadrata pod 45 stupnjeva, a pedeset i sedam uspravno. Duljina stranice 8 + ½√2 točno je za jedan veća nego kod 52.

Obična mreža: duljina stranice 9

67 kvadrata u uspravnim redovima, u kvadratu stranice 9
U uspravnim redovima za 67 kvadrata treba kvadrat stranice 9.

Najbolja poznata duljina stranice: 8,7071067812

67 kvadrata u kvadratu stranice 8,7071067812: uspravnih 57, zakrenutih 10
Raspored iz našeg programa Velmar Cut, s najboljom poznatom duljinom stranice (Evert Stenlund, 1980).

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

Povijest

Autor najbolje poznate vrijednosti na ovoj veličini: Evert Stenlund, 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 8,2899 (Trevor Green), pa ima mjesta za manji kvadrat.

Pregled Ericha Friedmana iz 2009. navodi ovu veličinu pod imenom Fritsa Göbela, a današnja je tablica pripisuje Evertu Stenlundu.

Kada Duljina stranice Tko Što se dogodilo
početkom 1980. 8 + ½√2 ≈ 8,70711 Evert Stenlund proširuje Göbelov raspored za 52 kvadrata, danas najbolji poznati
lipanj 2023. ista duljina stranice David W. Cantrell alternativa s najmanje zakrenutih kvadrata
prosinac 2024. 8 + 5/7 ≈ 8,71429 David Ellsworth bez poboljšanja; jedan od prvih ozbiljnih rasporeda s racionalnom duljinom stranice

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: 67 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 +4.083E-12, š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 67-squares-in-a-square.csv --squares=67 --reference=8.70710678118654 --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.