Data structureadvanced
Zero-suppressed binary decision diagram
Also called ZDD, zero-suppressed decision diagram.
A decision diagram that suppresses nodes whose high child is 0, representing families of sets compactly.
A decision diagram that suppresses nodes whose high child is 0, representing families of sets compactly.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag 73ZZQJ Edit this page History Report an error