On the Collatz Conjecture

Solving Collatz Conjecture could bring instant happiness to your life... Fine, maybe not happiness, but approximately 1,000,000ドル.00 based on my estimates of how famous you'll be.

Let's start with the conjecture, then we'll talk more:

prove that the code below always ends for any positive integer


Professor Collatz came up with this conjecture when he was only 22 years old, in 1932, while working on some graph construction problems. He himself made no progress in solving it. Almost 100 years later, and still very little progress has been made. It is one of the simplest open problems in modern mathematics, and yet one for which mathematicians have little to no clue on how to even begin to tackle it.
I wrote the code below to calculate it (also known as "the 3x+1 conjecture"), and using BigIntegers, you can try really big numbers. No matter how large you try, as far as I know, it always stops....
Cheers, ACC.

Collatz.exe 12332112332112332112332112332112332112332112332112332112332112332112332112332112332112332112332112344321

A.: 2434

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using System.Numerics;
namespace Collatz
{
 class Program
 {
 static void Main(string[] args)
 {
 BigInteger n = BigInteger.Parse(args[0]);
 Console.WriteLine(_Collatz(n));
 }
 static int _Collatz(BigInteger n)
 {
 return (n == 1) ? 0 : (1 + _Collatz(n % 2 == 0 ? n / 2 : 3 * n + 1));
 }
 }
}

Comments

  1. Proof by induction that ultimately a recursive call to a number = some pow(2) will be made which will stop the function after O(log x) calls
    when n=1 = 0th power of 2, it stops
    when n=2= 1st power of 2 it stops after a single recursive call,
    when n=3, _coll(3) --> _coll(10) --> _coll(5) --> _coll(16)
    16 = 4th power of 2.
    Once this is reached, calls will start reducing to _coll(8) --> _coll(4) --> _coll(2) --> _coll(1). STOP

    thus, when n= n-1 or n, recursive calls will happen till 3n+1 leads to a number which is power of 2 and after that point calls will reduce logarithmically

    Reply Delete
    Replies
    1. Cool but how do you prove that recurrent calls to 3n+1 leads to a number that is power of 2?

      Delete

Post a Comment

[フレーム]

Popular posts from this blog

Quasi FSM (Finite State Machine) problem + Vibe

Not really an FSM problem since the state isn't changing, it is just defined by the current input. Simply following the instructions should do it. Using VSCode IDE you can also engage the help of Cline or Copilot for a combo of coding and vibe coding, see below screenshot. Cheers, ACC. Process String with Special Operations I - LeetCode You are given a string  s  consisting of lowercase English letters and the special characters:  * ,  # , and  % . Build a new string  result  by processing  s  according to the following rules from left to right: If the letter is a  lowercase  English letter append it to  result . A  '*'   removes  the last character from  result , if it exists. A  '#'   duplicates  the current  result  and  appends  it to itself. A  '%'   reverses  the current  result . Return the final string  result  after processing all char...

Shortest Bridge – A BFS Story (with a Twist)

Here's another one from the Google 30 Days challenge on LeetCode — 934. Shortest Bridge . The goal? Given a 2D binary grid where two islands (groups of 1s) are separated by water (0s), flip the fewest number of 0s to 1s to connect them. Easy to describe. Sneaky to implement well. 🧭 My Approach My solution follows a two-phase Breadth-First Search (BFS) strategy: Find and mark one island : I start by scanning the grid until I find the first 1 , then use BFS to mark all connected land cells as 2 . I store their positions for later use. Bridge-building BFS : For each cell in the marked island, I run a BFS looking for the second island. Each BFS stops as soon as it hits a cell with value 1 . The minimum distance across all these searches gives the shortest bridge. 🔍 Code Snippet Here's the core logic simplified: public int ShortestBridge(int[][] grid) { // 1. Mark one island as '2' and gather its coordinates List<int> island = FindAndMark...

Classic Dynamic Programming IX

A bit of vibe code together with OpenAI O3. I asked O3 to just generate the sieve due to laziness. Sieve is used to calculate the first M primes (when I was using Miller-Rabin, was giving me TLE). The DP follows from that in a straightforward way: calculate the numbers from i..n-1, then n follows by calculating the min over all M primes. Notice that I made use of Goldbach's Conjecture as a way to optimize the code too. Goldbach's Conjecture estates that any even number greater than 2 is the sum of 2 primes. The conjecture is applied in the highlighted line. Cheers, ACC. PS: the prompt for the sieve was the following, again using Open AI O3 Advanced Reasoning: " give me a sieve to find the first M prime numbers in C#. The code should produce a List<int> with the first M primes " Minimum Number of Primes to Sum to Target - LeetCode You are given two integers  n  and  m . You have to select a multiset of  prime numbers  from the  first   m  pri...