]> mj.ucw.cz Git - saga.git/shortlog
saga.git
2008-04-05 Martin MaresFixed lots of typos.
2008-04-05 Martin MaresFix references.
2008-04-05 Martin Marescountrefs target.
2008-04-05 Martin MaresRemarks on Pettie.
2008-04-05 Martin MaresThe optimal algorithm.
2008-04-03 Martin MaresMore on optimal decision trees.
2008-04-03 Martin MaresConstruction of optimal trees.
2008-04-02 Martin MaresDecision trees started.
2008-04-02 Martin MaresMore plans.
2008-04-02 Martin MaresVaria.
2008-04-02 Martin MaresPartitioning done.
2008-04-02 Martin MaresMore robust contractions.
2008-04-01 Martin MaresRobust contraction lemma.
2008-04-01 Martin MaresCycle rule.
2008-04-01 Martin MaresStarted with robust contractions.
2008-03-29 Martin MaresSH: Optimality.
2008-03-29 Martin MaresSH: Yardsticks.
2008-03-29 Martin MaresSoft heaps: fixes.
2008-03-29 Martin MaresSoft heaps: Example.
2008-03-27 Martin MaresAnalysis of soft heaps finished.
2008-03-27 Martin MaresMore soft heaps. More.
2008-03-27 Martin MaresSoft heaps: time complexity.
2008-03-26 Martin MaresAccuracy finished.
2008-03-26 Martin MaresEven more soft heaps.
2008-03-26 Martin MaresMore soft heap bits.
2008-03-26 Martin MaresMore soft heaps.
2008-03-26 Martin MaresTwo pictures of soft heaps.
2008-03-24 Martin MaresApproaching Optimality. Very slowly.
2008-03-24 Martin MaresKKT: Renamed $t$ to $v$.
2008-03-24 Martin MaresFixed to KKT.
2008-03-19 Martin MaresUpdated bibliography.
2008-03-18 Martin MaresFinished KKT.
2008-03-17 Martin MaresAnother bugfix.
2008-03-17 Martin MaresBug fix.
2008-03-17 Martin MaresMore KKT.
2008-03-17 Martin MaresMore parts of KKT.
2008-03-17 Martin MaresImprove analysis of contractive Boruvka.
2008-03-17 Martin MaresKarger's sampling lemma.
2008-03-17 Martin MaresClean up heavy vs. light vs. tree edges.
2008-03-17 Martin MaresRemark on disconnected graphs.
2008-03-17 Martin MaresWicked which's.
2008-03-16 Martin MaresCorrected the picture of the Boruvka tree.
2008-03-16 Martin MaresA plenty of corrections to the verification algorithm.
2008-03-16 Martin MaresCleaning up verification chapter.
2008-03-11 Martin MaresPLAN.
2008-03-11 Martin MaresFirst part of fixes to verification.
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.
next