تناقض بين مكوّنات التلوين (Multi-Component Coloring Contradiction) · مثال خطوة بخطوة

“تناقض بين مكوّنات التلوين (Multi-Component Coloring Contradiction)” — هذا اسم وصفي في التطبيق لبرهان مخصص يربط عدة مكوّنات، وليس تقنية مستقلة في HoDoKu تحمل الاسم نفسه. تشكّل مرشحات الرقم ⁨2⁩ عددًا من مكوّنات التلوين المستقلة هو ⁨4⁩. بتناوب التلوين على طول الروابط القوية، تقع ⁨R3C1=2, R8C2=2⁩ في جانب ⁨A⁩ من المكوّن ⁨2⁩، فتشترك في القيمة المنطقية نفسها، وهي تحديدًا المرشحات المستهدفة ⁨R3C1=2, R8C2=2⁩. داخل كل مكوّن تكون A وB حالتين متعاكستين؛ وتربط التعارضات الحالات بين المكوّنات.

تعامل مع مجموعة حالة الحقيقة المنطقية نفسها ⁨R3C1=2, R8C2=2⁩ كحالة حقيقة منطقية واحدة وافترض أنها صحيحة مؤقتًا. اتبع الصراعات بين المكونات.

1. ⁨R3C1=2⁩ صحيح، وبالتالي فإن النظير المرئي ⁨R1C2=2⁩ غير صحيح. وبالتالي فإن حالة الحقيقة المنطقية A/B المعاكسة ⁨R1C9=2⁩ في تلك المجموعة صحيحة. 2. ⁨R1C9=2⁩ صحيح، وبالتالي فإن النظير المرئي ⁨R5C9=2⁩ غير صحيح. وبالتالي فإن حالة الحقيقة المنطقية A/B المعاكسة ⁨R4C7=2, R5C6=2⁩ في تلك المجموعة صحيحة. 3. ⁨R4C7=2⁩ صحيح، وبالتالي فإن النظير المرئي ⁨R4C4=2⁩ غير صحيح. وبالتالي فإن حالة الحقيقة المنطقية A/B المعاكسة ⁨R3C4=2⁩ في تلك المجموعة صحيحة. 4. ⁨R3C4=2⁩ صحيح، وبالتالي فإن النظير المرئي ⁨R3C1=2⁩ غير صحيح. وبالتالي فإن حالة الحقيقة المنطقية A/B المعاكسة ⁨R8C1=2⁩ في تلك المجموعة صحيحة.

الافتراض ⁨R3C1=2, R8C2=2⁩ يفرض في النهاية ⁨R8C1=2⁩، حالة الحقيقة المنطقية المعاكسة A/B في نفس المجموعة. كلا الحالتين المنطقيتين للحقيقة لا يمكن أن تكونا صحيحتين، لذا فإن الافتراض خاطئ.

لا يمكن أن تكون حالة الحقيقة المنطقية الأولية صحيحة. قم بإزالة أرقامها المرشحة: ⁨R3C1=2, R8C2=2⁩.