ALS-XZ

ALS-XZ - це найпростіший метод Ланцюг ALS. Два Майже замкнені множини мають спільний обмежений кандидат (X), що дозволяє виключити будь-який інший спільний кандидат (Z) з клітин, що бачать всі Z у обох наборах.

Техніка

1. Знайдіть два ALS (групи з N клітин з N+1 кандидатами).
2. Знайдіть обмежене спільне кандидат X (усі X у ALS1 бачать усі X у ALS2).
3. Знайдіть інше спільне кандидат Z, яке з'являється в обох ALS.
4. Вилучіть Z з клітин, які бачать усі Z у обох ALS.

Tips

• Обмежене спільне X може бути правильним лише в одному ALS.
• Це примушує Z бути закріпленим принаймні в одному ALS.
• Будь-яка Клітинка, що бачить усі Z у обох наборах, ніколи не може бути Z.