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í
Soubory
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, zahájení: 2023-03-01, ukončení: 2026-02-28, řešení
Výzkumné skupiny
Výzkumná skupina počítačové grafiky (VZ GRAPH)
Pracoviště