]>
mj.ucw.cz Git - saga.git/log
Martin Mares [Wed, 16 Apr 2008 11:41:45 +0000 (13:41 +0200)]
Lower bounds and bug fixes.
Martin Mares [Wed, 16 Apr 2008 11:18:44 +0000 (13:18 +0200)]
Fixes to dynamic MSF.
Martin Mares [Wed, 16 Apr 2008 11:07:14 +0000 (13:07 +0200)]
More corrections.
Martin Mares [Wed, 16 Apr 2008 10:39:47 +0000 (12:39 +0200)]
Fixes to ET-trees.
Martin Mares [Wed, 16 Apr 2008 10:19:16 +0000 (12:19 +0200)]
Corrections to the intro to dynamic algorithms.
Martin Mares [Tue, 15 Apr 2008 20:27:49 +0000 (22:27 +0200)]
More plans.
Martin Mares [Tue, 15 Apr 2008 20:18:56 +0000 (22:18 +0200)]
Fully dynamic MSF. Unfortunately not my algorithm as it was found
to be fatally broken.
Martin Mares [Tue, 15 Apr 2008 20:18:29 +0000 (22:18 +0200)]
Prepare for K smallest spanning trees.
Martin Mares [Mon, 14 Apr 2008 13:27:14 +0000 (15:27 +0200)]
Intro to dynamic MSF.
Martin Mares [Fri, 11 Apr 2008 18:20:49 +0000 (20:20 +0200)]
Fully dynamic connectivity.
Martin Mares [Fri, 11 Apr 2008 13:09:55 +0000 (15:09 +0200)]
First bits of fully dynamic connectivity.
Martin Mares [Fri, 11 Apr 2008 13:09:48 +0000 (15:09 +0200)]
Unify references to King's papers.
Martin Mares [Fri, 11 Apr 2008 11:35:59 +0000 (13:35 +0200)]
A picture of ET-sequences.
Martin Mares [Fri, 11 Apr 2008 11:00:29 +0000 (13:00 +0200)]
Analysis of ET-trees.
Martin Mares [Thu, 10 Apr 2008 15:59:35 +0000 (17:59 +0200)]
More ET trees.
Martin Mares [Thu, 10 Apr 2008 14:53:14 +0000 (16:53 +0200)]
Replanning.
Martin Mares [Thu, 10 Apr 2008 08:55:31 +0000 (10:55 +0200)]
More bits of ET trees.
Martin Mares [Wed, 9 Apr 2008 18:27:07 +0000 (20:27 +0200)]
First bits of ET trees.
Martin Mares [Wed, 9 Apr 2008 16:44:45 +0000 (18:44 +0200)]
Corrections to the intro to dynamic algorithms.
Martin Mares [Wed, 9 Apr 2008 09:45:24 +0000 (11:45 +0200)]
Remark on backtracking.
Martin Mares [Wed, 9 Apr 2008 08:15:34 +0000 (10:15 +0200)]
Semidynamic MSF.
Martin Mares [Tue, 8 Apr 2008 21:06:53 +0000 (23:06 +0200)]
Continuing with the intro to dynamic algorithms.
Martin Mares [Tue, 8 Apr 2008 17:09:21 +0000 (19:09 +0200)]
Groomed the section on the Ackermann's function.
Martin Mares [Tue, 8 Apr 2008 15:00:09 +0000 (17:00 +0200)]
The ChangeLog no longer exists.
Martin Mares [Tue, 8 Apr 2008 14:59:08 +0000 (16:59 +0200)]
More on the Ackermann's function and its inverses.
Martin Mares [Tue, 8 Apr 2008 12:44:15 +0000 (14:44 +0200)]
Updated the section on the Ackermann's function.
Martin Mares [Tue, 8 Apr 2008 12:43:55 +0000 (14:43 +0200)]
Added `upload' target.
Martin Mares [Tue, 8 Apr 2008 09:53:15 +0000 (11:53 +0200)]
Ackermann's function.
Martin Mares [Tue, 8 Apr 2008 08:51:21 +0000 (10:51 +0200)]
Improve description of classical algorithms.
Martin Mares [Mon, 7 Apr 2008 16:56:16 +0000 (18:56 +0200)]
Introduction to dynamic algorithms.
Martin Mares [Mon, 7 Apr 2008 15:24:49 +0000 (17:24 +0200)]
New plans.
Martin Mares [Mon, 7 Apr 2008 14:40:30 +0000 (16:40 +0200)]
TODO.
Martin Mares [Mon, 7 Apr 2008 14:38:20 +0000 (16:38 +0200)]
Cleaned up topological computations and unification.
Martin Mares [Mon, 7 Apr 2008 14:07:48 +0000 (16:07 +0200)]
Fixes to bucket sorting section.
Martin Mares [Mon, 7 Apr 2008 13:51:02 +0000 (15:51 +0200)]
Call subgraphs clusters.
Martin Mares [Mon, 7 Apr 2008 13:46:24 +0000 (15:46 +0200)]
Correction to OPT.
Martin Mares [Sun, 6 Apr 2008 16:45:02 +0000 (18:45 +0200)]
Corrections to robust contractions.
Martin Mares [Sun, 6 Apr 2008 16:00:50 +0000 (18:00 +0200)]
Use larger parens.
Martin Mares [Sun, 6 Apr 2008 15:59:53 +0000 (17:59 +0200)]
Topological graph computations.
Martin Mares [Sun, 6 Apr 2008 10:52:43 +0000 (12:52 +0200)]
Tree isomorphism.
Martin Mares [Sat, 5 Apr 2008 21:42:17 +0000 (23:42 +0200)]
More on bucket sorting (unfinished).
Martin Mares [Sat, 5 Apr 2008 21:42:09 +0000 (23:42 +0200)]
\paran redefined.
Martin Mares [Sat, 5 Apr 2008 20:48:02 +0000 (22:48 +0200)]
Fixed bugs in notation.
Martin Mares [Sat, 5 Apr 2008 20:41:36 +0000 (22:41 +0200)]
Fixed lots of typos.
Martin Mares [Sat, 5 Apr 2008 20:00:13 +0000 (22:00 +0200)]
Fix references.
Martin Mares [Sat, 5 Apr 2008 20:00:07 +0000 (22:00 +0200)]
countrefs target.
Martin Mares [Sat, 5 Apr 2008 19:54:13 +0000 (21:54 +0200)]
Remarks on Pettie.
Martin Mares [Sat, 5 Apr 2008 16:11:53 +0000 (18:11 +0200)]
The optimal algorithm.
Martin Mares [Thu, 3 Apr 2008 19:48:39 +0000 (21:48 +0200)]
More on optimal decision trees.
Martin Mares [Thu, 3 Apr 2008 09:57:56 +0000 (11:57 +0200)]
Construction of optimal trees.
Martin Mares [Wed, 2 Apr 2008 22:18:44 +0000 (00:18 +0200)]
Decision trees started.
Martin Mares [Wed, 2 Apr 2008 15:27:05 +0000 (17:27 +0200)]
More plans.
Martin Mares [Wed, 2 Apr 2008 15:24:58 +0000 (17:24 +0200)]
Varia.
Martin Mares [Wed, 2 Apr 2008 15:21:08 +0000 (17:21 +0200)]
Partitioning done.
Martin Mares [Wed, 2 Apr 2008 13:32:13 +0000 (15:32 +0200)]
More robust contractions.
Martin Mares [Tue, 1 Apr 2008 21:07:12 +0000 (23:07 +0200)]
Robust contraction lemma.
Martin Mares [Tue, 1 Apr 2008 21:07:06 +0000 (23:07 +0200)]
Cycle rule.
Martin Mares [Tue, 1 Apr 2008 16:19:29 +0000 (18:19 +0200)]
Started with robust contractions.
Martin Mares [Sat, 29 Mar 2008 19:11:23 +0000 (20:11 +0100)]
SH: Optimality.
Martin Mares [Sat, 29 Mar 2008 15:19:57 +0000 (16:19 +0100)]
SH: Yardsticks.
Martin Mares [Sat, 29 Mar 2008 14:21:25 +0000 (15:21 +0100)]
Soft heaps: fixes.
Martin Mares [Sat, 29 Mar 2008 12:50:02 +0000 (13:50 +0100)]
Soft heaps: Example.
Martin Mares [Thu, 27 Mar 2008 23:04:22 +0000 (00:04 +0100)]
Analysis of soft heaps finished.
Martin Mares [Thu, 27 Mar 2008 19:47:03 +0000 (20:47 +0100)]
More soft heaps. More.
Martin Mares [Thu, 27 Mar 2008 12:49:41 +0000 (13:49 +0100)]
Soft heaps: time complexity.
Martin Mares [Wed, 26 Mar 2008 17:47:10 +0000 (18:47 +0100)]
Accuracy finished.
Martin Mares [Wed, 26 Mar 2008 16:52:34 +0000 (17:52 +0100)]
Even more soft heaps.
Martin Mares [Wed, 26 Mar 2008 14:46:42 +0000 (15:46 +0100)]
More soft heap bits.
Martin Mares [Wed, 26 Mar 2008 12:33:40 +0000 (13:33 +0100)]
More soft heaps.
Martin Mares [Wed, 26 Mar 2008 10:14:20 +0000 (11:14 +0100)]
Two pictures of soft heaps.
Martin Mares [Mon, 24 Mar 2008 22:01:28 +0000 (23:01 +0100)]
Approaching Optimality. Very slowly.
Martin Mares [Mon, 24 Mar 2008 16:41:06 +0000 (17:41 +0100)]
KKT: Renamed $t$ to $v$.
Martin Mares [Mon, 24 Mar 2008 16:34:25 +0000 (17:34 +0100)]
Fixed to KKT.
Martin Mares [Wed, 19 Mar 2008 20:20:02 +0000 (21:20 +0100)]
Updated bibliography.
Martin Mares [Tue, 18 Mar 2008 11:49:17 +0000 (12:49 +0100)]
Finished KKT.
Martin Mares [Mon, 17 Mar 2008 17:52:17 +0000 (18:52 +0100)]
Another bugfix.
Martin Mares [Mon, 17 Mar 2008 17:51:51 +0000 (18:51 +0100)]
Bug fix.
Martin Mares [Mon, 17 Mar 2008 17:29:11 +0000 (18:29 +0100)]
More KKT.
Martin Mares [Mon, 17 Mar 2008 16:44:36 +0000 (17:44 +0100)]
More parts of KKT.
Martin Mares [Mon, 17 Mar 2008 16:44:29 +0000 (17:44 +0100)]
Improve analysis of contractive Boruvka.
Martin Mares [Mon, 17 Mar 2008 15:24:42 +0000 (16:24 +0100)]
Karger's sampling lemma.
Martin Mares [Mon, 17 Mar 2008 13:40:12 +0000 (14:40 +0100)]
Clean up heavy vs. light vs. tree edges.
Martin Mares [Mon, 17 Mar 2008 13:29:14 +0000 (14:29 +0100)]
Remark on disconnected graphs.
Martin Mares [Mon, 17 Mar 2008 13:15:16 +0000 (14:15 +0100)]
Wicked which's.
Martin Mares [Sun, 16 Mar 2008 21:16:28 +0000 (22:16 +0100)]
Corrected the picture of the Boruvka tree.
Martin Mares [Sun, 16 Mar 2008 21:05:55 +0000 (22:05 +0100)]
A plenty of corrections to the verification algorithm.
Martin Mares [Sun, 16 Mar 2008 19:57:48 +0000 (20:57 +0100)]
Cleaning up verification chapter.
Martin Mares [Tue, 11 Mar 2008 18:58:33 +0000 (19:58 +0100)]
PLAN.
Martin Mares [Tue, 11 Mar 2008 10:51:34 +0000 (11:51 +0100)]
First part of fixes to verification.
Martin Mares [Sat, 8 Mar 2008 21:27:06 +0000 (22:27 +0100)]
Finished the verification chapters.
Martin Mares [Sat, 8 Mar 2008 21:17:22 +0000 (22:17 +0100)]
More verification.
Martin Mares [Sat, 8 Mar 2008 19:22:03 +0000 (20:22 +0100)]
Fixing verification...
Martin Mares [Fri, 7 Mar 2008 21:35:22 +0000 (22:35 +0100)]
Some more...
Martin Mares [Fri, 7 Mar 2008 21:28:43 +0000 (22:28 +0100)]
Komlos's theorem.
Martin Mares [Fri, 7 Mar 2008 18:47:56 +0000 (19:47 +0100)]
More on Kolmos's algorithm.
Martin Mares [Fri, 7 Mar 2008 16:28:54 +0000 (17:28 +0100)]
Picture of a Boruvka tree, and a proof.
Martin Mares [Fri, 7 Mar 2008 13:55:27 +0000 (14:55 +0100)]
First bits of verification.
Martin Mares [Wed, 5 Mar 2008 17:59:35 +0000 (18:59 +0100)]
Added the picture of the French trick.
Martin Mares [Wed, 5 Mar 2008 17:37:37 +0000 (18:37 +0100)]
Fixes to the special case section.
Martin Mares [Wed, 5 Mar 2008 16:58:05 +0000 (17:58 +0100)]
Special cases.
projects / saga.git / log