Botta delar

Vad är nakna delmängder i Sudoku?

Ett naken delmängd är en grupp av N celler inom en enda hus (rad, kolumn eller ruta) vars gemensamma kandidater innehåller exakt N olika siffror. Eftersom dessa N siffror måste fylla de N cellerna kan de inte förekomma i någon annan Cell i det huset. Detta gör att du säkert kan ta bort dessa siffror från de återstående cellerna. Ordet "naken" betyder att kandidaterna är helt synliga och uppenbara. Du behöver inte leta efter siffror som är dolda bland andra kandidater. Delmängden annonserar sig själv tydligt genom pennaanteckningarna i dessa celler. Det finns fyra tekniker för naken delmängd, en för varje möjlig gruppstorlek: - Naked single (N=1) -- en Cell med en kandidat - Bara par (N=2) -- två celler vars gemensamma kandidater är exakt två siffror - Naked triple (N=3) -- tre celler vars gemensamma kandidater är exakt tre siffror - Naked quad (N=4) -- fyra celler vars gemensamma kandidater är exakt fyra siffror Dessa fyra tekniker utgör en familj. De delar samma grundläggande logik och skiljer sig endast i antalet celler som ingår. När du förstått det centrala principen blir de större delmängderna naturliga utvidgningar av de enklare.

Det centrala principiet: Varför fungerar nakna delmängder

Logiken bakom nakna delmängder bygger på ett grundläggande räknande resonemang som ibland kallas för gångprincipen. Med enkel språk: om du har N platser och exakt N objekt att fylla dem med, kommer varje objekt att fylla exakt en plats, och inga andra objekt kan ta plats i dessa platser. Titta på en rad med nio celler. Varje obesvarad Cell har en mängd kandidatciffror, de pennaanteckningar som fortfarande kan gälla i den platsen. Antag att du hittar två celler i raden vars kandidater båda kommer från samma tvåsiffriga uppslag, t.ex. {4, 6}. En av dessa celler måste innehålla 4 och den andra måste innehålla 6. Det finns ingen plats för annan ordning. Detta innebär att inga andra Cell i raden kan innehålla 4 eller 6, eftersom båda siffrorna redan har tilldelats de två cellerna. Samma resonemang gäller vid större antal. Tre celler vars gemensamma kandidater utgör exakt tre siffror förklarar att de tre siffrorna måste ligga i de tre cellerna. Fyra celler med fyra gemensamma kandidater förklarar att alla fyra siffror måste ligga i de fyra cellerna. I varje Cell kan de förklarade siffrorna tas bort från alla andra celler i den del som delas. Detta princip gäller lika mycket oavsett om delen är en rad, kolumn eller 3x3 ruta. Det enda kravet är att alla N celler tillhör samma del.

Naked single: Grundstenen för lösning av Sudoku

En Naked single är den enklaste möjliga naken delmängd. Den uppstår när en Cell endast har en kandidat kvar i sina pennaanteckningar. Eftersom det endast finns en siffra som kan lagas i den Cell, är den siffran lösningen för den Cell. Varje Sudoku-låsare, oavsett om det är människa eller algoritmisk, bygger på naken enskilda. De är det sista steget i elimineringsserien: efter att alla begränsningar från rad, kolumn och ruta har tagit bort olagliga siffror, är den sista kvarvarande kandidaten svaret. Att hitta en Naked single kräver noggrann uppföljning av pennaanteckningarna för varje Cell. En Cell börjar med upp till nio möjliga kandidater. När du placerar siffror annorstädes på brädet, elimineras kandidater: - Om en siffra placeras någonstans i samma rad, ta bort den från kandidaterna för den Cell. - Om en siffra placeras någonstans i samma kolumn, ta bort den från kandidaterna för den Cell. - Om en siffra placeras någonstans i samma 3x3-ruta, ta bort den från kandidaterna för den Cell. När dessa elimineringar minskar en Cell till en enda kandidat, har du hittat en Naked single. Tänk på Cell R5C3 i ett delvis löst pussel. Begränsningarna från rad, kolumn och ruta tar bort följande siffror: - Rad 5 innehåller redan: 1, 3, 5, 8 - Kolumn 3 innehåller redan: 2, 6, 9 - Rut 4 (mitt-vänstra rutan) innehåller redan: 7 Tillsammans elimineras siffrorna 1, 2, 3, 5, 6, 7, 8 och 9. Den enda kvarvarande kandidaten är 4. Cell R5C3 måste vara 4. Detta är en Naked single. Naken enskilda bör vara din första kontroll efter varje drag. Varje gång du placerar en siffra kan det minska grannceller till en enda kandidat. I enklare pussel kan kedjor av naken enskilda lösa stora delar av brädet utan några andra tekniker. Även i svårare pussel rensar naken enskilda brädet efter mer avancerade tekniker har eliminering kandidater.

Bara par: Två rutor, två kandidater, kraftfulla uteslutningar

Ett Bara par uppstår när två celler i samma hus innehåller exakt samma två kandidater och inga andra kandidater. Eftersom dessa två siffror måste placeras i dessa två celler kan du ta bort båda siffrorna från varje annan Cell i det huset. Naked pairs är en av de vanligaste mellanstadiet Sudoku-strategierna. De dyker upp ofta och öppnar ofta vägen för betydande framsteg genom att ta bort kandidater som blockeras andra tekniker. Antag att två celler i rad 1 båda innehåller kandidaterna {4, 6} och inga andra kandidater: - R1C2 har kandidater: {4, 6} - R1C7 har kandidater: {4, 6} En av dessa celler kommer att vara 4 och den andra 6. Vi vet inte ännu vilken som är vilken, men vi vet med säkerhet att 4 och 6 helt och hållet används av dessa två celler. Därför kan ingen annan Cell i rad 1 innehålla 4 eller 6. Om R1C4 hade kandidater {3, 4, 6, 9} kan det reduceras till {3, 9} genom att ta bort 4 och 6. Om R1C8 hade kandidater {2, 6} kan det reduceras till {2}. Denna minskning till en enda kandidat är själva en Naked single, vilket löser Cell direkt. Sök i varje hus efter celler med exakt två kandidater. När du hittar två celler i samma hus med identiska två-kandidatuppsättningar har du ett Bara par. Eftersom celler med endast två pennaanteckningar stick ut visuellt är naked pairs bland de enklaste mellanstadiet teknikerna att upptäcka. En användbar vana: varje gång du märker ett Cell med endast två kandidater, kontrollera omedelbart om någon annan Cell i samma rad, kolumn eller ruta delar samma par.

Naked triple: Tre rutor, tre kandidater, en subtil twist

Ett Naked triple uppstår när tre celler i samma hus har kandidater som endast kommer från samma uppsättning av exakt tre siffror. Den kombinerade uppsättningen av alla kandidater över de tre cellerna innehåller exakt tre olika siffror. Här är det avgörande insikten som fångar många lösningsmedarbetare utanför: varje enskild Cell behöver inte innehålla alla tre siffror. Ett giltigt Naked triple kan innehålla celler med endast två av de tre siffrorna. Det som räknas är att unionen av alla kandidater över de tre cellerna är exakt tre olika värden. Många spelare lär sig nakna par först och antar sedan att nakna tripel kräver att tre celler innehåller samma tre kandidater, som {1, 3, 7} i alla tre celler. Även om det är en giltig form av ett Naked triple, är det inte den enda och inte ens den vanligaste. Tänk på dessa tre celler i kolumn 5: - R2C5: {1, 3} - R4C5: {1, 7} - R8C5: {3, 7} De kombinerade kandidaterna är {1, 3, 7}, vilket är exakt tre siffror i tre celler. Detta är ett giltigt Naked triple, även om ingen enskild Cell innehåller alla tre siffror. Logiken är densamma som vid nakna par. Dessa tre siffror måste fylla dessa tre celler i någon ordning. En Cell får 1, en får 3, en får 7. Därför kan 1, 3 och 7 tas bort från varje annan Cell i kolumn 5. Börja med att identifiera celler med två eller tre kandidater. I ett givet hus, om du hittar tre celler vars kombinerade kandidater bildar en uppsättning av exakt tre siffror, har du ett Naked triple. Ett praktiskt tillvägagångssätt: 1. I varje hus, lista alla osolve celler med tre eller färre kandidater. 2. Välj någon kombination av tre sådana celler. 3. Ta unionen av deras kandidater. Om unionen har exakt tre siffror, är det ett Naked triple. Eftersom det finns flera möjliga kombinationer kräver nakna tripel noggrannare letning än nakna par. Det är en del av vad som gör dem till en svårare teknik.

Naked quad: Fyra rutor, fyra kandidater, maximal komplexitet

En Naked quad är den största vanligt förekommande nakna delmängden. Den uppstår när fyra celler i en rad har kandidater som endast kommer från samma uppsättning av exakt fyra siffror. Som vid tripler behöver varje enskild cell inte innehålla alla fyra siffror. Det avgörande villkoret är att den totala uppsättningen av kandidater över alla fyra celler är exakt fyra olika värden. Logiken är densamma som vid mindre nakna delmängder. De fyra siffrorna måste fylla de fyra cellerna. Dessa siffror får inte förekomma någon annanstans i raden. Nakna kvadrer hittas sällan vid enkel undersökning. Med fyra celler och fyra siffror finns det många fler kombinationer att kontrollera. I en rad med sex osatta celler finns det 15 olika sätt att välja ut fyra av dem. Att kontrollera varje kombination i huvudet är tråkigt. De flesta lösningsmetoder som hittar nakna kvadrer gör det antingen genom systematisk undersökning eller genom att först upptäcka att de återstående cellerna bildar en kompletterande dold delmängd. Trots sin sällsynta förekomst förekommer nakna kvadrer i verkliga pussel, särskilt de som har svårighetsgrad mellan medel och utmanande. Att ha tekniken i sin arsenal säkerställer att du inte blir fast när enklare metoder har uttömts.

Så här hittar du nakna delmängder: praktiska skanningstips

Att hitta nakna delmängder effektivt kräver en strukturerad tillvägagångssätt snarare än slumpmässig undersökning. Här är tekniker som erfarna lösningsmedarbetare använder: Börja med låga antal kandidater: Celler med färre kandidater är mer sannolika att ingå i nakna delmängder. En Cell med två kandidater kan ingå i ett par, trippel eller fyrkant. En Cell med fem kandidater är mindre användbar eftersom den bidrar för många siffror till unionen. Sök först efter celler med två kandidater i varje hus. Kontrollera efter matchande par. Därefter undersök celler med två eller tre kandidater tillsammans för att hitta trippel. Arbeta hus för hus: Välj en rad, kolumn eller ruta och undersök alla osatta celler tillsammans. Lista deras kandidater. Sök efter kluster av celler vars kandidater överlappar inom ett litet siffersystem. Använd kontroll genom räkning: För varje grupp av N celler du misstänker kan bilda en nakn delmängd, räkna antalet olika siffror i deras sammanslagna kandidater. Om antalet är lika med N har du hittat en nakn delmängd. Om antalet överstiger N är dessa celler inte en nakn delmängd. Kontrollera efter varje eliminering: När en annan metod tar bort kandidater från en Cell, kontrollera igen huvudet för den Cell. Elimineringen kan ha skapat en ny nakn delmängd som inte var synlig tidigare. Många nakna par uppstår som en sidoeffekt av tidigare elimineringar. Sök efter kompletteringen: Om ett hus har K osatta celler och du misstänker att en nakn delmängd finns men inte kan hitta den direkt, försök istället att titta på kompletteringen. Att hitta en dold delmängd av storlek M innebär automatiskt en nakn delmängd av storlek K - M.

Sambandet mellan nakna delmängder och dolda delmängder

Naked subsets och hidden subsets är två sidor av samma mynt. Att förstå deras dualitet förstärker din förståelse av Sudoku logik och kan hjälpa dig att upptäcka mönster du annars skulle missa. Ett dolt undermängd uppstår när N siffror i en hus förekommer endast inom N specifika celler. Siffrorna är "dolda" eftersom dessa celler kan innehålla andra kandidater. Elimineringen tar bort de extra kandidaterna från de N cellerna, vilket lämnar endast de dolda siffrorna. I varje hus med K obestämda celler, om det finns ett naked subset av storlek N, finns det automatiskt ett hidden subset av storlek K - N. De två undermängderna är kompletterande: de delar upp de obestämda cellerna och de återstående siffrorna i två icke-överlappande grupper. Till exempel, betrakta en rad med 6 obestämda celler. Om två av dessa celler bildar ett Bara par, så bildar de återstående fyra cellerna ett Dolt fyrkant (eller ekvivalent, ett Naked quad finns bland de uteslutna siffrorna i de fyra cellerna). Du kan hitta något av dem och tillämpa de motsvarande elimineringarna. Denna dualitet innebär att du har två vägar till samma eliminering. Om ett hus har många obestämda celler är ett litet naked subset (par eller trippel) lättare att upptäcka än ett stort hidden subset. Omvänt, om ett hus har få obestämda celler kan ett Dolt par vara lättare att hitta än att söka efter det kompletterande Naked quad. Erfarna lösningsmedar skiftar mellan naked och hidden perspektiv beroende på vilket som är mer praktiskt i en given situation. Förmågan att se båda sidorna ger dig ett betydande fördel.

Swårighetsgrad: Från nybörjare till avancerad

De fyra teknikerna för nakna delmängder täcker flera svårighetsnivåer, vilket speglar hur mycket svårare de blir att hitta ju större gruppstorleken är: Naked single (N=1): Nivå 2, Lätt Bara par (N=2): Nivå 3, Lätt Naked triple (N=3): Nivå 4, Måttlig Naked quad (N=4): Nivå 5, Utmärkt Ökningen av svårighetsgrad beror inte på logiken, som är identisk i varje Cell, utan på sökkomplexiteten: Naked single: Du behöver bara kontrollera en Cell. Om den har en kandidat är du klar. Ingen kombinationsökning krävs. Bara par: Du behöver hitta två celler med matchande kandidater. I ett hus med sex osatta celler finns det 15 möjliga par att kontrollera. Men eftersom du letar efter celler med exakt två identiska kandidater är det visuella mönstret tydligt och lätt att upptäcka. Naked triple: Du behöver hitta tre celler vars sammansatta kandidater utgör tre siffror. I ett hus med sex osatta celler finns det 20 möjliga tripel. Sökningen är svårare eftersom cellerna inte behöver ha identiska kandidatuppsättningar. Naked quad: Du behöver hitta fyra celler från potentiellt många osatta celler. Antalet kombinationer ökar, och fyrsiffriga unioner är svårare att beräkna i huvudet. De flesta fyror hittas indirekt, antingen genom systematisk kandidaträkning eller genom att upptäcka det kompletterande Dolt par. Pusselsvårighetsbedömningar beror ofta på vilka tekniker som krävs för att lösa dem. Ett pussels som behöver inget mer än nakna enskilda och par bedöms som lätt. Ett pussels som kräver nakna tripel hamnar i måttlig kategori. Ett pussels som kräver en Naked quad är åtminstone utmanande.

Vanliga fel och hur man undviker dem

Fel 1: Att förvänta sig att alla celler ska innehålla alla siffror Det vanligaste felet vid nakna tripel och kvadrupler är att tro att varje Cell i delmängden måste innehålla alla N siffror. Detta är fel. En Naked triple med celler {1,3}, {1,7} och {3,7} är fullt acceptabel även om ingen Cell innehåller alla siffrorna 1, 3 och 7. Hur man undviker det: Kontrollera alltid den sammanslagna mängden av kandidater, inte enskilda celler. Räkna antalet distinkta siffror över alla celler i gruppen. Om antalet är lika med antalet celler, är det en nakn mängd oavsett hur siffrorna är fördelade mellan de enskilda cellerna. Fel 2: Blandar nakna och dolda delmängder En Bara par har N celler med kandidater begränsade till N siffror. En Dolt par har N siffror begränsade till N celler, men dessa celler kan ha ytterligare kandidater. Vid en Bara par elimineras parats siffror från andra celler i huset. Vid en Dolt par elimineras icke-parats siffror från parats egna celler. Hur man undviker det: Fråga dig själv: "Tittar jag på celler med begränsade kandidater (nakna) eller siffror med begränsade platser (dolda)?" Riktningen på begränsningen avgör vilken typ av delmängd du har hittat. Fel 3: Att eliminera från fel celler När du hittar en Bara par {4, 6} i cellerna R1C2 och R1C7, elimineras 4 och 6 från de andra cellerna i rad 1. Du eliminera inte andra kandidater från R1C2 och R1C7 själva. Bara pars kandidater förblir oförändrade i delmängdens egna celler. Hur man undviker det: Kom ihåg regeln: nakna delmängder elimineras sina siffror från celler utanför delmängden. Dolda delmängder elimineras icke-delmängds siffror från celler inom delmängden. Fel 4: Att glömma att kontrollera alla delade hus Två celler kan dela mer än ett hus. Till exempel delar R1C1 och R1C3 både rad 1 och ruta 1. Om de bildar en Bara par, kan du eliminera parats siffror från andra celler i rad 1 och från andra celler i ruta 1. Begränsa inte dina elimineringar till endast ett hus. Hur man undviker det: För varje nakn delmängd du hittar, kontrollera vilka hus alla delmängdens celler delar. Tillämpa elimineringar i varje delat hus.

När du ska använda nakna delmängder i ditt lösningssätt

Naked subsets bör kontrolleras i ordning från minsta till största: 1. Naken enskilda först. Efter varje placering, leta efter nya nakna enskilda. De är kostnadsfria och omedelbara. 2. Naken par andra. När inga nakna enskilda längre finns, leta efter nakna par i varje rad, kolumn och ruta. De är den vanligaste mellantekniken och ofta öppnar upp fler nakna enskilda. 3. Naken tripel tredje. När par inte räcker, utöka sökningen till tripel. Fokusera på hus där flera celler har två eller tre kandidater. 4. Naken kvadrer sist. Sök endast efter kvadrer när mindre delmängder och andra tekniker är uttömda. Eftersom de är svåra, överväg att kontrollera dolda par eller tripel först, eftersom de kan vara lättare att hitta och avslöja samma information genom dualitetsprincipen. Genom att följa denna progression tillämpar du de enklaste och mest produktiva teknikerna först, och sparer mentalt arbete till de tillfällen då det verkligen behövs.

Sammanfattning

Naked subsets är en familj av fyra Sudoku tekniker som sammanfattas av ett enkelt princip: N celler i en hus med exakt N kombinerade kandidater låser dessa siffror på plats, vilket gör att du kan ta bort dem från alla andra celler i huset. Från det enkla Naked single som löser en Cell direkt, genom naked pairs och triples som rensar bort kandidater, till den svårfångade Naked quad som kräver noggrann systematisk sökning, så utgör dessa tekniker en kärna i logisk Sudoku lösning. Att behärskas dem ger dig pålitliga verktyg som gäller för pussel på alla svårighetsnivåer och bygger grunden för att hantera ännu mer avancerade strategier som dolda delmängder, fiskmönster och kedjor.