First, this paper introduces the principle and correlative conclusions of HDD, and illuminates the important of variable ordering to a BDD.

• 本文首先介绍了BDD的原理与相关结论，说明了变量编序对于BDD规模(节点数和路径深度)大小的影响。