twsearch icon indicating copy to clipboard operation
twsearch copied to clipboard

God's Number Search for X-Cross, Bug in Position Counts with Identical Pieces

Open DougCube opened this issue 10 months ago • 37 comments

I am running this search for god's number for a specific X-Cross (cross + first pair). However, it has been running for over 6 hours. A similar search for Cross took only a few seconds. ./twsearch -g -t 11 xcross_UFR.tws

So far, it's output these position counts:

Dist 0 cnt 1 tot 1 in 2.69413e-05
Dist 1 cnt 15 tot 16 in 1.19209e-05
Dist 2 cnt 172 tot 188 in 2.90871e-05
Dist 3 cnt 1950 tot 2138 in 0.000377893
Dist 4 cnt 21535 tot 23673 in 0.00474715
Dist 5 cnt 220368 tot 244041 in 0.0606499
Dist 6 cnt 1989591 tot 2233632 in 0.86908
Dist 7 cnt 13431990 tot 15665622 in 11.9216
Dist 8 cnt 40963892 tot 56629514 in 24.3731
Dist 9 cnt 16325184 tot 72954698 in 7.37705
<misc output omitted>

However, there are just 4 edge pieces and 1 corner piece involved so the total number of positions is 4,561,920 which I derive from the following product: CP = 8 CO = 3 EP = 12 * 11 * 10 * 9 EO = 2^4 The problem is that the counts and totals given exceeds this number of positions.

Definition file is on stickers instead of pieces (i.e. no orientations):

Name xcross_UFR

Set CORNER 24 1
Set EDGE 24 1

Solved
CORNER
4 4 4 1 4 4 4 4 4 4 2 4 4 3 4 4 4 4 4 4 4 4 4 4
EDGE
1 2 3 4 11 11 11 11 11 11 5 6 11 7 8 11 11 11 9 11 11 11 10 11
End

Move U
CORNER
4 1 2 3 5 6 7 8 9 14 15 12 13 18 19 16 17 22 23 20 21 10 11 24
EDGE
4 1 2 3 5 6 7 8 9 10 15 12 13 14 19 16 17 18 23 20 21 22 11 24
End

Move D
CORNER
1 2 3 4 8 5 6 7 21 10 11 24 9 14 15 12 13 18 19 16 17 22 23 20
EDGE
1 2 3 4 8 5 6 7 21 10 11 12 9 14 15 16 13 18 19 20 17 22 23 24
End

Move R
CORNER
1 2 11 12 5 6 17 18 9 10 7 8 16 13 14 15 3 4 19 20 21 22 23 24
EDGE
1 2 3 12 5 6 7 18 9 10 11 8 16 13 14 15 17 4 19 20 21 22 23 24
End

Move L
CORNER
19 20 3 4 9 10 7 8 1 2 11 12 13 14 15 16 17 18 5 6 24 21 22 23
EDGE
1 20 3 4 5 10 7 8 9 2 11 12 13 14 15 16 17 18 19 6 24 21 22 23
End

Move F
CORNER
24 2 3 23 5 13 14 8 12 9 10 11 4 1 15 16 17 18 19 20 21 22 6 7
EDGE
24 2 3 4 5 6 14 8 12 9 10 11 13 1 15 16 17 18 19 20 21 22 23 7
End

Move B
CORNER
1 15 16 4 22 6 7 21 9 10 11 12 13 14 8 5 20 17 18 19 2 3 23 24
EDGE
1 2 16 4 22 6 7 8 9 10 11 12 13 14 15 5 20 17 18 19 21 3 23 24
End

The definition file has been throughly tested in solving scrambles and Ihave high confidence in it. But in case needed the ordering is:

Corner Stickers:
UFL, UBL, UBR, UFR,
DBL, DFL, DFR, DBR,
FDL, FUL, FUR, FDR,
RDF, RUF, RUB, RDB,
BDR, BUR, BUL, BDL,
LDB, LUB, LUF, LDF

Edge Stickers:
UF, UL, UB, UR,
DB, DL, DF, DR,
FD, FL, FU, FR,
RD, RF, RU, RB,
BD, BR, BU, BL,
LD, LB, LU, LF

DougCube avatar Feb 24 '25 18:02 DougCube