To handle the above challenges without approximation, we want to decompose the original problem into subproblems where each subproblem can be solved efficiently.
we want the subproblems to be free of cycles and highdegree nodes.