تعتبر لعبة السودوكو واحدة من أهم تحديات الإرضاء عن القيود المتمثلة في حاجة اللاعب إلى التفكير بصورة هيكلية عالمية تحت ضوابط صارمة. تنشأ التحديات في هذين النموذجين السائدين لحل السودوكو: الأسلوب التقليدي القائم على الهيستيريا (heuristic) وحلول التعلم العميق. ومع ذلك، يواجه كلا الأسلوبين قيودًا متكاملة؛ حيث تفتقر الحلول المعتمدة على التعلم إلى ضمانات صارمة للصحة، بينما لا تزال الحلول الرمزية الكاملة تعاني من البحث الطويل عند مواجهة الحالات الصعبة.

استجابة لتلك المشكلات، نقدم نموذج DiBS (اختيار الفروع المدعوم بالنماذج التفيزيونية)، الذي يعزز من كفاءة عملية البحث بذكاء. يُبقي هذا النموذج الحكم الرمزي كاملاً، ويستخدم النماذج التفيزيونية كدليل لترتيب الفروع. تعتمد الطريقة الأساسية على تصنيف القيم المرشحة بحسب التخصيص الجزئي الحالي وإشارات التناسق الخفيفة.

قمنا بتقديم تحليل نظري شامل يكشف كيفية عمل هذا النموذج ولماذا يحقق النتائج المرغوبة. وأظهرت التجارب التي أُجريت على معيار السودوكو الصعب بعنوان Royle 17-clue أن DiBS يقلل بشكل كبير من تكاليف البحث مقارنة بأساليب الهيستيريا القوية، خاصة من حيث عدد العقد، والتراجع، والنسب المئوية الطويلة.

تؤكد تلك النتائج أيضًا أن التوجيه العالمي المكتسب فعال ضد الحالات الصعبة حيث تكون أخطاء ترتيب الفروع مكلفة للغاية. للمزيد من التفاصيل، يمكنكم زيارة GitHub لمشروع DiBS.