User:RobinCodes/Work on BB Domains: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older editNewer edit →
VisualWikitext
RobinCodes (talk | contribs)
685 edits
Added BB(6) progress
RobinCodes (talk | contribs)
685 edits
Changed table cells' background to a much more forgiving color
Line 30: Line 30:


1 Cryptid, Exhausted
1 Cryptid, Exhausted
| style="background: #ffe4b2;" | 9,401,447
| style="background: #A8973E;" | 9,401,447
No Handwork  
No Handwork  
Terry Ligocki Phase 2, Stage 2
Terry Ligocki Phase 2, Stage 2
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
|-
|-
! 4-symbol   
! 4-symbol   
| [[BB(2,4)]] = 3,932,964
| [[BB(2,4)]] = 3,932,964
| style="background: #ffe4b2;" | 12,435,284
| style="background: #A8973E;" | 12,435,284
No Handwork  
No Handwork  
[[User:XnoobSpeakable|XnoobSpeakable,]] [[User:WarpedWartWars|Lúkos]]
[[User:XnoobSpeakable|XnoobSpeakable,]] [[User:WarpedWartWars|Lúkos]]


Phase 2, Stage 10C
Phase 2, Stage 10C
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
|-
|-
! 5-symbol  
! 5-symbol  
Line 55: Line 55:


2+4 Cryptids
2+4 Cryptids
| style="background: #ffe4b2;" |[[BB(3,5)]]
| style="background: #A8973E;" |[[BB(3,5)]]
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
|-
|-
! 6-symbol  
! 6-symbol  
| style="background: #ffe4b2;" | 545,005
| style="background: #A8973E;" | 545,005
Andrew Ducharme,
Andrew Ducharme,
Terry Ligocki
Terry Ligocki
No Handwork
No Handwork
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
|-
|-
!7-symbol
!7-symbol
| style="background: #ffe4b2;" |Enumeration started!
| style="background: #A8973E;" |Enumeration started!
09xxx done
09xxx done


Line 81: Line 81:


Current: 300M
Current: 300M
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
| style="background: #ffe4b2;" |
| style="background: #A8973E;" |
|}
|}


Revision as of 09:17, 1 April 2026

Progress by domain

As of 30 December 2025:

Domains with active filtering going on (decider-wise): BB(2,6), BB(7) - Andrew Ducharme

Work on BB Domains
2-state 3-state 4-state 5-state 6-state 7-state
2-symbol BB(2) = 6 BB(3) = 21 BB(4) = 107 BB(5) = 47,176,870

2 Jul 2024

1161

Holdouts list 16+6 Cryptids

18,036,852

No Handwork Andrew Ducharme, Terry Ligocki Phase 2, Stage 6

3-symbol BB(2,3) = 38 4

Holdouts list

1 Cryptid, Exhausted

9,401,447

No Handwork Terry Ligocki Phase 2, Stage 2

4-symbol BB(2,4) = 3,932,964 12,435,284

No Handwork XnoobSpeakable, Lúkos

Phase 2, Stage 10C

5-symbol 60

Holdouts list (9 informal)

2+4 Cryptids

BB(3,5)
6-symbol 545,005

Andrew Ducharme, Terry Ligocki No Handwork

7-symbol Enumeration started!

09xxx done

(10/100)

Expected no. of holdouts: 3B

Current: 300M

Enumeration

The enumeration process for BB(2,7) has started, and 5% has so far been completed. BB(8) is (tested from a random sample) even harder to enumerate. These processes will take a very long time and much collaborative work to complete. As for BB(3x5), BB(4x4), BB(5x3), enumeration may still be possible, but also incredibly difficult. Any domains after these are probably complete out-of-reach of current technology.

Informal and unverified proofs by domain

Unconfirmed, informal proofs of machines for each domain by equivalence class: 11 total

Domain 2-state 3-state 4-state 5-state 6-state
2-symbol 0 0 0 0 2
3-symbol 0 0 ---- --- ---
4-symbol 0 --- --- --- ---
5-symbol 9 --- --- --- ---

BB(6): 1 March 2026

2 informal
  • Likely correct: (2)

BB(3,3): 28 March 2026

None

BB(2,5): 28 March 2026

7 informal, 2 unverified (6 informal, 1 unverified by eqv. class)
  • Dyuan:
    1. BMO 3 (2 machines in 1 eqv. class) (source)
    2. Dekaheptoid, unverified: 1RB3RB1LB---2RB_2LA1RA4LB2LA2RA (source), equivalently 1RB3RA2LB1LB1RB_2LA2RA4LA1LA---
    3. BMO 3 variant: 1RB0RA3LA4LA2RA_2LB3LA---4RA3RB (source)
  • Legion:
    1. 1RB2RA3LA4LA2RB_2LA---1LA1RA3RA (1)
    2. 1RB3LA4LA1LA2RA_2LA4RB---0RA0LA (2)
    3. 1RB3LA4LA2RB1LA_2LA4RB---3RA3LA (3)
  • Racheline: 1RB2LB---4LB0RB_1LA3RB4RB4RA1LB
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:RobinCodes/Work_on_BB_Domains&oldid=6930"