Proof of a conjecture of Häggkvist on cycles and independent edges.

Kenneth A. Berman

Published in: Discret. Math. (1983)

Keyphrases

directed graph
weighted graph
spanning tree
computer vision
edge detector
edge information
real time
data sets
genetic algorithm
search engine
information systems
image processing
search algorithm
evolutionary algorithm
theorem prover
proof theory