The monadic second-order logic of graphs XIII: Graph drawings with edge crossings.
Bruno CourcellePublished in: Theor. Comput. Sci. (2000)
Keyphrases
- weighted graph
- undirected graph
- edge weights
- graph representation
- vertex set
- graph structure
- adjacency matrix
- graph databases
- graph theory
- directed graph
- graph theoretic
- graph partitioning
- graph matching
- graph clustering
- labeled graphs
- graph construction
- subgraph isomorphism
- graph model
- graph structures
- graph mining
- spanning tree
- random graphs
- strongly connected
- bipartite graph
- shortest path
- graph data
- densely connected
- monadic second order logic
- dynamic graph
- directed acyclic graph
- structured data
- connected graphs
- graph kernels
- data complexity
- expressive power
- data integration
- np complete
- data model