Reconstruction and verification of chordal graphs with a distance oracle.
Guozhen RongWenjun LiYongjie YangJianxin WangPublished in: Theor. Comput. Sci. (2021)
Keyphrases
- undirected graph
- distance measure
- three dimensional
- oracle database
- directed graph
- graph theoretic
- compressed sensing
- graph matching
- model checking
- image reconstruction
- euclidean distance
- distance function
- formal verification
- database
- graph theory
- relational databases
- graph mining
- databases
- signature verification
- reconstruction process
- random graphs
- compressive sensing
- formal methods
- reconstruction method
- graph construction
- graph representation
- hamming distance
- reconstruction error
- spanning tree
- weighted graph
- bipartite graph
- distance metric
- dimensionality reduction
- high resolution