Problem decomposition