它问的问题

草图上一堆约束，系统怎么知道该动哪一个、会不会无解？

他们怎么做的

把约束写成非线性方程组，先按图结构分解成可独立求解的子问题，再对剩余部分做数值迭代。

证据

主流 CAD 的约束求解器都基于分解 + 数值方法；过约束与欠约束能被结构性检出。

别信太多

分解失败时退回整体数值求解，规模一大就慢；病态约束会让解在几次重建之间跳变。

适用边界

多解时通常只返回一个解，不保证是设计意图；病态问题的收敛依赖初值。

课堂任务

给一个含过约束的草图，定位冲突约束，再改成欠约束并列出剩余自由度。