计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
1期
180-184
,共5页
大规模OBDDs%共享OBDDs%互补边%数据结构
大規模OBDDs%共享OBDDs%互補邊%數據結構
대규모OBDDs%공향OBDDs%호보변%수거결구
顺序二元决策图OBDDs的规模随着变量数量的增多呈指数形式增长.为了克服大规模OBDDs数据的描述和存储困难,提出了一种带有互补边的共享OBDDs的数据结构,并定义了一组OBDDs节点的关键属性,该数据结构融合了共享OBDDs和带有互补边的OBDDs的特点.最后通过存储空间实例对比分析,证明了该数据结构能够有效描述和存储大规模OBDDs数据.
順序二元決策圖OBDDs的規模隨著變量數量的增多呈指數形式增長.為瞭剋服大規模OBDDs數據的描述和存儲睏難,提齣瞭一種帶有互補邊的共享OBDDs的數據結構,併定義瞭一組OBDDs節點的關鍵屬性,該數據結構融閤瞭共享OBDDs和帶有互補邊的OBDDs的特點.最後通過存儲空間實例對比分析,證明瞭該數據結構能夠有效描述和存儲大規模OBDDs數據.
순서이원결책도OBDDs적규모수착변량수량적증다정지수형식증장.위료극복대규모OBDDs수거적묘술화존저곤난,제출료일충대유호보변적공향OBDDs적수거결구,병정의료일조OBDDs절점적관건속성,해수거결구융합료공향OBDDs화대유호보변적OBDDs적특점.최후통과존저공간실례대비분석,증명료해수거결구능구유효묘술화존저대규모OBDDs수거.
