The Busy Beaver Problem - The Busy Beaver Problem : o4transitionsChampion

The Busy Beaver Problem

A NEW MILLENNIUM ATTACK

Busy Beaver o(4) Champion

o(4) Execution

    0     State 0
    1     State 1
    10    State 2
    10    State 3
   010    State 3
  0010    State 1
  0010    State 0
  0110    State 1
  0110    State 2
  0110    State 1
  01100   State 0
  01101   State 1
  011010  State 2
  011010  State 3
  011010  State 3
  011010  State 1
  011010  State 2
  011010  State 3
  011010  State 3
  011010  State 3
0011010  State 1
0011010  State 0
0111010  State 1
0111010  State 2
0111010  State 1
0111010  State 2
0111010  State 3
0111010  State 3
0111010  State 3
0111010  State 3
00111010  State 1
00111010  State 0
01111010  State 1
01111010  State 2
01111010  State 1
01111010  State 2
01111010  State 1
01111010  State 0

o(4) Information

Productivity : 5
Number of Steps to Halt : 37
Download : o(4) champion.tmo

Current Champions

n	*B(n)*	*b(n)*	*O(n)*	*o(n)*
1	1^T	1^T	1^T	1^T
2	2^T	3^T	2^T	3^T
3	3^?	13^R	3^O	13^R
4	5^?	31^R	8^O	37^R
5	11^?	57^R	15^O	111^O
6	25^M	255^M	239^R	41606^R
7	196^M	13682^M
8	672^M	198339^M

n	*P(n)*	*p(n)*	*R(n)*	*r(n)*
1	1^T	2^T	1^T	2^T
2	2^T	4^T	2^T	4^T
3	4^R	14^R	4^R	14^R
4	7^R	32^R	8^R	38^R
5	16^R	112^R	16^R	112^R
6	163^R	27174^R	240^R	41607^R

^RSet by present RPI effort
^MSet by Machado and Pereira
^OSet by Oberschelp, et al.
^TTrivial records
^?Unknown origin

Also note: A solid yellow background indicates records have been explicitly confirmed by the present effort. A faded yellow indicates relative confidence but not yet an explicit proof.

Busy Beaver Research Team

Bram van Heuveln
Selmer Bringsjord
Boleslaw Szymanski
Carlos Varela
Kyle Ross
Owen Kellett
Shailesh Kelkar