]> mj.ucw.cz Git - saga.git/shortlog
saga.git
2008-03-08 Martin MaresFinished the verification chapters.
2008-03-08 Martin MaresMore verification.
2008-03-08 Martin MaresFixing verification...
2008-03-07 Martin MaresSome more...
2008-03-07 Martin MaresKomlos's theorem.
2008-03-07 Martin MaresMore on Kolmos's algorithm.
2008-03-07 Martin MaresPicture of a Boruvka tree, and a proof.
2008-03-07 Martin MaresFirst bits of verification.
2008-03-05 Martin MaresAdded the picture of the French trick.
2008-03-05 Martin MaresFixes to the special case section.
2008-03-05 Martin MaresSpecial cases.
2008-03-05 Martin MaresNotation.
2008-03-05 Martin MaresBender.
2008-03-05 Martin MaresImproved proof of QH lemma.
2008-03-05 Martin MaresFixes to the QH.
2008-03-04 Martin MaresAdded the chapter with examples.
2008-03-04 Martin MaresMention Thorup's priority queue.
2008-03-04 Martin MaresTODO from JN.
2008-03-04 Martin MaresMore plans.
2008-03-04 Martin MaresGraphs with sorted weights.
2008-03-04 Martin MaresQ-heap trees and MST with integer weights.
2008-03-04 Martin MaresFinished Q-heaps.
2008-03-04 Martin MaresMore Q-heaps.
2008-03-01 Martin MaresPlanning.
2008-03-01 Martin MaresMore on Q-heaps.
2008-02-29 Martin MaresFirst part of Q-Heaps.
2008-02-27 Martin MaresMore references. More!
2008-02-27 Martin MaresUse \pi[x...y].
2008-02-27 Martin MaresPLAN.
2008-02-27 Martin MaresAdded a Remark.
2008-02-27 Martin MaresUpdated the plan.
2008-02-27 Martin MaresSplit the large section on restricted permutations.
2008-02-27 Martin MaresFinished derangements.
2008-02-27 Martin MaresUff. The bound seems to work.
2008-02-27 Martin MaresOne more table.
2008-02-27 Martin MaresMore bits of the program.
2008-02-27 Martin MaresAdded a program for computing the n0's.
2008-02-27 Martin MaresStraightening.
2008-02-27 Martin MaresNitpicking on the hatcheck lady.
2008-02-27 Martin MaresTypesetting of references.
2008-02-27 Martin MaresCorrections to the minor-closed chapter.
2008-02-26 Martin MaresMore hatchecks.
2008-02-26 Martin MaresVarious fixes and improvements to ranks.
2008-02-25 Martin MaresMore permutations.
2008-02-25 Martin MaresMinor changes.
2008-02-25 Martin MaresRestricted permutations galore!
2008-02-22 Martin MaresFixes of typography.
2008-02-22 Martin MaresSome things have been done :)
2008-02-22 Martin MaresMinor fixes.
2008-02-22 Martin MaresFixed a typo.
2008-02-22 Martin MaresFix proof of the local contractive algorithm.
2008-02-22 Martin MaresNames of theorems are typeset on a separate line.
2008-02-22 Martin MaresExtended the chapter on minors.
2008-02-22 Martin MaresEnable amstex and use the curly leq for minors.
2008-02-22 Martin MaresReformulate the trick for k-permutations.
2008-02-22 Martin MaresCorrections of the ranking chapter.
2008-02-22 Martin MaresFix the fix.
2008-02-22 Martin MaresFixed makefile.
2008-02-21 Martin MaresPlan.
2008-02-20 Martin MaresRanking of k-permutations.
2008-02-20 Martin MaresMinor fixes.
2008-02-20 Martin MaresRanking of permutations.
2008-02-19 Martin MaresStart with ranks.
2008-02-19 Martin MaresAdded AMS symbols, but leave them commented out.
2008-02-08 Martin MaresMerge with git+ssh://git.ucw.cz/home/mj/GIT/saga.git
2008-02-08 Martin MaresFIXME.
2008-02-04 Martin MaresPrepare for ranking chapter.
2008-02-04 Martin MaresAdded citations.
2008-02-04 Martin MaresFixed a bug.
2008-02-03 Martin MaresFix definition of \beta and \log^*.
2008-02-03 Martin MaresA typo.
2008-02-03 Martin MaresUnification of tenses.
2008-02-03 Martin MaresDefinitions of bitwise operations.
2008-02-03 Martin MaresMore RAM fixes.
2008-02-03 Martin MaresRAM correctures.
2008-02-02 Martin MaresFixed typography.
2008-02-02 Martin MaresMore bits on bits.
2008-02-02 Martin MaresMore bit tricks.
2008-02-02 Martin MaresVery raw version of the bit operations.
2008-02-01 Martin MaresBit string notation.
2008-02-01 Martin MaresFixes in bibliography.
2008-02-01 Martin MaresMore RAM bits.
2008-02-01 Martin MaresIntro on RAM data structures.
2008-02-01 Martin MaresNamed the Active Edge Jarnik's algorithm.
2008-02-01 Martin MaresBug fixes.
2008-01-30 Martin MaresNotes.
2008-01-30 Martin MaresBucket-sorts are now a separate section in the technica...
2008-01-30 Martin MaresReorganization: added Advanced MST Algorithms chapter.
2008-01-30 Martin MaresFinish PM.
2008-01-30 Martin MaresSplit off a chapter on computation models and added...
2008-01-29 Martin MaresMore RAM for you.
2008-01-29 Martin MaresIntroduction to models of computation.
2008-01-29 Martin MaresMinor stuff.
2008-01-28 Martin MaresPettie.
2008-01-28 Martin MaresMore bibliography.
2008-01-28 Martin MaresRemark on edge densities.
2008-01-28 Martin MaresFinished iterated Jarnik.
2008-01-27 Martin MaresIterated Jarnik.
2008-01-25 Martin MaresMore Fibonacci.
2008-01-25 Martin MaresFibonacci heaps.
next