العربية

Platon Sudoku · تعلّم السودوكو

AIC مجمّع لرقم واحد (Single-Digit Grouped AIC) · مثال خطوة بخطوة

تعني العقدة المجمعة أن واحدًا على الأقل من عدة أرقام مرشحة صحيح؛ يمكن أن تشارك في سلسلة الاستدلال بالتناوب. القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.

هذا الدرس مقتبس من محتوى تطبيق Platon Sudoku التعليمي. اقرأ المثال الكامل هنا، ثم تابع التعلّم والتدريب في التطبيق.

عرض على Google Play

التعرف على النمط

تعني العقدة المجمعة أن واحدًا على الأقل من عدة أرقام مرشحة صحيح؛ يمكن أن تشارك في سلسلة الاستدلال بالتناوب.

كيفية العثور عليه

تأكد من أن الخانات المجمعة تشترك في المنطقة المطلوبة، ثم تتبع روابط الاستدلال القوية والضعيفة من خلال عقدة مجموعة واحدة أو أكثر.

ما يسمح به

القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.

تجنب الخلط

المجموعة الحقيقية لا تعني أن كل عضو صحيح. احتفظ بمعنى OR الخاص بالمجموعة عند متابعة السلسلة.

مثال خطوة بخطوة · مجموعة واحدة

يبدأ هذا المثال من وضع وسيط محفوظ. تعكس الأرقام المرشحة استبعادات منطقية سابقة، وليست ملاحظات تلقائية أُنشئت للتو.

الأزرق: الأدلة. الأخضر: النتيجة. الأرقام المشطوبة: مرشحات مستبعدة. R1C1 تعني الصف 1 والعمود 1.

خطوة 1 · أين تنظر

في ⁨المربع ⁨6⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R4C7, R4C8, R5C8⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

في ⁨المربع ⁨6⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R4C7, R4C8, R5C8⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
في ⁨المربع ⁨6⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R4C7, R4C8, R5C8⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 2 · الاستدلال

في ⁨العمود ⁨5⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R1C5, R4C5⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

في ⁨العمود ⁨5⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R1C5, R4C5⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
في ⁨العمود ⁨5⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R1C5, R4C5⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 3 · الاستدلال

في ⁨العمود ⁨9⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R1C9, R8C9⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

في ⁨العمود ⁨9⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R1C9, R8C9⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
في ⁨العمود ⁨9⁩⁩، يمكن أن ينتقل ⁨2⁩ فقط إلى ⁨R1C9, R8C9⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 4 · قم بتسمية مجموعات الأرقام المرشحة OR

تحدد الأقواس المرقمة ووسيلة الإيضاح هذه المجموعات المسماة: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩ = R4C8=2, R5C8=2⁩. كل مجموعة هي حالة حقيقة منطقية OR: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.

تحدد الأقواس المرقمة ووسيلة الإيضاح هذه المجموعات المسماة: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩ = R4C8=2, R5C8=2⁩. كل مجموعة هي حالة حقيقة منطقية OR: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.
تحدد الأقواس المرقمة ووسيلة الإيضاح هذه المجموعات المسماة: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩ = R4C8=2, R5C8=2⁩. كل مجموعة هي حالة حقيقة منطقية OR: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 5 · الاستدلال

الفرع ⁨1⁩: لنفترض أن ⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ غير صحيح.

الفرع ⁨1⁩: لنفترض أن ⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ غير صحيح.
الفرع ⁨1⁩: لنفترض أن ⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ غير صحيح.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 6 · رابط الاستدلال القوي للمجموعة: فرض الجانب الآخر

الحالة 1: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ خطأ، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R4C7=2⁩. إذا كانت هذه مجموعة OR، فإن واحدًا على الأقل من أرقامها المرشحة يكون صحيحًا.

الحالة 1: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ خطأ، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R4C7=2⁩. إذا كانت هذه مجموعة OR، فإن واحدًا على الأقل من أرقامها المرشحة يكون صحيحًا.
الحالة 1: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ خطأ، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R4C7=2⁩. إذا كانت هذه مجموعة OR، فإن واحدًا على الأقل من أرقامها المرشحة يكون صحيحًا.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 7 · رابط الاستدلال الضعيف للمجموعة: استبعاد الجانب المتعارض

⁨R4C7=2⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R4C5=2⁩ غير صحيح.

⁨R4C7=2⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R4C5=2⁩ غير صحيح.
⁨R4C7=2⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R4C5=2⁩ غير صحيح.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 8 · رابط الاستدلال القوي للمجموعة: يجب أن يبقى جانب واحد

⁨R4C5=2⁩ غير صحيح، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R1C5=2⁩.

⁨R4C5=2⁩ غير صحيح، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R1C5=2⁩.
⁨R4C5=2⁩ غير صحيح، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R1C5=2⁩.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 9 · رابط الاستدلال الضعيف للمجموعة: استبعاد الجانب المتعارض

⁨R1C5=2⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R1C9=2⁩ غير صحيح.

⁨R1C5=2⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R1C9=2⁩ غير صحيح.
⁨R1C5=2⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R1C9=2⁩ غير صحيح.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 10 · نقطة النهاية غير المباشرة تستبعد الأهداف

تعتبر ⁨R8C9=2⁩ صحيحة باعتبارها حالة الحقيقة المنطقية لنقطة النهاية، لذا فهي تستبعد الأهداف.

تعتبر ⁨R8C9=2⁩ صحيحة باعتبارها حالة الحقيقة المنطقية لنقطة النهاية، لذا فهي تستبعد الأهداف.
تعتبر ⁨R8C9=2⁩ صحيحة باعتبارها حالة الحقيقة المنطقية لنقطة النهاية، لذا فهي تستبعد الأهداف.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 11 · اسحب حشوة المستطيل السابقة

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

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

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 12 · الحالة الثانية: نقطة النهاية الأولى صحيحة

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

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

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

خطوة 13 · كلا الحالتين النهائيتين متفقتان

تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R7C8=2, R8C8=2⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.

تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R7C8=2, R8C8=2⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.
تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R7C8=2, R8C8=2⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.

G1: R4C8=2, R5C8=2

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح

ما يسمح به

تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R7C8=2, R8C8=2⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.

AIC مجمّع لرقم واحد (Single-Digit Grouped AIC) · القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.
AIC مجمّع لرقم واحد (Single-Digit Grouped AIC) · القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.

مثال خطوة بخطوة · عدة مجموعات

يبدأ هذا المثال من وضع وسيط محفوظ. تعكس الأرقام المرشحة استبعادات منطقية سابقة، وليست ملاحظات تلقائية أُنشئت للتو.

الأزرق: الأدلة. الأخضر: النتيجة. الأرقام المشطوبة: مرشحات مستبعدة. R1C1 تعني الصف 1 والعمود 1.

خطوة 1 · أين تنظر

في ⁨المربع ⁨1⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R2C2, R3C1⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

في ⁨المربع ⁨1⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R2C2, R3C1⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
في ⁨المربع ⁨1⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R2C2, R3C1⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 2 · الاستدلال

في ⁨المربع ⁨2⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R1C6, R2C4, R2C5⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

في ⁨المربع ⁨2⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R1C6, R2C4, R2C5⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
في ⁨المربع ⁨2⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R1C6, R2C4, R2C5⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 3 · الاستدلال

في ⁨الصف ⁨8⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R8C1, R8C2, R8C3, R8C6⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

في ⁨الصف ⁨8⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R8C1, R8C2, R8C3, R8C6⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
في ⁨الصف ⁨8⁩⁩، يمكن أن ينتقل ⁨8⁩ فقط إلى ⁨R8C1, R8C2, R8C3, R8C6⁩. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 4 · قم بتسمية مجموعات الأرقام المرشحة OR

تحدد الأقواس المرقمة ووسيلة الإيضاح هذه المجموعات المسماة: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩ = R2C4=8, R2C5=8, OR مجموعة الأرقام المرشحة ⁨B⁩ = R8C1=8, R8C2=8, R8C3=8⁩. كل مجموعة هي حالة حقيقة منطقية OR: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.

تحدد الأقواس المرقمة ووسيلة الإيضاح هذه المجموعات المسماة: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩ = R2C4=8, R2C5=8, OR مجموعة الأرقام المرشحة ⁨B⁩ = R8C1=8, R8C2=8, R8C3=8⁩. كل مجموعة هي حالة حقيقة منطقية OR: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.
تحدد الأقواس المرقمة ووسيلة الإيضاح هذه المجموعات المسماة: ⁨OR مجموعة الأرقام المرشحة ⁨A⁩ = R2C4=8, R2C5=8, OR مجموعة الأرقام المرشحة ⁨B⁩ = R8C1=8, R8C2=8, R8C3=8⁩. كل مجموعة هي حالة حقيقة منطقية OR: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 5 · الاستدلال

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

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

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 6 · رابط الاستدلال القوي للمجموعة: فرض الجانب الآخر

الحالة 1: ⁨R3C1=8⁩ خطأ، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R2C2=8⁩. إذا كانت هذه مجموعة OR، فإن واحدًا على الأقل من أرقامها المرشحة يكون صحيحًا.

الحالة 1: ⁨R3C1=8⁩ خطأ، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R2C2=8⁩. إذا كانت هذه مجموعة OR، فإن واحدًا على الأقل من أرقامها المرشحة يكون صحيحًا.
الحالة 1: ⁨R3C1=8⁩ خطأ، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R2C2=8⁩. إذا كانت هذه مجموعة OR، فإن واحدًا على الأقل من أرقامها المرشحة يكون صحيحًا.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 7 · رابط الاستدلال الضعيف للمجموعة: استبعاد الجانب المتعارض

⁨R2C2=8⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R2C4=8, R2C5=8⁩ غير صحيح.

⁨R2C2=8⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R2C4=8, R2C5=8⁩ غير صحيح.
⁨R2C2=8⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R2C4=8, R2C5=8⁩ غير صحيح.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 8 · رابط الاستدلال القوي للمجموعة: يجب أن يبقى جانب واحد

⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ غير صحيح، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R1C6=8⁩.

⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ غير صحيح، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R1C6=8⁩.
⁨OR مجموعة الأرقام المرشحة ⁨A⁩⁩ غير صحيح، لذا فإن رابط الاستدلال القوي للمجموعة يفرض ⁨R1C6=8⁩.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 9 · رابط الاستدلال الضعيف للمجموعة: استبعاد الجانب المتعارض

⁨R1C6=8⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R8C6=8⁩ غير صحيح.

⁨R1C6=8⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R8C6=8⁩ غير صحيح.
⁨R1C6=8⁩ صحيحة كحالة حقيقة منطقية متسلسلة، وبالتالي فإن الجانب الحصري المتبادل ⁨R8C6=8⁩ غير صحيح.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 10 · نقطة النهاية غير المباشرة تستبعد الأهداف

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

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

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 11 · اسحب حشوة المستطيل السابقة

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

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

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 12 · الحالة الثانية: نقطة النهاية الأولى صحيحة

تكون نقطة النهاية الأولى ⁨R3C1=8⁩ صحيحة باعتبارها حالة حقيقة منطقية OR، لذا فهي تستبعد الأهداف.

تكون نقطة النهاية الأولى ⁨R3C1=8⁩ صحيحة باعتبارها حالة حقيقة منطقية OR، لذا فهي تستبعد الأهداف.
تكون نقطة النهاية الأولى ⁨R3C1=8⁩ صحيحة باعتبارها حالة حقيقة منطقية OR، لذا فهي تستبعد الأهداف.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

خطوة 13 · كلا الحالتين النهائيتين متفقتان

تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R9C1=8⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.

تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R9C1=8⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.
تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R9C1=8⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.

G1: R2C4=8, R2C5=8

G2: R8C1=8, R8C2=8, R8C3=8

1: مجموعة OR ⁨A⁩: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR ⁨B⁩: رقم مرشح واحد على الأقل صحيح

ما يسمح به

تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان ⁨R9C1=8⁩. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.

AIC مجمّع لرقم واحد (Single-Digit Grouped AIC) · القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.
AIC مجمّع لرقم واحد (Single-Digit Grouped AIC) · القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.

التدريب

هذا الدرس مقتبس من محتوى تطبيق Platon Sudoku التعليمي. اقرأ المثال الكامل هنا، ثم تابع التعلّم والتدريب في التطبيق.

عرض على Google Play