Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs.
Yoav Ben ShimonOrr FischerRotem OshmanPublished in: SIROCCO (2022)
Keyphrases
- related problems
- directed graph
- labeling scheme
- transitive closure
- directed acyclic graph
- random walk
- xml query processing
- expressive power
- undirected graph
- graph structure
- disjoint paths
- insertions and deletions
- strongly connected
- xml data
- state space
- xml trees
- query language
- xml documents
- xml databases
- random variables
- reinforcement learning
- search engine