]>
mj.ucw.cz Git - saga.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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.
Martin Mares [Sun, 3 Feb 2008 20:00:31 +0000 (21:00 +0100)]
More RAM fixes.
Martin Mares [Sun, 3 Feb 2008 19:50:34 +0000 (20:50 +0100)]
RAM correctures.
Martin Mares [Sat, 2 Feb 2008 17:56:20 +0000 (18:56 +0100)]
Fixed typography.
Martin Mares [Sat, 2 Feb 2008 17:51:18 +0000 (18:51 +0100)]
More bits on bits.
Martin Mares [Sat, 2 Feb 2008 17:29:08 +0000 (18:29 +0100)]
More bit tricks.
Martin Mares [Sat, 2 Feb 2008 16:48:24 +0000 (17:48 +0100)]
Very raw version of the bit operations.
Martin Mares [Fri, 1 Feb 2008 23:44:35 +0000 (00:44 +0100)]
Bit string notation.
Martin Mares [Fri, 1 Feb 2008 20:32:37 +0000 (21:32 +0100)]
Fixes in bibliography.
Martin Mares [Fri, 1 Feb 2008 14:27:14 +0000 (15:27 +0100)]
More RAM bits.
Martin Mares [Fri, 1 Feb 2008 12:50:56 +0000 (13:50 +0100)]
Intro on RAM data structures.
Martin Mares [Fri, 1 Feb 2008 10:43:09 +0000 (11:43 +0100)]
Named the Active Edge Jarnik's algorithm.
Martin Mares [Fri, 1 Feb 2008 10:37:17 +0000 (11:37 +0100)]
Bug fixes.
Martin Mares [Wed, 30 Jan 2008 22:21:04 +0000 (23:21 +0100)]
Notes.
Martin Mares [Wed, 30 Jan 2008 15:10:05 +0000 (16:10 +0100)]
Bucket-sorts are now a separate section in the technical chapter.
Martin Mares [Wed, 30 Jan 2008 14:22:33 +0000 (15:22 +0100)]
Reorganization: added Advanced MST Algorithms chapter.
Martin Mares [Wed, 30 Jan 2008 14:08:04 +0000 (15:08 +0100)]
Finish PM.
Martin Mares [Wed, 30 Jan 2008 12:09:23 +0000 (13:09 +0100)]
Split off a chapter on computation models and added description of the PM.
Martin Mares [Tue, 29 Jan 2008 22:35:58 +0000 (23:35 +0100)]
More RAM for you.
Martin Mares [Tue, 29 Jan 2008 20:14:36 +0000 (21:14 +0100)]
Introduction to models of computation.
Martin Mares [Tue, 29 Jan 2008 14:29:39 +0000 (15:29 +0100)]
Minor stuff.
Martin Mares [Mon, 28 Jan 2008 12:24:00 +0000 (13:24 +0100)]
Pettie.
Martin Mares [Mon, 28 Jan 2008 11:47:00 +0000 (12:47 +0100)]
More bibliography.
Martin Mares [Mon, 28 Jan 2008 10:58:57 +0000 (11:58 +0100)]
Remark on edge densities.
Martin Mares [Mon, 28 Jan 2008 10:43:39 +0000 (11:43 +0100)]
Finished iterated Jarnik.
Martin Mares [Sun, 27 Jan 2008 21:31:23 +0000 (22:31 +0100)]
Iterated Jarnik.
Martin Mares [Fri, 25 Jan 2008 23:03:11 +0000 (00:03 +0100)]
More Fibonacci.
Martin Mares [Fri, 25 Jan 2008 22:46:39 +0000 (23:46 +0100)]
Fibonacci heaps.
Martin Mares [Wed, 23 Jan 2008 12:41:56 +0000 (13:41 +0100)]
Fix off-by-1 problems in the definition of the distractor.
Martin Mares [Wed, 23 Jan 2008 12:38:16 +0000 (13:38 +0100)]
Korektury.
Martin Mares [Mon, 21 Jan 2008 20:16:14 +0000 (21:16 +0100)]
Hexangle construction manually written in PS.
Martin Mares [Mon, 21 Jan 2008 19:01:14 +0000 (20:01 +0100)]
A partial picture.
Martin Mares [Mon, 21 Jan 2008 18:06:33 +0000 (19:06 +0100)]
A remark.
Martin Mares [Mon, 21 Jan 2008 17:09:44 +0000 (18:09 +0100)]
Finished the section on minor-closed classes.
Martin Mares [Mon, 21 Jan 2008 14:01:34 +0000 (15:01 +0100)]
Disctractors and hedgehogs.
Martin Mares [Sun, 20 Jan 2008 19:51:37 +0000 (20:51 +0100)]
Opraven odkaz na pana Boruvku.
Martin Mares [Sun, 20 Jan 2008 19:48:56 +0000 (20:48 +0100)]
Simplify the reference macros.
Martin Mares [Sun, 20 Jan 2008 19:44:56 +0000 (20:44 +0100)]
Notation.
Martin Mares [Sun, 20 Jan 2008 19:27:42 +0000 (20:27 +0100)]
Intro to minor-closed classes.
Martin Mares [Sun, 20 Jan 2008 19:04:29 +0000 (20:04 +0100)]
Lower bound.
Martin Mares [Sat, 19 Jan 2008 19:46:00 +0000 (20:46 +0100)]
Get rid of flattening (or flattery?).
Martin Mares [Sat, 19 Jan 2008 19:43:09 +0000 (20:43 +0100)]
Saving text which will be deleted :)
Martin Mares [Sat, 19 Jan 2008 19:02:17 +0000 (20:02 +0100)]
Contractions.
Martin Mares [Fri, 18 Jan 2008 19:00:39 +0000 (20:00 +0100)]
Finish Kruskal.
Martin Mares [Fri, 18 Jan 2008 16:15:47 +0000 (17:15 +0100)]
Impl of Boruvka and Jarnik.
Martin Mares [Fri, 18 Jan 2008 13:39:34 +0000 (14:39 +0100)]
Contractions rulez.
Martin Mares [Thu, 17 Jan 2008 21:20:36 +0000 (22:20 +0100)]
Classical ones.
Martin Mares [Thu, 17 Jan 2008 20:35:40 +0000 (21:35 +0100)]
Minor fixes.
Martin Mares [Thu, 17 Jan 2008 20:25:53 +0000 (21:25 +0100)]
Finished the RB alg.
Martin Mares [Wed, 16 Jan 2008 23:35:03 +0000 (00:35 +0100)]
Summon phantoms.
Martin Mares [Wed, 16 Jan 2008 23:33:36 +0000 (00:33 +0100)]
A tiny remark.
Martin Mares [Wed, 16 Jan 2008 23:32:33 +0000 (00:32 +0100)]
Further figures.
Martin Mares [Wed, 16 Jan 2008 18:43:37 +0000 (19:43 +0100)]
Red-Blue section started.
Martin Mares [Wed, 16 Jan 2008 17:39:28 +0000 (18:39 +0100)]
Notation.
Martin Mares [Wed, 16 Jan 2008 17:26:02 +0000 (18:26 +0100)]
Added figures (borrowed from my GA book).
Martin Mares [Wed, 16 Jan 2008 16:53:59 +0000 (17:53 +0100)]
Further exchange theorems.
Martin Mares [Wed, 16 Jan 2008 13:50:58 +0000 (14:50 +0100)]
The beginning of MST chapter.
Martin Mares [Mon, 14 Jan 2008 20:22:53 +0000 (21:22 +0100)]
Better bibliography.
Martin Mares [Mon, 14 Jan 2008 20:05:13 +0000 (21:05 +0100)]
More bits.
Martin Mares [Mon, 14 Jan 2008 19:18:47 +0000 (20:18 +0100)]
Added bibliography.
Martin Mares [Mon, 14 Jan 2008 18:57:19 +0000 (19:57 +0100)]
Added proclamations.
Martin Mares [Mon, 14 Jan 2008 18:11:00 +0000 (19:11 +0100)]
The first pieces.
Martin Mares [Mon, 14 Jan 2008 09:50:01 +0000 (10:50 +0100)]
A humble beginning of a hopefully voluminous saga.
projects / saga.git / log