The Busy Beaver Problem
A NEW MILLENNIUM ATTACK
|
Non Halt Detection strategies
Detecting non-halters is the greatest
obstacle in attacking the busy beaver problem. Our strategy
involves checking for highly specific behaviors that are provably
non-halting behaviors. These include the following:
|
Non Halt Detection
Non
Halters
Backtrackers Subset Loops Simple Loops Christmas Trees Alternating Christmas Trees Counters Project Components
Current Champions
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 |