Fractran champions: Difference between revisions
Jump to navigation
Jump to search
2 fractions; proving n-1 seems very unfun and i'll let someone else prove it |
3 fractions |
||
| Line 144: | Line 144: | ||
|- | |- | ||
|n | |n | ||
| | |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]
|
|||
| 2 | 1 | [3/2]
|
|||
| 3 | 1 | [9/2]
|
|||
| 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] |
|||
| 4 | 3 | [9/2, 1/3] [1/3, 9/2] |
|||
| 5 | 4 | [27/2, 1/3] [1/3, 27/2] |
|||
| 6 | 5 | [81/2, 1/3] [1/3, 81/2] |
|||
| 7 | 6 | [243/2, 1/3] [1/3, 243/2] |
|||
| 8 | 7 | [729/2, 1/3] [1/3, 729/2] |
|||
| 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]
|
|||
| 9 | 13 | [27/2, 125/3, 1/5] [81/2, 25/3, 1/5] |
|||
| 10 | 17 | [81/2, 125/3, 1/5]
|
|||
| 11 | 21 | [81/2, 625/3, 1/5] [243/2, 125/3, 1/5] |
|||
| 12 | 26 | [243/2, 625/3, 1/5]
|
|||
| 2n | |||||
| 2n+1 |