Ensiffriga mönster
Ensiffriga mönster
Tillhörande tekniker
Vad är ett konjugerat par?
Ett konjugerat par finns när en viss siffra har exakt två kandidatpositioner kvar i ett enda hus. Eftersom varje hus måste innehålla varje siffra exakt en gång, måste exakt en av dessa två celler innehålla siffran. Detta skapar en stark länk mellan de två cellerna.
Starka länkar är motorn som driver alla tekniker för mönster med en enda siffra. Kraften kommer från att koppla samman två konjugerade par genom ett delat element.
Konjugerade par kan förekomma i alla typer av hus: rader, kolumner eller block.
Den delade strukturen: att koppla samman två konjugerade par
Alla fyra mönster med en enda siffra delar samma abstrakta struktur:
1. Hitta två konjugerade par för samma siffra.
2. Koppla samman dem genom ett delat element (en svag länk där två celler ser varandra).
3. Identifiera de två svansarna (de icke-delade ändpunkterna).
4. Minst en svans måste innehålla siffran.
5. Eliminera siffran från alla cell som kan se båda svansarna.
Strukturen är en 4-nods alternativ inferenskedja: stark länk, svag länk, stark länk. De fyra teknikerna skiljer sig endast åt i vilka hustyper som tillhandahåller länkarna.
Skyskrapa
En Skyskrapa använder två konjugerade par som båda finns i samma typ av linje (båda raderna eller båda kolumnerna). De två paren delar en ändpunkt längs en vinkelrät linje, vilket ger den svaga länken.
De icke-delade ändpunkterna är svansarna. Minst en måste innehålla siffran. Eliminera från celler som ser båda svansarna.
Namnet kommer från utseendet av två parallella "torn" förskjutna med en position, likt en stads horisont.
Tvåsträngad drake
En Tvåsträngad drake använder ett konjugerat par i en rad och ett konjugerat par i en kolumn. De två paren är sammankopplade genom ett block: en ändpunkt av varje par finns i samma block, vilket ger den svaga länken.
De icke-delade ändpunkterna är svansarna. Minst en måste innehålla siffran. Eliminera från celler som ser båda svansarna.
Radparet bildar en "sträng" och kolumnparet bildar en annan, sammankopplade i blocket där de överlappar.
Gråsö (Turbot Fish)
Gråsö kopplar samman ett konjugerat par i ett block med ett konjugerat par i en linje. En ändpunkt av blockparet delar en rad eller kolumn med en ändpunkt av linjeparet, vilket ger den svaga länken.
De icke-delade ändpunkterna är svansarna. Minst en måste innehålla siffran. Eliminera från celler som ser båda svansarna.
Gråsö är ibland svårare att upptäcka eftersom konjugerade par i block är mindre visuellt framträdande.
Tom rektangel
Tom rektangel ersätter ett konjugerat par med ett mönster inom ett block. Siffrans kandidater i blocket sträcker sig över exakt två rader och två kolumner, men ett hörn av 2x2-skärningen är tomt. Detta skapar en effektiv stark länk genom blocket.
Kombinerat med ett externt konjugerat par som passerar genom blocket uppstår två svansar. Minst en av dem måste innehålla siffran. Eliminera från celler som ser båda.
Nyckeln till att upptäcka en Tom rektangel är att leta efter block där en siffras kandidater bildar en L-form eller T-form.
Hur de fyra teknikerna förhåller sig till varandra
De är fyra manifestationer av samma struktur: stark länk -- svag länk -- stark länk, för en enda siffra.
Skyskrapa: Rad + delad kolumn + rad (eller kolumn + delad rad + kolumn)
Tvåsträngad drake: Rad + delat block + kolumn
Gråsö: Block + delad linje + linje
Tom rektangel: ER-blockmönster + delad linje + linje
En lösare skulle kunna implementera alla fyra som en enda algoritm. Tekniknamnen hjälper mänskliga lösare att känna igen visuellt distinkta mönster.
Alla fyra ligger på samma svårighetsnivå. Ingen är i sig svårare; de ser bara olika ut i rutnätet.
Hur man hittar ensiffriga mönster
Steg 1: Välj en siffra med ett måttligt antal återstående kandidater.
Steg 2: Identifiera alla konjugerade par i rader, kolumner och block.
Steg 3: Försök koppla ihop par genom delade element (kolumn, rad eller block).
Steg 4: Leta efter användbara elimineringar genom att hitta celler som ser båda svansarna.
Tips:
- Börja med rader och kolumner som har exakt två kandidater.
- Öva en teknik i taget.
- Kom ihåg att alla fyra ger samma resultat: eliminering från celler som ser båda svansarna.
Svårighetsgrad och var de passar in
Alla fyra ensiffriga mönster ligger på nivå 5 (Utmanande). De är svårare än delmängdsmetoder och enkla fiskar, men lättare än avancerade kedjor och komplexa fiskar.
Många pussel som står emot grundläggande tekniker kan knäckas med en välplacerad skyskrapa eller tvåsträngad drake. De ger en utmärkt introduktion till konceptet alternerande inferenskedjor.
Sammanfattning
Skyskrapan, den tvåsträngade draken, Gråsö och Tom rektangel är fyra sidor av samma mynt. De använder alla konjugerade par för att bygga korta alternerande inferenskedjor för en enda siffra. Koppla ihop två starka länkar genom en svag länk, identifiera de två svansarna och eliminera siffran från varje cell som kan se båda svansarna.
Skillnaden är enbart geometrisk. Lär dig en, och du är väl på väg att lära dig alla fyra.
Tillhörande tekniker