Detail produktu
Convergence verification of the Collatz problem
Vznik: 2024
Název česky
Ověření konvergence Collatzova problému
Typ
software
Licence
Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Autoři
Bařina David, Ing., Ph.D.
(UPGM)
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í
Projekty
Soudobé metody zpracování, analýzy a zobrazování multimediálních a 3D dat, VUT, Vnitřní projekty VUT, FIT-S-23-8278, 2023-2026, řešení
Výzkumné skupiny
Výzkumná skupina počítačové grafiky (VZ GRAPH)
Pracoviště