From 066bc810d8ae56d5339c3ea00e608e9b1d74f000 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 2 Jan 2006 21:19:53 +0000 Subject: [PATCH] - Notes on the warshall algorithm that is currently taking a third of processing time, which is way too much. --- src/todo.txt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/todo.txt b/src/todo.txt index a4c7421..5cda8f2 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,8 @@ +- Warshall is taking a third of the time running. + - Make 'dirty' flag. + - Make a push-graph structure, where old graphs are simply remembered? + Does this help at all? + - Improve the speed of the thing by finally moving to a bit-thing. - Simple timestamps could be added by prefixing send message before the role, sending any timestamp constants out first to the intruder. These should of course be hidden in the output somehow.