Collatz conjecture
The Collatz conjecture, also known as the 3n + 1 conjecture, the Ulam conjecture or the Hailstone sequence or Hailstone numbers, was first stated in 1937 and concerns the following process:
- Pick any positive integer n.
- If n is even, divide it by two; if it is odd, multiply it by three and add one.
- If n = 1, stop; else go back to step 2.
Or, Algebriacally,
f(n) = n/2, n=0 (mod 2)
(3n+1)/2, n=1 (mod 2)
For instance, starting with n = 6, we get the sequence 6, 3, 10, 5, 16, 8, 4, 2, 1.
The Collatz conjecture says that this process always stops, no matter what the start value.
The conjecture has been checked by computer for all start values up to 3 × 253 (about 2.702 × 1016), but a proof of the conjecture has not been found. Paul Erdős said about the Collatz conjecture: "Mathematics is not yet ready for such problems." He offered $500 for its solution.
There are some heuristic, statistical arguments supporting the conjecture: if one considers only the odd numbers in the sequence generated by the Collatz process, then one can argue that on average the next odd number should be about 3/4 of the previous one, which suggests that they eventually hit the bottom.
Sometimes the problem is stated differently. The termination condition ("If n = 1, stop")
is removed from the procedure, so the sequence doesn't end. If you state the problem this way, the conjecture becomes the statement that the sequence always ends up in the repeating loop 1, 4, 2, 1, 4, 2...
There is another approach to prove the following conjecture, which considers the bottom-up
method of growing Collatz graph. Collatz graph is defined by an inverse function,
f(n) = {2n}, n=0 (mod 3)
{2n, (2n-1)/3}, n={-1,1} (mod 3)
Thus looking from this perspective, we have the problem redefined in the following way.
The collatz conjecture states,
o) Inverse function forms a tree except for the 1-2 loop.
o) All integers are present in the tree.
References
- Jeff Lagarias: The 3x + 1 problem and its generalizations, American Mathematical Monthly Volume 92, 1985, pp. 3 - 23. Online at http://www.cecm.sfu.ca/organics/papers/lagarias/
- An ongoing distributed computing project verifies the Collatz conjecture for larger and larger values. Online at http://personal.computrain.nl/eric/wondrous/index.html
- Collatz Problem: Wolfram's MathWorld gives a good insight for introduction of this problem and its generalization. Online at http://mathworld.wolfram.com/CollatzProblem.html
