Mathematicians have long sought to develop algorithms that can compare any two graphs. In practice, many ...

Mathematical definitions and proofs are emphasized. Topics include formal logic notation, proof methods; set theory, relations; induction, well-ordering; algorithms, growth of functions and complexity ...