二元决策图

✍ dations ◷ 2025-02-24 17:03:39 #布尔代数,图表,数据结构

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

Available OBDD Packages

相关

  • Ne1s2 2s2 2p62, 8蒸气压第一:2080.7 kJ·mol−1 第二:3952.3 kJ·mol−1 第三:6122 kJ·mol−1 (主条目:氖的同位素氖(旧译作氝,讹作氞)是一种化学元素,它的化学符号是Ne,它的原子
  • Parietal pleura壁胸膜(英语:Parietal pleura)是胸膜的一部分。壁胸膜被覆于胸壁内侧、纵隔两侧和膈上面,也突至颈根部等处。按壁胸膜衬覆部位不同分为以下部分:
  • 胃切除术胃切除术(gastrectomy)为胃的一部分或全部的切除手术治疗法。除了胃肿瘤以外,主要还是针对胃溃疡、胃损伤等病症所行使的医疗行为。胃切除术是要进行全身麻醉的手术、切除范围
  • 墨西哥湾暖流墨西哥湾流,简称湾流(英语:Gulf stream),是大西洋上重要的洋流,以及全球最大的洋流。起源于墨西哥湾,经过佛罗里达海峡沿着美国的东部海域与加拿大纽芬兰省向北,最后跨越北大西洋通
  • 德尔塔县 (密歇根州)德尔塔县(Delta County, Michigan)是美国密歇根州上半岛南部的一个县,南靠密歇根湖。面积5,158平方公里。根据美国2000年人口普查,共有人口38,520人。县治埃斯卡诺巴(Escanaba)。
  • 阿尔布雷斯特·贝尔伯林格阿尔布雷斯特·路德维希·贝尔伯林格(德语:Albrecht Ludwig Berblinger,1770年6月24日-1829年1月28日),德国乌尔姆人,滑翔翼的发明者。
  • 颜沧波颜沧波(Tsang-Po Yen,1914年5月15日-1994年2月17日),台湾基隆市人,出身望族基隆颜家,是台湾知名地质学家;曾任教于国立中央大学和国立台湾大学。颜沧波于1914年生于台湾基隆市,是台阳
  • 罗伯特·库佛罗伯特·库佛(英语:Robert Coover,1932年2月4日-)是一位撰写长短篇小说的美国作家,布朗大学的文艺系荣誉教授。一般将他的文风归类为奇幻虚构(fabulation)及后设(metafiction)小说。库
  • 安徽省巢湖管理局安徽省巢湖管理局是2011年8月地级巢湖市被撤销后成立的一个副厅级机构,由安徽省人民政府管辖,统一管理巢湖规划、水利、环保、渔政、航运、旅游等事务。
  • 泰伦虫族泰伦虫族(Tyranids,或译作泰兰虫族、异形,常被爱好者简称为Nids)是战棋游戏《战锤40000》里一支虚构的外星种族,得名于人类首次发现他们的泰伦星(Tyran)。泰伦虫族实际上来自银河系