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