Platon Sudoku · تعلّم السودوكو
AIC مجمّع لرقم واحد (Single-Digit Grouped AIC) · مثال خطوة بخطوة
تعني العقدة المجمعة أن واحدًا على الأقل من عدة أرقام مرشحة صحيح؛ يمكن أن تشارك في سلسلة الاستدلال بالتناوب. القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.
هذا الدرس مقتبس من محتوى تطبيق Platon Sudoku التعليمي. اقرأ المثال الكامل هنا، ثم تابع التعلّم والتدريب في التطبيق.
عرض على Google Playالتعرف على النمط
تعني العقدة المجمعة أن واحدًا على الأقل من عدة أرقام مرشحة صحيح؛ يمكن أن تشارك في سلسلة الاستدلال بالتناوب.
كيفية العثور عليه
تأكد من أن الخانات المجمعة تشترك في المنطقة المطلوبة، ثم تتبع روابط الاستدلال القوية والضعيفة من خلال عقدة مجموعة واحدة أو أكثر.
ما يسمح به
القضاء على الهدف الذي تراه نقاط النهاية القسرية للسلسلة.
تجنب الخلط
المجموعة الحقيقية لا تعني أن كل عضو صحيح. احتفظ بمعنى OR الخاص بالمجموعة عند متابعة السلسلة.
مثال خطوة بخطوة · مجموعة واحدة
يبدأ هذا المثال من وضع وسيط محفوظ. تعكس الأرقام المرشحة استبعادات منطقية سابقة، وليست ملاحظات تلقائية أُنشئت للتو.
الأزرق: الأدلة. الأخضر: النتيجة. الأرقام المشطوبة: مرشحات مستبعدة. R1C1 تعني الصف 1 والعمود 1.
خطوة 1 · أين تنظر
خطوة 2 · الاستدلال
خطوة 3 · الاستدلال
خطوة 4 · قم بتسمية مجموعات الأرقام المرشحة OR
تحدد الأقواس المرقمة ووسيلة الإيضاح هذه المجموعات المسماة: OR مجموعة الأرقام المرشحة A = R4C8=2, R5C8=2. كل مجموعة هي حالة حقيقة منطقية OR: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.
G1: R4C8=2, R5C8=2
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح
خطوة 5 · الاستدلال
خطوة 6 · رابط الاستدلال القوي للمجموعة: فرض الجانب الآخر
الحالة 1: OR مجموعة الأرقام المرشحة A خطأ، لذا فإن رابط الاستدلال القوي للمجموعة يفرض R4C7=2. إذا كانت هذه مجموعة OR، فإن واحدًا على الأقل من أرقامها المرشحة يكون صحيحًا.
G1: R4C8=2, R5C8=2
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح
خطوة 7 · رابط الاستدلال الضعيف للمجموعة: استبعاد الجانب المتعارض
خطوة 8 · رابط الاستدلال القوي للمجموعة: يجب أن يبقى جانب واحد
خطوة 9 · رابط الاستدلال الضعيف للمجموعة: استبعاد الجانب المتعارض
خطوة 10 · نقطة النهاية غير المباشرة تستبعد الأهداف
خطوة 11 · اسحب حشوة المستطيل السابقة
خطوة 12 · الحالة الثانية: نقطة النهاية الأولى صحيحة
تكون نقطة النهاية الأولى OR مجموعة الأرقام المرشحة A صحيحة باعتبارها حالة حقيقة منطقية OR، لذا فهي تستبعد الأهداف.
G1: R4C8=2, R5C8=2
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح
خطوة 13 · كلا الحالتين النهائيتين متفقتان
تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان R7C8=2, R8C8=2. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.
G1: R4C8=2, R5C8=2
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح
مثال خطوة بخطوة · عدة مجموعات
يبدأ هذا المثال من وضع وسيط محفوظ. تعكس الأرقام المرشحة استبعادات منطقية سابقة، وليست ملاحظات تلقائية أُنشئت للتو.
الأزرق: الأدلة. الأخضر: النتيجة. الأرقام المشطوبة: مرشحات مستبعدة. R1C1 تعني الصف 1 والعمود 1.
خطوة 1 · أين تنظر
في المربع 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. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
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. يجب أن يظهر الرقم مرة واحدة في هذه المنطقة.
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: رقم مرشح واحد على الأقل فيها صحيح، لكن السلسلة لا تدعي أن كل عضو صحيح.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR B: رقم مرشح واحد على الأقل صحيح
خطوة 5 · الاستدلال
خطوة 6 · رابط الاستدلال القوي للمجموعة: فرض الجانب الآخر
الحالة 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 غير صحيح.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR B: رقم مرشح واحد على الأقل صحيح
خطوة 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 غير صحيح.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR B: رقم مرشح واحد على الأقل صحيح
خطوة 10 · نقطة النهاية غير المباشرة تستبعد الأهداف
تعتبر 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، لذا فهي تستبعد الأهداف.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR B: رقم مرشح واحد على الأقل صحيح
خطوة 13 · كلا الحالتين النهائيتين متفقتان
تستنفد حالتا نقطة النهاية البدائل، وكلاهما يستبعدان R9C1=8. قم بإزالتها بعد سحب حالات الحقيقة المنطقية المؤقتة.
G1: R2C4=8, R2C5=8
G2: R8C1=8, R8C2=8, R8C3=8
1: مجموعة OR A: رقم مرشح واحد على الأقل صحيح · 2: مجموعة OR B: رقم مرشح واحد على الأقل صحيح
التدريب
هذا الدرس مقتبس من محتوى تطبيق Platon Sudoku التعليمي. اقرأ المثال الكامل هنا، ثم تابع التعلّم والتدريب في التطبيق.
عرض على Google Play