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

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
RobinCodes (talk | contribs)
245 edits
Initial commit
 
RobinCodes (talk | contribs)
245 edits
→4 informal (3 informal by eqv. class): Added info to peripheral domains: removed an unnecessary "unconfirmed" from BMO 7 status.
 
(37 intermediate revisions by 2 users not shown)
Line 1: Line 1:
== Progress by domain ==
As of 26 October 2025:


<code>Only domains with active filtering going on (decider-wise): BB(3x4) Xnoob and Lúkos</code> 
{| class="wikitable"
|+
!Domain
!2-state
!3-state
!4-state
!5-state
!6-state
!7-state
!'''8-state'''
|-
!2-symbol
|0
|0
|0
|0
July 2, 2024
|1,614
(4 informal)
Exhausted
15+3 Cryptids found
(3 probable)
|20,405,295
No Handwork
Andrew Ducharme,
Terry Ligocki
Phase 2, Stage 5
|???
|-
!3-symbol
|0
|4+3
Exhausted
(3 informal)
1 Cryptid
| 9,401,447
No Handwork
Terry Ligocki Phase 2, Stage 2
|???
|
|
|
|-
!4-symbol
|0
Aug. 22, 2024
|15,136,283
No Handwork
[[User:XnoobSpeakable|XnoobSpeakable,]][[User:WarpedWartWars|Lúkos]]
Phase 2, Stage 8 (in progress)
|???
|
|
|
|
|-
!5-symbol
|64
Exhausted
(11 informal)
2+4 Cryptids (4 probable)
|???
|
|
|
|
|
|-
!6-symbol
|870,085
No Handwork
Exhausted
|???
|
|
|
|
|
|-
!7-symbol
|???
|
|
|
|
|
|
|}
<small>I also wanted to study at what point are domains infeasible with reasonable resources and time, but this is for the future of this page. ???? And after are almost completely unexplored.</small>
== Informal and unverified proofs by domain ==
'''Unconfirmed, informal proofs of machines for each domain by equivalence class:'''
{| class="wikitable"
!Domain
!2-state
!3-state
!4-state
!5-state
!6-state
|-
!2-symbol
|0
|0
|0
|0
|3
|-
!3-symbol
|0
|4
| ----
| ---
| ---
|-
!4-symbol
|0
| ---
| ---
| ---
| ---
|-
!5-symbol
|9
| ---
| ---
| ---
| ---
|}
<small>16 total by eqv. class and proof count. 19 by individual machine.</small>
=== [[BB(6)]]: 25 October 2025 ===
===== 4 informal (3 informal by eqv. class) =====
* [https://discord.com/channels/960643023006490684/1239205785913790465/1431135577234997299 Bricks / Shawn Ligocki:] 1RB1RF_0LC1RC_1RD1LC_---0RE_1RA1LF_1RA0LE NONHALT (verified by quick_sim.py)
* [https://discord.com/channels/960643023006490684/1239205785913790465/1431225455557611611 Racheline]:
*# >1RB0RB_1LB0LC_1RD1LC_1RE0RA_1RF0RB_---1LB
*# 1RB0RB_1LB0LC_1RD1LC_1RE0RA_0RF0RB_---0LA (equivalence)
* [https://discord.com/channels/960643023006490684/1421782442213376000/1431483206208852001 Shawn, star, Pomme, @mxdys]: BMO 7
=== [[BB(3,3)]]: 25 October 2025 ===
===== 3 informal, 1 unconfirmed by eqv. class and individual =====
* Legion: ([[Longitudinal Analysis|long. analysis]]) informal
*# 1RB2LB0LC_2LA2RA1RB_---2LA1LC ([https://discord.com/channels/960643023006490684/1259770474897080380/1290044219481657476 <small>1</small>])
*# 1RB1LC1LC_1LA2RB0RB_2LB---0LA ([https://discord.com/channels/960643023006490684/1259770474897080380/1279055891559223399 2])
*# 1RB0RC---_2RC0LB1LB_2LC2RA2RB ([https://discord.com/channels/960643023006490684/1084047886494470185/1256729514076016733 3])
* [https://discord.com/channels/960643023006490684/1259770474897080380/1430531925315031172 @furnleaf]: 1RB1LB2LC_1LA2RB1RB_---0LA2LA (397) erroneous, [https://discord.com/channels/960643023006490684/1259770474897080380/1430557898269790248 currently attempting fix]
=== [[BB(2,5)]]: 25 October 2025 ===
===== 9 informal, 2 unverified (8 informal, 1 unverified by eqv. class) =====
* Dyuan:
*# [[Beaver Math Olympiad#3. 1RB0RB3LA4LA2RA 2LB3RA---3RA4RB (bbch) and 1RB1RB3LA4LA2RA 2LB3RA---3RA4RB (bbch)|BMO 3]] (2 machines in 1 eqv. class) ([https://discord.com/channels/960643023006490684/1084047886494470185/1252634913220591728 source])
*# 1RB4LA1LB2LA0RB_2LB3RB4LA---1RA ([https://discord.com/channels/960643023006490684/1259770421046411285/1290449717536489622 source])
*# Dekaheptoid, unverified: [[1RB3RB1LB---2RB_2LA1RA4LB2LA2RA]] ([https://discord.com/channels/960643023006490684/1259770421046411285/1267650177389432913 source]), equivalently 1RB3RA2LB1LB1RB_2LA2RA4LA1LA---
*# BMO 3 variant: 1RB0RA3LA4LA2RA_2LB3LA---4RA3RB ([https://discord.com/channels/960643023006490684/1259770421046411285/1415337575543214132 source])
* Legion:
*# 1RB2RA3LA4LA2RB_2LA---1LA1RA3RA (<small>[https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 1]</small>)
*# 1RB3LA4LA1LA2RA_2LA4RB---0RA0LA ([https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 2])
*# 1RB3LA4LA2RB1LA_2LA4RB---3RA3LA ([https://discord.com/channels/960643023006490684/1084047886494470185/1254518334406266964 3])
* [https://discord.com/channels/960643023006490684/1259770421046411285/1329663999700111471 Racheline]: 1RB2LB---4LB0RB_1LA3RB4RB4RA1LB
* [https://discord.com/channels/960643023006490684/1259770421046411285/1428501877947109437 Peacemaker II]: 1RB2LA0LB1LA2RA_0LA3RA1RA4LB---

Latest revision as of 18:29, 5 November 2025

Progress by domain

As of 26 October 2025:

Only domains with active filtering going on (decider-wise): BB(3x4) Xnoob and Lúkos

Domain 2-state 3-state 4-state 5-state 6-state 7-state 8-state
2-symbol 0 0 0 0

July 2, 2024

1,614

(4 informal) Exhausted

15+3 Cryptids found

(3 probable)

20,405,295

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

???
3-symbol 0 4+3

Exhausted

(3 informal)

1 Cryptid

9,401,447

No Handwork Terry Ligocki Phase 2, Stage 2

???
4-symbol 0

Aug. 22, 2024

15,136,283

No Handwork XnoobSpeakable,Lúkos

Phase 2, Stage 8 (in progress)

???
5-symbol 64

Exhausted (11 informal)

2+4 Cryptids (4 probable)

???
6-symbol 870,085

No Handwork Exhausted

???
7-symbol ???

I also wanted to study at what point are domains infeasible with reasonable resources and time, but this is for the future of this page. ???? And after are almost completely unexplored.

Informal and unverified proofs by domain

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

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

16 total by eqv. class and proof count. 19 by individual machine.

BB(6): 25 October 2025

4 informal (3 informal by eqv. class)

BB(3,3): 25 October 2025

3 informal, 1 unconfirmed by eqv. class and individual
  • Legion: (long. analysis) informal
    1. 1RB2LB0LC_2LA2RA1RB_---2LA1LC (1)
    2. 1RB1LC1LC_1LA2RB0RB_2LB---0LA (2)
    3. 1RB0RC---_2RC0LB1LB_2LC2RA2RB (3)

BB(2,5): 25 October 2025

9 informal, 2 unverified (8 informal, 1 unverified by eqv. class)
  • Dyuan:
    1. BMO 3 (2 machines in 1 eqv. class) (source)
    2. 1RB4LA1LB2LA0RB_2LB3RB4LA---1RA (source)
    3. Dekaheptoid, unverified: 1RB3RB1LB---2RB_2LA1RA4LB2LA2RA (source), equivalently 1RB3RA2LB1LB1RB_2LA2RA4LA1LA---
    4. 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
  • Peacemaker II: 1RB2LA0LB1LA2RA_0LA3RA1RA4LB---
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:RobinCodes/Work_on_BB_Domains&oldid=4994"