More plans.

diff --git a/PLAN b/PLAN
index 0df70906201150d0ce249524ae314ad5a852777d..679289571474d2a1bb95d93ad084dcb157f281f3 100644 (file)
--- a/PLAN
+++ b/PLAN
@@ -65,6 +65,8 @@ Spanning trees:
 - degree-restricted cases and arborescences
 - Pettie's paper on random bits (pettie:minirand)
 - random sampling (propp:randommst)
+- mention bugs in Valeria's verification paper
+- Pettie's optimal algorithm runs in average linear time
 
 Models:
 
@@ -74,6 +76,7 @@ Models:
 - add more context from thorup:aczero, also mention FP operations
 - expand the section on radix-sorting, mention Buchsbaum
 - move Q-Heaps to the chapter on the MST's?
+- Tarjan79 is claimed by Pettie to define Pointer machines
 
 Ranking: