几何约束求解中分离图完备的充要条件

• Sufficient and Necessary Condition for Split Graphs Completion in Geometric Constraint Solving