Fractran champions: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
Int-y1 (talk | contribs)
1 fraction
 
Int-y1 (talk | contribs)
2 fractions; proving n-1 seems very unfun and i'll let someone else prove it
Line 44: Line 44:
|
|
|-
|-
|n
|1
|<math>[3^{n-1}/2]</math>
|<math>\begin{bmatrix}
-1 & n-1 \end{bmatrix}</math>
|
|
|}
== Champions with 2 fractions ==
{| class="wikitable"
|+
!Primes used
!Max runtime
!Example champion(s)
!First champion's vector representation
!Champion found
!Notes
|-
|2
|1
|<code>[1/2, 1/2]</code>
|<math>\begin{bmatrix}
-1 \\
-1 \end{bmatrix}</math>
|
|
|-
|3
|2
|<pre>[3/2, 1/3]
[1/3, 3/2]</pre>
|<math>\begin{bmatrix}
-1 &  1 \\
  0 & -1 \end{bmatrix}</math>
|
|
|-
|4
|3
|<pre>[9/2, 1/3]
[1/3, 9/2]</pre>
|<math>\begin{bmatrix}
-1 &  2 \\
  0 & -1 \end{bmatrix}</math>
|
|
|-
|5
|4
|<pre>[27/2, 1/3]
[1/3, 27/2]</pre>
|<math>\begin{bmatrix}
-1 &  3 \\
  0 & -1 \end{bmatrix}</math>
|
|
|-
|6
|5
|5
|1
|<pre>[81/2, 1/3]
|<code>[81/2]</code>
[1/3, 81/2]</pre>
|<math>\begin{bmatrix}
-1 &  4 \\
  0 & -1 \end{bmatrix}</math>
|
|
|-
|7
|6
|<pre>[243/2, 1/3]
[1/3, 243/2]</pre>
|<math>\begin{bmatrix}
-1 &  5 \\
  0 & -1 \end{bmatrix}</math>
|
|
|-
|8
|7
|<pre>[729/2, 1/3]
[1/3, 729/2]</pre>
|<math>\begin{bmatrix}
-1 &  6 \\
  0 & -1 \end{bmatrix}</math>
|
|
|-
|9
|8
|<pre>[2187/2, 1/3]
[1/3, 2187/2]</pre>
|<math>\begin{bmatrix}
|<math>\begin{bmatrix}
  -1 &  4 \end{bmatrix}</math>
  -1 &  7 \\
  0 & -1 \end{bmatrix}</math>
|
|
|
|
|-
|-
|n
|n
|1
|≥n-1
|<math>[3^{n-1}/2]</math>
|<math>[3^{n-2}/2, 1/3]</math>
<math>[1/3, 3^{n-2}/2]</math>
|<math>\begin{bmatrix}
|<math>\begin{bmatrix}
  -1 & n-1 \end{bmatrix}</math>
  -1 & n-2 \\
  0 & -1 \end{bmatrix}</math>
|
|
|
|
|}
|}

Revision as of 03:46, 2 October 2026

In this article we focus on the longest running Fractran programs containing a specific number of fractions and primes.

Champions with 1 fraction

Primes used Max runtime Example champion(s) First champion's vector representation Champion found Notes
1 1 [1/2] [−1]
2 1 [3/2] [−11]
3 1 [9/2] [−12]
4 1 [27/2] [−13]
n 1 [3n−1/2] [−1n−1]

Champions with 2 fractions

Primes used Max runtime Example champion(s) First champion's vector representation Champion found Notes
2 1 [1/2, 1/2] [−1−1]
3 2
[3/2, 1/3]
[1/3, 3/2]
[−110−1]
4 3
[9/2, 1/3]
[1/3, 9/2]
[−120−1]
5 4
[27/2, 1/3]
[1/3, 27/2]
[−130−1]
6 5
[81/2, 1/3]
[1/3, 81/2]
[−140−1]
7 6
[243/2, 1/3]
[1/3, 243/2]
[−150−1]
8 7
[729/2, 1/3]
[1/3, 729/2]
[−160−1]
9 8
[2187/2, 1/3]
[1/3, 2187/2]
[−170−1]
n ≥n-1 [3n−2/2,1/3]

[1/3,3n−2/2]

[−1n−20−1]