Passi risolutivi (25)
Passo 1
Hidden Singles
valore: 5.5
categoria doc: Getting_Started
2 in C2 is last in column/box
4 in D9 is last in column/box
4 in E3 is last in row
6 in F8 is last in row/box
8 in A1 is last in row
8 in C4 is last in column/box
8 in G7 is last in row/column/box
Passo 2
Hidden Singles
valore: 4.6
categoria doc: Getting_Started
2 in F4 is last in row
4 in C6 is last in row/box
4 in H1 is last in column/box
6 in J2 is last in column
7 in F9 is last in column
8 in D2 is last in row/column/box
Passo 3
Naked Singles
valore: 1.8
categoria doc: Getting_Started
Last candidate 9 in H4 changed to solution
Passo 4
Hidden Singles
valore: 3.4
categoria doc: Getting_Started
2 in J5 is last in row/box
4 in G4 is last in row/column/box
6 in H6 is last in row/box
7 in D1 is last in row/column/box
7 in E4 is last in row/column/box
Passo 5
Hidden Singles
valore: 3.1
categoria doc: Getting_Started
1 in D6 is last in row
1 in E2 is last in box
Passo 6
Naked Pair
valore: 13.8
categoria doc: Naked_Candidates
Naked Pair 5/9 on cells {D7|D8} means
- 5/9 can be removed from E7
- 5/9 can be removed from E8
Passo 7
Pointing Pairs
valore: 40
categoria doc: Intersection_Removal
Pair: between Box 8 and Row G:
- 5 can be removed from G2
- 5 can be removed from G3
- 5 can be removed from G8
Last candidate 9 in G2 changed to solution
Passo 8
Naked Singles
valore: 1.2
categoria doc: Getting_Started
Last candidate 5 in F2 changed to solution
Passo 9
Rectangle Elimination
valore: 60.5
categoria doc: Rectangle_Elimination
If +1[B3] then -1[B4] forcing +1[J4] which removes all 1s from Box 7, so B3 cannot be 1
Passo 10
Rectangle Elimination
valore: 59.8
categoria doc: Rectangle_Elimination
If +5[B3] then -5[B9] forcing +5[J9] which removes all 5s from Box 7, so B3 cannot be 5
Passo 11
X-Cycle
valore: 177.4
categoria doc: X_Cycles
X-CYCLE on 1 (Discontinuous Alternating Nice Loop, length 8):
+1[A3]-1[A9]+1[B9]-1[B4]+1[J4]-1[G5]+1[G3]-1[A3]
- Contradiction: When A3 is set to 1 the chain implies it cannot be 1 - it can be removed
Passo 12
Naked Triple
valore: 46.2
categoria doc: Naked_Candidates
Naked Triple 3/6/9 on cells {A3|B3|F3} means
- 6/9 can be removed from C3
Passo 13
XY-Chain
valore: 169.2
categoria doc: XY_Chains
length=5, chain ends: A8 and J9
This proves 9 is the solution at one or possibly both ends of the chain
-9[A8]+2[A8]-2[E8]+3[E8]-3[G8]+7[G8]-7[H7]+5[H7]-5[J9]+9[J9]
- 9 can be removed from A9
- 9 can be removed from B9
Last candidate 1 in A9 changed to solution
Passo 14
Naked Singles
valore: 1
categoria doc: Getting_Started
Last candidate 5 in B9 changed to solution
Passo 15
Naked Singles
valore: 1
categoria doc: Getting_Started
Last candidate 9 in J9 changed to solution
Passo 16
Hidden Singles
valore: 1.9
categoria doc: Getting_Started
5 in D8 is last in column
Passo 17
Naked Singles
valore: 0.9
categoria doc: Getting_Started
Last candidate 9 in D7 changed to solution
Passo 18
X-Wing
valore: 52.8
categoria doc: X_Wing_Strategy
(Col->Row) 1 taken off C1, based on BJ14
Passo 19
XY-Chain
valore: 112.7
categoria doc: XY_Chains
length=4, chain ends: C8 and G3
This proves 7 is the solution at one or possibly both ends of the chain
-7[C8]+9[C8]-9[C1]+5[C1]-5[C3]+1[C3]-1[G3]+7[G3]
- 7 can be removed from G8
Last candidate 3 in G8 changed to solution
Passo 20
Naked Singles
valore: 0.7
categoria doc: Getting_Started
Last candidate 2 in E8 changed to solution
Last candidate 5 in G6 changed to solution
Last candidate 5 in J7 changed to solution
Passo 21
Naked Singles
valore: 0.4
categoria doc: Getting_Started
Last candidate 9 in A8 changed to solution
Last candidate 9 in E6 changed to solution
Last candidate 3 in E7 changed to solution
Last candidate 1 in G5 changed to solution
Last candidate 7 in H7 changed to solution
Last candidate 1 in J1 changed to solution
Passo 22
Naked Singles
valore: 0.3
categoria doc: Getting_Started
Last candidate 6 in A5 changed to solution
Last candidate 6 in C7 changed to solution
Last candidate 7 in C8 changed to solution
Last candidate 5 in E5 changed to solution
Last candidate 7 in G3 changed to solution
Last candidate 5 in H3 changed to solution
Last candidate 3 in J4 changed to solution
Passo 23
Naked Singles
valore: 0.1
categoria doc: Getting_Started
Last candidate 3 in A3 changed to solution
Last candidate 1 in B4 changed to solution
Last candidate 2 in B7 changed to solution
Last candidate 1 in C3 changed to solution
Last candidate 9 in C5 changed to solution
Passo 24
Naked Singles
valore: 0
categoria doc: Getting_Started
Last candidate 2 in A6 changed to solution
Last candidate 9 in B1 changed to solution
Last candidate 3 in B6 changed to solution
Last candidate 5 in C1 changed to solution
Last candidate 9 in F3 changed to solution
Passo 25
Naked Singles
valore: 0
categoria doc: Getting_Started
Last candidate 6 in B3 changed to solution
Last candidate 3 in F1 changed to solution