https://123dok.net/document/zlgv8712-approximation-algorithm-monotone-submodular-packing-general-exchange-systems.html