Sublinear-Space Lexicographic Depth-First Search for Bounded Treewidth Graphs and Planar Graphs.
Taisuke IzumiYota OtachiPublished in: ICALP (2020)
Keyphrases
- depth first search
- bounded treewidth
- planar graphs
- breadth first search
- np complete
- search tree
- decision problems
- conjunctive queries
- spanning tree
- boolean functions
- search space
- search algorithm
- routing problem
- minimum weight
- upper bound
- metaheuristic
- ant colony optimization
- integrity constraints
- database
- query evaluation
- state space
- data model
- machine learning