@
一、推理问题的分类

二、变量消元法

2.1 示例1




2.2 示例2





变量消元的顺序并不是固定的,可以任意改变

2.3 变量消元法时间复杂度分析

2.4 导出图


2.5 变量消元法消元顺序

三、小结

浙公网安备 33010602011771号