W-Wing از دو خانهٔ دور از هم استفاده میکند که هر دو فقط XY دارند و با یک پیوند قوی روی X (یا روی Y) در جایی میانشان به هم وصل شدهاند.
پیش از این: آشنایی با خانههای دومقداری و پیوندهای قوی کمک میکند.
چرا کار میکند
فرض کنید پل یک پیوند قوی روی X باشد. آنوقت یک سر پل X است، که یکی از خانههای XY را از X دور میکند؛ پس آن خانهٔ XY میشود Y. زنجیرهسازی دقیق نشان میدهد که دستکم یکی از دو خانهٔ XY باید Y باشد.
بنابراین هر خانهای که هر دو خانهٔ XY را ببیند نمیتواند Y باشد.
(اگر پیوند قوی روی Y باشد، استدلال قرینه کار میکند.)
نمایش
دو خانه پیدا کنید که هر دو فقط XY دارند. یکسان به نظر میرسند، اما ممکن است از هم دور باشند.
همسایگیهایشان را با یک پیوند مزدوج قوی روی یکی از آن رقمها وصل کنید. خانههای سبز یک W-Wing میسازند. رقمی که میتوانیم به آن حمله کنیم 5 است.
پیوند قوی دستکم یکی از خانههای XY را مجبور میکند 5 باشد؛ هر دو جهان پل، آن رقم را در یک سر درست باقی میگذارند.
5 را از خانههایی که هر دو خانهٔ XY را میبینند (قرمز) حذف کنید.
مثال 1
دو خانهٔ دومقداری یکسان پیدا کنید که با یک پیوند مزدوج قوی به هم وصلاند.
این W-Wing رقم 5 را حذف میکند.
5 را از خانههایی که هر دو سر را میبینند (قرمز) حذف کنید. دستکم یکی از خانههای XY باید همان رقم باشد.
مثال 2
دو خانهٔ دومقداری یکسان پیدا کنید که با یک پیوند مزدوج قوی به هم وصلاند.
این W-Wing رقم 2 را حذف میکند.
2 را از خانههایی که هر دو سر را میبینند (قرمز) حذف کنید. دستکم یکی از خانههای XY باید همان رقم باشد.