Nice Loop / AIC · مثال خطوة بخطوة

يستخدم هذا الدرس Nice Loop / AIC عائلة العقد الرقمية المرشحة العادية HoDoKu: عمليات الحذف والمواضع المتقطعة، والسلاسل المفتوحة من النوع 1 والنوع 2، والحلقات المستمرة. ابدأ من ⁨⁨R1C6=1⁩ صحيح⁩ وافحص ⁨R1C6=1⁩. في ⁨العمود ⁨6⁩, الصف ⁨2⁩, العمود ⁨9⁩, الصف ⁨7⁩, المربع ⁨5⁩, الصف ⁨5⁩, العمود ⁨1⁩, الصف ⁨9⁩, العمود ⁨8⁩⁩، يعني الارتباط ذو الخط المتصل أن نهاية واحدة على الأقل صحيحة؛ يعني الارتباط المتقطع أن نقطتي النهاية لا يمكن أن تكونا صحيحتين في نفس الوقت. اتبع علاقة واحدة مميزة في كل مرة.

الفرع ⁨1⁩: لنفترض أن ⁨R1C6=1⁩ صحيح.

⁨R1C6=1⁩ صحيح. إزالة ⁨R1C6=8⁩.

⁨R1C6=8⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨6⁩⁩. لذلك يجب أن يكون ⁨R2C6=8⁩ صحيحًا.

⁨R2C6=8⁩ صحيح. إزالة ⁨R2C6=6⁩.

⁨R2C6=6⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨2⁩⁩. لذلك يجب أن يكون ⁨R2C9=6⁩ صحيحًا.

⁨R2C9=6⁩ صحيح. إزالة ⁨R2C9=3⁩.

⁨R2C9=3⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨9⁩⁩. لذلك يجب أن يكون ⁨R7C9=3⁩ صحيحًا.

⁨R7C9=3⁩ صحيح. إزالة ⁨R7C6=3⁩.

⁨R7C6=3⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨6⁩⁩. لذلك يجب أن يكون ⁨R6C6=3⁩ صحيحًا.

⁨R6C6=3⁩ صحيح. إزالة ⁨R5C4=3⁩.

⁨R5C4=3⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨5⁩⁩. لذلك يجب أن يكون ⁨R5C1=3⁩ صحيحًا.

⁨R5C1=3⁩ صحيح. إزالة ⁨R9C1=3⁩.

⁨R9C1=3⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨9⁩⁩. لذلك يجب أن يكون ⁨R9C8=3⁩ صحيحًا.

⁨R9C8=3⁩ صحيح. إزالة ⁨R2C8=3⁩.

⁨R2C8=3⁩ غير صحيح. في نفس الخانة ⁨R2C8⁩، يتم فرض الرقم المرشح الآخر ⁨R2C8=8⁩ على صحيح في ظل الافتراض الحالي.

⁨R2C8=8⁩ صحيح. إزالة ⁨R2C6=8⁩.

⁨R2C6=8⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨6⁩⁩. لذلك يجب أن يكون ⁨R1C6=8⁩ صحيحًا.

الاستدلال يتناقض مع "⁨⁨R1C6=1⁩ صحيح⁩"، لذلك ⁨⁨R1C6=1⁩ غير صحيح⁩.

سحب هذا الافتراض وعواقبه. ارجع إلى لقطة الرقم المرشح التي لم تتغير قبل فحص الاحتمال التالي.

بدأت السلسلة المتناوبة من "⁨⁨R1C6=1⁩ صحيح⁩" واتبعت العلاقات القوية والضعيفة المسماة، بما في ذلك مفاتيح الخانة نفسها عند الحاجة، إلى التناقض. لذلك ⁨⁨R1C6=1⁩ غير صحيح⁩. يتم سحب جميع حالات الحقيقة المنطقية المؤقتة.

يستخدم هذا الدرس Nice Loop / AIC عائلة العقد الرقمية المرشحة العادية HoDoKu: عمليات الحذف والمواضع المتقطعة، والسلاسل المفتوحة من النوع 1 والنوع 2، والحلقات المستمرة. ابدأ من ⁨⁨R1C1=4⁩ غير صحيح⁩ وافحص ⁨R1C1=4⁩. في ⁨الصف ⁨1⁩, العمود ⁨2⁩, المربع ⁨4⁩, العمود ⁨3⁩⁩، يعني الارتباط ذو الخط المتصل أن نهاية واحدة على الأقل صحيحة؛ يعني الارتباط المتقطع أن نقطتي النهاية لا يمكن أن تكونا صحيحتين في نفس الوقت. اتبع علاقة واحدة مميزة في كل مرة.

الفرع ⁨1⁩: لنفترض أن ⁨R1C1=4⁩ غير صحيح.

⁨R1C1=4⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨1⁩⁩. لذلك يجب أن يكون ⁨R1C3=4⁩ صحيحًا.

⁨R1C3=4⁩ صحيح. إزالة ⁨R1C3=5⁩.

⁨R1C3=5⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨1⁩⁩. لذلك يجب أن يكون ⁨R1C2=5⁩ صحيحًا.

⁨R1C2=5⁩ صحيح. إزالة ⁨R1C2=9⁩.

⁨R1C2=9⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨2⁩⁩. لذلك يجب أن يكون ⁨R5C2=9⁩ صحيحًا.

⁨R5C2=9⁩ صحيح. إزالة ⁨R4C3=9⁩.

⁨R4C3=9⁩ غير صحيح. في نفس الخانة ⁨R4C3⁩، يتم فرض الرقم المرشح الآخر ⁨R4C3=4⁩ على صحيح في ظل الافتراض الحالي.

⁨R4C3=4⁩ صحيح. إزالة ⁨R1C3=4⁩.

الاستدلال يتناقض مع "⁨⁨R1C1=4⁩ غير صحيح⁩"، لذلك ⁨⁨R1C1=4⁩ صحيح⁩.

سحب هذا الافتراض وعواقبه. ارجع إلى لقطة الرقم المرشح التي لم تتغير قبل فحص الاحتمال التالي.

بدأت السلسلة المتناوبة من "⁨⁨R1C1=4⁩ غير صحيح⁩" واتبعت العلاقات القوية والضعيفة المسماة، بما في ذلك مفاتيح الخانة نفسها عند الحاجة، إلى التناقض. لذلك ⁨⁨R1C1=4⁩ صحيح⁩. يتم سحب جميع حالات الحقيقة المنطقية المؤقتة.

يستخدم هذا الدرس Nice Loop / AIC عائلة العقد الرقمية المرشحة العادية HoDoKu: عمليات الحذف والمواضع المتقطعة، والسلاسل المفتوحة من النوع 1 والنوع 2، والحلقات المستمرة. ابدأ من ⁨⁨R1C6=2⁩ غير صحيح⁩ وافحص ⁨R1C8=2, R1C9=2, R2C4=2⁩. في ⁨العمود ⁨6⁩, الصف ⁨2⁩⁩، يعني الارتباط ذو الخط المتصل أن نهاية واحدة على الأقل صحيحة؛ يعني الارتباط المتقطع أن نقطتي النهاية لا يمكن أن تكونا صحيحتين في نفس الوقت. اتبع علاقة واحدة مميزة في كل مرة.

الفرع ⁨1⁩: لنفترض أن ⁨R1C6=2⁩ غير صحيح.

⁨R1C6=2⁩ غير صحيح. في نفس الخانة ⁨R1C6⁩، يتم فرض الرقم المرشح الآخر ⁨R1C6=1⁩ على صحيح في ظل الافتراض الحالي.

⁨R1C6=1⁩ صحيح. إزالة ⁨R6C6=1⁩.

⁨R6C6=1⁩ غير صحيح. في نفس الخانة ⁨R6C6⁩، يتم فرض الرقم المرشح الآخر ⁨R6C6=6⁩ على صحيح في ظل الافتراض الحالي.

⁨R6C6=6⁩ صحيح. إزالة ⁨R2C6=6⁩.

⁨R2C6=6⁩ غير صحيح. في نفس الخانة ⁨R2C6⁩، يتم فرض الرقم المرشح الآخر ⁨R2C6=7⁩ على صحيح في ظل الافتراض الحالي.

⁨R2C6=7⁩ صحيح. إزالة ⁨R2C8=7⁩.

⁨R2C8=7⁩ غير صحيح. في نفس الخانة ⁨R2C8⁩، يتم فرض الرقم المرشح الآخر ⁨R2C8=2⁩ على صحيح في ظل الافتراض الحالي.

يجب أن تكون واحدة على الأقل من نقطتي النهاية ⁨R1C6=2⁩ و⁨R2C8=2⁩، اللتين تحملان الرقم نفسه، صحيحة. يرى كل هدف ⁨R1C8=2, R1C9=2, R2C4=2⁩ النقطتين معًا، لذا لا يمكن أن يكون أي هدف صحيحًا.

سحب هذا الافتراض وعواقبه. ارجع إلى لقطة الرقم المرشح التي لم تتغير قبل فحص الاحتمال التالي.

سحب حالة نقطة النهاية المؤقتة. يقوم النوع 1 AIC بإزالة ⁨R1C8=2, R1C9=2, R2C4=2⁩ بشكل دائم، لأن كل هدف يرى كلاً من ⁨R1C6=2⁩ و⁨R2C8=2⁩.

يستخدم هذا الدرس Nice Loop / AIC عائلة العقد الرقمية المرشحة العادية HoDoKu: عمليات الحذف والمواضع المتقطعة، والسلاسل المفتوحة من النوع 1 والنوع 2، والحلقات المستمرة. ابدأ من ⁨⁨R1C8=9⁩ غير صحيح⁩ وافحص ⁨R4C8=9⁩. في ⁨الصف ⁨1⁩, العمود ⁨7⁩, المربع ⁨6⁩, العمود ⁨8⁩, الصف ⁨3⁩, العمود ⁨6⁩, الصف ⁨5⁩, العمود ⁨4⁩, الصف ⁨6⁩, العمود ⁨9⁩, الصف ⁨4⁩⁩، يعني الارتباط ذو الخط المتصل أن نهاية واحدة على الأقل صحيحة؛ يعني الارتباط المتقطع أن نقطتي النهاية لا يمكن أن تكونا صحيحتين في نفس الوقت. اتبع علاقة واحدة مميزة في كل مرة.

الفرع ⁨1⁩: لنفترض أن ⁨R1C8=9⁩ غير صحيح.

⁨R1C8=9⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨1⁩⁩. لذلك يجب أن يكون ⁨R1C7=9⁩ صحيحًا.

⁨R1C7=9⁩ صحيح. إزالة ⁨R5C7=9⁩.

⁨R5C7=9⁩ غير صحيح. في نفس الخانة ⁨R5C7⁩، يتم فرض الرقم المرشح الآخر ⁨R5C7=2⁩ على صحيح في ظل الافتراض الحالي.

⁨R5C7=2⁩ صحيح. إزالة ⁨R6C8=2⁩.

⁨R6C8=2⁩ غير صحيح. في نفس الخانة ⁨R6C8⁩، يتم فرض الرقم المرشح الآخر ⁨R6C8=1⁩ على صحيح في ظل الافتراض الحالي.

⁨R6C8=1⁩ صحيح. إزالة ⁨R3C8=1⁩.

⁨R3C8=1⁩ غير صحيح. في نفس الخانة ⁨R3C8⁩، يتم فرض الرقم المرشح الآخر ⁨R3C8=6⁩ على صحيح في ظل الافتراض الحالي.

⁨R3C8=6⁩ صحيح. إزالة ⁨R3C6=6⁩.

⁨R3C6=6⁩ غير صحيح. في نفس الخانة ⁨R3C6⁩، يتم فرض الرقم المرشح الآخر ⁨R3C6=4⁩ على صحيح في ظل الافتراض الحالي.

⁨R3C6=4⁩ صحيح. إزالة ⁨R5C6=4⁩.

⁨R5C6=4⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨5⁩⁩. لذلك يجب أن يكون ⁨R5C4=4⁩ صحيحًا.

⁨R5C4=4⁩ صحيح. إزالة ⁨R5C4=3⁩.

⁨R5C4=3⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨4⁩⁩. لذلك يجب أن يكون ⁨R6C4=3⁩ صحيحًا.

⁨R6C4=3⁩ صحيح. إزالة ⁨R6C9=3⁩.

⁨R6C9=3⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨9⁩⁩. لذلك يجب أن يكون ⁨R4C9=3⁩ صحيحًا.

⁨R4C9=3⁩ صحيح. إزالة ⁨R4C9=7⁩.

⁨R4C9=7⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨4⁩⁩. لذلك يجب أن يكون ⁨R4C8=7⁩ صحيحًا.

تحمل نقاط النهاية النظيرة ⁨R1C8=9⁩ و⁨R4C8=7⁩ أرقامًا مختلفة. كل رقم مرشح مشترك ⁨R4C8=9⁩ من شأنه أن يجعل نقطتي النهاية خاطئتين، لذا قم بإزالته.

سحب هذا الافتراض وعواقبه. ارجع إلى لقطة الرقم المرشح التي لم تتغير قبل فحص الاحتمال التالي.

سحب حالة نقطة النهاية المؤقتة. يقوم النوع 2 AIC بإزالة الأرقام المرشحة بشكل دائم ⁨R4C8=9⁩ بين ⁨R1C8=9⁩ و⁨R4C8=7⁩.

يستخدم هذا الدرس Nice Loop / AIC عائلة العقد الرقمية المرشحة العادية HoDoKu: عمليات الحذف والمواضع المتقطعة، والسلاسل المفتوحة من النوع 1 والنوع 2، والحلقات المستمرة. ابدأ من ⁨⁨R9C3=6⁩ غير صحيح⁩ وافحص ⁨R9C3=5⁩. في ⁨العمود ⁨3⁩, الصف ⁨5⁩, العمود ⁨8⁩, الصف ⁨9⁩⁩، يعني الارتباط ذو الخط المتصل أن نهاية واحدة على الأقل صحيحة؛ يعني الارتباط المتقطع أن نقطتي النهاية لا يمكن أن تكونا صحيحتين في نفس الوقت. اتبع علاقة واحدة مميزة في كل مرة.

اختر ⁨R9C3=6⁩ فقط كبداية قراءة لهذه الحلقة المغلقة. وهذا ليس افتراضًا تجريبيًا؛ ستعود الحلقة المتناوبة هنا.

⁨R9C3=6⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨العمود ⁨3⁩⁩. لذلك يجب أن يكون ⁨R5C3=6⁩ صحيحًا.

⁨R5C3=6⁩ صحيح. إزالة ⁨R5C8=6⁩.

⁨R5C8=6⁩ غير صحيح. في نفس الخانة ⁨R5C8⁩، يتم فرض الرقم المرشح الآخر ⁨R5C8=8⁩ على صحيح في ظل الافتراض الحالي.

⁨R5C8=8⁩ صحيح. إزالة ⁨R9C8=8⁩.

⁨R9C8=8⁩ غير صحيح. يحتوي هذان الجانبان معًا على كل الخيارات المتبقية في ⁨الصف ⁨9⁩⁩. لذلك يجب أن يكون ⁨R9C3=8⁩ صحيحًا.

⁨R9C3=8⁩ صحيح. إزالة ⁨R9C3=6⁩.

يتم إغلاق السلسلة كحلقة متناوبة مستمرة. وبالتالي فإن كل علاقة ضعيفة في الحلقة تكون قوية، مما يزيل ⁨R9C3=5⁩ من الخانة المتأثرة أو وحدة سودوكو.

سحب هذا الافتراض وعواقبه. ارجع إلى لقطة الرقم المرشح التي لم تتغير قبل فحص الاحتمال التالي.

اكتمل اجتياز الحلقة؛ سحب حالات الحقيقة المنطقية المؤقتة الخاصة بها وإزالة ⁨R9C3=5⁩ نهائيًا.