Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity.
Dusan KnopMartin KouteckýTomás MasaríkTomás ToufarPublished in: CoRR (2017)
Keyphrases
- bounded treewidth
- search space
- upper bound
- finite state
- space complexity
- regular expressions
- monadic datalog
- learning algorithm
- tree automata
- neighborhood graph
- boolean functions
- markov chain
- discrete random variables
- decision problems
- database
- worst case
- knn
- evolutionary algorithm
- search algorithm
- knowledge base
- databases