একটি সেট-ফাংশন হ'ল মনোোটোন সাবমোডুলার যদি সমস্ত এ , বি , ফ ( এ ) + চ ( বি ) ≥ ফ ( এ ∪ বি ) + এফ ( এ ∩ বি ) হয় ।
একটি শক্তিশালী সম্পত্তি হ'ল সি = এ গ্রহণ করা
এই সম্পত্তি জানা হয়?
পটভূমি
এই সম্পত্তিটি কভারেজ ফাংশনগুলিকে চিহ্নিত করার চেষ্টা করার সময় উপস্থিত হয়েছিল। কিছু ভরযুক্ত মহাবিশ্ব দেওয়া (সব ওজন অ নেতিবাচক) এবং একটি পরিবার এক্স এর সাব-সেট নির্বাচন এর ইউ , কভারেজ ফাংশন চ ( এস ) জন্য সংজ্ঞায়িত করা হয় এস ⊆ এক্স মধ্যে সেট দ্বারা আচ্ছাদিত উপাদানের মোট ওজন যেমন এস । ফাংশন এফ সর্বদা একঘেয়ে এবং submodular হয়। কথোপকথনটি সত্য নয়।
প্রশ্নে সম্পত্তি যে বোঝা মামলার কভারেজ ফাংশন | এক্স | = 3 । অনুরূপ, আরও জটিল বৈশিষ্ট্য বৃহত্তর এক্স এর জন্য কাজ করে । এই সমস্ত বৈশিষ্ট্য কভারেজ ফাংশন দ্বারা সন্তুষ্ট, সুতরাং এটি একটি সম্পূর্ণ বৈশিষ্ট্য।