However, there are exponentially many different combinations of corrections, and it is not possible to consider all combinations.
instead of solving the original inference problem, we will solve an approximate inference problem by introducing the following decomposable assumption: Measuring the output quality of multiple corrections can be decomposed into measuring the quality of the individual corrections.