Ders 33

ALS-XZ

Kural

Kısıtlı ortak adayla bağlanan iki neredeyse kilitli küme, paylaştıkları başka bir adayı kümelerden en az birine girmeye zorlar, bu yüzden o aday, iki kümenin dışında olup her iki kümedeki o adaya sahip her hücreyi gören her hücreden silinebilir.

Adım adım

1. Birinci kümeye bakın . Bu 2 hücrenin hepsi aynı satırdadır ve aralarında 3 farklı aday vardır, yani hücre sayısından bir fazla. Buna Neredeyse Kilitli Küme (ALS) denir.
2. Şimdi ikinci kümeye bakın . Bu 3 hücrenin hepsi aynı satırdadır ve aralarında 4 farklı aday vardır, yani hücre sayısından bir fazla, dolayısıyla onlar da bir ALS oluşturur. İki küme 3 adayını kısıtlı ortak aday (RCC) olarak paylaşır: bir kümede 3 adayına sahip her hücre, diğer kümedeki böyle her hücreyi görür, bu yüzden 3 rakamı iki kümeden en fazla birine yerleştirilebilir, asla ikisine birden değil.
3. Her iki küme de 5 adayını içerir. 3 rakamı en fazla bir kümeye yerleştirilebileceğinden, en az bir küme 3 kullanmayacaktır. 3 kullanmayan bir kümede geriye hücre sayısı kadar farklı aday kalır, bu yüzden 5 dahil her birini içinde bir yere yerleştirmek zorundadır. Yani 5 iki kümeden en az birine yerleştirilir ve 5 adayını, iki kümenin dışında olup her iki kümedeki 5 adayına sahip her hücreyi gören her hücreden silebiliriz. Adı buradan gelir: X, iki kümenin paylaştığı 3 adayıdır; Z ise silinen 5 adayıdır.