Existential monadic second order logic of undirected graphs: The Le Bars conjecture is false.
S. N. PopovaMaksim E. ZhukovskiiPublished in: Ann. Pure Appl. Log. (2019)
Keyphrases
- undirected graph
- monadic second order logic
- expressive power
- data complexity
- approximation algorithms
- directed graph
- spanning tree
- directed acyclic graph
- query answering
- regular expressions
- first order logic
- connected components
- tree automata
- complex networks
- disjoint paths
- minimum cost
- vertex set
- graph structure
- reinforcement learning
- query language
- strongly connected
- object oriented
- multicommodity flow
- np hard
- pattern matching