User:ADucharme: Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
← Older edit
VisualWikitext
ADucharme (talk | contribs)
316 edits
→Busy Beaver Game: add bb7 results
ADucharme (talk | contribs)
316 edits
m →Holdout Reduction: add BB(6) solved non-halters
 
(One intermediate revision by the same user not shown)
Line 6: Line 6:


==== BB(6) ====
==== BB(6) ====
Of the last 2592 BB(6) holdouts, I solved 57 (2.19%) and counting.  
Of the last 2592 BB(6) holdouts, I solved 59 (2.28%) and counting.  


Solved halting TMs with sigma score
Solved halting TMs (49) with sigma score
  1RB---_1LC0LA_1LD0RD_0RE0LB_1RC1RF_0RD1RF ~10^79.95448
  1RB---_1LC0LA_1LD0RD_0RE0LB_1RC1RF_0RD1RF ~10^79.95448
  1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- ~10^70.05261
  1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- ~10^70.05261
Line 58: Line 58:
  1RB1LA_1LC0RC_1LD1RC_1LD1LE_0LF0LA_1RZ0RA 19,694
  1RB1LA_1LC0RC_1LD1RC_1LD1LE_0LF0LA_1RZ0RA 19,694
  1RB1LA_1LC0RC_1LD1RC_0LC1LE_0LF0LA_---0RA
  1RB1LA_1LC0RC_1LD1RC_0LC1LE_0LF0LA_---0RA
Solved non-halting TMs with decider
Solved non-halting TMs (10) with decider
  1RB1RF_1LC0RD_1RE0RD_0RC0LE_1LB0RA_0RE--- Inf Proof_System
  1RB1RF_1LC0RD_1RE0RD_0RC0LE_1LB0RA_0RE--- Inf Proof_System
  1RB0LF_0RC0RF_1RD---_1LE0LB_1LA0LD_1RA0RE Inf Proof_System
  1RB0LF_0RC0RF_1RD---_1LE0LB_1LA0LD_1RA0RE Inf Proof_System
  1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System
  1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System
  1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6 run
  1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6
  1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6 run
  1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6
  1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6 run
  1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6
  1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20 run
  1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20
  1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9 run
  1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9
1RB0RB_1LC1RA_0LA1RD_1LA1LE_1LF1LD_---0LC FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 3 n 12
1RB0LD_1RC0RE_0LA0RC_1LA1LD_0RF1RA_---1RC FAR CPS_LRU maxT 10000000 LRUH 6 H 3 tH 0 n 9


==== BB(2,5) ====
==== BB(2,5) ====
Line 87: Line 89:
|-
|-
|T-2
|T-2
|<code>[[1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE]]</code> (bbch)
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|10 ↑↑ 519.20
|-
|-
|T-2
|T-2
|<code>1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LE_0RD1LF_1LB0LE</code> (bbch)
|{{TM|1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LE_0RD1LF_1LB0LE}}
|10 ↑↑ 519.20
|10 ↑↑ 519.20
|-
|-
|5
|5
|<code>1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG</code> (bbch)
|{{TM|1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG}}
|10 ↑↑ 403.84
|10 ↑↑ 403.84
|-
|-
|9
|9
|<code>1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG</code> (bbch)
|{{TM|1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG}}
|10 ↑↑ 243.88
|10 ↑↑ 243.88
|}
|}
{| class="wikitable sortable"
 
|<code>1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG</code> (bbch)
{{TM|1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG}} was a bit of co-discovery: Iijil first enumerated the TM and I first showed it was halting.
|}
was a bit of co-discovery: Iijil first enumerated the TM and I showed it was halting.


==== BB(2,6) ====
==== BB(2,6) ====

Latest revision as of 02:42, 14 February 2026

Hi, I'm Andrew!

My main contribution to bbchallenge is applying the Ligocki and mxdys deciders to many of the next unsolved domains. I helped organize the initial BB(7) enumeration and solved over 50% of all holdouts since that enumeration. I've also tried my hand at the analysis of some TMs, most notably BMO #1 and the Bonus Cryptid, but have not ever solved a TM by hand. Below are the TMs I've solved for the most actively studied BB domains.

Holdout Reduction

BB(6)

Of the last 2592 BB(6) holdouts, I solved 59 (2.28%) and counting.

Solved halting TMs (49) with sigma score 

1RB---_1LC0LA_1LD0RD_0RE0LB_1RC1RF_0RD1RF ~10^79.95448
1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- ~10^70.05261
1RB1RE_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD--- 
1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0LA---
1RB0RA_1RC0LC_0LD0RA_1LB1LE_0RE0LF_1RD--- ~10^70.00750
1RB1RE_1LC0RC_0RA0LD_1LB0LD_0RC1RF_0LA---
1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC--- ~10^69.99803
1RB1RE_1LC0RC_0RA0LD_1LB0LD_0LE1RF_0RC---
1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0RC---
1RB1RE_1LC0RC_0RA0LD_1LB1LF_0LE1RF_0RC---
1RB1RF_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC--- ~10^69.94652
1RB1LA_0LB1LC_1RD0LD_0LA0RE_1RC0RF_1LE--- ~10^52.44977
1RB1LA_0LB1LC_1RD0LD_0LA0RE_1RC1RF_0LD---
1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1LF_---1RA ~10^52.25998
1RB1RE_1LC0RC_0RA0LD_1LB1LF_0RC1RE_0RC---
1RB0RD_1RC1RA_1LD1LA_0RE0LC_0LF1RF_0RB--- ~10^38.85754
1RB0RD_1RC1RA_1LD1LA_0RE0LC_1RC1RF_0RB1RZ 
1RB---_1LC1LF_1RD0LD_0LB0RE_1RC1RF_0LD0LA 3_804_764_807_033_118_405_271_455_910_658_686_671_560_877_296_302
1RB---_1LC1LF_1RD0LD_0LB0RE_1RC0RE_0RF0LA
1RB0LB_0LC0RF_1LA1LD_0RD1LE_0LB---_1RA0RF 2_802_749_143_558_201_797_723_325_357_510_324_775_865_733_035_298
1RB---_1RC0LC_0LD0RF_1LB1LE_0LC1LE_1RB0RA 224_322_871_042_507_036_371_085_207_200_624_692_576_495_497_310
1RB0RA_1RC0LC_0LD0RA_1LB1LE_0RE0LF_1RD---
1RB---_1RC0LC_0LD0RF_1RE1LD_0LE1LB_1RB0RA
1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0RC1RZ 87_112_055_695_139_218_500_268_260_804_164_378
1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC1RZ
1RB1RE_1LC0RC_0RA0LD_1LB1LF_0LE1RF_0RC1RZ
1RB1RE_1LC0RC_0RA0LD_1LB0LD_0RC1RF_0LA1RZ
1RB1RE_1LC0RC_0RA0LD_1LB0LD_0LE1RF_0RC1RZ
1RB1RF_1RC0LC_0LD0RA_1LB1LE_0LC1LF_0LC1RZ
1RB1RE_1LC0RC_0RA0LD_1LB1LE_0RC1RF_0LA1RZ
1RB0RA_1RC0LC_0LD0RA_1LB1LE_0RE0LF_1RD1RZ 87_112_055_695_139_218_500_268_260_804_164_377
1RB0RA_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD1RZ
1RB1RE_1RC0LC_0LD0RA_1LB1LE_0LC0LF_1RD1RZ
1RB0LB_0LC0RE_1RD1LC_0LD1LA_1RA0RF_1LE--- 708_804_434_842_666_889_215_481_456_393_612
1RB0LB_0LC0RE_1RD1LC_0LD1LA_1RA1RF_0LB--- 
1RB0LB_0LC0RE_1LA1LD_0LB1RF_1RA1RD_---1LC 5_652_984_156_355_601_606_126_039_264
1RB0LB_0LC0RE_1LA1LD_0LB1LD_1RA0RF_1RA---
1RB0LB_0LC0RE_1LA1LD_0LB1LD_1RA0RF_1LE---
1RB0LB_0LC0RE_1LA1LD_0LB0LF_1RA0RE_1RC---
1RB0LB_0LC0RF_1LA1LD_0RD1LE_0LB---_1RA1RE
1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA0RE_0RC---
1RB0LB_0LC0RE_1RD1LC_0LD1LA_1RA0RF_1RA--- 24_585_555_916_266_386_719_525
1RB0LB_0LC0RE_1LA1LD_0LB1LD_1RA1RF_0LB---
1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA1RD_0RC---
1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA1RF_0LB---
1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA0RE_0LB--- 12_878_567_902_665_915
1RB0LB_0LC0RE_1LA1LD_0LB1LF_1RA1RD_0LB---
1RB1LA_1LC0RC_1LD1RC_1LD1LE_0LF0LA_1RZ0RA 19,694
1RB1LA_1LC0RC_1LD1RC_0LC1LE_0LF0LA_---0RA

Solved non-halting TMs (10) with decider 

1RB1RF_1LC0RD_1RE0RD_0RC0LE_1LB0RA_0RE--- Inf Proof_System
1RB0LF_0RC0RF_1RD---_1LE0LB_1LA0LD_1RA0RE Inf Proof_System
1RB0LE_1LC0LE_1RA0LD_1LA1LF_0LB0RC_0LC--- Inf Proof_System
1RB0RF_1RC---_1RD1LF_1RE0RD_0LC1RA_1LC0LF FAR CPS_LRU maxT 10000000 LRUH 4 H 2 tH 0 n 6
1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_1RA--- FAR CPS_LRU maxT 10000000 LRUH 4 H 4 tH 0 n 6
1RB1LD_1RC0RB_0LA1RE_1LA0LD_1RF0RD_0RC--- FAR CPS_LRU maxT 10000000 LRUH 4 H 3 tH 0 n 6
1RB1LA_0RC0LF_0RD---_1RE1RD_1LB1RA_0LD0LA FAR CPS_LRU maxT 10000000 LRUH 1 H 1 tH 0 n 20
1RB0RB_1LC0LE_0RF1LD_1RA0LB_1RA0RD_---0RC FAR CPS_LRU maxT 10000000 LRUH 4 H 1 tH 3 n 9
1RB0RB_1LC1RA_0LA1RD_1LA1LE_1LF1LD_---0LC FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 3 n 12
1RB0LD_1RC0RE_0LA0RC_1LA1LD_0RF1RA_---1RC FAR CPS_LRU maxT 10000000 LRUH 6 H 3 tH 0 n 9

BB(2,5)

Of the last 75 2x5 holdouts, I have solved 2 (2.68%).

Solved non-halting TM with decider 

1RB2LA0RB1LB0LB_1LA3RA1RA4RA--- FAR CPS_LRU maxT 10000000 LRUH 6 H 1 tH 0 n 2
1RB2RB---0LB3LA_2LA2LB3RB4RB1LB FAR CPS_LRU maxT 10000000 LRUH 8 H 5 tH 0 n 2

Busy Beaver Games

Through my filtering, I've compiled a few of the highest-scoring halters for several domains. I've never taken first place, but I've come close. If only uni would make his code public...

This section lists any TMs in the current top 10 for a given domain. These remain my best-ever entries in these particular Busy Beaver games.

BB(7)

Place TM Score
T-2 1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LF_0RD1LF_1LB0LE (bbch) 10 ↑↑ 519.20
T-2 1RB1RZ_0RC0RE_1LD1LA_1LC0LG_0RF1LE_0RD1LF_1LB0LE (bbch) 10 ↑↑ 519.20
5 1RB1LB_1LC1RF_1LA0LD_1RE0LG_0RC1RZ_0RB0RD_0RF1LG (bbch) 10 ↑↑ 403.84
9 1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG (bbch) 10 ↑↑ 243.88

1RB1RZ_1RC0LE_0RD1RB_1LE1RA_1LF0LG_0LG0RG_1LB1RG (bbch) was a bit of co-discovery: Iijil first enumerated the TM and I first showed it was halting.

BB(2,6)

Place TM Score
6 1RB2LB0RA2RA5RA1LB_2LA4RB3LB2RB0RB1RZ (bbch) 10 ↑↑ 54.90
7 1RB3RB1LB5LA2LB1RZ_2LA3RA4RB2LB0LA4RB (bbch) 10 ↑↑ 42.17
8 1RB3LB0RB5RA1LB1RZ_2LB3LA4RA0RB0RA2LB (bbch) 10 ↑↑ 40.07
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:ADucharme&oldid=6229"