]> mj.ucw.cz Git - saga.git/shortlog
saga.git
2008-04-19 Martin MaresFixed set union citations.
2008-04-19 Martin MaresUnified set notation.
2008-04-19 Martin MaresCapitalize PM.
2008-04-19 Martin MaresOnline verification is hard.
2008-04-19 Martin MaresCleaned up ackermannian notation.
2008-04-19 Martin MaresMinor.
2008-04-16 Martin MaresConverting remarks to named paragraphs.
2008-04-16 Martin MaresBug fixes to fully dynamic algorithms.
2008-04-16 Martin MaresAlmost fixed the proof of I3.
2008-04-16 Martin MaresLower bounds and bug fixes.
2008-04-16 Martin MaresFixes to dynamic MSF.
2008-04-16 Martin MaresMore corrections.
2008-04-16 Martin MaresFixes to ET-trees.
2008-04-16 Martin MaresCorrections to the intro to dynamic algorithms.
2008-04-15 Martin MaresMore plans.
2008-04-15 Martin MaresFully dynamic MSF. Unfortunately not my algorithm as...
2008-04-15 Martin MaresPrepare for K smallest spanning trees.
2008-04-14 Martin MaresIntro to dynamic MSF.
2008-04-11 Martin MaresFully dynamic connectivity.
2008-04-11 Martin MaresFirst bits of fully dynamic connectivity.
2008-04-11 Martin MaresUnify references to King's papers.
2008-04-11 Martin MaresA picture of ET-sequences.
2008-04-11 Martin MaresAnalysis of ET-trees.
2008-04-10 Martin MaresMore ET trees.
2008-04-10 Martin MaresReplanning.
2008-04-10 Martin MaresMore bits of ET trees.
2008-04-09 Martin MaresFirst bits of ET trees.
2008-04-09 Martin MaresCorrections to the intro to dynamic algorithms.
2008-04-09 Martin MaresRemark on backtracking.
2008-04-09 Martin MaresSemidynamic MSF.
2008-04-08 Martin MaresContinuing with the intro to dynamic algorithms.
2008-04-08 Martin MaresGroomed the section on the Ackermann's function.
2008-04-08 Martin MaresThe ChangeLog no longer exists.
2008-04-08 Martin MaresMore on the Ackermann's function and its inverses.
2008-04-08 Martin MaresUpdated the section on the Ackermann's function.
2008-04-08 Martin MaresAdded `upload' target.
2008-04-08 Martin MaresAckermann's function.
2008-04-08 Martin MaresImprove description of classical algorithms.
2008-04-07 Martin MaresIntroduction to dynamic algorithms.
2008-04-07 Martin MaresNew plans.
2008-04-07 Martin MaresTODO.
2008-04-07 Martin MaresCleaned up topological computations and unification.
2008-04-07 Martin MaresFixes to bucket sorting section.
2008-04-07 Martin MaresCall subgraphs clusters.
2008-04-07 Martin MaresCorrection to OPT.
2008-04-06 Martin MaresCorrections to robust contractions.
2008-04-06 Martin MaresUse larger parens.
2008-04-06 Martin MaresTopological graph computations.
2008-04-06 Martin MaresTree isomorphism.
2008-04-05 Martin MaresMore on bucket sorting (unfinished).
2008-04-05 Martin Mares\paran redefined.
2008-04-05 Martin MaresFixed bugs in notation.
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.
next