图书介绍

有序二叉决策图及应用【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

古天龙编著著
出版社：北京：科学出版社
ISBN：9787030250322
出版时间：2009
标注页数：275页
文件大小：12MB
文件页数：287页
主题词：数据结构

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：3fac3ff2ffab240b6a8e7e2e37ebf964

下载说明

有序二叉决策图及应用PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章布尔表达式及其描述1

1.1布尔函数1

1.1.1布尔代数1

1.1.2布尔表达式3

1.1.3布尔函数4

1.1.4布尔函数的范式6

1.2命题公式8

1.2.1命题与联结词8

1.2.2合式公式10

1.2.3命题公式的范式12

1.2.4命题公式与布尔函数13

1.3逻辑电路14

1.3.1基本逻辑门14

1.3.2逻辑电路的布尔函数15

1.4布尔表达式的其他描述形式16

1.4.1真值表16

1.4.2决策树17

1.4.3二叉决策图19

参考文献21

第2章有序二叉决策图22

2.1 OBDD及其规范型22

2.1.1 OBDD的定义22

2.1.2 OBDD的性质23

2.2 OBDD的简化算法24

2.2.1 OBDD的简化24

2.2.2简化算法27

2.3 OBDD的构造及操作30

2.3.1 OBDD的构造30

2.3.2 OBDD的操作31

2.3.3补边OBDD46

2.4 OBDD的变量序47

2.4.1 OBDD的最小化47

2.4.2 OBDD的重排序49

2.4.3 OBDD的变量序算法51

参考文献56

第3章零压缩二叉决策图58

3.1 ZBDD及其性质58

3.1.1组合集合及其表示58

3.1.2 ZBDD的定义59

3.1.3 ZBDD的性质60

3.2 ZBDD的构造及基本操作61

3.2.1 ZBDD的操作61

3.2.2 ZBDD的构造68

3.2.3补边ZBDD70

3.3.元Cube集合代数70

3.3.1基本概念70

3.3.2基本运算71

3.3.3算法实现73

3.3.4皇后问题的求解77

3.4二元Cube集合代数78

3.4.1二元Cube集的表示78

3.4.2基本操作及算法78

3.4.3数字电路设计83

3.5多项式的隐式表示85

3.5.1变量次数的表示85

3.5.2多项式系数的表示86

3.5.3算术操作的算法实现87

参考文献91

第4章代数决策图93

4.1 ADD及其性质93

4.1.1 ADD的定义93

4.1.2 ADD的矩阵表示95

4.2 ADD基本操作96

4.2.1布尔操作96

4.2.2算术操作98

4.2.3提取操作100

4.3矩阵乘法计算104

4.3.1准环和半环104

4.3.2半环上的矩阵乘算法105

4.3.3准环上的矩阵乘算法108

参考文献111

第5章边值二叉决策图112

5.1 EVBDD及其性质112

5.1.1 EVBDD的定义112

5.1.2 EVBDD的规范性114

5.2操作及其算法118

5.2.1 Apply操作118

5.2.2操作的性质122

5.3整数线性规划求解126

5.3.1 0-1整数规划求解算法126

5.3.2改进算法127

5.3.3 minimize函数132

5.4函数分解135

5.4.1函数分解的定义136

5.4.2无交集函数分解136

参考文献138

第6章二叉矩量图139

6.1 BMD定义及性质139

6.1.1函数分解规则139

6.1.2 BMD的定义141

6.1.3 BMD的规范性142

6.1.4*BMD的定义143

6.1.5 * BMD的构造算法147

6.2*BMD的操作算法150

6.2.1整数函数的表示150

6.2.2 * BMD的加法操作151

6.2.3*BMD的乘法和幂操作154

6.2.4布尔函数的表示及操作157

6.2.5仿射置换158

6.3算术电路验证160

参考文献162

第7章时间变量决策图163

7.1差分约束163

7.1.1差分约束表达式163

7.1.2差分约束系统166

7.2差分决策图169

7.2.1有序差分决策图169

7.2.2局部简化DDD171

7.2.3路径简化DDD172

7.2.4完全简化DDD177

7.3 DDD的构造及操作179

7.3.1 DDD的构造179

7.3.2 RLDDD上的操作182

7.4赋时二叉决策图194

7.4.1赋时布尔函数194

7.4.2赋时布尔函数BDD197

7.4.3赋时二叉决策图201

参考文献202

第8章应用专题203

8.1符号模型检验203

8.1.1计算树逻辑203

8.1.2 CTL的模型检验207

8.1.3 CTL的符号模型检验212

8.2网络优化215

8.2.1网络最大流问题215

8.2.2 0-1网络最大流问题的符号算法217

8.2.3最大流问题的符号算法222

8.3装配序列规划228

8.3.1装配序列的符号表示228

8.3.2装配序列的符号生成232

8.3.3基于MIPS的装配序列生成238

8.4 Petri网分析247

8.4.1基于OBDD的符号分析247

8.4.2 Petri网调度的符号算法258

参考文献264