Detail publikace

Improved verification limit for the convergence of the Collatz conjecture

BAŘINA David. Improved verification limit for the convergence of the Collatz conjecture. The Journal of Supercomputing, roč. 81, č. 1, 2025, s. 1-14. ISSN 1573-0484. Dostupné z: https://link.springer.com/article/10.1007/s11227-025-07337-0
Název česky
Zlepšená mez, pod kterou Collatzova domněnka konverguje
Typ
článek v časopise
Jazyk
angličtina
Autoři
Bařina David, Ing., Ph.D. (UPGM FIT VUT)
URL
Klíčová slova

Collatz domněnka, optimalizace softwaru, paralelní počítání, teorie čísel

Abstrakt

Tento článek prezentuje náš projekt, který cílí na výpočetní verifikaci Collatzovy domněnky. Jako hlavní bod článku uvádíme nový výsledek, který posouvá hranici, po kterou je domněnka verifikována až na 2^71. Uvádíme náš základní algoritmus a poté několik podalgoritmů ke zlepšení akcelerace. Celkové zrychlení od prvního algoritmu, který jsme použili, po náš nejlepší algoritmus na GPU je 1 335×. Dále distribuujeme jednotlivé úlohy na tisíce paralelně běžících workerů na několika evropských superpočítačích. Mimo verifikaci konvergence náš program také hledá path recordy. Nalezli jsme čtyři nové path recordy.

Rok
2025
Strany
1-14
Časopis
The Journal of Supercomputing, roč. 81, č. 1, ISSN 1573-0484
Vydavatel
Springer Verlag
DOI
10.1007/s11227-025-07337-0
BibTeX 
@ARTICLE{FITPUB13509,
   author = "David Ba\v{r}ina",
   title = "Improved verification limit for the convergence of the Collatz conjecture",
   pages = "1--14",
   journal = "The Journal of Supercomputing",
   volume = 81,
   number = 1,
   year = 2025,
   ISSN = "1573-0484",
   doi = "10.1007/s11227-025-07337-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13509"
}
Nahoru