Improved verification limit for the convergence of the Collatz conjecture

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F25%3APU156349" target="_blank" >RIV/00216305:26230/25:PU156349 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/article/10.1007/s11227-025-07337-0" target="_blank" >https://link.springer.com/article/10.1007/s11227-025-07337-0</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s11227-025-07337-0" target="_blank" >10.1007/s11227-025-07337-0</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Improved verification limit for the convergence of the Collatz conjecture

Popis výsledku v původním jazyce

This article presents our project, which aims to verify the Collatz conjecture computationally. As a main point of the article, we introduce a new result that pushes the limit for which the conjecture is verified up to 2^71. We present our baseline algorithm and then several sub-algorithms that enhance acceleration. The total acceleration from the first algorithm we used on the CPU to our best algorithm on the GPU is 1 335×. We further distribute individual tasks to thousands of parallel workers running on several European supercomputers. Besides the convergence verification, our program also checks for path records during the convergence test. We found four new path records.

Název v anglickém jazyce

Improved verification limit for the convergence of the Collatz conjecture

Popis výsledku anglicky

This article presents our project, which aims to verify the Collatz conjecture computationally. As a main point of the article, we introduce a new result that pushes the limit for which the conjecture is verified up to 2^71. We present our baseline algorithm and then several sub-algorithms that enhance acceleration. The total acceleration from the first algorithm we used on the CPU to our best algorithm on the GPU is 1 335×. We further distribute individual tasks to thousands of parallel workers running on several European supercomputers. Besides the convergence verification, our program also checks for path records during the convergence test. We found four new path records.

Druh

J_ost - Ostatní články v recenzovaných periodicích

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2025

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Journal of Supercomputing

ISSN

0920-8542

e-ISSN

1573-0484

Svazek periodika

81

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

14

Strana od-do

1-14

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—