Preface:
-- move TOC to the beginning of the book
- mention notation
- cite GA booklet
+- mention bugs in Valeria's verification paper
- G has to be connected, so m=O(n)
- cite Eisner's tutorial \cite{eisner:tutorial}
- Some algorithms (most notably Fredman-Tarjan) do not need flattening
-- use the notation for contraction by a set
-- mention bugs in Valeria's verification paper
* Lemma: deletion of a non-MST edge does not alter the MST
Related:
Notation:
- use \delta(X) notation
+- use the notation for contraction by a set
- unify use of n(G) vs. n
- introduce \widehat\O early
Typography:
-- formatting of multi-line \algin, \algout
+* formatting of multi-line \algin, \algout
- use calligraphic letters from ams?
Global: