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

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