S pomočjo te funkcije se tvori rekurzivnozaporedje. Vzame se poljubno pozitivno celo število in v naslednjem koraku vzame za argument funkcije rezultat prejšnjega koraka:
.
Colattzova domneva se glasi: tako določeno zaporedje so bo končalo s številom 1, ne glede katero je izbrano prvo število.
Določeno Collatzevo zaporedje je lahko izračunati kot kaže tudi algoritem, zapisan v psevdokodi:
funkcija collatz(n)
dokler n > 1
prikaži n
če n je lih
priredi n vrednost 3*n + 1
drugačepriredi n vrednost n / 2
prikaži n
Program se konča, ko zaporedje doseže 1, drugače bi v nedogled ponavljal cikel 4, 2, 1. Če je Collatzeva domneva pravilna, se bo program vedno ustavil, ne glede na začetno pozitivno celo število. (Glej Haltingov problem za povezavo med računalniškimi programi v končnem in nerešenimi matematičnimi problemi.)
Vizualizacije
Usmerjenigraf kaže orbite majhnih števil pod Collatzovo preslikavo. Colattzova domneva je enakovredna izjavi, da vse povezave vodijo v 1.
Usmerjeni graf kaže orbite prvih 1000 števil.
Os x predstavlja začetno število, os y pa najvišje doseženo število med veriženjem do 1.
Jeffrey Clark Lagarias: Syracuse problem na Springer Online Encyclopaedia of Mathematics (angleško)
Günther J. Wirsching. The Dynamical System Generated by the Function. Number 1681 in Lecture Notes in Mathematics. Springer-Verlag, 1998.
An ongoing distributed computingproject by Eric Roosendaal verifies the Collatz conjecture for larger and larger values.
Another ongoing distributed computingproject by Tomás Oliveira e Silva continues to verify the Collatz conjecture (with fewer statistics than Eric Roosendaal's page but with further progress made).
Hailstone Patterns discusses different resonators along with using important numbers in the problem (like 6 and 3^5) to discover patterns.