एक सेट समारोह एक लय submodular है अगर सभी के लिए एक , बी , एफ ( एक ) + च ( बी ) ≥ च ( एक ∪ बी ) + च ( एक ∩ बी ) ।
एक मजबूत संपत्ति है सी लेना = ए
क्या यह संपत्ति ज्ञात है?
पृष्ठभूमि
कवरेज कार्यों को चिह्नित करने की कोशिश करते हुए यह संपत्ति सामने आई। कुछ भारित ब्रह्मांड को देखते हुए (सभी वजन गैर नकारात्मक कर रहे हैं) और एक परिवार के एक्स के सबसेट के यू , कवरेज समारोह च ( एस ) के लिए परिभाषित किया गया है एस ⊆ एक्स में सेट के अंतर्गत आने वाले तत्वों का कुल वजन के रूप में एस । फ़ंक्शन च हमेशा एकरस और सबमॉडुलर होता है। यह सच नहीं है।
प्रश्न में संपत्ति का मतलब है कि मामले में एक कवरेज फ़ंक्शन है | एक्स | = ३ । इसी तरह, अधिक जटिल गुण बड़े एक्स के लिए काम करते हैं । ये सभी गुण कवरेज कार्यों से संतुष्ट हैं, इसलिए यह एक पूर्ण लक्षण वर्णन है।