From 88938d05d7e5c24c276fbdb7ca584e4fa7c98d96 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Mon, 21 Apr 2008 17:10:14 +0200 Subject: [PATCH] Updated PLAN. --- PLAN | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/PLAN b/PLAN index 891c896..6ee8b13 100644 --- a/PLAN +++ b/PLAN @@ -50,9 +50,9 @@ TODO: 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) @@ -60,8 +60,6 @@ Spanning trees: - 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: @@ -83,12 +81,13 @@ Ranking: 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: -- 2.39.2