Quantum Algorithm for Finding the Optimal Variable Ordering for Binary Decision Diagrams

17 Feb 2020 Tani Seiichiro

An ordered binary decision diagram (OBDD) is a directed acyclic graph that represents a Boolean function. OBDDs are also known as special cases of oblivious read-once branching programs in the field of complexity theory... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • QUANTUM PHYSICS
  • COMPUTATIONAL COMPLEXITY
  • DATA STRUCTURES AND ALGORITHMS