- Framework
- Discrete structure processing technology = Index structure + Basic operations
- What is an index structure?
- Example: Decision diagrams (ZDD, BDD, etc.)
- An “index” is a compressed and easy-to-handle version of a simple “binary tree” that represents a logical function.
- Examples of index structures include BDD and ZDD.
- What are basic operations?
- Operations that deal with index structures.
- Examples of basic operations for decision diagrams include logical operations, counting, linear function maximization, sampling, etc.
- How to apply it: Reduce a problem to a known index structure and combine various basic operations on it.
Discrete Algorithms
(Expert in Information Science)