Fractran champions: Difference between revisions

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

Revision as of 04:12, 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]

Champions with 3 fractions

Primes used Max runtime Example champion(s) First champion's vector representation Champion found Notes
3 1 [1/2, 1/2, 1/2] [−1−1−1]
4 2
[3/2, 1/3, 1/2]
[1/3, 3/2, 1/2]
[−110−1−10]
5 3
[9/2, 1/3, 1/2]
[3/2, 5/3, 1/5]
[15/2, 1/3, 1/5]
[−120−1−10]
6 5 [9/2, 5/3, 1/5] [−1200−1100−1]
7 7
[9/2, 25/3, 1/5]
[27/2, 5/3, 1/5]
[−1200−1200−1]
8 10 [27/2, 25/3, 1/5] [−1300−1200−1]
9 13
[27/2, 125/3, 1/5]
[81/2, 25/3, 1/5]
[−1300−1300−1]
10 17 [81/2, 125/3, 1/5] [−1400−1300−1]
11 21
[81/2, 625/3, 1/5]
[243/2, 125/3, 1/5]
[−1400−1400−1]
12 26 [243/2, 625/3, 1/5] [−1500−1400−1]
2n ≥n2−2n+2 [3n−1/2,5n−2/3,1/5] [−1n−100−1n−200−1]
2n+1 ≥n2−n+1 [3n−1/2,5n−1/3,1/5] [−1n−100−1n−100−1]