thedays.cn
今日百科
百科
登录
注册
首页
>
二元决策图
✍ 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届