二元决策图

✍ dations ◷ 2025-07-21 12:41:48 #布尔代数,图表,数据结构

在计算机科学中,二元决策图(英语:binary decision diagram, BDD),或译为二元判定图,是被用来表达一个布尔函数的一种数据结构。

Available OBDD Packages

相关

  • 法兰西共和国临时政府法兰西共和国临时政府(法语:Le Gouvernement provisoire de la République française,简称GPRF)是指自1944年至1946年管理法国(国号为法兰西共和国)的临时政府。1944年6月3日,法
  • 气候分类气候分类系统是对世界上的气候进行分类的方法。气候分类的方法可能会与生物群落的分类紧密相关,因为气候是影响生物分布的主要因素之一。由于世界各地气候的差异明显,在同一局
  • 明律《大明律》,全名为《大明律集解附例》,是明代的法令条例,由开国皇帝朱元璋总结历代法律施行的经验和教训而详细制定而成。按《明史·刑法志》,元至正二十五年(1365年),朱元璋占领武
  • 第五机械工业部1963年,第五机械工业部由第三机械工业部分出。1982年,第五届全国人民代表大会常务委员会第二十三次会议审议了国务院机构改革实施方案和赵紫阳总理关于国务院机构改革进展情况
  • 勒维斯托克山国家公园雷夫尔斯托克山国家公园(英语:Mount Revelstoke National Park)是一座位于加拿大不列颠哥伦比亚的国家公园,建于1914年。
  • 青岛前湾港区1号疏港高速公路青岛前湾港区1号疏港高速公路,简称青岛前湾港区1号疏港高速,高速公路网编号为S7601,是中国青岛市黄岛区连通青岛前湾港的一条疏港高速公路,全长5.98km,双向四车道,时速限制为100公
  • 大蛇王《大蛇王》(英文:),是台湾1984年的电影。一研究所秘密研制一种“生长激素”可让生物的生长速度提高300-1000倍。就要成功时研究所被黑手党袭击,而生长激素意外落入一个小女孩手里
  • 锡安广场锡安广场(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
  • 王远芬王远芬(1906年-1962年),安徽金寨人。中国人民解放军将领、中国人民解放军开国少将。1931年,参加红军,同年加入中国共产党。曾任红四方面军排长、连指导员、营教导员、团参谋长等。
  • 四的法则《四的法则》(英语:)是美国小说家伊恩·柯德威及达斯汀·汤玛逊于2004年所合著小说,主要围绕《寻爱绮梦》,一本被认为是历史上一本不寻常的书籍。华纳兄弟已经购入该小说改编版权