一组功能是单调的子模如果对所有甲,乙, ˚F (甲)+ ˚F (乙)≥ ˚F (甲∪ 乙)+ ˚F (甲∩ 乙)。
更强的属性是 取C = A
,这个属性意味着单调子模。
此属性已知吗?
背景
尝试表征coverage功能时出现此属性。鉴于一些加权宇宙(所有重量都是非负的)和家族X的子集的ü,覆盖函数˚F (小号)被用于定义小号⊆ X如通过套覆盖元件的总重量小号。函数f总是单调和亚模的。事实并非如此。
有关财产意味着是在案件的覆盖函数| X | = 3。类似的,更复杂的工作性质较大的X。覆盖函数满足所有这些属性,因此这是一个完整的特性。