# Collatz Automata and Compute Residue Class from Reduced Dynamics by Formula

The data set provided source code in C on how to compute Collatz dynamics by automata in terms of residue classes. It also includes algorithms implemented by C codes that can output residue classes by inputting reduced dynamics.  The formular for computing a residue class for a given reduced dynamics is as follows:

Function $Invrs(\cdot)$.

$Invrs: c \rightarrow rs$ takes as input \\

$c=O$ or \\

$c=I^{p_1}O^{q_1}I^{p_2}O^{q_2}...I^{p_n}O^{q_n} \in \{I,O\}^{\geq 2},$ $p_i,q_i\in \mathbb{N}^*, i=1,2,...,n, n \in \mathbb{N}^*$\\

37 views
• Other
• Last Updated On:
Thu, 11/08/2018 - 10:34

# Exploring the inverse mapping from a dynamics to a residue class - inputting a reduced dynamics or partial dynamics and outputting a residue class

We study a reverse problem - given a reduced dynamics or partial dynamics, can we compute a residue class who presents that dynamics.

40 views
• Other
• Last Updated On:
Thu, 11/08/2018 - 10:34

# Exploring the ratio between the count of x/2 and the count of (3*x+1)/2 in original dynamics for extremely large starting integers asymptotically

We design a computer program that can randomly generate extremely large integers and output their original dynamics. The source code is txpo10b.c. The bit length of integers can be defined by Macro (named MAXLEN) in source code. The number of randomly generated integers can be set by inputting argument. The program can output the original dynamics of a starting integer in terms of “-” presenting (3*x+1)/2 and “0” presenting x/2. This data can be used for observing the relation between the count of “-” and the count of “0”.

48 views
• Other
• Last Updated On:
Thu, 11/08/2018 - 10:34

# Verifying whether extremely large integer guarantees Collatz conjecture (can return to 1 finally)

Currently, the largest integer being verified for Collatz conjecture is about 2^60 . To verify whether extremely large integers such as 2^{100000}-1 can return 1, we design a new algorithm.  This dedicated algorithm can change numerical computation into bit or charter computation, hence, original dynamics for extremely large integer without upper bound can be computed. By this algorithm, we thus design computer program that can output original dynamics for extremely large integers without upper-bound such as 2^{100000}-1, which is the largest integer being verified until now.

49 views
• Other
• Last Updated On:
Thu, 11/08/2018 - 10:34

# Exploring properties in reduced Collatz dynamics

We design a computer program that can output reduced dynamics for odd integers with 4k+3, e.g, [3-99999999]. Outputting (reduced) dynamics for much larger integers are also possible. The source code in C is txpo9.c.  There are 5 options in arguments for more flexible output.  Those data can reveal the properties of reduced dynamics. The most important are ratio and period.

79 views
• Other
• Last Updated On:
Thu, 11/08/2018 - 10:34