次模函数(Submodular Function)概念及 AI 应用 | 极客日志