The Collatz Conjecture begins with any positive integer n. If n is even, divide it by two. Otherwise, multiply it by three and add one.
| n / 2 | if n is even |
| 3n + 1 | otherwise |
Repeated application of this rule is conjectured to eventually reach the value 1 for every positive integer. The central question is therefore not merely how to compute the next step, but how global reachability is structurally organized.
The traditional formulation follows one arithmetic trajectory:
The CJM approach instead represents the first N iterations as one finite layered reachability structure. Each layer corresponds to one iteration, and each reachable integer becomes a candidate state. The problem is therefore viewed as a global structural network rather than as a single temporal computation.
Let Rk,v denote that value v is reachable at layer k. The encoding imposes four basic conditions.
These Boolean constraints are first expressed as SAT and then normalized through the common CJM pipeline.
For a finite horizon N, the classical question
Does the sequence eventually reach 1?
is reformulated by CJM as:
Is reaching 1 structurally admissible within the first N layers?
By varying the initial value or the structural depth, one may observe transitions in reachability, branch interaction, and structural admissibility. A single Collatz trajectory is not itself a Changbal Jump. A stronger candidate would be a repeatable critical region where many trajectories simultaneously exhibit a structural transition.
This sketch does not prove the Collatz Conjecture, nor does it establish that every positive integer reaches 1. Its purpose is only to illustrate how an iterative arithmetic process may be reformulated as a finite 3SAT structure and examined through CJM as a problem of global structural reachability.