Category:Binary decision diagrams
跳转到导航
跳转到搜索
English: In the field of logic, in particular in symbolic model checking, a Binary decision diagram is a data structure used to represent a Boolean function. It is neither to be confused with a decision tree (use Category:Tree structures for that), nor with a flow chart (Category:Flow charts).
data structure  | |||||
| 上传媒体 | |||||
| 上级分类 |
| ||||
|---|---|---|---|---|---|
| 用途 |
| ||||
| |||||
 | |||||
分类“Binary decision diagrams”中的媒体文件
以下29个文件属于本分类，共29个文件。
-
BDD Beispiel.png 241 × 257；4 KB
-
BDD diagram with complemented edges 2.png 164 × 537；22 KB
-
BDD diagram with complemented edges.png 293 × 443；27 KB
-
BDD simple.png 189 × 241；8 KB
-
BDD simple.svg 189 × 241；5 KB
-
BDD Variable Ordering Bad.png 638 × 435；41 KB
-
BDD Variable Ordering Bad.svg 638 × 435；29 KB
-
BDD Variable Ordering Good.png 156 × 435；10 KB
-
BDD Variable Ordering Good.svg 156 × 435；8 KB
-
BDD Variable Ordering VisuBDD Bad.png 518 × 32；288字节
-
BDD.png 723 × 319；27 KB
-
BDD2pdag simple.svg 256 × 274；18 KB
-
Figure 11- a three by three grid.png 1,596 × 1,410；256 KB
-
Figure 11- a three by three grid.svg 512 × 452；2 KB
-
-
-
Figure 13- ZDD for the simple paths of a three by three grid.png 642 × 1,278；209 KB
-
Figure 13- ZDD for the simple paths of a three by three grid.svg 512 × 1,043；4 KB
-
Figure 3 Elementary family in ZDD.png 206 × 256；14 KB
-
Figure 3 Elementary family in ZDD.svg 125 × 185；1 KB
-
Figure 4 ZDD family set.png 272 × 364；22 KB
-
Figure 4 ZDD family set.svg 136 × 329；2 KB
-
Figure 6 ZDD family.png 328 × 354；23 KB
-
Figure 6 ZDD family.svg 140 × 329；2 KB
-
Figure 7& 8 ZDD vs BDD.png 1,304 × 392；174 KB
-
Figure 9 & 10 Results in N-Queens Problem and benchmarking against BDD.png 1,446 × 544；195 KB
-
Figure4 Families in ZDD.png 230 × 252；13 KB
-
Figure4 Families in ZDD.svg 51 × 184；1 KB
-
ZDD node elimination.png 1,526 × 414；139 KB
