Computing and restoring global inverse consistency in interactive constraint satisfaction

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