پس پیمایی
پس‌پیمایی (Backtracking)
(یا: ردیابی شاخه‌ای) روشی که برای یافتن پاسخ یک مسئله، راه‌حل‌های مختلف را آزمایش می‌کند. این راه‌حل‌های مختلف را می‌توان به‌صورت شاخه[۱]های یک درخت[۲] مشاهده نمود. در فرآیند جست‌وجو و عقب‌گرد، یکی از شاخه‌ها از اول تا آخر مورد بررسی قرار می‌گیرد. چنانچه این برنامه پس از رسیدن به پایان شاخه، به نتیجه مورد نظر دست نیافت، به عقب برگشته و شاخه دیگری را امتحان می‌کند.