X-veriga je veriga, ki ostane na eni števki in izmenjuje močne in šibke povezave — posebna AIC.
Najkrajše oblike že poznaš: Nebotičnik, Zmaj z dvema vrvicama in Žerjav (močna–šibka–močna).
Pred tem: Nebotičnik, Zmaj z dvema vrvicama in Žerjav so že kratke X-verige.
Zakaj deluje
Močne povezave: natanko en konec je resničen. Šibke povezave: ne oba resnična. Njihovo izmenjevanje od enega konca do drugega pomeni, da končni točki ne moreta biti obe napačni.
Če je veriga močna na obeh koncih, vsaka celica, ki vidi obe končni točki, v vsakem primeru vidi resničnega kandidata — zato ne more biti ta števka.
Kako ga opaziti
Začni pri dvolokalnih (redke močne povezave), poveži jih s šibkimi povezavami (se vidijo), ohrani izmenjevanje močna–šibka.
Prikaz
Sledi močnim in šibkim povezavam za eno števko v uporabno verigo. Raje začni pri dvolokalnih.
Zelene celice so X-veriga na 6 — ista ideja AIC kot dolga veriga iz družine Nebotičnika.
Izmenjujoče se povezave vsilijo resnico na koncih: oba konca ne moreta biti napačna. Skupni sosedje so zbodeni v vsakem primeru.
Izloči 6 iz celic, ki vidijo oba konca (rdeče).
Primer 1
Zgradi izmenjujočo se verigo na eni števki (močna–šibka–močna…).
Ta X-veriga na 3 da izločanje.
Odstrani 3 iz celic, ki vidijo oba konca (rdeče). Vsaj en konec mora biti resničen.
Primer 2
Zgradi izmenjujočo se verigo na eni števki (močna–šibka–močna…).
Ta X-veriga na 1 da izločanje.
Odstrani 1 iz celic, ki vidijo oba konca (rdeče). Vsaj en konec mora biti resničen.