Related terms:
transitive reduction
reachability relation
may be represented
directed path
graph may
topological ordering
directed acyclic
hasse diagram
directed acyclic graph
reachability
orienting
boolean function
bdd
directed graph
each edge
linear time
multiplexer
ordering
Wikipedia sources:
Binary decision diagram
Directed acyclic graph
Context for words:
binary
decision
|
|