التعقب الخلفي

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

فعلى سبيل المثال تحاول الخوارزمية التي تحلّ مسألة سودوكو SudoKO ملء الأرقام في الجدول رقمًا تلو الآخر، وعندما ترى الخوارزمية أنّ الرقم الحالي لا يؤدي إلى الحل، تحذف الخوارزمية ذلك الرقم (تتعقب خلفيًا) وتحاول العدد التالي. هذه الطريقة أفضل من الطريقة البسيطة لأنّها تتخلّص من عدد من الحالات عند إجراء عملية التعقب الخلفي.