刀具补偿分（）两种。

All known techniques for handling complex problems successfully seem to fall into one of the three classes: subdividing the problem (51) , ignoring irrelevant detail in a safe way (52) , and having an independent agent (53) the internal consistency (contextual checking). The first two provide guidelines for solving the problem, the third serves to provide early warnings. A good programming language supports all three.

In subdividing problem, some of the subproblems may be similar to the (54) problem. It leads us to a (55) solution. This (55) solution is viable provided each of the subproblems is easier to solve than the original problem.

（52）是（）

A.abrogation

B.abstraction

C.composition

D.contraction