二元决策图

✍ dations ◷ 2024-12-23 18:37:51 #布尔代数,图表,数据结构

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

Available OBDD Packages

相关

  • 介观介观物理学是物理学中一个新的分支学科。“介观(mesoscopic)”这个词汇,由Van Kampen于1981年所创,指的是介乎于微观和宏观之间的尺度。介观物理学所研究的物质尺度和纳米科技的
  • 马萨诸塞州行政区划美国马萨诸塞州一共有14个县,其中的8个县没有自己的政府,只有5个县拥有自己的独立政府,分别是巴恩斯特布尔县、布里斯托尔县、杜克斯县、诺福克县和普利茅斯县。而楠塔基特县则
  • 阿波罗17号月球样本展品阿波罗17号月球样本展品是由一颗70017号月球玄武岩的月岩碎粒和受赠方旗、二块附有文字说明的小金属牌组成。这一来自阿波罗17号任务的友善礼物以木制纪念牌匾展件的形式分
  • 血色素沉着症血色沉着病(Hemochromatosis),又名血色素沉着症、血铁沉积症或血色病是指:
  • 匈牙利行政区划匈牙利一级行政区分为三种:州下分镇、村两级。另外设有七个大区,一般期望能取代十九州建制:在这七个分区的基础上,欧盟划分为三个统计区(NUTS1):中匈牙利、大平原和北部和多瑙河外
  • 雁形目雁形目(学名:Anseriformes)是脊索动物门鸟纲的一个目。本目的鸟在中文中通常被称为“鸭”或“雁”,包括了人们通常所说的鸭、潜鸭、天鹅、各种雁类等鸭雁类(或雁鸭类)的鸟。本目的
  • 全球最为繁忙的城市机场系统该列表按照城市都会区内包含的全部机场计算。大伦敦都会区拥有6座商业机场,成为全球最繁忙的城市机场系统,而亚特兰大国际机场是世界上最繁忙的个体机场。
  • 罗伯特·布绕特罗伯特·布绕特(英语:Robert Brout,1928年6月14日-2011年5月3日),比利时理论物理学家,在粒子物理学领域做出重要贡献。1964年,布绕特和弗朗索瓦·恩格勒共同提出希格斯机制与希格斯
  • 拉里·米勒拉里·米勒(英语:Larry Miller,1953年10月15日-)是美国的一位演员。他出生在纽约州谷溪,是一位犹太人。
  • 华硕Eee Pad Transformer2011年3月25日: 台湾 2011年4月6日: 英国 2011年4月26日: 加拿大、美国 2011年5月7日: 法国、瑞典 电容式多点触控显示屏、加速度感应器 加速计、磁力计、环境光源感测 距离