عرض ضيق صارم لمشاكل تحقيق القيود على الهياكل المتجانسة ذات الثنائيات المنتهية

نحقق في مبدأ "الاتساق المحلي يعني الاتساق العالمي" للعرض الضيق بين الهياكل ضمن نطاق فرضية تباين بوديرسكي-بينسكي لمشاكل تحقيق القيود (CSPs) على المجالات اللانهائية. نتج عن نتائجنا الرئيسية أنه بالنسبة لبعض قوالب CSP ضمن نطاق تلك الفرضية، فإن وجود عرض ضيق محدود له نتيجة ملموسة على القوة التعبيرية للقالب المسماة البساطة الاستدلالية. وهذا بدوره ينتج عنه حد واضح على العرض العلاقي لـ CSP، أي مقدار الاتساق المحلي اللازم لضمان القابلية للحل لأي حالة. تنطبق نتائجنا على التوسعات من الدرجة الأولى لأي هايبرغراف متجانس k-عادل، ولكن بشكل أكثر عمومية على أي قالب CSP تحت فرضية الثنائيات المنتهية وظروف تجريدية عامة بشكل أساسي على مجموعة التحويلات الذاتية الخاصة به. على وجه الخصوص، تتجاوز القيود المفروضة على التوقيعات الثنائية في العمل الرائد لوورونا.