متن رسمی اعتراض برای سوال ۱۱۷: (دوستان عکس ازکتاب پارسه هست و درکتاب راهیان ارشد هم یک مثال هست دراین رابطه که هیچ گونه بحثی از عقبگرد نشده است و فقط بحث توقف هست-خواهشا دوستان اعتراض بزنند)
"
کلید اولیه سوال ۱۱۷ اشتباه است و گزینه ی درست یک میباشد.(طبق دفترچه c)
دلیل:
با توجه به کد الگوریتم AC-3 که به پیوست تقدیم میشود،دراین الگوریتم قبل از شروع جستجو وبعد از هرمقداردهی،سازگاری کمانی تمام همسایه را بررسی میکنیم تامقداردهی های ناسازگار راحذف کنیم.ابتدا تمام همسایگان را بصورت زوج مرتبهای (Xi,Xj) به صف بررسی اضافه میکنیم.سپس مقادیر مجاز Xi و Xj بررسی میشوند تا سازگار باشند اگر نبودند مجبوریم از Xi مقادیر ناسازگار را حذف کنیم تا به سازگاری کمانی برسیم.حال آنکه از Xi مقادیری حذف شده باید سازگاری کمانی تمام همسایگان Xi باخود Xi بررسی شود پس زوج مرتب های (Xk,Xi) برای بررسی مجدد به صف وارد میشوند.این کار آنقدر انجام میشود که یا یک متغیر، دیگر مقدار مجاز نداشته باشد دامنه ی یک متغیر خالی شود(شکست) یا اینکه تمام زوجهای قابل بررسی از صف حذف شوند واین یعنی اینکه به حالت سازگار رسیده ایم.
و درهیچ جایی از کد این اگوریتم بحثی از عقبگرد ویا شروع از یک وضعیت دیگر،نشده است.
لازم بذکر است متن عکس پیوست شده، توضیحات این الگوریتم هست که توسط یکی از اساتید دانشگاههای برتر ایران تشریح شده است.
لینک عکس کد و توضیحات الگوریتم AC-3:
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
"
نه فقط اول سوال رو . البته قبول دارم این سوال خیلی خام و ناکامله ولی من شخصا فک میکنم منظور سوال کلا توقف نباشه بحث روی عقبگرد کردن و بستگی داشتنه ولی به هر حال اگه فک میکنید توقف می تونه جواب باشه اعتراض بزنید من هم برای جواب عقبگرد اعتراض زدم چون با توجه به اینکه در سوال گفته شده اگر در حین اجرا دامنه تهی بشه "قدم بعدی" چیه؟(نه اینکه الگوریتم وارد چه وضعیتی میشه) به نظر من فارغ از اینکه در چه مرحله ای هستیم قدم بعدی عقبگرد هست و بعد در مورد توقف یا انتخاب متغییر دیگه تصمیم گیری میشه
