15 giugno
Inviato: mar 17 giu 2008, 6:59
Questa la soluzione del solutore di Gabriele:
X-COLORS,9 può essere cancellato dalle celle rosse
* color1 r1c6,
* color2 r3c6,r7c1,r9c8,r2c9,r4c7,
* cancelliamo il 9 dalla cella r1c8,
X-COLORS,9 può essere cancellato dalle celle rosse
* color1 r3c1,r1c6,
* color2 r7c1,r9c8,r4c7,
* cancelliamo il 9 dalla cella r3c7,
FORCING CHAIN, numero 6 , r1c8
* Se r1c8=6 then
* r1c8 <> 3
* r9c8 = 3
* r9c8 <> 9
* r1c2 <> 6
* r9c2 = 6
* r9c2 <> 9
* r9c3 = 9
* r5c8 = 8
* r9c8 <> 8
* r9c2 <> 8
* r9c3 = 8
* r9c3 <> 9
* CONTRADICTION
* cella r9c3 è allo stesso tempo = e <> 9
* cancelliamo il 6 dalla cella r1c8
LOOP, trovata contraddizione, r5c7
* Se r5c7=6 then
* r5c8 <> 6
* r9c8 = 6
* r9c8 <> 3
* r1c8 = 3
* r1c5 = 6
* r1c2 <> 6
* r9c2 = 6
* r9c8 <> 6
* r5c8 = 6
* r5c7<>6
* CONTRADICTING THE HYPOTESHIS
* cancelliamo 6 dalla cella r5c7
FORCING CHAIN, number 6 , r8c3
* If r8c3=6 then
* r9c2 <> 6
* r1c2 = 6
* r1c5 = 3
* r1c8 <> 3
* r8c9 = 4
* r8c7 <> 4
* r8c7 <> 6
* r8c7 = 3
* r9c8 <> 3
* r1c8 = 3
* CONTRADDIZIONE
* cella r1c8 e allo stesso tempo = e <> 3
* cancelliamo 6 dalla cella r8c3
FORCING CHAIN, numero 8 , r5c2
* Se r5c2=8 then
* r5c2 <> 3
* r1c2 = 3
* r1c8 <> 3
* r9c8 = 3
* r9c8 <> 8
* r9c2 <> 8
* r9c3 = 8
* r1c2 <> 6
* r9c2 = 6
* r9c2 <> 9
* r9c8 <> 9
* r9c3 = 9
* r9c3 <> 8
* CONTRADDIZIONE
* cella r9c3 è allo stesso tempo = e <> 8
* cancelliamo 8 dalla cella r5c2
SWORDFISH, numero 8 in riga 357 colonna 793
* cancelliamo 8 dalle celle r4c7 , r4c3 , r6c3 , r9c3 ,
FORCING CHAIN, numero 9 , r7c1
* Se r7c1=9 then
* r7c9 = 8
* r7c3 <> 8
* r9c2 = 8
* r9c2 <> 6
* r1c2 = 6
* r7c7 <> 9
* r7c9 <> 9
* r9c8 = 9
* r9c8 <> 3
* r1c8 = 3
* r1c5 = 6
* r1c2 <> 6
* CONTRADDIZIONE
* cella r1c2 è allo stesso tempo = e <> 6
* cancelliamo 9 dalla cella r7c1
I solutori sono:
Bruno
X-COLORS,9 può essere cancellato dalle celle rosse
* color1 r1c6,
* color2 r3c6,r7c1,r9c8,r2c9,r4c7,
* cancelliamo il 9 dalla cella r1c8,
X-COLORS,9 può essere cancellato dalle celle rosse
* color1 r3c1,r1c6,
* color2 r7c1,r9c8,r4c7,
* cancelliamo il 9 dalla cella r3c7,
FORCING CHAIN, numero 6 , r1c8
* Se r1c8=6 then
* r1c8 <> 3
* r9c8 = 3
* r9c8 <> 9
* r1c2 <> 6
* r9c2 = 6
* r9c2 <> 9
* r9c3 = 9
* r5c8 = 8
* r9c8 <> 8
* r9c2 <> 8
* r9c3 = 8
* r9c3 <> 9
* CONTRADICTION
* cella r9c3 è allo stesso tempo = e <> 9
* cancelliamo il 6 dalla cella r1c8
LOOP, trovata contraddizione, r5c7
* Se r5c7=6 then
* r5c8 <> 6
* r9c8 = 6
* r9c8 <> 3
* r1c8 = 3
* r1c5 = 6
* r1c2 <> 6
* r9c2 = 6
* r9c8 <> 6
* r5c8 = 6
* r5c7<>6
* CONTRADICTING THE HYPOTESHIS
* cancelliamo 6 dalla cella r5c7
FORCING CHAIN, number 6 , r8c3
* If r8c3=6 then
* r9c2 <> 6
* r1c2 = 6
* r1c5 = 3
* r1c8 <> 3
* r8c9 = 4
* r8c7 <> 4
* r8c7 <> 6
* r8c7 = 3
* r9c8 <> 3
* r1c8 = 3
* CONTRADDIZIONE
* cella r1c8 e allo stesso tempo = e <> 3
* cancelliamo 6 dalla cella r8c3
FORCING CHAIN, numero 8 , r5c2
* Se r5c2=8 then
* r5c2 <> 3
* r1c2 = 3
* r1c8 <> 3
* r9c8 = 3
* r9c8 <> 8
* r9c2 <> 8
* r9c3 = 8
* r1c2 <> 6
* r9c2 = 6
* r9c2 <> 9
* r9c8 <> 9
* r9c3 = 9
* r9c3 <> 8
* CONTRADDIZIONE
* cella r9c3 è allo stesso tempo = e <> 8
* cancelliamo 8 dalla cella r5c2
SWORDFISH, numero 8 in riga 357 colonna 793
* cancelliamo 8 dalle celle r4c7 , r4c3 , r6c3 , r9c3 ,
FORCING CHAIN, numero 9 , r7c1
* Se r7c1=9 then
* r7c9 = 8
* r7c3 <> 8
* r9c2 = 8
* r9c2 <> 6
* r1c2 = 6
* r7c7 <> 9
* r7c9 <> 9
* r9c8 = 9
* r9c8 <> 3
* r1c8 = 3
* r1c5 = 6
* r1c2 <> 6
* CONTRADDIZIONE
* cella r1c2 è allo stesso tempo = e <> 6
* cancelliamo 9 dalla cella r7c1
I solutori sono:
Bruno