نهج البرمجة شبه المحددة لعائلات متقاطعة 2-المتصلة

ليكن k 2 و n 3 (k-1). لتكن F و G عائلات من مجموعات فرعية من k عنصر من مجموعة تتكون من n عنصر. لنفترض أن |F G| 2 لجميع F و G. نحن نُظهر أن |F||G|-2k-2²، ونحدد التكوينات القصوى. هذا يحل آخر حالة غير محلولة من نتيجة حديثة قدمها زانج وو (J. Combin. Theory Ser. B, 2025). نحن نحصل أيضًا على النتيجة المقابلة في إعداد قياس المنتج. تم إثبات ذلك من خلال حل مشاكل البرمجة شبه المحددة.