Nästan slutna mängder

Vad är ett nästan låst set?

Ett ALS är N celler i en enda hus med exakt N+1 olika kandidater. Det är "nästan låst" – ta bort en kandidat och så blir det ett öppet delmängd. Det enklaste ALS är ett tvåvärdes 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åda ALS A och ALS B, där varje förekomst i A ser varje förekomst i B. Detta innebär att siffran endast kan placeras i en av de två ALS:na, vilket gör att den andra blir låst. En andra gemensam siffra Z kan sedan tas bort från celler som ser alla förekomster av Z i båda ALS:na.

ALS-XY: Det ursprungliga ALS-interaktionsregeln

Två ALS:er delar en gemensam cell (X) och en annan gemensam siffra (Z). X kan endast placeras i ett ALS, vilket låser det andra. Z måste hamna i minst ett ALS. Ta bort Z från celler som ser alla Z:er i båda ALS:er. Nivå 9 (Master).

ALS-XZ: Den förfinade två-ALS-tekniken

Samma logik som ALS-XY men med strängare validering. Algoritmen genomgår alla ALS och kontrollerar varje par för RCC. Nivå 10 (Master).

ALS kedja: Ansluter flera Nästan slutna mängder

En sekvens av ALS:er kopplade genom RCC:er (varje konsekutiv par av olika RCC-siffror). Målet för elimineringen finns i både första och sista ALS:erna. Nivå 11 (Extrem). Omfattar två-ALS-tekniker som specialfall.

Sue de Coq: ALS-snäppningsmönster

Utnyttjar skärningspunkten mellan ett block och en rad eller kolumn. Två hjälpuppsättningar (en från raden, en från blocket) med disjunkta kandidater som tillsammans täcker skärningspunktens kandidater. Nivå 9 (Master).

Dödsväxt: Stjäl- och blad ALS-teknik

En stam Cell med N kandidater ansluter till N petal ALS:ar, en per kandidat. Varje kandidat är RCC med sitt petal. Ett siffra som förekommer i alla petal kan tas bort från celler som ser alla dess förekomster över petalen. Nivå 11 (Extrem).

Hur man hittar ALS-mönster

Katalogisera ALS:er i varje hus. Sök efter par som delar kandidater med giltiga RCC:er. Fokusera på block-linjeöverlappningar för Sue de Coq. Börja med stamceller med få kandidater för Dödsväxt.

Swierighetsbedömningar

ALS-XY: 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å koncept: det ända låsta mängden (N celler, N+1 kandidater) och den begränsade gemensamma kandidaten. Fem tekniker använder detta på olika konfigurationer och bildar en av de mest kraftfulla familjerna för att lösa de härsta pussel.