Detail produktu
Convergence verification of the Collatz problem
Vznik: 2024
Název česky
Ověření konvergence Collatzova problému
Typ
software
Licence
ne - zdarma
Autoři
Bařina David, Ing., Ph.D. (UPGM FIT VUT)
Klíčová slova
Collatzova domněnka, teorie čísel, výpočetní matematika
Popis
Tento software obsahuje počítačové programy implementující zcela nový přístup k výpočtu iterací Collatzovy funkce. Trik je v tom, že při výpočtu iterací funkce programy přepínají mezi dvěma doménami takovým způsobem, že vždy mohou použít operaci CTZ a malou LUT tabulku s vypočtenými mocninami trojky. Tento přístup se významně liší od běžně používaných přístupů, které využívají prostorově-časový kompromis s použitím obrovských LUT tabulek. Programy umějí pracovat se 128bitovými čísly.
Umístění
Soubory
Projekty
Výzkumné skupiny
Výzkumná skupina počítačové grafiky (VZ GRAPH)
Pracoviště
Ústav počítačové grafiky a multimédií FIT VUT v Brně (UPGM FIT VUT)