The method of geometric reduction simplifies the loop to a reducibility tree and clarifies the structure of the loop.

• 几何归约法将约束闭环子图归约简化为层次分明的归约树，并进一步明确了闭环的组成和结构；