BB(7): Difference between revisions

From BusyBeaverWiki
Jump to navigation Jump to search
VisualWikitext
m (→‎Current Progress: Put my holdouts file on Drive.)
(Consolidated 95xxxx through 99xxxx into one entry.)
Line 21: Line 21:
|-
|-
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192
|10 ↑↑ 193
|-
|-
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
Line 76: Line 76:
|Yes
|Yes
|Yes
|Yes
|728495
|style="text-align:right;"|728495
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|{{TM|1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC}}
|10 ↑↑ 46
|10 ↑↑ 46
Line 85: Line 85:
|Yes
|Yes
|No
|No
|1056253
|style="text-align:right;"|1,056,253
|TBD
|TBD
|TBD
|TBD
Line 93: Line 93:
|Yes
|Yes
|No
|No
|963486
|style="text-align:right;"|963,486
|TBD
|TBD
|TBD
|TBD
Line 101: Line 101:
|Yes
|Yes
|No
|No
|1052504
|style="text-align:right;"|1,052,504
|TBD
|TBD
|TBD
|TBD
Line 109: Line 109:
|Yes
|Yes
|No
|No
|955711
|style="text-align:right;"|955,711
|TBD
|TBD
|TBD
|TBD
Line 117: Line 117:
|Yes
|Yes
|No
|No
|1437978
|style="text-align:right;"|1,437,978
|{{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}
|{{TM|1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC}}
|10 ↑↑ 35
|10 ↑↑ 35
Line 126: Line 126:
|Yes
|Yes
|No
|No
|TBE
|style="text-align:center;"|TBE
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|{{TM|1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF}}
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
|<math>2 \uparrow^{11} 2 \uparrow^{11} 3</math>
Line 135: Line 135:
|No
|No
|No
|No
|TBD
|style="text-align:center;"|TBD
|TBD
|TBD
|TBD
|TBD
Line 144: Line 144:
|No
|No
|No
|No
|TBD
|style="text-align:center;"|TBD
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|{{TM|1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG}}
|10 ↑↑ 93
|10 ↑↑ 93
Line 153: Line 153:
|Yes
|Yes
|No
|No
|TBD
|style="text-align:center;"|TBD
|TBD
|TBD
|TBD
|TBD
Line 162: Line 162:
|Yes
|Yes
|Yes
|Yes
|160792
|style="text-align:right;"|160,792
|{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|{{TM|1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA}}
|10 ↑↑ 26
|10 ↑↑ 26
Line 171: Line 171:
|Yes
|Yes
|No
|No
|1025733
|style="text-align:right;"|1,025,733
|TBD
|TBD
|TBD
|TBD
Line 180: Line 180:
|Yes
|Yes
|No
|No
|1437031
|style="text-align:right;"|1,437,031
|TBD
|TBD
|TBD
|TBD
Line 188: Line 188:
|Yes
|Yes
|No
|No
|1037736
|style="text-align:right;"|1,037,736
|TBD
|TBD
|TBD
|TBD
Line 196: Line 196:
|Yes
|Yes
|No
|No
|1436093
|style="text-align:right;"|1,436,093
|TBD
|TBD
|TBD
|TBD
Line 204: Line 204:
|Yes
|Yes
|No
|No
|1040565
|style="text-align:right;"|1,040,565
|TBD
|TBD
|TBD
|TBD
|-
|-
|95xxxx
|95xxxx-99xxxx
|Terry Ligocki
|Yes
|Yes
|1100416
|{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}
|10 ↑↑ 192
|-
|96xxxx
|Terry Ligocki
|Yes
|Yes
|803523
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE}}
|10 ↑↑ 188
|-
|97xxxx
|Terry Ligocki
|Yes
|Yes
|1103622
|{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}
|10 ↑↑ 113
|-
|98xxxx
|Terry Ligocki
|Yes
|Yes
|797084
|{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}
|10 ↑↑ 188
|-
|99xxxx
|Terry Ligocki
|Terry Ligocki
|Yes
|Yes
|Yes
|Yes
|1105427
|style="text-align:right;"|6,381,012
|{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}
|
|10 ↑↑ 286
{{TM|1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ}}<br/>
{{TM|1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG}}<br/>
{{TM|1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA}}<br/>
{{TM|1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ}}<br/>
{{TM|1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ}}
|
10 ↑↑ 286<br/>
10 ↑↑ 193<br/>
10 ↑↑ 188<br/>
10 ↑↑ 113<br/>
10 ↑↑ 94
|}
|}
[[Category:BB Domain]]
[[Category:BB Domain]]

Revision as of 04:50, 21 May 2025

The 7-state, 2-symbol Busy Beaver problem BB(7) is a mostly unexplored domain with only preliminary information.

The current BB(7) champion is 1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF (bbch) discovered by Pavel Kropitz in 2025 proving the lower bound:

History

Before 2025, the only known BB(7) champions were produced by hand, not by search. Example, Milton Green designed a machine in 1964 that had sigma score 22,961 and Wythagoras modified a BB(6) champion in 2014 to produce a machine that had sigma score .

In May 2025, mxdys shared C++ code that breaks up the BB(7) enumeration into 1 million subtasks which each run for about 2 minutes and leave ~100 holdouts each. Various folks on Discord have been investigating different sections of this domain to search for champions.

Top Halters

Based on limited search through a subset of the 1 million subtasks from mxdys's code some of the top known halting machines are:

TM Approximate sigma score
1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF (bbch)
1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ (bbch) 10 ↑↑ 286
1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG (bbch) 10 ↑↑ 193
1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA (bbch) 10 ↑↑ 188
1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ0RE (bbch) 10 ↑↑ 188
1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LF0RF_0RA1RE_1RZ1LA (bbch) 10 ↑↑ 188
1RB0LC_1LC1LD_1LA1LB_1LG1RE_1LF0RF_0RA1RE_1RZ0RA (bbch) 10 ↑↑ 188
1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ (bbch) 10 ↑↑ 113
1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG (bbch) 10 ↑↑ 93.81
1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ (bbch) 10 ↑↑ 93.78
1RB1RF_1LC1LB_0RE0LD_0LC0LB_0RA1RE_1RG1RZ_0LG0RA (bbch)

1RB1RF_1LC1LB_0RE0LD_0LC0LB_0RA1RE_1RG1RZ_0LG0LE (bbch)

10 ↑↑ 63
1RB0RG_0RC0RF_1LD0RA_0LE0LA_1RA0LC_0LG1LC_1RE1RZ (bbch) 10 ↑↑ 51
1RB1RZ_1RC0RG_0RD1RB_0LE0RB_0LF0RA_1LB1RF_1RE1LD (bbch) 10 ↑↑ 50
1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC (bbch) 10 ↑↑ 35

Current Progress

This is a summary of the 1 million subtasks from mxdys's code that have been processed, including further processing by Shawn Ligocki's linear rule code ("TBD" = "To Be Determined", "TBE" = "To Be Entered"):

Task range Done by Completed # holdouts Maximum Score TM ~Sigma Source
enumeration linear rule
00xxxx @Iijil Yes Yes 728495 1RB0RF_1RC1LF_0RD0RD_1LE0LB_1RA1RZ_1LG1RA_1LD0RC (bbch) 10 ↑↑ 46 Google Drive folder
01xxxx @Iijil Yes No 1,056,253 TBD TBD
02xxxx @Iijil Yes No 963,486 TBD TBD
03xxxx @Iijil Yes No 1,052,504 TBD TBD
04xxxx @Iijil Yes No 955,711 TBD TBD
13xxxx Shawn Ligocki Yes No 1,437,978 1RB1RA_1RC0LC_0LD1LG_1LF0LE_1RZ1LF_0LA1LD_1RA1LC (bbch) 10 ↑↑ 35 Google Drive folder
243308 @uni Yes No TBE 1RB0RA_1LC1LF_1RD0LB_1RA1LE_1RZ0LC_1RG1LD_0RG0RF (bbch) Discord post
25xxxx @stokastic No No TBD TBD TBD Google Drive folder
43xxxx Andrew Ducharme No No TBD 1RB0LE_1RC1RA_1RD0RG_1LA1RZ_1RA1LF_1LA0LE_0RF1RG (bbch) 10 ↑↑ 93 TBE
500xxx @prurq Yes No TBD TBD TBD Google Drive folder
700000-701999 @hipparcos Yes Yes 160,792 1RB0LF_1LC1LE_1RE0LD_0LC0LA_1LB1RA_0LG0RC_1RZ0LA (bbch) 10 ↑↑ 26 Posted to Discord
90xxxx Terry Ligocki Yes No 1,025,733 TBD TBD Google Drive folder
91xxxx Terry Ligocki Yes No 1,437,031 TBD TBD
92xxxx Terry Ligocki Yes No 1,037,736 TBD TBD
93xxxx Terry Ligocki Yes No 1,436,093 TBD TBD
94xxxx Terry Ligocki Yes No 1,040,565 TBD TBD
95xxxx-99xxxx Terry Ligocki Yes Yes 6,381,012

1RB1RF_0RC1RG_1LD1LE_0LE1LD_0RF0LC_1RA0LC_0RF1RZ (bbch)
1RB1RZ_1LC0RE_0LD1LB_1RE0LA_1RF0RG_0RA0LG_1RB1LG (bbch)
1RB0LC_1LC1LD_1LA1LB_0LG1RE_1LD0RF_0RA1RE_1RZ1LA (bbch)
1RB0RG_1LC0LE_1LD0LB_1RB1RE_0RA1RF_0RD1RC_1RD1RZ (bbch)
1RB0RF_1LC0LD_1RC0LB_1LE1RG_1RA1RE_1RD0RD_0RA1RZ (bbch)

10 ↑↑ 286
10 ↑↑ 193
10 ↑↑ 188
10 ↑↑ 113
10 ↑↑ 94

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=BB(7)&oldid=1993"