Proof of a conjecture on k-tuple domination in graphs.

Guangjun Xu Liying Kang Erfang Shan Hong Yan

Published in: Appl. Math. Lett. (2008)

Keyphrases

series parallel
graph theory
random graphs
graph mining
graph model
genetic algorithm
graph matching
weighted graph
theorem prover
complete axiomatization
linear logic
graph clustering
graph theoretic
theorem proving
real time
graph structure
directed graph
information retrieval
data sets