基于几何抽象的约束问题求解

摘要

基于解方程的约束求解，通常有计算复杂，不利于约束管理等缺点。本文提出的基于几何抽象的约束求解，通过几何抽象来表达约束，并利用约束网的形式，在上层进行几何化简推导和运算，获得约束解集。