Fractran champions: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
Int-y1 (talk | contribs)
3 fractions
Int-y1 (talk | contribs)
4 fractions + add notes
Line 18: Line 18:
  -1 \end{bmatrix}</math>
  -1 \end{bmatrix}</math>
|
|
|
|BBf(2)
|-
|-
|2
|2
Line 26: Line 26:
  -1 &  1 \end{bmatrix}</math>
  -1 &  1 \end{bmatrix}</math>
|
|
|
|BBf(3)
|-
|-
|3
|3
Line 34: Line 34:
  -1 &  2 \end{bmatrix}</math>
  -1 &  2 \end{bmatrix}</math>
|
|
|
|BBf(4)
|-
|-
|4
|4
Line 43: Line 43:
|
|
|
|
|-
|...
|-
|-
|n
|n
Line 81: Line 83:
   0 & -1 \end{bmatrix}</math>
   0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(5)
|-
|-
|4
|4
Line 91: Line 93:
   0 & -1 \end{bmatrix}</math>
   0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(6)
|-
|-
|5
|5
Line 101: Line 103:
   0 & -1 \end{bmatrix}</math>
   0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(7)
|-
|-
|6
|6
Line 111: Line 113:
   0 & -1 \end{bmatrix}</math>
   0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(8)
|-
|-
|7
|7
Line 121: Line 123:
   0 & -1 \end{bmatrix}</math>
   0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(9)
|-
|-
|8
|8
Line 131: Line 133:
   0 & -1 \end{bmatrix}</math>
   0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(10)
|-
|-
|9
|9
Line 142: Line 144:
|
|
|
|
|-
|...
|-
|-
|n
|n
Line 227: Line 231:
   0 &  0 & -1 \end{bmatrix}</math>
   0 &  0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(11)
|-
|-
|9
|9
Line 238: Line 242:
   0 &  0 & -1 \end{bmatrix}</math>
   0 &  0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(12)
|-
|-
|10
|10
Line 248: Line 252:
   0 &  0 & -1 \end{bmatrix}</math>
   0 &  0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(13)
|-
|-
|11
|11
Line 259: Line 263:
   0 &  0 & -1 \end{bmatrix}</math>
   0 &  0 & -1 \end{bmatrix}</math>
|
|
|
|BBf(14)
|-
|-
|12
|12
Line 270: Line 274:
|
|
|
|
|-
|...
|-
|-
|2n
|2n
Line 290: Line 296:
|
|
|
|
|}
== Champions with 4 fractions ==
{| class="wikitable"
|+
!Primes used
!Max runtime
!Example champion(s)
!First champion's vector representation
!Champion found
!Notes
|-
|4
|1
|<code>[1/2, 1/2, 1/2, 1/2]</code>
|<math>\begin{bmatrix}
-1 \\
-1 \\
-1 \\
-1 \end{bmatrix}</math>
|
|
|-
|5
|2
|<code>[3/2, 1/3, 1/2, 1/2]</code>
|<math>\begin{bmatrix}
-1 &  1 \\
  0 & -1 \\
-1 &  0 \\
-1 &  0 \end{bmatrix}</math>
|
|
|-
|6
|3
|<pre>[3/2, 5/3, 1/5, 1/2]
[15/2, 1/3, 1/5, 1/2]
[9/2, 1/3, 1/2, 1/2]</pre>
|<math>\begin{bmatrix}
-1 &  1 &  0 \\
  0 & -1 &  1 \\
  0 &  0 & -1 \\
-1 &  0 &  0 \end{bmatrix}</math>
|
|
|-
|7
|5
|<code>[9/2, 5/3, 1/5, 1/2]</code>
|<math>\begin{bmatrix}
-1 &  2 &  0 \\
  0 & -1 &  1 \\
  0 &  0 & -1 \\
-1 &  0 &  0 \end{bmatrix}</math>
|
|
|-
|8
|7
|<pre>[9/2, 25/3, 1/5, 1/2]
[27/2, 5/3, 1/5, 1/2]
[9/2, 5/3, 7/5, 1/7]
[9/2, 35/3, 1/5, 1/7]</pre>
|<math>\begin{bmatrix}
-1 &  2 &  0 \\
  0 & -1 &  2 \\
  0 &  0 & -1 \\
-1 &  0 &  0 \end{bmatrix}</math>
|
|
|-
|9
|11
|<code>[9/2, 25/3, 7/5, 1/7]</code>
|<math>\begin{bmatrix}
-1 &  2 &  0 &  0 \\
  0 & -1 &  2 &  0 \\
  0 &  0 & -1 &  1 \\
  0 &  0 &  0 & -1 \end{bmatrix}</math>
|
|
|-
|10
|16
|<code>[27/2, 25/3, 7/5, 1/7]</code>
|<math>\begin{bmatrix}
-1 &  3 &  0 &  0 \\
  0 & -1 &  2 &  0 \\
  0 &  0 & -1 &  1 \\
  0 &  0 &  0 & -1 \end{bmatrix}</math>
|
|
|-
|11
|28
|<code>[1/45, 4/5, 3/2, 25/3]</code>
|<math>\begin{bmatrix}
  0 & -2 & -1 \\
  2 &  0 & -1 \\
-1 &  1 &  0 \\
  0 & -1 &  2 \end{bmatrix}</math>
|
|BBf(15)
|-
|12
|53
|<code>[1/45, 4/5, 3/2, 125/3]</code>
|<math>\begin{bmatrix}
  0 & -2 & -1 \\
  2 &  0 & -1 \\
-1 &  1 &  0 \\
  0 & -1 &  3 \end{bmatrix}</math>
|
|BBf(16)
|-
|13
|107
|<code>[5/6, 49/2, 3/5, 40/7]</code>
|<math>\begin{bmatrix}
-1 & -1 &  1 &  0 \\
-1 &  0 &  0 &  2 \\
  0 &  1 & -1 &  0 \\
  3 &  0 &  1 & -1 \end{bmatrix}</math>
|
|BBf(17)
|-
|14
|211
|<code>[5/6, 49/2, 3/5, 80/7]</code>
|<math>\begin{bmatrix}
-1 & -1 &  1 &  0 \\
-1 &  0 &  0 &  2 \\
  0 &  1 & -1 &  0 \\
  4 &  0 &  1 & -1 \end{bmatrix}</math>
|
|BBf(18)
|-
|15
|370
|<code>[5/6, 49/2, 3/5, 160/7]</code>
|<math>\begin{bmatrix}
-1 & -1 &  1 &  0 \\
-1 &  0 &  0 &  2 \\
  0 &  1 & -1 &  0 \\
  5 &  0 &  1 & -1 \end{bmatrix}</math>
|
|BBf(19)
|-
|16
|596
|<code>[5/6, 49/2, 3/5, 320/7]</code>
|<math>\begin{bmatrix}
-1 & -1 &  1 &  0 \\
-1 &  0 &  0 &  2 \\
  0 &  1 & -1 &  0 \\
  6 &  0 &  1 & -1 \end{bmatrix}</math>
|
|
|-
|17
|3994
|<code>[7/45, 20/21, 375/2, 9/5]</code>
|<math>\begin{bmatrix}
  0 & -2 & -1 &  1 \\
  2 & -1 &  1 & -1 \\
-1 &  1 &  3 &  0 \\
  0 &  2 & -1 &  0 \end{bmatrix}</math>
|
|
|-
|18
|60133
|<code>[1/45, 80/21, 75/2, 63/5]</code>
|<math>\begin{bmatrix}
  0 & -2 & -1 &  0 \\
  4 & -1 &  1 & -1 \\
-1 &  1 &  2 &  0 \\
  0 &  2 & -1 &  1 \end{bmatrix}</math>
|
|
|-
|19
|270858044796
|<code>[7/45, 4/21, 75/2, 3969/5]</code>
|<math>\begin{bmatrix}
  0 & -2 & -1 &  1 \\
  2 & -1 &  0 & -1 \\
-1 &  1 &  2 &  0 \\
  0 &  4 & -1 &  2 \end{bmatrix}</math>
|
|
|-
|20
|≥270858044796
|<code>[77/45, 4/21, 75/2, 3969/5]</code>
|<math>\begin{bmatrix}
  0 & -2 & -1 &  1 &  1 \\
  2 & -1 &  0 & -1 &  0 \\
-1 &  1 &  2 &  0 &  0 \\
  0 &  4 & -1 &  2 &  0 \end{bmatrix}</math>
|
|Essentially the same as 4 fractions 19 primes.
|}
|}

Revision as of 09:21, 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] BBf(2)
2 1 [3/2] [−11] BBf(3)
3 1 [9/2] [−12] BBf(4)
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] BBf(5)
4 3
[9/2, 1/3]
[1/3, 9/2]
[−120−1] BBf(6)
5 4
[27/2, 1/3]
[1/3, 27/2]
[−130−1] BBf(7)
6 5
[81/2, 1/3]
[1/3, 81/2]
[−140−1] BBf(8)
7 6
[243/2, 1/3]
[1/3, 243/2]
[−150−1] BBf(9)
8 7
[729/2, 1/3]
[1/3, 729/2]
[−160−1] BBf(10)
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] BBf(11)
9 13
[27/2, 125/3, 1/5]
[81/2, 25/3, 1/5]
[−1300−1300−1] BBf(12)
10 17 [81/2, 125/3, 1/5] [−1400−1300−1] BBf(13)
11 21
[81/2, 625/3, 1/5]
[243/2, 125/3, 1/5]
[−1400−1400−1] BBf(14)
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]

Champions with 4 fractions

Primes used Max runtime Example champion(s) First champion's vector representation Champion found Notes
4 1 [1/2, 1/2, 1/2, 1/2] [−1−1−1−1]
5 2 [3/2, 1/3, 1/2, 1/2] [−110−1−10−10]
6 3
[3/2, 5/3, 1/5, 1/2]
[15/2, 1/3, 1/5, 1/2]
[9/2, 1/3, 1/2, 1/2]
[−1100−1100−1−100]
7 5 [9/2, 5/3, 1/5, 1/2] [−1200−1100−1−100]
8 7
[9/2, 25/3, 1/5, 1/2]
[27/2, 5/3, 1/5, 1/2]
[9/2, 5/3, 7/5, 1/7]
[9/2, 35/3, 1/5, 1/7]
[−1200−1200−1−100]
9 11 [9/2, 25/3, 7/5, 1/7] [−12000−12000−11000−1]
10 16 [27/2, 25/3, 7/5, 1/7] [−13000−12000−11000−1]
11 28 [1/45, 4/5, 3/2, 25/3] [0−2−120−1−1100−12] BBf(15)
12 53 [1/45, 4/5, 3/2, 125/3] [0−2−120−1−1100−13] BBf(16)
13 107 [5/6, 49/2, 3/5, 40/7] [−1−110−100201−10301−1] BBf(17)
14 211 [5/6, 49/2, 3/5, 80/7] [−1−110−100201−10401−1] BBf(18)
15 370 [5/6, 49/2, 3/5, 160/7] [−1−110−100201−10501−1] BBf(19)
16 596 [5/6, 49/2, 3/5, 320/7] [−1−110−100201−10601−1]
17 3994 [7/45, 20/21, 375/2, 9/5] [0−2−112−11−1−113002−10]
18 60133 [1/45, 80/21, 75/2, 63/5] [0−2−104−11−1−112002−11]
19 270858044796 [7/45, 4/21, 75/2, 3969/5] [0−2−112−10−1−112004−12]
20 ≥270858044796 [77/45, 4/21, 75/2, 3969/5] [0−2−1112−10−10−1120004−120] Essentially the same as 4 fractions 19 primes.