The ordering of the basic events is crucial to the size of the resulting BDD and the analysis speed, so the optimal ordering is a key part of the analysis.

 
  • 在转化的过程中,基本事件的排序对二元决策图的规模和计算速度有着直接的影响。寻找基本事件的最优排序是该方法的重点。
今日热词
目录 附录 查词历史