This book fills a need for a thorough introduction to graph theory
that features both the understanding and writing of proofs about
graphs. Verification that algorithms work is emphasized more than
their complexity. An
effective use of examples, and huge number of interesting
exercises, demonstrate the topics of trees and distance, matchings
and factors, connectivity and paths, graph coloring, edges and
cycles, and planar graphs.