o ET-trees
o Fully dynamic connectivity
o Dynamic MST
+ . Almost minimum trees
* Ranking Combinatorial Objects
o Ranking of k-permutations
o Restricted permutations
o Hatcheck lady and other derangements
- . ?? other objects ??
- . ?? general perspective ??
TODO:
-Spanning trees:
-
-- cite Eisner's tutorial \cite{eisner:tutorial}
-- move the remark on disconnected graphs? separate section?
-- mention graphs with non-unique weights? also in the separate section?
-- Some algorithms (most notably Fredman-Tarjan) do not need flattening
-- citation of mixed Boruvka-Jarnik
-- use the notation for contraction by a set
-- mention bugs in Valeria's verification paper
-- more references on decision trees
-- rename theorem on Minimality by order
-- introduce Cut rule and Cycle rule earlier
-- Lemma: deletion of a non-MST edge does not alter the MST
-
-Related:
-- practical considerations: katriel:cycle, moret:practice (mention pairing heaps)
-- parallel algorithms: p243-cole (see also remarks in Karger and pettie:minirand), pettie:parallel
-- K best trees
+Applications:
+
- degree-restricted cases and arborescences
- bounded expansion classes?
-- mention matroids
-
-Models:
-
-- add references to the C language
-- all data structures should mention space complexity
Ranking:
co je to vlastne za matice co splnuji 4.5.2
- JN: bounded-degree restriction graphs; would it imply general speedup?
-Notation:
-
-- G has to be connected, so m=O(n)
-- impedance mismatch in terminology: contraction of G along e vs. contraction of e.
-- use \delta(X) notation
-- unify use of n(G) vs. n
-- change the notation for contractions -- use double slash instead of the dot?
-- introduce \widehat\O early
-
Typography:
-- formatting of multi-line \algin, \algout
-- use calligraphic letters from ams?
+* formatting of multi-line \algin, \algout
+- quotes
+- unify names of complexity classes
+- automatic \raggedbottom?
Global:
-- Intro: cite GA booklet
- each chapter should make clear in which model we work
- clean up bibliography