Nästan slutna mängder

Nästan slutna mängder

Expert

Vad är en nästan låst mängd?

En ALS är N celler i ett enda hus med exakt N+1 olika kandidater. Den är "nästan låst" -- ta bort en kandidat och den blir en naken delmängd. Den enklaste ALS är en bivärde-cell (1 cell, 2 kandidater). Alla celler måste dela ett hus.

Vad är en begränsad gemensam kandidat?

RCC är en siffra som förekommer i både ALS A och ALS B där varje instans av siffran i A ser varje instans av siffran i B. Eftersom de två ALS:erna inte båda kan använda RCC samtidigt, måste minst en ALS förlora RCC och bli en låst mängd.

Det är denna låsta-mängd-press som skapar elimineringar. Om de två ALS:erna också delar en annan siffra Z, måste Z förekomma i minst en av ALS:erna. Varje cell utanför som ser alla möjliga Z-platser i båda ALS:erna kan inte innehålla Z.

ALS-XZ: Kärnregeln för två ALS

ALS-XZ använder två ALS:er. De delar en begränsad gemensam kandidat X och en andra gemensam kandidat Z. Eftersom X inte kan uppta båda ALS:erna, tvingas minst en ALS lösa sig utan X. När det händer låses Z in i den ALS:en om det inte redan är tvingat i den andra.

Därför måste Z förekomma någonstans i de två ALS:erna. Eliminera Z från varje cell som ser varje Z-kandidat i båda ALS:erna. Nivå 10 (Mästare).

Nästan slutna mängder: Att hitta ALS:erna

Appen listar också Nästan slutna mängder som en teknik eftersom att känna igen ALS:er är användbart i sig. En ALS är ingen eliminering förrän den samverkar med en annan ALS, en stam-cell eller en block-linje-skärning. Den praktiska färdigheten är att lära sig hitta små grupper av celler vars kandidatunion bara är en siffra större än antalet celler.

De flesta ALS-baserade tekniker börjar med att katalogisera dessa mängder och kontrollerar sedan om deras gemensamma kandidater har den synlighet som krävs för en RCC.

ALS kedja: Att koppla flera Nästan slutna mängder

En ALS kedja kopplar samman flera ALS:er via RCC:er. Varje angränsande par har en begränsad gemensam kandidat, och kedjan växlar vilken ALS som tvingas bli låst när varje RCC beaktas.

Elimineringsmålet finns i både den första och den sista ALS:en. Om en cell utanför ser alla möjliga målplatser vid båda ändarna av kedjan, kan den elimineras. Nivå 11 (Extrem). ALS-XZ är den kortaste användbara versionen av denna idé.

Sue de Coq: ALS-skärningsmönstret

Sue de Coq utnyttjar skärningspunkten mellan ett block och en rad eller kolumn. Den skärningspunkten innehåller två eller tre celler som tillhör båda husen. Kandidaterna i dessa skärningsceller måste komma från linjesidan, blocksidan eller skärningspunkten själv.

Tekniken letar efter två hjälpmängder: en i resten av raden eller kolumnen, och en i resten av blocket. Deras kandidater är disjunkta och tillsammans täcker de kandidaterna som kan fylla skärningspunkten. När redovisningen är klar kan matchande kandidater tas bort från andra celler i samma linje eller block.

Nivå 9 (Mästare).

Dödsväxt: ALS-tekniken med stam och kronblad

Dödsväxt börjar med en stam cell som har N kandidater. För varje stamkandidat finns ett matchande kronblad-ALS. Om stammen tar en kandidat förlorar dess parade kronblad den kandidaten och blir låst.

Oavsett vilket värde stammen till slut tar, tvingas ett av kronbladen in i sitt låsta tillstånd. Om samma elimineringssiffra förekommer i alla kronblad måste den siffran komma från minst ett kronblad. Varje utanförliggande cell som ser varje möjlig förekomst av den siffran i kronbladen kan eliminera den.

Nivå 11 (Extrem).

Hur man hittar ALS-mönster

Katalogisera ALS i varje hus. Leta efter par som delar kandidater med giltiga RCC. För Sue de Coq, fokusera på block-linje-skärningar. För Dödsväxt, utgå från stamceller med få kandidater.

Svårighetsgrader

Nästan slutna mängder: Nivå 9, Mästare

Sue de Coq: Nivå 9, Mästare

ALS-XZ: Nivå 10, Mästare

ALS kedja: Nivå 11, Extrem

Dödsväxt: Nivå 11, Extrem

Sammanfattning

ALS-tekniker bygger på två begrepp: den nästan låsta mängden (N celler, N+1 kandidater) och den begränsade gemensamma kandidaten. Nästan slutna mängder utgör byggstenarna; ALS-XZ, ALS-kedjor, Sue de Coq och Dödsväxt använder dessa block i olika konfigurationer. Tillsammans bildar de en av de mest kraftfulla familjerna för att tackla de svåraste pusslen.