次模性是集合函数的一个属性，具有深层的理论意义和深远的应用前景。拥有着次模性的函数称为次模函数。次模函数优化简称为次模优化。近年来，次模优化开始在机器学习和数据挖掘方面得到应用，包括自动摘要、多文档摘要、自动提取、主动学习、传感器放置等多个方面。

2019-6-15更新要期末考试啦，翻了下书，发现第8个函数divpwr2中的偏置值为2^n-1的证明就在教材中，教材是华章教育的《深入理解计算机系统》（原书第2版），证明部分在P64-P66。