Fractran champions: Difference between revisions
Jump to navigation
Jump to search
3 fractions |
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]
|
BBf(2) | ||
| 2 | 1 | [3/2]
|
BBf(3) | ||
| 3 | 1 | [9/2]
|
BBf(4) | ||
| 4 | 1 | [27/2]
|
|||
| ... | |||||
| n | 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]
|
|||
| 3 | 2 | [3/2, 1/3] [1/3, 3/2] |
BBf(5) | ||
| 4 | 3 | [9/2, 1/3] [1/3, 9/2] |
BBf(6) | ||
| 5 | 4 | [27/2, 1/3] [1/3, 27/2] |
BBf(7) | ||
| 6 | 5 | [81/2, 1/3] [1/3, 81/2] |
BBf(8) | ||
| 7 | 6 | [243/2, 1/3] [1/3, 243/2] |
BBf(9) | ||
| 8 | 7 | [729/2, 1/3] [1/3, 729/2] |
BBf(10) | ||
| 9 | 8 | [2187/2, 1/3] [1/3, 2187/2] |
|||
| ... | |||||
| n | n-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]
|
|||
| 4 | 2 | [3/2, 1/3, 1/2] [1/3, 3/2, 1/2] |
|||
| 5 | 3 | [9/2, 1/3, 1/2] [3/2, 5/3, 1/5] [15/2, 1/3, 1/5] |
|||
| 6 | 5 | [9/2, 5/3, 1/5]
|
|||
| 7 | 7 | [9/2, 25/3, 1/5] [27/2, 5/3, 1/5] |
|||
| 8 | 10 | [27/2, 25/3, 1/5]
|
BBf(11) | ||
| 9 | 13 | [27/2, 125/3, 1/5] [81/2, 25/3, 1/5] |
BBf(12) | ||
| 10 | 17 | [81/2, 125/3, 1/5]
|
BBf(13) | ||
| 11 | 21 | [81/2, 625/3, 1/5] [243/2, 125/3, 1/5] |
BBf(14) | ||
| 12 | 26 | [243/2, 625/3, 1/5]
|
|||
| ... | |||||
| 2n | |||||
| 2n+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]
|
|||
| 5 | 2 | [3/2, 1/3, 1/2, 1/2]
|
|||
| 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] |
|||
| 7 | 5 | [9/2, 5/3, 1/5, 1/2]
|
|||
| 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] |
|||
| 9 | 11 | [9/2, 25/3, 7/5, 1/7]
|
|||
| 10 | 16 | [27/2, 25/3, 7/5, 1/7]
|
|||
| 11 | 28 | [1/45, 4/5, 3/2, 25/3]
|
BBf(15) | ||
| 12 | 53 | [1/45, 4/5, 3/2, 125/3]
|
BBf(16) | ||
| 13 | 107 | [5/6, 49/2, 3/5, 40/7]
|
BBf(17) | ||
| 14 | 211 | [5/6, 49/2, 3/5, 80/7]
|
BBf(18) | ||
| 15 | 370 | [5/6, 49/2, 3/5, 160/7]
|
BBf(19) | ||
| 16 | 596 | [5/6, 49/2, 3/5, 320/7]
|
|||
| 17 | 3994 | [7/45, 20/21, 375/2, 9/5]
|
|||
| 18 | 60133 | [1/45, 80/21, 75/2, 63/5]
|
|||
| 19 | 270858044796 | [7/45, 4/21, 75/2, 3969/5]
|
|||
| 20 | ≥270858044796 | [77/45, 4/21, 75/2, 3969/5]
|
Essentially the same as 4 fractions 19 primes. |