هر مسئلهای که به صورت دقیق تعریف شود، رابطههای خروجی مجاز را مشخص میکند و انتزاع ساختاری به ما امکان میدهد مرزهای محاسباتی را درک کنیم. قضیه خارج قسمت معنای دقیق، معادل خروجی مجاز را به عنوان شیء اصلی بازیابیشده توسط تصدیق ارتباط دقیق شناسایی میکند. این پژوهش محدودیتهای غیرممکن فرا-متایی را برای محمولات ساختاری قابل بررسی کارآمد نشان میدهد؛ محمولاتی که تحت قوانین بستار تحمیلشده توسط تصدیق دقیق عمل میکنند.
خانوادههای قابل حل دارای پایههای اولیه متناهی هستند و قابلیت تحقق خارج قسمت بهینهساز یک مرز بیشینه را تشکیل میدهد. با این حال، شکل خارج قسمت نمیتواند مرز قابلیت حل را مشخص کند. خلاصههای بدون اعوجاج، کرانهای آنتروپی خارج قسمت، و شمارش تکیهگاه این محدودیتها را روشن میکنند. اختلافات مدار یکسان در چهار خانواده مانع، در صورت استفاده از شاهدداران آفینی مستقل از عمل، منجر به تناقض میشوند.
در نتیجه، هیچ طبقهبندیکننده صحیح قابلیت حل مسئله در یک دامنه بستار-بسته، مشخصسازی دقیقی روی این خانوادهها ارائه نمیدهد. محدود کردن به زیردامنه بستار-بسته تنها با حذف شکافهای مدار کمک میکند. کنترل شکاف فشرده یکنواخت، خارج قسمت بهینهساز کامل را حفظ میکند، در حالی که اختلالات دلخواهاً کوچک میتوانند ارتباط و کفایت را معکوس کنند. توافق مدار-بستار توسط صحت تحمیل میشود و همین مانع هزینه محاسباتی به محاسبه بهینهساز، جستجوی بار مفید، و خروجیهای خارجی پشتیبانیشده توسط قضیه گسترش مییابد.
این مانع در سطح صحت خودش ظاهر میشود، نه در هیچ قالب خروجی خاصی. محدودیتهای بنیادین از اصول انتزاع ساختاری ناشی میشوند، نه از انتخابهای ارائه. تغییرات کوچک در پارامترهای مسئله میتوانند پیچیدگی محاسباتی را به شکلهای غیرمنتظرهای تغییر دهند و چشمانداز ظریف قابلیت حل الگوریتمی را آشکار سازند.
این یافتهها نشان میدهند که قابلیت حل محاسباتی را نمیتوان با محمولات ساختاری ساده تبیین کرد و مرزهای بین مسائل قابل حل و غیرقابل حل، اساساً ظریف و وابسته به زمینه باقی میمانند.
گفتگو