ALS-XZ-Wings

Almost Locked Sets, verbunden durch eingeschränkte Gemeinsame

Ein almost locked set (ALS) ist ein Einheiten-Fragment von N Zellen mit N+1 Kandidaten. Wenn zwei solche Mengen einen eingeschränkten gemeinsamen Kandidaten (RCC) teilen — eine Ziffer, die nicht in beiden Mengen gleichzeitig vorkommen kann — wird jede Menge gezwungen, sich auf ihre anderen Ziffern festzulegen, wo immer der RCC fehlt, sodass eine beiden gemeinsame Ziffer aus Zellen entfernt werden kann, die jede mögliche Position sehen. Die bezeichneten Wings sind alle Instanzen dieser einen ALS-XZ-Regel bei wachsenden Mengengrößen — jeder bezeichnete Wing fixiert genau N Zellen mit N verschiedenen Ziffern über seine zwei ALSs.

In einem doppelt verlinkten Paar teilen die zwei Mengen zwei RCCs, was zusätzliche Eliminierungen und Locked-Set-Konsequenzen ergibt; der Ring in Namen wie WXYZ-Ring bedeutet genau das — zwei RCCs — und nicht einen geschlossenen AIC. Die visuell zentrale Zelle in den Anleitungen ist nur ein Erkennungshilfsmittel: Die Beweisoperanden sind die ALS-Mengen, der RCC und die universelle Sichtbarkeitsbedingung für jedes Ziel.