子模函数的最大化是经典的 NP-hard 问题，但利用曲率等参数可设计具有近似保证的贪心算法。