]> mj.ucw.cz Git - saga.git/log
saga.git
2 years agoBUGS: Little ones to fix master
Martin Mares [Mon, 2 May 2022 17:53:56 +0000 (19:53 +0200)]
BUGS: Little ones to fix

2 years agoMakefile: Build everything as PDF
Martin Mares [Mon, 2 May 2022 17:50:40 +0000 (19:50 +0200)]
Makefile: Build everything as PDF

2 years agoCover: Date of last update
Martin Mares [Mon, 25 Apr 2022 18:07:46 +0000 (20:07 +0200)]
Cover: Date of last update

2 years agoMakefile: Uploading adjusted to the new structure of my web site
Martin Mares [Mon, 25 Apr 2022 17:57:14 +0000 (19:57 +0200)]
Makefile: Uploading adjusted to the new structure of my web site

2 years agoFixed a typo in properties of ET-sequences
Martin Mares [Mon, 25 Apr 2022 17:55:54 +0000 (19:55 +0200)]
Fixed a typo in properties of ET-sequences

2 years agoFixed a typo in definition of the ET-sequence
Martin Mares [Mon, 25 Apr 2022 17:54:47 +0000 (19:54 +0200)]
Fixed a typo in definition of the ET-sequence

2 years agoFixed a tiny error in decision tree lemma
Martin Mares [Mon, 25 Apr 2022 17:53:33 +0000 (19:53 +0200)]
Fixed a tiny error in decision tree lemma

2 years agofonts12: Avoid using ms{a,b}m12
Martin Mares [Mon, 25 Apr 2022 17:49:36 +0000 (19:49 +0200)]
fonts12: Avoid using ms{a,b}m12

They are not available in recent TeXlive :(

2 years agopubs: Convert to UTF-8
Martin Mares [Mon, 25 Apr 2022 17:49:23 +0000 (19:49 +0200)]
pubs: Convert to UTF-8

2 years agoabscover: Convert to UTF-8
Martin Mares [Mon, 25 Apr 2022 17:48:57 +0000 (19:48 +0200)]
abscover: Convert to UTF-8

14 years agoFixed the definition of edge density in Chapter 3.1.
Martin Mares [Sat, 16 Jan 2010 15:58:38 +0000 (16:58 +0100)]
Fixed the definition of edge density in Chapter 3.1.

(infimum replaced by supremum; maybe lim sup would be even
better, but the difference does not matter in our applications)

14 years agoFixed usage of \em in mjalpha.bst
Martin Mares [Sun, 12 Jul 2009 11:26:50 +0000 (13:26 +0200)]
Fixed usage of \em in mjalpha.bst

15 years agoIn the definiton of the soft queue, we should better explicitly mention that
Martin Mares [Sun, 5 Apr 2009 14:45:47 +0000 (16:45 +0200)]
In the definiton of the soft queue, we should better explicitly mention that
both sons always keep the same rank.

15 years agoFinished the revised version. v2
Martin Mares [Sat, 13 Sep 2008 14:01:29 +0000 (16:01 +0200)]
Finished the revised version.

15 years agoMore fixes to bugs reported by Patrice.
Martin Mares [Sat, 13 Sep 2008 13:55:56 +0000 (15:55 +0200)]
More fixes to bugs reported by Patrice.

15 years agoCorrected bugs reported by Koubek.
Martin Mares [Sat, 13 Sep 2008 13:41:44 +0000 (15:41 +0200)]
Corrected bugs reported by Koubek.

15 years agoMinor fixes to chapters 3 and 6.
Martin Mares [Sat, 30 Aug 2008 14:03:41 +0000 (16:03 +0200)]
Minor fixes to chapters 3 and 6.

15 years agoFixes to Chapter 2.
Martin Mares [Sat, 30 Aug 2008 13:27:10 +0000 (15:27 +0200)]
Fixes to Chapter 2.

15 years agoTODO.
Martin Mares [Sat, 30 Aug 2008 12:34:19 +0000 (14:34 +0200)]
TODO.

15 years agoFixes to Chapter 1.
Martin Mares [Sat, 30 Aug 2008 12:27:38 +0000 (14:27 +0200)]
Fixes to Chapter 1.

15 years agoMore TODO.
Martin Mares [Sat, 30 Aug 2008 12:01:35 +0000 (14:01 +0200)]
More TODO.

15 years agoWritten a new TODO list.
Martin Mares [Sat, 30 Aug 2008 12:00:16 +0000 (14:00 +0200)]
Written a new TODO list.

15 years agoHopefully final. phd-final
Martin Mares [Tue, 29 Jul 2008 08:26:57 +0000 (10:26 +0200)]
Hopefully final.

15 years agoSlides v0.0.
Martin Mares [Mon, 28 Jul 2008 21:58:46 +0000 (23:58 +0200)]
Slides v0.0.

15 years agoFixed typos.
Martin Mares [Mon, 16 Jun 2008 11:04:20 +0000 (13:04 +0200)]
Fixed typos.

15 years agoFixed missing ref.
Martin Mares [Mon, 16 Jun 2008 10:50:49 +0000 (12:50 +0200)]
Fixed missing ref.

15 years agoFormatting the list of publications.
Martin Mares [Mon, 16 Jun 2008 10:49:09 +0000 (12:49 +0200)]
Formatting the list of publications.

15 years agoCleanups.
Martin Mares [Mon, 16 Jun 2008 10:38:37 +0000 (12:38 +0200)]
Cleanups.

15 years agoCover of the abstract.
Martin Mares [Mon, 16 Jun 2008 10:37:28 +0000 (12:37 +0200)]
Cover of the abstract.

15 years agoAbstract: Minor typographic details.
Martin Mares [Mon, 16 Jun 2008 08:35:07 +0000 (10:35 +0200)]
Abstract: Minor typographic details.

15 years agoThe great split.
Martin Mares [Mon, 16 Jun 2008 08:10:06 +0000 (10:10 +0200)]
The great split.

Font macros are now stored separately, because we need 12pt fonts in the
saga and 10pt in the abstract. Also split off the list of publications
from the abstract.

15 years agoAbstract: Final fixes.
Martin Mares [Wed, 4 Jun 2008 12:54:33 +0000 (14:54 +0200)]
Abstract: Final fixes.

15 years agoMore shortening.
Martin Mares [Wed, 4 Jun 2008 12:32:21 +0000 (14:32 +0200)]
More shortening.

15 years agoList of publications.
Martin Mares [Wed, 4 Jun 2008 12:15:21 +0000 (14:15 +0200)]
List of publications.

15 years agoPruning...
Martin Mares [Wed, 4 Jun 2008 10:37:53 +0000 (12:37 +0200)]
Pruning...

15 years agoAbstract: Minor improvements.
Martin Mares [Wed, 4 Jun 2008 10:18:52 +0000 (12:18 +0200)]
Abstract: Minor improvements.

15 years agoAbstract: added Conclusions and reviewed chapters 1--5.
Martin Mares [Tue, 3 Jun 2008 21:34:31 +0000 (23:34 +0200)]
Abstract: added Conclusions and reviewed chapters 1--5.

15 years agoFixed a typo in the comment about vEBT's.
Martin Mares [Tue, 3 Jun 2008 21:34:09 +0000 (23:34 +0200)]
Fixed a typo in the comment about vEBT's.

15 years agoUnify typesetting of #P-completeness.
Martin Mares [Tue, 3 Jun 2008 20:59:10 +0000 (22:59 +0200)]
Unify typesetting of #P-completeness.

15 years agoAbstracted the chapter on ranks.
Martin Mares [Tue, 3 Jun 2008 20:34:58 +0000 (22:34 +0200)]
Abstracted the chapter on ranks.

15 years agoMore abstract art.
Martin Mares [Tue, 3 Jun 2008 19:47:55 +0000 (21:47 +0200)]
More abstract art.

15 years agoFixes to the abstract.
Martin Mares [Tue, 3 Jun 2008 09:57:17 +0000 (11:57 +0200)]
Fixes to the abstract.

15 years ago\alpha -> \timesalpha
Martin Mares [Tue, 3 Jun 2008 09:56:39 +0000 (11:56 +0200)]
\alpha -> \timesalpha

15 years agoAbstract: two more chapters.
Martin Mares [Tue, 3 Jun 2008 09:53:53 +0000 (11:53 +0200)]
Abstract: two more chapters.

15 years agoIterative Jarnik's alg. is correctly spelled Iterated.
Martin Mares [Tue, 3 Jun 2008 09:53:38 +0000 (11:53 +0200)]
Iterative Jarnik's alg. is correctly spelled Iterated.

15 years agoMore of the abstract. Reached the end of Chapter 2.
Martin Mares [Mon, 2 Jun 2008 19:03:39 +0000 (21:03 +0200)]
More of the abstract. Reached the end of Chapter 2.

15 years agoDefined \rawsection and made \section use it.
Martin Mares [Mon, 2 Jun 2008 19:03:27 +0000 (21:03 +0200)]
Defined \rawsection and made \section use it.

15 years agoFirst bits of the abstract.
Martin Mares [Mon, 2 Jun 2008 17:38:56 +0000 (19:38 +0200)]
First bits of the abstract.

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.