二元决策图

✍ dations ◷ 2025-05-10 15:22:12 #布尔代数,图表,数据结构

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

Available OBDD Packages

相关

  • 抑郁性障碍抑郁症,亦称忧郁症,是一类以抑郁心境为主要特点的情感障碍。它主要包括:重度抑郁症、持续性抑郁症、季节性抑郁症。它们的共同表现为:长时间持续的抑郁情绪,并且这种情绪明显超过
  • 2-甲基-2-丁醇2-甲基-2-丁醇,或称叔戊醇,学名结构式(CH3)2C(OH)CH2CH3。无色液体。易燃,燃烧时具有类似樟脑的气味。溶于8倍的水,水溶液对石蕊呈中性。与乙醇、乙醚、氯仿、苯、甘油和油类混
  • .ir.ir为伊朗国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az   B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .bn
  • 朱以海明义宗朱以海(1618年7月6日-1662年12月23日),字巨川,号恒山,别号常石子。朱以海是明太祖第十子鲁荒王朱檀的九世孙(明思宗的叔父辈),鲁肃王朱寿镛第五子,“鲁王”朱以派之弟,藩封在兖州
  • 雷奈·克莱门特雷奈·克莱门特(René Clément,1913年3月18日-1996年3月17日)是一位法国电影导演,代表作为《禁忌的游戏》。
  • 警察总局警察总局(葡萄牙语:Serviços de Polícia Unitários,缩写为SPU),是中华人民共和国澳门特别行政区政府保安司辖下的部门。澳门特别行政区政府于2001年正式在治安警察局及司法警
  • 开运算 (形态学)在数学形态学中,开运算 被定义为先腐蚀后膨胀。其中  ⊖ {\displaystyle \ominus } 和 ⊕ {\displays
  • 四氟乙烯四氟乙烯,结构式F2C=CF2。无色气体,不溶于水。有毒。在加有阻聚剂的钢瓶或受压容器中低温储存。由一氯二氟甲烷经气化、热裂解产生。经水洗、碱洗、压缩、冷冻脱水、干燥、分馏
  • 斯坦尼斯瓦夫·莫克罗诺夫斯基斯坦尼斯瓦夫·莫克罗诺夫斯基(波兰语:Stanisław Mokronowski,1761年-1821年于华沙)是博格里亚纹章下的著名波兰有地贵族。为波兰军队将军和王室管家,莫克罗诺夫斯基参与了1792年
  • 2016年伊朗议会选举阿里·拉里贾尼 原则主义者联合阵线阿里·拉里贾尼 希望名单2016年伊朗议会选举举行于2016年2月26日,选举出伊斯兰共和国时期的伊朗第10届议会,或自波斯立宪革命以来的第34届