جدول المحتويات:
تعريف - ماذا يعني التراجع؟
التراجع هو خوارزمية لالتقاط بعض أو كل الحلول لقضايا حسابية معينة ، خاصةً فيما يتعلق بقضايا رضاء القيود. لا يمكن استخدام الخوارزمية إلا للمشاكل التي يمكن أن تقبل مفهوم "الحل الجزئي للمرشح" وتسمح بإجراء اختبار سريع لمعرفة ما إذا كان حل المرشح يمكن أن يكون حلاً كاملاً. التراجع يعتبر تقنية مهمة لحل مشاكل الرضا والألغاز. كما أنه يعتبر تقنية رائعة للتحليل ويشكل أيضًا أساس العديد من لغات البرمجة المنطقية.
تيكوبيديا يوضح التراجع
يساعد التراجع في حل مشكلة شاملة من خلال إيجاد حل للمشكلة الفرعية الأولى ثم محاولة متكررة لحل المشكلات الفرعية الأخرى بناءً على حل المشكلة الأولى. إذا تعذر حل المشكلة الحالية ، فسيتم التراجع عن الخطوة ويتم تطبيق الحل التالي المحتمل على الخطوات السابقة ، ثم المتابعة. في الواقع ، واحدة من الأشياء الرئيسية في التراجع هي العودية. كما أنه يعتبر وسيلة للبحث الشامل باستخدام فرق تسد. تنتهي خوارزمية التراجع عندما لا تكون هناك حلول أخرى للمشكلة الفرعية الأولى.
التراجع هو خوارزمية يمكن أن تساعد في تحقيق تنفيذ اللاحتمية. يستغرق البحث في العمق الأول لمساحة قضية معينة. يستخدم في الغالب في لغات البرمجة المنطقية مثل Prolog. أينما يمكن التراجع ، يكون أسرع من تقنية القوة الغاشمة ، لأنه يلغي عددًا كبيرًا من المرشحين باختبار واحد.
