求解约束网络图的逆向推理方法

摘要

本文研究了几何约束网络的求解问题.首先,介绍了常用的几何推理方法,指出了存在的问题.然后,提出了求解约束网络图的一种新方法-逆向推理方法,阐明了基本思想,并给出了应用实例.逆向推理方法继承了几何推理方法的优点,克服了其不足.