15 giugno

Tecniche usate per risolvere i sudoku classici giornalieri

15 giugno

Messaggioda liù » 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,
Immagine

X-COLORS,9 può essere cancellato dalle celle rosse
* color1 r3c1,r1c6,
* color2 r7c1,r9c8,r4c7,
* cancelliamo il 9 dalla cella r3c7,
Immagine

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
Immagine

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
Immagine

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
Immagine

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
Immagine

SWORDFISH, numero 8 in riga 357 colonna 793
* cancelliamo 8 dalle celle r4c7 , r4c3 , r6c3 , r9c3 ,
Immagine

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
Immagine

I solutori sono:
Bruno
Liù
Avatar utente
liù
 
Messaggi: 1873
Iscritto il: dom 13 apr 2008, 14:09
Località: provincia Bergamo

Re: 15 giugno

Messaggioda gabriele » mar 17 giu 2008, 8:27

ma quanti punti dobbiamo dare a Bruno?
100 per ogni forcing chain trovata?
Il genere umano è diviso in 10 specie: quella che capisce il binario e quella che non lo capisce
Avatar utente
gabriele
Amministratore
 
Messaggi: 4605
Iscritto il: dom 13 apr 2008, 11:27
Località: porto mantovano

Re: 15 giugno

Messaggioda liù » mar 17 giu 2008, 8:39

Inizialmente avevo scritto: "mi inchino davanti al genio di Bruno", poi ho cancellato.
Non oso fare una stima di quanti punti bisognerebbe assegnargli.
:hai
Liù
Avatar utente
liù
 
Messaggi: 1873
Iscritto il: dom 13 apr 2008, 14:09
Località: provincia Bergamo

Re: 15 giugno

Messaggioda sergio49 » mar 17 giu 2008, 12:44

Se s'inchina liù, noi che dobbiamo fare... ci dobbiamo mettere a pelle d'orso ? ;)

:hai :hai :hai
Sergio
Avatar utente
sergio49
Amministratore
 
Messaggi: 5729
Iscritto il: dom 13 apr 2008, 11:39
Località: Roma

Re: 15 giugno

Messaggioda Bruno61 » mar 17 giu 2008, 18:55

Ciao a tutti,
ringrazio per i complimenti ma non mi sembra il caso...
Comunque ecco la mia soluzione, che non prevede forcing chains (quindi nessun punto ;) )

Ciao
Bruno


Finned X-Wing di 9 R7C1/R3C1 - R7C9/R3C9/R2C9
Elimina il 9 in R3C7
Codice: Seleziona tutto
=============================================================
| 8     3469  13469 | 17    36    79    | 2     3469  5     |
| 7     5     3469  | 8     36    2     | 3469  1     469*  |
| 39*   2     1369  | 15    4     59    | 3689- 7     689*  |
=============================================================
| 1     489   45789 | 2567  258   567   | 4589  489   3     |
| 235   38    2358  | 4     9     1     | 568   68    7     |
| 6     489   45789 | 357   58    357   | 1     489   2     |
=============================================================
| 239*  1     23689 | 236   7     4     | 3689  5     689*  |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     3689  23689 | 2356  25    356   | 7     3689  1     |
=============================================================

Il 9 o in R3C1 o R7C1
Se R3C1=9 -> R3C6=5 -> R3C4=1 -> R1C4=7 -> R1C3=1
Se R7C1=9 -> R3C1=3 -> R1C3!=3
Elimino il 3 da R1C3
Codice: Seleziona tutto
=============================================================
| 8     3469  13469-| 17+   36    79    | 2     3469  5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39*   2     1369  | 15+   4     59+   | 368   7     689   |
=============================================================
| 1     489   45789 | 2567  258   567   | 4589  489   3     |
| 235   38    2358  | 4     9     1     | 568   68    7     |
| 6     489   45789 | 357   58    357   | 1     489   2     |
=============================================================
| 239*  1     23689 | 236   7     4     | 3689  5     689   |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     3689  23689 | 2356  25    356   | 7     3689  1     |
=============================================================

Il 9 o in R3C1 o R7C1
Se R7C1=9 -> R9C8=9 -> Rettangolo unico 48 R4C2/R6C2/R4C8/R6C8 eliminerebbe il 9 in R1C2
Se R3C1=9 -> R1C2!=9
Elimino il 9 da R1C2
Codice: Seleziona tutto
=============================================================
| 8     3469- 1469  | 17    36    79    | 2     3469  5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39*   2     1369  | 15    4     59    | 368   7     689   |
=============================================================
| 1     489   45789 | 2567  258   567   | 4589  489+  3     |
| 235   38    2358  | 4     9     1     | 568   68    7     |
| 6     489   45789 | 357   58    357   | 1     489+  2     |
=============================================================
| 239*  1     23689 | 236   7     4     | 3689+ 5     689+  |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     3689  23689 | 2356  25    356   | 7     3689+ 1     |
=============================================================

L'8 o in R5C2/R5C3 o in R5C7/R5C8
Se R5C2/R5C3=8 -> R5C3!=8/R6C3!=8 -> Rettangolo unico 49 R4C2/R6C2/R4C8/R6C8 -> R4C7!=8
Se R5C7/R5C8=8 -> R4C7!=8 -> Rettangolo unico 49 R4C2/R6C2/R4C8/R6C8 -> R5C3!=8/R6C3!=8
Elimino gli 8 da R4C7-R5C3-R6C3
Codice: Seleziona tutto
=============================================================
| 8     346   1469  | 17    36    79    | 2     3469  5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39    2     1369  | 15    4     59    | 368   7     689   |
=============================================================
| 1     489+  45789-| 2567  258   567   | 4589- 489+  3     |
| 235   38*   2358* | 4     9     1     | 568*  68*   7     |
| 6     489+  45789-| 357   58    357   | 1     489+  2     |
=============================================================
| 239   1     23689 | 236   7     4     | 3689  5     689   |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     3689  23689 | 2356  25    356   | 7     3689  1     |
=============================================================

Il 3 o in R1C8 o in R9C8
Se R9C8=3 -> tripla nuda 256 R9C4/R9C5/R9C6 -> R9C2=89 -> tripla nuda 489 R9C2/R6C2/R4C2 -> R5C2!=8
Se R1C8=3 -> R1C5=6 -> R1C2=4 -> coppia nuda 89 R6C2/R4C2 -> R5C2!=8
Quindi R5C2=3
Codice: Seleziona tutto
=============================================================
| 8     346+  1469  | 17    36+   79    | 2     3469* 5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39    2     1369  | 15    4     59    | 368   7     689   |
=============================================================
| 1     489+  4579  | 2567  258   567   | 459   489   3     |
| 235   38-   2358  | 4     9     1     | 568   68    7     |
| 6     489+  4579  | 357   58    357   | 1     489   2     |
=============================================================
| 239   1     23689 | 236   7     4     | 3689  5     689   |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     3689+ 23689 | 2356+ 25+   356+  | 7     3689* 1     |
=============================================================

Vabbe' questa e' un po' arzigogolata
il 9 o in R9C8 o in R9C2/R9C3
Se R9C8=9 -> R4C7=9 -> Rettangolo unico 48 R4C2/R4C8/R6C2/R6C8 -> R6C2=9 ->
-> R4C5!=8 -> R6C5=8 -> R6C8=4 -> R4C8=8 -> R4C2=4 -> coppia nuda 57 in R4C3/R6C3 ->
-> R5C1=2 -> R1C2=6 -> quartina nuda 1359 in riga 3 -> R3C7=R3C9=68 ->
-> Rettangolo unico 68 R3C7/R3C9/R7C7/R7C9 -> R7C7=3 ->
-> R7C1=9 Uff!
Se R9C2/R9C3=9 -> R7C3!=9
Via il 9 da R7C3
Codice: Seleziona tutto
=============================================================
| 8     46    1469  | 17    36    79    | 2     3469  5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39    2     1369  | 15    4     59    | 368   7     689   |
=============================================================
| 1     489+  4579  | 2567  258   567   | 459   489+  3     |
| 25    3     258   | 4     9     1     | 568   68    7     |
| 6     489+  4579  | 357   58    357   | 1     489+  2     |
=============================================================
| 239   1     23689 | 236   7     4     | 3689  5     689   |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     689*  23689*| 2356  25    356   | 7     3689* 1     |
=============================================================

il 3 in R1C8 o R9C8
Se R9C8=3 -> tripla nuda 256 in R9C4/RpC5/R9C6 -> R9C2!=6 -> R1C2=6 -> R1C8!=6
Se R1C8=3 -> R1C8!=6
Elimino il 6 da R1C8
Codice: Seleziona tutto
=============================================================
| 8     46+   1469  | 17    36    79    | 2     3469*-5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39    2     1369  | 15    4     59    | 368   7     689   |
=============================================================
| 1     489   4579  | 2567  258   567   | 459   489   3     |
| 25    3     258   | 4     9     1     | 568   68    7     |
| 6     489   4579  | 357   58    357   | 1     489   2     |
=============================================================
| 239   1     2368  | 236   7     4     | 3689  5     689   |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     689+  23689 | 2356  25    356   | 7     3689* 1     |
=============================================================

Se R1C2=4 -> R9C2=6 -> tripla nuda 235 in R9C4/R9C5/R9C6
Se R1C2=6 -> R1C5=3 -> tripla nuda 489 in R1C8/R4C8/R6C8 -> R5C8=6 -> R9C8=3 -> tripla nuda 256 in R9C4/R9C5/R9C6
Elimino 236 da R9C3
Codice: Seleziona tutto
=============================================================
| 8     46*   1469  | 17    36    79    | 2     349   5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39    2     1369  | 15    4     59    | 368   7     689   |
=============================================================
| 1     489   4579  | 2567  258   567   | 459   489   3     |
| 25    3     258   | 4     9     1     | 568   68    7     |
| 6     489   4579  | 357   58    357   | 1     489   2     |
=============================================================
| 239   1     2368  | 236   7     4     | 3689  5     689   |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     689   23689-| 2356  25    356   | 7     3689  1     |
=============================================================

Se R1C5=3 -> tripla nuda 489 in R1C8/R4C8/R6C8 -> R5C8=6
Se R1C5=6 -> R1C2=4 -> R9C2=6
Elimino il 6 da R9C8
Codice: Seleziona tutto
=============================================================
| 8     46    1469  | 17    36*   79    | 2     349   5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39    2     1369  | 15    4     59    | 368   7     689   |
=============================================================
| 1     489   4579  | 2567  258   567   | 459   489   3     |
| 25    3     258   | 4     9     1     | 568   68    7     |
| 6     489   4579  | 357   58    357   | 1     489   2     |
=============================================================
| 239   1     2368  | 236   7     4     | 3689  5     689   |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     689   89    | 2356  25    356   | 7     3689- 1     |
=============================================================

Uno swordfish per rilassarsi
elimino l'8 da R9C3
Codice: Seleziona tutto
=============================================================
| 8     46    1469  | 17    36    79    | 2     349   5     |
| 7     5     3469  | 8     36    2     | 3469  1     469   |
| 39    2     1369  | 15    4     59    | 368*  7     689*  |
=============================================================
| 1     489   4579  | 2567  258   567   | 459   489   3     |
| 25    3     258*  | 4     9     1     | 58*   6     7     |
| 6     489   4579  | 357   58    357   | 1     489   2     |
=============================================================
| 239   1     2368* | 36    7     4     | 3689* 5     689*  |
| 35    7     356   | 9     1     8     | 346   2     46    |
| 4     689   89-   | 2356  25    356   | 7     389   1     |
=============================================================

Rettangolo unico 25 in R4C4-R4C5-R9C4-R9C5 elimina i 5 da R4C4-R4C5
Codice: Seleziona tutto
=============================================================
| 8     46    1     | 7     36    9     | 2     34    5     |
| 7     5     346   | 8     36    2     | 3469  1     469   |
| 9     2     36    | 1     4     5     | 368   7     68    |
=============================================================
| 1     489   457   | 256*- 258*- 67    | 45    489   3     |
| 25    3     258   | 4     9     1     | 58    6     7     |
| 6     489   457   | 35    58    37    | 1     489   2     |
=============================================================
| 23    1     268   | 36    7     4     | 3689  5     689   |
| 35    7     56    | 9     1     8     | 346   2     46    |
| 4     68    9     | 25*   25*   36    | 7     38    1     |
=============================================================

XY-Wing elimina il 3 in R3C7
Codice: Seleziona tutto
=============================================================
| 8     46*   1     | 7     36    9     | 2     34*   5     |
| 7     5     346   | 8     36    2     | 3469  1     469   |
| 9     2     36*   | 1     4     5     | 368-  7     68    |
=============================================================
| 1     489   457   | 26    28    67    | 45    489   3     |
| 25    3     28    | 4     9     1     | 58    6     7     |
| 6     489   47    | 35    58    37    | 1     489   2     |
=============================================================
| 23    1     28    | 36    7     4     | 3689  5     689   |
| 35    7     56    | 9     1     8     | 346   2     46    |
| 4     68    9     | 25    25    36    | 7     38    1     |
=============================================================

Se R9C8=3 -> coppia nuda 46 in R8C7/R8C9 -> R8C3!=6
Se R9C8=8 -> R9C2=6 -> R8C3!=6
Elimino il 6 da R8C3
Codice: Seleziona tutto
=============================================================
| 8     46    1     | 7     36    9     | 2     34    5     |
| 7     5     46    | 8     36    2     | 349   1     49    |
| 9     2     3     | 1     4     5     | 68    7     68    |
=============================================================
| 1     489   457   | 26    28    67    | 45    489   3     |
| 25    3     28    | 4     9     1     | 58    6     7     |
| 6     489   47    | 35    58    37    | 1     489   2     |
=============================================================
| 23    1     28    | 36    7     4     | 3689  5     689   |
| 35    7     56-   | 9     1     8     | 346   2     46    |
| 4     68    9     | 25    25    36    | 7     38*   1     |
=============================================================
Bruno61
 
Messaggi: 142
Iscritto il: lun 21 apr 2008, 19:49
Località: Zurigo, Pandino


Torna a Tecniche e Soluzioni

Chi c’è in linea

Visitano il forum: Nessuno e 20 ospiti