]> mj.ucw.cz Git - saga.git/log
saga.git
16 years agoForgotten mjalpha.bst. printed
Martin Mares [Mon, 5 May 2008 17:58:51 +0000 (19:58 +0200)]
Forgotten mjalpha.bst.

16 years agoClarify notation.
Martin Mares [Sun, 4 May 2008 22:00:33 +0000 (00:00 +0200)]
Clarify notation.

16 years agoFinal final fixes to bibliography.
Martin Mares [Sun, 4 May 2008 17:56:05 +0000 (19:56 +0200)]
Final final fixes to bibliography.

16 years agoYet more fixes to bibliography.
Martin Mares [Sun, 4 May 2008 17:48:37 +0000 (19:48 +0200)]
Yet more fixes to bibliography.

16 years agoNoted that all logs are binary.
Martin Mares [Sun, 4 May 2008 16:56:11 +0000 (18:56 +0200)]
Noted that all logs are binary.

16 years agoUpdated the release date.
Martin Mares [Sun, 4 May 2008 16:44:26 +0000 (18:44 +0200)]
Updated the release date.

16 years agoPLAN--
Martin Mares [Sun, 4 May 2008 16:42:47 +0000 (18:42 +0200)]
PLAN--

16 years agoFinal typograpic hacks.
Martin Mares [Sun, 4 May 2008 16:42:24 +0000 (18:42 +0200)]
Final typograpic hacks.

16 years agosection -> Section (fix remaining).
Martin Mares [Sun, 4 May 2008 12:31:44 +0000 (14:31 +0200)]
section -> Section (fix remaining).

16 years agoFinal typesetting: Chapters 1 and 2.
Martin Mares [Sun, 4 May 2008 12:29:24 +0000 (14:29 +0200)]
Final typesetting: Chapters 1 and 2.

16 years agoKruskal.
Martin Mares [Sat, 3 May 2008 21:16:15 +0000 (23:16 +0200)]
Kruskal.

16 years agoFixed online references.
Martin Mares [Sat, 3 May 2008 21:12:08 +0000 (23:12 +0200)]
Fixed online references.

16 years agoYet more fixes to bibliography.
Martin Mares [Sat, 3 May 2008 21:06:02 +0000 (23:06 +0200)]
Yet more fixes to bibliography.

16 years agoBibliography: Next round of corrections.
Martin Mares [Sat, 3 May 2008 20:40:03 +0000 (22:40 +0200)]
Bibliography: Next round of corrections.

16 years agoFirst part of corrections of bibliography.
Martin Mares [Sat, 3 May 2008 20:14:14 +0000 (22:14 +0200)]
First part of corrections of bibliography.

16 years agoRemoved most refs from the Epilogue.
Martin Mares [Sat, 3 May 2008 19:31:25 +0000 (21:31 +0200)]
Removed most refs from the Epilogue.

16 years agoReferences to better bounds for enforced minors.
Martin Mares [Sat, 3 May 2008 19:27:02 +0000 (21:27 +0200)]
References to better bounds for enforced minors.

16 years agoUnified typesetting of complexity classes.
Martin Mares [Sat, 3 May 2008 19:02:09 +0000 (21:02 +0200)]
Unified typesetting of complexity classes.

16 years agoRound to an even number of pages at the end.
Martin Mares [Sat, 3 May 2008 18:57:48 +0000 (20:57 +0200)]
Round to an even number of pages at the end.

16 years agoCorrections: Cover.
Martin Mares [Sat, 3 May 2008 18:41:54 +0000 (20:41 +0200)]
Corrections: Cover.

16 years agoMore corrections to Appendix A.
Martin Mares [Sat, 3 May 2008 18:41:01 +0000 (20:41 +0200)]
More corrections to Appendix A.

16 years agoCorrections: Appendix A.
Martin Mares [Sat, 3 May 2008 18:40:30 +0000 (20:40 +0200)]
Corrections: Appendix A.

16 years agoCorrections: Epilogue.
Martin Mares [Sat, 3 May 2008 18:33:15 +0000 (20:33 +0200)]
Corrections: Epilogue.

16 years agoCorrections: The rest of Chapter 7.
Martin Mares [Sat, 3 May 2008 18:28:50 +0000 (20:28 +0200)]
Corrections: The rest of Chapter 7.

16 years agoCorrections: Sections 7.1--7.4.5.
Martin Mares [Sat, 3 May 2008 18:07:56 +0000 (20:07 +0200)]
Corrections: Sections 7.1--7.4.5.

16 years agoCorrections: Chapter 6.
Martin Mares [Sat, 3 May 2008 17:52:44 +0000 (19:52 +0200)]
Corrections: Chapter 6.

16 years agoCorrections: The rest of Chapter 5.
Martin Mares [Sat, 3 May 2008 17:49:25 +0000 (19:49 +0200)]
Corrections: The rest of Chapter 5.

16 years agoUpdated PLAN.
Martin Mares [Sat, 3 May 2008 13:57:25 +0000 (15:57 +0200)]
Updated PLAN.

16 years agoCorrections to Sections 5.1--5.2.
Martin Mares [Sat, 3 May 2008 13:56:44 +0000 (15:56 +0200)]
Corrections to Sections 5.1--5.2.

16 years agoCorrections: Chapter 4.
Martin Mares [Sat, 3 May 2008 13:43:39 +0000 (15:43 +0200)]
Corrections: Chapter 4.

16 years agoCorrections: Chapter 3.
Martin Mares [Sat, 3 May 2008 13:20:55 +0000 (15:20 +0200)]
Corrections: Chapter 3.

16 years agoCorrections: Chapter 2.
Martin Mares [Sat, 3 May 2008 12:45:10 +0000 (14:45 +0200)]
Corrections: Chapter 2.

16 years agoCorrections: Chapter 1.
Martin Mares [Sat, 3 May 2008 11:24:57 +0000 (13:24 +0200)]
Corrections: Chapter 1.

16 years agoAdded generated EPS.
Martin Mares [Tue, 29 Apr 2008 11:11:01 +0000 (13:11 +0200)]
Added generated EPS.

16 years agoCorrections to K-best.
Martin Mares [Sun, 27 Apr 2008 20:27:05 +0000 (22:27 +0200)]
Corrections to K-best.

16 years agoCorrections of the K-best section.
Martin Mares [Sun, 27 Apr 2008 19:42:35 +0000 (21:42 +0200)]
Corrections of the K-best section.

16 years agoConnect K best to the introductory chapters.
Martin Mares [Thu, 24 Apr 2008 10:57:08 +0000 (12:57 +0200)]
Connect K best to the introductory chapters.

16 years agoFinished K best.
Martin Mares [Thu, 24 Apr 2008 10:48:53 +0000 (12:48 +0200)]
Finished K best.

16 years agoFirst parts of the section on Almost minimum trees.
Martin Mares [Wed, 23 Apr 2008 19:07:12 +0000 (21:07 +0200)]
First parts of the section on Almost minimum trees.

16 years agoA picture of a Q-heap.
Martin Mares [Wed, 23 Apr 2008 17:20:34 +0000 (19:20 +0200)]
A picture of a Q-heap.

16 years agoAdded a picture of a q-heap trie.
Martin Mares [Wed, 23 Apr 2008 17:14:38 +0000 (19:14 +0200)]
Added a picture of a q-heap trie.

WARNING: Vrr fails to save this. Manual editation needed.

16 years agoAdded the Epilogue.
Martin Mares [Wed, 23 Apr 2008 15:39:52 +0000 (17:39 +0200)]
Added the Epilogue.

16 years agoCorrections of the Preface.
Martin Mares [Wed, 23 Apr 2008 13:40:33 +0000 (15:40 +0200)]
Corrections of the Preface.

16 years agoLarger cover letters.
Martin Mares [Wed, 23 Apr 2008 12:29:07 +0000 (14:29 +0200)]
Larger cover letters.

16 years agoFinished prolog.
Martin Mares [Wed, 23 Apr 2008 09:17:29 +0000 (11:17 +0200)]
Finished prolog.

16 years agoMore of the prolog.
Martin Mares [Wed, 23 Apr 2008 09:00:01 +0000 (11:00 +0200)]
More of the prolog.

16 years agoParts of preface.
Martin Mares [Tue, 22 Apr 2008 18:35:19 +0000 (20:35 +0200)]
Parts of preface.

16 years agoAdded Edge removal lemma.
Martin Mares [Mon, 21 Apr 2008 15:37:05 +0000 (17:37 +0200)]
Added Edge removal lemma.

16 years agoUpdated PLAN.
Martin Mares [Mon, 21 Apr 2008 15:10:14 +0000 (17:10 +0200)]
Updated PLAN.

16 years agoCleaned up contractions.
Martin Mares [Mon, 21 Apr 2008 15:08:52 +0000 (17:08 +0200)]
Cleaned up contractions.

16 years agoFixed Greek alphabetical order.
Martin Mares [Mon, 21 Apr 2008 14:43:51 +0000 (16:43 +0200)]
Fixed Greek alphabetical order.

16 years agoImproved the cover page.
Martin Mares [Mon, 21 Apr 2008 14:39:49 +0000 (16:39 +0200)]
Improved the cover page.

16 years agoSorted the table of symbols.
Martin Mares [Mon, 21 Apr 2008 14:38:34 +0000 (16:38 +0200)]
Sorted the table of symbols.

16 years agoSpelling checker strikes again.
Martin Mares [Mon, 21 Apr 2008 14:07:36 +0000 (16:07 +0200)]
Spelling checker strikes again.

16 years agoMore conservative spelling.
Martin Mares [Mon, 21 Apr 2008 13:55:03 +0000 (15:55 +0200)]
More conservative spelling.

16 years agoEnsure vertical space before start of a section.
Martin Mares [Mon, 21 Apr 2008 13:53:36 +0000 (15:53 +0200)]
Ensure vertical space before start of a section.

16 years agoFix overflowing lines.
Martin Mares [Mon, 21 Apr 2008 13:47:03 +0000 (15:47 +0200)]
Fix overflowing lines.

16 years agoThe title page.
Martin Mares [Mon, 21 Apr 2008 13:07:00 +0000 (15:07 +0200)]
The title page.

16 years agoPage numbers.
Martin Mares [Mon, 21 Apr 2008 11:50:40 +0000 (13:50 +0200)]
Page numbers.

16 years agoOdd-even wobbling.
Martin Mares [Mon, 21 Apr 2008 11:44:31 +0000 (13:44 +0200)]
Odd-even wobbling.

16 years agoNotation and Bibliography are now appendices.
Martin Mares [Mon, 21 Apr 2008 11:33:16 +0000 (13:33 +0200)]
Notation and Bibliography are now appendices.

16 years agoBook style.
Martin Mares [Mon, 21 Apr 2008 11:05:39 +0000 (13:05 +0200)]
Book style.

16 years agoPractical and parallel algorithms.
Martin Mares [Sun, 20 Apr 2008 19:49:50 +0000 (21:49 +0200)]
Practical and parallel algorithms.

16 years agoAdded mention of red and blue rules to the intro of opt.
Martin Mares [Sun, 20 Apr 2008 16:41:48 +0000 (18:41 +0200)]
Added mention of red and blue rules to the intro of opt.

16 years agoMoved applications to a separate chapter.
Martin Mares [Sun, 20 Apr 2008 11:57:43 +0000 (13:57 +0200)]
Moved applications to a separate chapter.

16 years agoMinor improvements.
Martin Mares [Sun, 20 Apr 2008 11:51:21 +0000 (13:51 +0200)]
Minor improvements.

16 years agoAdded a section on the restrictions of graphs and weights.
Martin Mares [Sat, 19 Apr 2008 21:47:59 +0000 (23:47 +0200)]
Added a section on the restrictions of graphs and weights.

16 years agoCleaned up the Red-Blue section.
Martin Mares [Sat, 19 Apr 2008 20:52:55 +0000 (22:52 +0200)]
Cleaned up the Red-Blue section.

16 years agoMore wordsmithing.
Martin Mares [Sat, 19 Apr 2008 18:01:10 +0000 (20:01 +0200)]
More wordsmithing.

16 years agoThe Minimality Theorem has a nice name.
Martin Mares [Sat, 19 Apr 2008 17:57:40 +0000 (19:57 +0200)]
The Minimality Theorem has a nice name.

16 years agoCorrections of errors mentioned by Patrice.
Martin Mares [Sat, 19 Apr 2008 17:55:54 +0000 (19:55 +0200)]
Corrections of errors mentioned by Patrice.

This includes cleanup of light/heavy edges in presence of non-unique
weights.

16 years agoAdded dummy intro and conclusions.
Martin Mares [Sat, 19 Apr 2008 17:02:57 +0000 (19:02 +0200)]
Added dummy intro and conclusions.

16 years agoTable of contents.
Martin Mares [Sat, 19 Apr 2008 17:00:20 +0000 (19:00 +0200)]
Table of contents.

16 years agoMatroids.
Martin Mares [Sat, 19 Apr 2008 16:22:03 +0000 (18:22 +0200)]
Matroids.

16 years agoUnified yardsticks.
Martin Mares [Sat, 19 Apr 2008 15:41:38 +0000 (17:41 +0200)]
Unified yardsticks.

16 years agoBoruvka steps.
Martin Mares [Sat, 19 Apr 2008 15:39:40 +0000 (17:39 +0200)]
Boruvka steps.

16 years agoRemoving FIXME's.
Martin Mares [Sat, 19 Apr 2008 15:26:17 +0000 (17:26 +0200)]
Removing FIXME's.

16 years agoBits of introduction.
Martin Mares [Sat, 19 Apr 2008 15:24:01 +0000 (17:24 +0200)]
Bits of introduction.

16 years agoMention HAKMEM.
Martin Mares [Sat, 19 Apr 2008 15:02:05 +0000 (17:02 +0200)]
Mention HAKMEM.

16 years agoIntro to RAM data structures improved.
Martin Mares [Sat, 19 Apr 2008 14:35:59 +0000 (16:35 +0200)]
Intro to RAM data structures improved.

16 years agoInverses: many of them.
Martin Mares [Sat, 19 Apr 2008 13:26:14 +0000 (15:26 +0200)]
Inverses: many of them.

16 years agoFixed set union citations.
Martin Mares [Sat, 19 Apr 2008 13:19:13 +0000 (15:19 +0200)]
Fixed set union citations.

16 years agoUnified set notation.
Martin Mares [Sat, 19 Apr 2008 13:14:25 +0000 (15:14 +0200)]
Unified set notation.

16 years agoCapitalize PM.
Martin Mares [Sat, 19 Apr 2008 13:08:52 +0000 (15:08 +0200)]
Capitalize PM.

16 years agoOnline verification is hard.
Martin Mares [Sat, 19 Apr 2008 12:45:04 +0000 (14:45 +0200)]
Online verification is hard.

16 years agoCleaned up ackermannian notation.
Martin Mares [Sat, 19 Apr 2008 12:34:18 +0000 (14:34 +0200)]
Cleaned up ackermannian notation.

16 years agoMinor.
Martin Mares [Sat, 19 Apr 2008 12:30:43 +0000 (14:30 +0200)]
Minor.

16 years agoConverting remarks to named paragraphs.
Martin Mares [Wed, 16 Apr 2008 16:44:09 +0000 (18:44 +0200)]
Converting remarks to named paragraphs.

16 years agoBug fixes to fully dynamic algorithms.
Martin Mares [Wed, 16 Apr 2008 15:49:16 +0000 (17:49 +0200)]
Bug fixes to fully dynamic algorithms.

16 years agoAlmost fixed the proof of I3.
Martin Mares [Wed, 16 Apr 2008 12:12:38 +0000 (14:12 +0200)]
Almost fixed the proof of I3.

16 years agoLower bounds and bug fixes.
Martin Mares [Wed, 16 Apr 2008 11:41:45 +0000 (13:41 +0200)]
Lower bounds and bug fixes.

16 years agoFixes to dynamic MSF.
Martin Mares [Wed, 16 Apr 2008 11:18:44 +0000 (13:18 +0200)]
Fixes to dynamic MSF.

16 years agoMore corrections.
Martin Mares [Wed, 16 Apr 2008 11:07:14 +0000 (13:07 +0200)]
More corrections.

16 years agoFixes to ET-trees.
Martin Mares [Wed, 16 Apr 2008 10:39:47 +0000 (12:39 +0200)]
Fixes to ET-trees.

16 years agoCorrections to the intro to dynamic algorithms.
Martin Mares [Wed, 16 Apr 2008 10:19:16 +0000 (12:19 +0200)]
Corrections to the intro to dynamic algorithms.

16 years agoMore plans.
Martin Mares [Tue, 15 Apr 2008 20:27:49 +0000 (22:27 +0200)]
More plans.

16 years agoFully dynamic MSF. Unfortunately not my algorithm as it was found
Martin Mares [Tue, 15 Apr 2008 20:18:56 +0000 (22:18 +0200)]
Fully dynamic MSF. Unfortunately not my algorithm as it was found
to be fatally broken.

16 years agoPrepare for K smallest spanning trees.
Martin Mares [Tue, 15 Apr 2008 20:18:29 +0000 (22:18 +0200)]
Prepare for K smallest spanning trees.

16 years agoIntro to dynamic MSF.
Martin Mares [Mon, 14 Apr 2008 13:27:14 +0000 (15:27 +0200)]
Intro to dynamic MSF.

16 years agoFully dynamic connectivity.
Martin Mares [Fri, 11 Apr 2008 18:20:49 +0000 (20:20 +0200)]
Fully dynamic connectivity.