Alternating Inference Chain (AIC)
سلسلة الاستدلال المتناوبة، أو AIC، هي الشكل العام للسلاسل في السودوكو. عناصرها مرشحون، كل واحد رقم في خلية، مرتبطون بنوعين من الوصلات. وصلة قوية تعني أن واحدًا على الأقل من مرشحين صحيح: هما المكانان الوحيدان للرقم في وحدة، أو المرشحان الوحيدان للخلية. وصلة ضعيفة تعني أن واحدًا على الأكثر صحيح: نفس الرقم في خلايا ترى بعضهما، أو رقمان في نفس الخلية. AIC يتناوب وصلات قوية وضعيفة ويبدأ وينتهي بوصلة قوية، لذلك واحد على الأقل من مرشحي طرفيه صحيح. عندما يكون كلا الطرفين نفس الرقم، كل خلية ترى كلا الطرفين تفقد ذلك الرقم. X-Chain يستخدم رقمًا واحدًا فقط وXY-Chain فقط خلايا بمرشحين اثنين؛ AIC يمكن أن يمزج كليهما. إنها تقنية أستاذ في Bare Sudoku.
متى تستخدمها
عندما سلاسل أحادية الرقم وسلاسل خلايا بمرشحين اثنين لا تجد شيئًا. السلاسل المختلطة تصل أبعد، لأنها يمكن أن تنقل أرقام داخل خلية أو تتحرك بين خلايا على رقم واحد، لكن هي أيضًا أصعب على المتابعة. Bare Sudoku تجربها بعد السلاسل الأبسط.
كيف تكتشفها
اكتب كل مرشح كخلية ورقم، على سبيل المثال r1c2 (5). ابدأ بوصلة قوية من مرشح، ثم خذ وصلة ضعيفة، ثم وصلة قوية، وهكذا، اختر في كل خطوة أي وصلة من النوع الصحيح: على طول رقم واحد داخل وحدة، أو بين الرقمين لخلية بمرشحين اثنين. في كل مرة تنهي على وصلة قوية، قارن الطرفين. إذا كانا نفس الرقم، الخلايا التي ترى كلا الطرفين تفقده؛ إذا كانا رقمين لنفس الخلية، كل مرشح آخر لتلك الخلية يمكن أن يذهب.
مثال
| c1 | c2 | c3 | c4 | c5 | c6 | c7 | c8 | c9 | |
|---|---|---|---|---|---|---|---|---|---|
| r1 | 34 | 8 | 9 | 7 | 24 | 1 | 26 | 346 | 5 |
| r2 | 14 | 6 | 1245 | 59 | 24 | 3 | 127 | 479 | 8 |
| r3 | 7 | 12 | 12345 | 59 | 8 | 6 | 12 | 349 | 239 |
| r4 | 136 | 123 | 8 | 36 | 9 | 7 | 4 | 5 | 236 |
| r5 | 5 | 9 | 234 | 36 | 1 | 24 | 268 | 368 | 7 |
| r6 | 346 | 234 | 7 | 8 | 5 | 24 | 9 | 1 | 236 |
| r7 | 9 | 13 | 13 | 2 | 6 | 5 | 78 | 78 | 4 |
| r8 | 8 | 7 | 6 | 4 | 3 | 9 | 5 | 2 | 1 |
| r9 | 2 | 45 | 45 | 1 | 7 | 8 | 3 | 69 | 69 |
الأرقام الغامقة معطاة، والأرقام الزرقاء وُضعت أثناء الحل، والأرقام الصغيرة مرشحون. الخلايا المبرزة تشكّل النمط، والمرشحون المشطوبون يُحذفون، والمرشح المحاط بدائرة هو الرقم الذي يوضع.
- اقرأ السلسلة r1c1 (3=4) - r2c1 (4=1) - r4c1 (1) = r4c2 (1) - r7c2 (1=3). كل عنصر رقم في خلية. = هي وصلة قوية: واحد على الأقل من العنصرين صحيح. - هي وصلة ضعيفة: واحد على الأكثر منهما صحيح.
- افترض أن r1c1 (3) خاطئ. الوصلة القوية بعده تجعل العنصر التالي صحيحًا، الوصلة الضعيفة بعد ذلك تجعل العنصر التالي خاطئًا، وهكذا، حتى r7c2 (3) صحيح.
- إذن واحد على الأقل من r1c1 (3) وr7c2 (3) صحيح. كلاهما الرقم 3.
- خلية ترى كلا الخليتين من الطرفين لا يمكن أن تكون 3. احذف 3 من r3c2.
أخطاء شائعة
- استدعاء وصلة قوية عندما الوحدة لها مكان ثالث للرقم، أو الخلية مرشح ثالث. وصلة قوية تحتاج بالضبط إمكانيتين.
- رسم استنتاج من سلسلة وصلاتها لا تتناوب. السلسلة يجب أن تتناوب وصلات قوية وضعيفة وتبدأ وتنتهي بوصلة قوية.
- حذف مرشح يرى طرفًا واحدًا فقط. المرشح المحذوف يجب أن يتعارض مع كلا الطرفين.
في Bare Sudoku
مطلوبة بدءًا من مستوى: الأستاذ
في اللعبة يقول التلميح: AIC
ألغاز الممارسة
في هذه الألغاز، AIC هي أصعب تقنية تحتاجها. كل رابط يفتح اللغز في اللعبة؛ رابط الحل يعرض كل خطوة.
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
- الأستاذ 7.0 · محل سودوكو
الأسئلة الشائعة
ما هو AIC في السودوكو؟
سلسلة استدلال متناوبة: مرشحون مرتبطون بوصلات قوية وضعيفة متناوبة، تبدأ وتنتهي بوصلة قوية. واحد على الأقل من الطرفين صحيح، لذلك أي شيء يتعارض مع كلا الطرفين يمكن أن يُحذف.
ما الفرق بين AIC وX-Chain؟
[X-Chain](x-chain) يستخدم رقمًا واحدًا فقط. AIC يمكن أن ينقل أرقام داخل خلية بمرشحين اثنين، لذلك يمكنه أن يصل أجزاء اللوحة التي سلسلة أحادية الرقم لا يمكنها.
هل XY-Chain هو AIC؟
نعم. [XY-Chain](xy-chain) هو AIC الذي وصلاته القوية كلها تقع داخل خلايا بمرشحين اثنين ووصلاته الضعيفة كلها تربط نفس الرقم. X-Chain هي الحالة الخاصة الأخرى.
لماذا يمكن لوصلة قوية أن تخدم أيضًا كوصلة ضعيفة؟
وصلة ضعيفة فقط تحتاج واحد على الأكثر من مرشحين ليكون صحيحًا. مرشحان يكونان المكانين الوحيدين للرقم في وحدة يريان أيضًا بعضهما، والمرشحان للخلية لا يمكن أن يكونا صحيحين معًا، لذلك واحد على الأكثر منهما صحيح كذلك.