پیمایش

ز گرد خانه خرابان جهان سیاه شود به هر طرف که فتد چشم باده پیمایش

در یک بار پیمایش گراف انجام دهیم به این ترتیب تنها به دو جستجوی اول عمق نیاز داریم

طاعت حق کن و بگذر ز شمار طاعت ره مپیما و برو فرصت پیمایش نیست

تا چند به پیمایش این شیب و فرازی؟ بالاتر از این بود تو را پایه والا

جهان‌پیمایش از گیتی‌نوردی گرو برده ز چرخ لاجوردی

جانست مرا لعلش در ما چه زنی آتش با دست سر زلفش زنهار مپیمایش

جز سمند بادپیمایش به هنگام مسیر جز حسام ابر سیمایش به وقت‌ کارزار

حال بیداری شمع از دل رنجور بپرس که چه آمد به سر از دیده شب پیمایش

اکنون اگر بتوانیم مسیری هامیلتونی در این گراف بیابیم، در این صورت ترتیب پیمایش گراف، همان تعریف مطلوب است. الگوریتم مورد بحث نیز یک مسیر معتبر ارائه می‌دهد.

من از رنگِ صَلاح آن دَم به خونِ دل بِشُستم دست که چشم باده پیمایش صلا بر هوشیاران زد

به‌طور مداوم و با تکرار این کار را بر روی رأس‌های فهرست انجام می‌دهد. زمانی که راسی برچسب‌گذاری شد به جلوی فهرست می‌رود و الگوریتم کار پیمایش را از اول شروع می‌کند. به این علت است که این الگوریتم برچسب رو به جلو نام گرفته‌است.

این الگوریتم ترکیبی بر پایهٔ جستجو در مجموعه ای از متغیرها و استنتاج بر روی متغیرهای دیگر استوار است. به‌طور خاص، در جهت عکس پیمایش کردن، یا روش‌های دیگر جستجو روی تعدادی از متغیرها اعمال می‌شود؛ هرگاه یک گمارش جزئیسازگار روی این متغیرها یافت شود، استنتاج روی متغیرهای باقی‌مانده اعمال می‌شود تااطمینان حاصل کند که آیا این گمارش جزئی می‌تواند گسترش یابد تا یک راه حل را شکل بدهد.

مثال زیر یک ماتریس ۳ در ۴ را به صورت ستونی پیمایش می‌کند.

ز گرد سم سبک باد سیر پیمایش هنوز مانده بر آینه فلک زنگار

به گفتهٔ نویسندهٔ فیلم‌نامه «ترنس رتیگان»، قصهٔ این فیلم بر اساس داستانِ واقعیِ زندگیِ هنرپیشهٔ آمریکایی «ویوین لی» است که قصد داشت به همراه عاشق خود «پیتر فینچ» با هواپیما از لندن خارج شده و همسرش «لارنس الیویه» را ترک کند، اما به دلیل هوای مه‌آلود، پرواز هواپیمایشان در فرودگاه هیثرو به تأخیر می‌افتد.

حال ما شروع به تبدیل درخت به پیمایش پیش ترتیب می‌کنیم، برای ارزیابی هر زیر درخت تعداد ثبات‌های لازم را تخصیص می‌دهیم.