submodular decomposition