बो टाई के लिए हाइपरग्राफ संतृप्ति

एर्दोस और सोस ने 50 वर्ष पूर्व k 4 के लिए, जिनमें कोई एकल्टन इंटरसेक्शन नहीं हैं, एक k-यूनिफ़ॉर्म सेट सिस्टम का अधिकतम आकार अध्ययन शुरू किया। इस काम में, हम द्वंद्व समस्या का पता लगाते हैं: बिना एकल्टन इंटरसेक्शन के, एक k-यूनिफ़ॉर्म हाइपरग्राफ का न्यूनतम आकार खोजना, ऐसा जो किसी भी गायब हाइपरजेड जोड़ने पर एकल्टन इंटरसेक्शन को मजबूर करता है। इन समस्याओं को संतृप्ति और अर्ध-संतृप्ति के रूप में जाना जाता है, जो आमतौर पर चुनौतीपूर्ण होती हैं। हमारा ध्यान एर्दोस, फ्यूरदी और तुज़ा के कार्य की पंक्ति में एक प्राथमिक-से-राज्य मामले पर है। हम k=4 के लिए तंगी रैखिक सीमाएँ स्थापित करते हैं, जो ऐसी सीमा के साथ पहले गैर-स्पष्ट मामलों में से एक को चिह्नित करता है।