Detail publikace

Improved verification limit for the convergence of the Collatz conjecture

BAŘINA, D. Improved verification limit for the convergence of the Collatz conjecture. Journal of Supercomputing, 2025, vol. 81, no. 1, p. 1-14. ISSN: 1573-0484.
Název česky
Zlepšená mez, pod kterou Collatzova domněnka konverguje
Typ
článek v časopise
Jazyk
anglicky
Autoři
Bařina David, Ing., Ph.D. (UPGM)
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
Journal of Supercomputing, roč. 81, č. 1, ISSN 1573-0484
DOI
10.1007/s11227-025-07337-0
BibTeX 
@article{BUT197809,
  author="David {Bařina}",
  title="Improved verification limit for the convergence of the Collatz conjecture",
  journal="Journal of Supercomputing",
  year="2025",
  volume="81",
  number="1",
  pages="1--14",
  doi="10.1007/s11227-025-07337-0",
  issn="1573-0484",
  url="https://link.springer.com/article/10.1007/s11227-025-07337-0"
}
Soubory
Nahoru