التلوين البسيط (Simple Coloring) · مثال خطوة بخطوة

في ⁨المربع ⁨1⁩⁩، يمكن أن ينتقل ⁨4⁩ فقط إلى ⁨R1C3⁩ أو ⁨R3C2⁩. تنتمي هذه الأرقام المرشحة إلى نفس مكون التلوين ويتم تمييزها بعلامة دائرية A وB بعلامة مربعة؛ A و B هما حالتا الحقيقة المنطقية المعاكستان.

تابع من خلال كل رابط استدلال قوي متصل لـ ⁨4⁩. ضمن هذا المكون، ينضم كل رابط إلى A ذات العلامة الدائرية وB ذات العلامة المربعة، وهما حالتا الحقيقة المنطقيتان المتعارضتان.

تشكل هذه الأرقام المرشحة ⁨4⁩ شبكة واحدة متصلة. كل خط متصل هو رابط استدلالي قوي لـ ⁨4⁩.

إما أن تكون جميع A صحيحة وجميع B خاطئة، أو تكون جميع B صحيحة وجميع A خاطئة. لا نحتاج إلى معرفة أي الحالتين تتحقق مسبقًا.

يرى ⁨R8C5=4⁩ A في ⁨R3C5=4⁩ وB في ⁨R8C3=4⁩. مهما كانت حالة الحقيقة المنطقية صحيحة، فإن أحد هذين الرقمين المرشحين يستبعد الهدف.

نظرًا لأن كل هدف يرى كلا الحالتين المنطقيتين المحتملتين للحقيقة، قم بإزالة ⁨R8C5=4⁩.

في ⁨الصف ⁨1⁩⁩، يمكن أن ينتقل ⁨1⁩ فقط إلى ⁨R1C3⁩ أو ⁨R1C4⁩. تنتمي هذه الأرقام المرشحة إلى نفس مكون التلوين ويتم تمييزها بعلامة دائرية A وB بعلامة مربعة؛ A و B هما حالتا الحقيقة المنطقية المعاكستان.

تابع من خلال كل رابط استدلال قوي متصل لـ ⁨1⁩. ضمن هذا المكون، ينضم كل رابط إلى A ذات العلامة الدائرية وB ذات العلامة المربعة، وهما حالتا الحقيقة المنطقيتان المتعارضتان.

تشكل هذه الأرقام المرشحة ⁨5⁩ شبكة واحدة متصلة. كل رابط استدلالي قوي يربط A بـ B، لذلك تشترك جميع الأرقام المرشحة A في حالة حقيقة منطقية واحدة وتشترك جميع الأرقام المرشحة B في الحالة الأخرى.

⁨R1C4=1⁩ و⁨R4C4=1⁩ كلاهما في حالة الحقيقة المنطقية ⁨B⁩ ويرى كل منهما الآخر. لا يمكن أن يكون كلاهما ⁨1⁩، لذا فإن حالة الحقيقة المنطقية ⁨B⁩ مستحيلة.

يستبعد التعارض الحالة المنطقية ⁨B⁩ بأكملها. احذف معًا كل المرشحات التابعة للحالة ⁨B⁩: ⁨R1C4=1, R4C4=1, R6C3=1⁩.

احذف المرشحات التابعة للحالة المنطقية غير الصالحة ⁨B⁩: ⁨R1C4=1, R4C4=1, R6C3=1⁩.