Skyscraper · مثال خطوة بخطوة

بالنسبة إلى ⁨8⁩، يحتوي ⁨الصف ⁨5⁩⁩ على ⁨R5C4⁩ و⁨R5C1⁩ فقط، بينما يحتوي ⁨الصف ⁨7⁩⁩ على ⁨R7C5⁩ و⁨R7C1⁩ فقط. كل زوج عبارة عن رابط استدلالي قوي: إذا كان أحد الطرفين خاطئًا، فإن الطرف الآخر صحيح.

يرى كل من ⁨R5C1⁩ و⁨R7C1⁩ بعضهما البعض في ⁨العمود ⁨1⁩⁩، لذلك لا يمكن أن يكونا كلاهما ⁨8⁩. وهما طرفي القاعدة؛ ⁨R5C4⁩ و ⁨R7C5⁩ هما السقفان. يربط رابط الاستدلال الضعيف بين طرفي القاعدة رابطي الاستدلال القويين في Skyscraper.

إذا كان السقف ⁨R5C4⁩ ليس ⁨8⁩، فإن ⁨الصف ⁨5⁩⁩ يجبر ⁨R5C1⁩ على أن يكون ⁨8⁩. وهذا يستبعد ⁨R7C1⁩ في ⁨العمود ⁨1⁩⁩، لذا فإن ⁨الصف ⁨7⁩⁩ يفرض على السقف الآخر ⁨R7C5⁩ أن يكون ⁨8⁩.

إذا كانت ⁨R5C4⁩ هي ⁨8⁩، تكون المطالبة فورية؛ إذا لم يكن الأمر كذلك، فإن السلسلة تجبر ⁨R7C5⁩ على أن تكون ⁨8⁩. ولذلك فإن سقف واحد على الأقل هو ⁨8⁩. يرى كل هدف (⁨R8C4⁩) كلا السقفين، لذلك لا يمكن لأي هدف أن يكون ⁨8⁩.

واحد على الأقل من السقفين هو ⁨8⁩، وكل هدف (⁨R8C4⁩) يرى كليهما. قم بإزالة الرقم المرشح ⁨8⁩ من هذه الأهداف.

بالنسبة إلى ⁨1⁩، يحتوي ⁨العمود ⁨2⁩⁩ على ⁨R5C2⁩ و⁨R2C2⁩ فقط، بينما يحتوي ⁨العمود ⁨8⁩⁩ على ⁨R6C8⁩ و⁨R2C8⁩ فقط. كل زوج عبارة عن رابط استدلالي قوي: إذا كان أحد الطرفين خاطئًا، فإن الطرف الآخر صحيح.

يرى كل من ⁨R2C2⁩ و⁨R2C8⁩ بعضهما البعض في ⁨الصف ⁨2⁩⁩، لذلك لا يمكن أن يكونا كلاهما ⁨1⁩. وهما طرفي القاعدة؛ ⁨R5C2⁩ و ⁨R6C8⁩ هما السقفان. يربط رابط الاستدلال الضعيف بين طرفي القاعدة رابطي الاستدلال القويين في Skyscraper.

إذا كان السقف ⁨R5C2⁩ ليس ⁨1⁩، فإن ⁨العمود ⁨2⁩⁩ يجبر ⁨R2C2⁩ على أن يكون ⁨1⁩. وهذا يستبعد ⁨R2C8⁩ في ⁨الصف ⁨2⁩⁩، لذا فإن ⁨العمود ⁨8⁩⁩ يفرض على السقف الآخر ⁨R6C8⁩ أن يكون ⁨1⁩.

إذا كانت ⁨R5C2⁩ هي ⁨1⁩، تكون المطالبة فورية؛ إذا لم يكن الأمر كذلك، فإن السلسلة تجبر ⁨R6C8⁩ على أن تكون ⁨1⁩. ولذلك فإن سقف واحد على الأقل هو ⁨1⁩. يرى كل هدف (⁨R6C3⁩) كلا السقفين، لذلك لا يمكن لأي هدف أن يكون ⁨1⁩.

واحد على الأقل من السقفين هو ⁨1⁩، وكل هدف (⁨R6C3⁩) يرى كليهما. قم بإزالة الرقم المرشح ⁨1⁩ من هذه الأهداف.