Preface, corrections, new figure for Graph Isomorphism algorithm.