]> mj.ucw.cz Git - saga.git/log
saga.git
16 years agoMore on Kolmos's algorithm.
Martin Mares [Fri, 7 Mar 2008 18:47:56 +0000 (19:47 +0100)]
More on Kolmos's algorithm.

16 years agoPicture of a Boruvka tree, and a proof.
Martin Mares [Fri, 7 Mar 2008 16:28:54 +0000 (17:28 +0100)]
Picture of a Boruvka tree, and a proof.

16 years agoFirst bits of verification.
Martin Mares [Fri, 7 Mar 2008 13:55:27 +0000 (14:55 +0100)]
First bits of verification.

16 years agoAdded the picture of the French trick.
Martin Mares [Wed, 5 Mar 2008 17:59:35 +0000 (18:59 +0100)]
Added the picture of the French trick.

16 years agoFixes to the special case section.
Martin Mares [Wed, 5 Mar 2008 17:37:37 +0000 (18:37 +0100)]
Fixes to the special case section.

16 years agoSpecial cases.
Martin Mares [Wed, 5 Mar 2008 16:58:05 +0000 (17:58 +0100)]
Special cases.

16 years agoNotation.
Martin Mares [Wed, 5 Mar 2008 13:36:33 +0000 (14:36 +0100)]
Notation.

16 years agoBender.
Martin Mares [Wed, 5 Mar 2008 13:34:22 +0000 (14:34 +0100)]
Bender.

16 years agoImproved proof of QH lemma.
Martin Mares [Wed, 5 Mar 2008 13:28:26 +0000 (14:28 +0100)]
Improved proof of QH lemma.

16 years agoFixes to the QH.
Martin Mares [Wed, 5 Mar 2008 13:14:05 +0000 (14:14 +0100)]
Fixes to the QH.

16 years agoAdded the chapter with examples.
Martin Mares [Tue, 4 Mar 2008 17:06:32 +0000 (18:06 +0100)]
Added the chapter with examples.

16 years agoMention Thorup's priority queue.
Martin Mares [Tue, 4 Mar 2008 16:22:58 +0000 (17:22 +0100)]
Mention Thorup's priority queue.

16 years agoTODO from JN.
Martin Mares [Tue, 4 Mar 2008 16:05:14 +0000 (17:05 +0100)]
TODO from JN.

16 years agoMore plans.
Martin Mares [Tue, 4 Mar 2008 15:58:44 +0000 (16:58 +0100)]
More plans.

16 years agoGraphs with sorted weights.
Martin Mares [Tue, 4 Mar 2008 15:57:04 +0000 (16:57 +0100)]
Graphs with sorted weights.

16 years agoQ-heap trees and MST with integer weights.
Martin Mares [Tue, 4 Mar 2008 15:44:26 +0000 (16:44 +0100)]
Q-heap trees and MST with integer weights.

16 years agoFinished Q-heaps.
Martin Mares [Tue, 4 Mar 2008 14:02:58 +0000 (15:02 +0100)]
Finished Q-heaps.

16 years agoMore Q-heaps.
Martin Mares [Tue, 4 Mar 2008 12:06:43 +0000 (13:06 +0100)]
More Q-heaps.

16 years agoPlanning.
Martin Mares [Sat, 1 Mar 2008 13:17:45 +0000 (14:17 +0100)]
Planning.

16 years agoMore on Q-heaps.
Martin Mares [Sat, 1 Mar 2008 12:42:56 +0000 (13:42 +0100)]
More on Q-heaps.

16 years agoFirst part of Q-Heaps.
Martin Mares [Fri, 29 Feb 2008 23:43:50 +0000 (00:43 +0100)]
First part of Q-Heaps.

16 years agoMore references. More!
Martin Mares [Wed, 27 Feb 2008 20:37:09 +0000 (21:37 +0100)]
More references. More!

16 years agoUse \pi[x...y].
Martin Mares [Wed, 27 Feb 2008 20:04:42 +0000 (21:04 +0100)]
Use \pi[x...y].

16 years agoPLAN.
Martin Mares [Wed, 27 Feb 2008 19:57:44 +0000 (20:57 +0100)]
PLAN.

16 years agoAdded a Remark.
Martin Mares [Wed, 27 Feb 2008 19:56:39 +0000 (20:56 +0100)]
Added a Remark.

16 years agoUpdated the plan.
Martin Mares [Wed, 27 Feb 2008 19:49:35 +0000 (20:49 +0100)]
Updated the plan.

16 years agoSplit the large section on restricted permutations.
Martin Mares [Wed, 27 Feb 2008 19:45:16 +0000 (20:45 +0100)]
Split the large section on restricted permutations.

16 years agoFinished derangements.
Martin Mares [Wed, 27 Feb 2008 19:40:34 +0000 (20:40 +0100)]
Finished derangements.

16 years agoUff. The bound seems to work.
Martin Mares [Wed, 27 Feb 2008 18:32:00 +0000 (19:32 +0100)]
Uff. The bound seems to work.

16 years agoOne more table.
Martin Mares [Wed, 27 Feb 2008 18:31:34 +0000 (19:31 +0100)]
One more table.

16 years agoMore bits of the program.
Martin Mares [Wed, 27 Feb 2008 15:57:00 +0000 (16:57 +0100)]
More bits of the program.

16 years agoAdded a program for computing the n0's.
Martin Mares [Wed, 27 Feb 2008 13:38:38 +0000 (14:38 +0100)]
Added a program for computing the n0's.

16 years agoStraightening.
Martin Mares [Wed, 27 Feb 2008 12:47:45 +0000 (13:47 +0100)]
Straightening.

16 years agoNitpicking on the hatcheck lady.
Martin Mares [Wed, 27 Feb 2008 11:49:26 +0000 (12:49 +0100)]
Nitpicking on the hatcheck lady.

16 years agoTypesetting of references.
Martin Mares [Wed, 27 Feb 2008 11:27:01 +0000 (12:27 +0100)]
Typesetting of references.

16 years agoCorrections to the minor-closed chapter.
Martin Mares [Wed, 27 Feb 2008 11:17:59 +0000 (12:17 +0100)]
Corrections to the minor-closed chapter.

16 years agoMore hatchecks.
Martin Mares [Tue, 26 Feb 2008 11:05:01 +0000 (12:05 +0100)]
More hatchecks.

16 years agoVarious fixes and improvements to ranks.
Martin Mares [Tue, 26 Feb 2008 09:37:56 +0000 (10:37 +0100)]
Various fixes and improvements to ranks.

16 years agoMore permutations.
Martin Mares [Mon, 25 Feb 2008 17:37:36 +0000 (18:37 +0100)]
More permutations.

16 years agoMinor changes.
Martin Mares [Mon, 25 Feb 2008 14:18:39 +0000 (15:18 +0100)]
Minor changes.

16 years agoRestricted permutations galore!
Martin Mares [Mon, 25 Feb 2008 13:44:33 +0000 (14:44 +0100)]
Restricted permutations galore!

16 years agoFixes of typography.
Martin Mares [Fri, 22 Feb 2008 17:31:13 +0000 (18:31 +0100)]
Fixes of typography.

16 years agoSome things have been done :)
Martin Mares [Fri, 22 Feb 2008 17:19:27 +0000 (18:19 +0100)]
Some things have been done :)

16 years agoMinor fixes.
Martin Mares [Fri, 22 Feb 2008 17:17:21 +0000 (18:17 +0100)]
Minor fixes.

16 years agoFixed a typo.
Martin Mares [Fri, 22 Feb 2008 17:15:31 +0000 (18:15 +0100)]
Fixed a typo.

16 years agoFix proof of the local contractive algorithm.
Martin Mares [Fri, 22 Feb 2008 17:13:07 +0000 (18:13 +0100)]
Fix proof of the local contractive algorithm.

16 years agoNames of theorems are typeset on a separate line.
Martin Mares [Fri, 22 Feb 2008 17:02:08 +0000 (18:02 +0100)]
Names of theorems are typeset on a separate line.

16 years agoExtended the chapter on minors.
Martin Mares [Fri, 22 Feb 2008 16:52:54 +0000 (17:52 +0100)]
Extended the chapter on minors.

16 years agoEnable amstex and use the curly leq for minors.
Martin Mares [Fri, 22 Feb 2008 16:52:39 +0000 (17:52 +0100)]
Enable amstex and use the curly leq for minors.

16 years agoReformulate the trick for k-permutations.
Martin Mares [Fri, 22 Feb 2008 13:31:29 +0000 (14:31 +0100)]
Reformulate the trick for k-permutations.

16 years agoCorrections of the ranking chapter.
Martin Mares [Fri, 22 Feb 2008 12:53:32 +0000 (13:53 +0100)]
Corrections of the ranking chapter.

16 years agoFix the fix.
Martin Mares [Fri, 22 Feb 2008 12:09:27 +0000 (13:09 +0100)]
Fix the fix.

16 years agoFixed makefile.
Martin Mares [Fri, 22 Feb 2008 12:06:30 +0000 (13:06 +0100)]
Fixed makefile.

16 years agoPlan.
Martin Mares [Thu, 21 Feb 2008 13:50:44 +0000 (14:50 +0100)]
Plan.

16 years agoRanking of k-permutations.
Martin Mares [Wed, 20 Feb 2008 21:48:35 +0000 (22:48 +0100)]
Ranking of k-permutations.

16 years agoMinor fixes.
Martin Mares [Wed, 20 Feb 2008 17:11:39 +0000 (18:11 +0100)]
Minor fixes.

16 years agoRanking of permutations.
Martin Mares [Wed, 20 Feb 2008 17:05:10 +0000 (18:05 +0100)]
Ranking of permutations.

16 years agoStart with ranks.
Martin Mares [Tue, 19 Feb 2008 12:38:19 +0000 (13:38 +0100)]
Start with ranks.

16 years agoAdded AMS symbols, but leave them commented out.
Martin Mares [Tue, 19 Feb 2008 12:38:12 +0000 (13:38 +0100)]
Added AMS symbols, but leave them commented out.

16 years agoMerge with git+ssh://git.ucw.cz/home/mj/GIT/saga.git
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

16 years agoFIXME.
Martin Mares [Fri, 8 Feb 2008 08:09:46 +0000 (09:09 +0100)]
FIXME.

16 years agoPrepare for ranking chapter.
Martin Mares [Mon, 4 Feb 2008 22:04:45 +0000 (23:04 +0100)]
Prepare for ranking chapter.

16 years agoAdded citations.
Martin Mares [Mon, 4 Feb 2008 18:40:29 +0000 (19:40 +0100)]
Added citations.

16 years agoFixed a bug.
Martin Mares [Mon, 4 Feb 2008 18:40:15 +0000 (19:40 +0100)]
Fixed a bug.

16 years agoFix definition of \beta and \log^*.
Martin Mares [Sun, 3 Feb 2008 20:19:21 +0000 (21:19 +0100)]
Fix definition of \beta and \log^*.

16 years agoA typo.
Martin Mares [Sun, 3 Feb 2008 20:16:13 +0000 (21:16 +0100)]
A typo.

16 years agoUnification of tenses.
Martin Mares [Sun, 3 Feb 2008 20:13:30 +0000 (21:13 +0100)]
Unification of tenses.

16 years agoDefinitions of bitwise operations.
Martin Mares [Sun, 3 Feb 2008 20:09:07 +0000 (21:09 +0100)]
Definitions of bitwise operations.

16 years agoMore RAM fixes.
Martin Mares [Sun, 3 Feb 2008 20:00:31 +0000 (21:00 +0100)]
More RAM fixes.

16 years agoRAM correctures.
Martin Mares [Sun, 3 Feb 2008 19:50:34 +0000 (20:50 +0100)]
RAM correctures.

16 years agoFixed typography.
Martin Mares [Sat, 2 Feb 2008 17:56:20 +0000 (18:56 +0100)]
Fixed typography.

16 years agoMore bits on bits.
Martin Mares [Sat, 2 Feb 2008 17:51:18 +0000 (18:51 +0100)]
More bits on bits.

16 years agoMore bit tricks.
Martin Mares [Sat, 2 Feb 2008 17:29:08 +0000 (18:29 +0100)]
More bit tricks.

16 years agoVery raw version of the bit operations.
Martin Mares [Sat, 2 Feb 2008 16:48:24 +0000 (17:48 +0100)]
Very raw version of the bit operations.

16 years agoBit string notation.
Martin Mares [Fri, 1 Feb 2008 23:44:35 +0000 (00:44 +0100)]
Bit string notation.

16 years agoFixes in bibliography.
Martin Mares [Fri, 1 Feb 2008 20:32:37 +0000 (21:32 +0100)]
Fixes in bibliography.

16 years agoMore RAM bits.
Martin Mares [Fri, 1 Feb 2008 14:27:14 +0000 (15:27 +0100)]
More RAM bits.

16 years agoIntro on RAM data structures.
Martin Mares [Fri, 1 Feb 2008 12:50:56 +0000 (13:50 +0100)]
Intro on RAM data structures.

16 years agoNamed the Active Edge Jarnik's algorithm.
Martin Mares [Fri, 1 Feb 2008 10:43:09 +0000 (11:43 +0100)]
Named the Active Edge Jarnik's algorithm.

16 years agoBug fixes.
Martin Mares [Fri, 1 Feb 2008 10:37:17 +0000 (11:37 +0100)]
Bug fixes.

16 years agoNotes.
Martin Mares [Wed, 30 Jan 2008 22:21:04 +0000 (23:21 +0100)]
Notes.

16 years agoBucket-sorts are now a separate section in the technical chapter.
Martin Mares [Wed, 30 Jan 2008 15:10:05 +0000 (16:10 +0100)]
Bucket-sorts are now a separate section in the technical chapter.

16 years agoReorganization: added Advanced MST Algorithms chapter.
Martin Mares [Wed, 30 Jan 2008 14:22:33 +0000 (15:22 +0100)]
Reorganization: added Advanced MST Algorithms chapter.

16 years agoFinish PM.
Martin Mares [Wed, 30 Jan 2008 14:08:04 +0000 (15:08 +0100)]
Finish PM.

16 years agoSplit off a chapter on computation models and added description of the 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.

16 years agoMore RAM for you.
Martin Mares [Tue, 29 Jan 2008 22:35:58 +0000 (23:35 +0100)]
More RAM for you.

16 years agoIntroduction to models of computation.
Martin Mares [Tue, 29 Jan 2008 20:14:36 +0000 (21:14 +0100)]
Introduction to models of computation.

16 years agoMinor stuff.
Martin Mares [Tue, 29 Jan 2008 14:29:39 +0000 (15:29 +0100)]
Minor stuff.

16 years agoPettie.
Martin Mares [Mon, 28 Jan 2008 12:24:00 +0000 (13:24 +0100)]
Pettie.

16 years agoMore bibliography.
Martin Mares [Mon, 28 Jan 2008 11:47:00 +0000 (12:47 +0100)]
More bibliography.

16 years agoRemark on edge densities.
Martin Mares [Mon, 28 Jan 2008 10:58:57 +0000 (11:58 +0100)]
Remark on edge densities.

16 years agoFinished iterated Jarnik.
Martin Mares [Mon, 28 Jan 2008 10:43:39 +0000 (11:43 +0100)]
Finished iterated Jarnik.

16 years agoIterated Jarnik.
Martin Mares [Sun, 27 Jan 2008 21:31:23 +0000 (22:31 +0100)]
Iterated Jarnik.

16 years agoMore Fibonacci.
Martin Mares [Fri, 25 Jan 2008 23:03:11 +0000 (00:03 +0100)]
More Fibonacci.

16 years agoFibonacci heaps.
Martin Mares [Fri, 25 Jan 2008 22:46:39 +0000 (23:46 +0100)]
Fibonacci heaps.

16 years agoFix off-by-1 problems in the definition of the distractor.
Martin Mares [Wed, 23 Jan 2008 12:41:56 +0000 (13:41 +0100)]
Fix off-by-1 problems in the definition of the distractor.

16 years agoKorektury.
Martin Mares [Wed, 23 Jan 2008 12:38:16 +0000 (13:38 +0100)]
Korektury.

16 years agoHexangle construction manually written in PS.
Martin Mares [Mon, 21 Jan 2008 20:16:14 +0000 (21:16 +0100)]
Hexangle construction manually written in PS.

16 years agoA partial picture.
Martin Mares [Mon, 21 Jan 2008 19:01:14 +0000 (20:01 +0100)]
A partial picture.

16 years agoA remark.
Martin Mares [Mon, 21 Jan 2008 18:06:33 +0000 (19:06 +0100)]
A remark.