优化集

majorized set