From bb880dcd2e9bf87fb2b350dfaa45393f17ab54a5 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Mon, 7 Apr 2008 16:40:30 +0200 Subject: [PATCH] TODO. --- PLAN | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PLAN b/PLAN index 342bf81..5135d83 100644 --- a/PLAN +++ b/PLAN @@ -65,7 +65,6 @@ Spanning trees: - degree-restricted cases and arborescences - random sampling (propp:randommst) - mention bugs in Valeria's verification paper -- add references to other applications of decomposition - more references on decision trees Models: @@ -99,6 +98,7 @@ Notation: - introduce \widehat\O early - unify { x ; ... }, { x | ...} and { x : ... } - capitalize Pointer Machine +- define \alpha(m,n) and use it instead of \alpha(n) Varia: -- 2.39.2