Proof of a conjecture on connectivity of Kronecker product of graphs.

Yun Wang Baoyindureng Wu

Published in: Discret. Math. (2011)

Keyphrases

kronecker product
connected components
theorem proving
linear logic
data sets
pattern recognition
graph matching
theorem prover
database
learning algorithm
pairwise
binary images
graph representation
topological features