?模函数
...集合 E 和定义在 E 的幂集合2^E（E的所有子集合构成的集合）上的一个函数 f: 2^E---> Z，f 称为次模函数（submodular function），如果 E 中的任意两个子集 A 和 B都满足下面的不等式
次模函数
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。