]>
mj.ucw.cz Git - saga.git/log
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.
Martin Mares [Wed, 5 Mar 2008 13:36:33 +0000 (14:36 +0100)]
Notation.
Martin Mares [Wed, 5 Mar 2008 13:34:22 +0000 (14:34 +0100)]
Bender.
Martin Mares [Wed, 5 Mar 2008 13:28:26 +0000 (14:28 +0100)]
Improved proof of QH lemma.
Martin Mares [Wed, 5 Mar 2008 13:14:05 +0000 (14:14 +0100)]
Fixes to the QH.
Martin Mares [Tue, 4 Mar 2008 17:06:32 +0000 (18:06 +0100)]
Added the chapter with examples.
Martin Mares [Tue, 4 Mar 2008 16:22:58 +0000 (17:22 +0100)]
Mention Thorup's priority queue.
Martin Mares [Tue, 4 Mar 2008 16:05:14 +0000 (17:05 +0100)]
TODO from JN.
Martin Mares [Tue, 4 Mar 2008 15:58:44 +0000 (16:58 +0100)]
More plans.
Martin Mares [Tue, 4 Mar 2008 15:57:04 +0000 (16:57 +0100)]
Graphs with sorted weights.
Martin Mares [Tue, 4 Mar 2008 15:44:26 +0000 (16:44 +0100)]
Q-heap trees and MST with integer weights.
Martin Mares [Tue, 4 Mar 2008 14:02:58 +0000 (15:02 +0100)]
Finished Q-heaps.
Martin Mares [Tue, 4 Mar 2008 12:06:43 +0000 (13:06 +0100)]
More Q-heaps.
Martin Mares [Sat, 1 Mar 2008 13:17:45 +0000 (14:17 +0100)]
Planning.
Martin Mares [Sat, 1 Mar 2008 12:42:56 +0000 (13:42 +0100)]
More on Q-heaps.
Martin Mares [Fri, 29 Feb 2008 23:43:50 +0000 (00:43 +0100)]
First part of Q-Heaps.
Martin Mares [Wed, 27 Feb 2008 20:37:09 +0000 (21:37 +0100)]
More references. More!
Martin Mares [Wed, 27 Feb 2008 20:04:42 +0000 (21:04 +0100)]
Use \pi[x...y].
Martin Mares [Wed, 27 Feb 2008 19:57:44 +0000 (20:57 +0100)]
PLAN.
Martin Mares [Wed, 27 Feb 2008 19:56:39 +0000 (20:56 +0100)]
Added a Remark.
Martin Mares [Wed, 27 Feb 2008 19:49:35 +0000 (20:49 +0100)]
Updated the plan.
Martin Mares [Wed, 27 Feb 2008 19:45:16 +0000 (20:45 +0100)]
Split the large section on restricted permutations.
Martin Mares [Wed, 27 Feb 2008 19:40:34 +0000 (20:40 +0100)]
Finished derangements.
Martin Mares [Wed, 27 Feb 2008 18:32:00 +0000 (19:32 +0100)]
Uff. The bound seems to work.
Martin Mares [Wed, 27 Feb 2008 18:31:34 +0000 (19:31 +0100)]
One more table.
Martin Mares [Wed, 27 Feb 2008 15:57:00 +0000 (16:57 +0100)]
More bits of the program.
Martin Mares [Wed, 27 Feb 2008 13:38:38 +0000 (14:38 +0100)]
Added a program for computing the n0's.
Martin Mares [Wed, 27 Feb 2008 12:47:45 +0000 (13:47 +0100)]
Straightening.
Martin Mares [Wed, 27 Feb 2008 11:49:26 +0000 (12:49 +0100)]
Nitpicking on the hatcheck lady.
Martin Mares [Wed, 27 Feb 2008 11:27:01 +0000 (12:27 +0100)]
Typesetting of references.
Martin Mares [Wed, 27 Feb 2008 11:17:59 +0000 (12:17 +0100)]
Corrections to the minor-closed chapter.
Martin Mares [Tue, 26 Feb 2008 11:05:01 +0000 (12:05 +0100)]
More hatchecks.
Martin Mares [Tue, 26 Feb 2008 09:37:56 +0000 (10:37 +0100)]
Various fixes and improvements to ranks.
Martin Mares [Mon, 25 Feb 2008 17:37:36 +0000 (18:37 +0100)]
More permutations.
Martin Mares [Mon, 25 Feb 2008 14:18:39 +0000 (15:18 +0100)]
Minor changes.
Martin Mares [Mon, 25 Feb 2008 13:44:33 +0000 (14:44 +0100)]
Restricted permutations galore!
Martin Mares [Fri, 22 Feb 2008 17:31:13 +0000 (18:31 +0100)]
Fixes of typography.
Martin Mares [Fri, 22 Feb 2008 17:19:27 +0000 (18:19 +0100)]
Some things have been done :)
Martin Mares [Fri, 22 Feb 2008 17:17:21 +0000 (18:17 +0100)]
Minor fixes.
Martin Mares [Fri, 22 Feb 2008 17:15:31 +0000 (18:15 +0100)]
Fixed a typo.
Martin Mares [Fri, 22 Feb 2008 17:13:07 +0000 (18:13 +0100)]
Fix proof of the local contractive algorithm.
Martin Mares [Fri, 22 Feb 2008 17:02:08 +0000 (18:02 +0100)]
Names of theorems are typeset on a separate line.
Martin Mares [Fri, 22 Feb 2008 16:52:54 +0000 (17:52 +0100)]
Extended the chapter on minors.
Martin Mares [Fri, 22 Feb 2008 16:52:39 +0000 (17:52 +0100)]
Enable amstex and use the curly leq for minors.
Martin Mares [Fri, 22 Feb 2008 13:31:29 +0000 (14:31 +0100)]
Reformulate the trick for k-permutations.
Martin Mares [Fri, 22 Feb 2008 12:53:32 +0000 (13:53 +0100)]
Corrections of the ranking chapter.
Martin Mares [Fri, 22 Feb 2008 12:09:27 +0000 (13:09 +0100)]
Fix the fix.
Martin Mares [Fri, 22 Feb 2008 12:06:30 +0000 (13:06 +0100)]
Fixed makefile.
Martin Mares [Thu, 21 Feb 2008 13:50:44 +0000 (14:50 +0100)]
Plan.
Martin Mares [Wed, 20 Feb 2008 21:48:35 +0000 (22:48 +0100)]
Ranking of k-permutations.
Martin Mares [Wed, 20 Feb 2008 17:11:39 +0000 (18:11 +0100)]
Minor fixes.
Martin Mares [Wed, 20 Feb 2008 17:05:10 +0000 (18:05 +0100)]
Ranking of permutations.
Martin Mares [Tue, 19 Feb 2008 12:38:19 +0000 (13:38 +0100)]
Start with ranks.
Martin Mares [Tue, 19 Feb 2008 12:38:12 +0000 (13:38 +0100)]
Added AMS symbols, but leave them commented out.
Martin Mares [Fri, 8 Feb 2008 09:26:32 +0000 (10:26 +0100)]
Merge with git+ssh://git.ucw.cz/home/mj/GIT/saga.git
Martin Mares [Fri, 8 Feb 2008 08:09:46 +0000 (09:09 +0100)]
FIXME.
Martin Mares [Mon, 4 Feb 2008 22:04:45 +0000 (23:04 +0100)]
Prepare for ranking chapter.
Martin Mares [Mon, 4 Feb 2008 18:40:29 +0000 (19:40 +0100)]
Added citations.
Martin Mares [Mon, 4 Feb 2008 18:40:15 +0000 (19:40 +0100)]
Fixed a bug.
Martin Mares [Sun, 3 Feb 2008 20:19:21 +0000 (21:19 +0100)]
Fix definition of \beta and \log^*.
Martin Mares [Sun, 3 Feb 2008 20:16:13 +0000 (21:16 +0100)]
A typo.
Martin Mares [Sun, 3 Feb 2008 20:13:30 +0000 (21:13 +0100)]
Unification of tenses.
Martin Mares [Sun, 3 Feb 2008 20:09:07 +0000 (21:09 +0100)]
Definitions of bitwise operations.
projects / saga.git / log