adolfo ha scritto:La tecnica della "terzina sporca" , come la chiama Guido non è poi così campata in aria.
Qualcosa di simile , ma più sicuro , dimostrato matematicamente , si ritrova nella tecnica conosciuta come
"Almost Locked Sets" (ALCS) che esamina n+1 candidati in in insieme di n celle , confrontando un altro insieme (di m+ 1 candidati in m celle ) si arriva ad escludere in modo certo un candidato.. .
Adolfo ha aggiunto al discorso un tocco di grande pregio, come sa ben fare.
Istintivamente concentriamo la nostra attenzione sui Set “completi” di candidati.
Una Terzina è un Set completo, perché ha tre diversi candidati presenti (tutti o in parte) in tre celle. Ad esempio:
r1c1 12
r2c1 13
r3c1 123
Quindi il numero dei candidati è pari al numero delle celle che li contengono.
Anche una quartina è un Set completo: sono quattro diversi candidati presenti (tutti o in parte) in quattro celle. Ad esempio:
r1c1 1234
r2c1 13
r3c1 123
r4c1 1234
Al “Set quasi completo” manca invece qualcosa, come in questo caso in cui vi sono quattro candidati in tre celle:
r1c1 1234
r2c1 134
r3c1 123
Come prendere in esame un Set quasi completo?
Guido ha coniato un eccellente termine: Terzina (o Quartina) “sporca”. Sporca appunto perché ha qualcosa in più (un candidato in più), ovvero perché (ed è la medesima cosa da un diverso punto di vista) ha qualcosa in meno (una cella). In sostanza si riferisce ad un “Set quasi completo”.
La forma più elementare del “Set quasi completo” è data dalla cella che contiene solo due candidati (Cella Bivalore).
Se la cella r1c1 può contenere solo i candidati 12, avremo due candidati e una sola cella. Ed è quindi un “Set quasi completo”. Per completarlo occorre una seconda cella che contenga esclusivamente i medesimi candidati:
r1c1 12
r1c2 12
è infatti un Set completo.
In realtà, magari senza grande consapevolezza, già prendiamo in considerazione “Set quasi completi” nello XY–Wing. Infatti, in uno schema di questo tipo:
r1c1: 12
r1c2: 13
r1c9: 23
si esaminano le coppie di celle con candidati 12-13 e 12-23, che altro non sono che due “Set quasi completi”, ciascuno dei quali è costituito da tre candidati in due celle.
Il discorso è simile per lo XYZ-Wing.
Altre importanti riflessioni sui "Set quasi completi" (in inglese ALS) non sono però “immediate” e fanno capo a Tecniche solutive c.d. estreme, la cui applicazione non è né usuale né semplice.
Guido ha quindi un bell’osso da spolpare. . .
Devo però dire che mediante i “Set quasi completi” si cancellano candidati che sono in celle diverse da quelle del Set, mentre mi sembra che, al contrario, Guido tenda a cancellare i candidati che sono in celle all’interno del Set. Quelli che lo sporcano, tanto per intenderci.
Potrebbe quindi non essere il medesimo punto di vista.
Vedremo. . .
Paolo
