Lectures on Proof Verification and Approximation Algorithms

  • Editors
  • Ernst W. Mayr
  • Hans Jürgen Prömel
  • Angelika Steger

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1367)

Table of contents

  1. Front Matter
    Pages I-4
  2. Artur Andrzejak
    Pages 29-39
  3. Detlef Sieling
    Pages 41-61
  4. Stefan Hougardy
    Pages 63-82
  5. Volker Heun, Wolfgang Merkle, Ulrich Weigand
    Pages 83-160
  6. Clemens Gröpl, Martin Skutella
    Pages 161-177
  7. Sebastian Seibert, Thomas Wilke
    Pages 179-211
  8. Claus Rick, Hein Röhrig
    Pages 213-233
  9. Mastin Mundhenk, Anna Slobodová
    Pages 235-248
  10. Alexander Wolff
    Pages 249-262
  11. Thomas Hofmeister, Martin Hühne
    Pages 263-298
  12. Back Matter
    Pages 325-334

About this book


During the last few years, we have seen quite spectacular progress in the area of approximation algorithms: for several fundamental optimization problems we now actually know matching upper and lower bounds for their approximability. This textbook-like tutorial is a coherent and essentially self-contained presentation of the enormous recent progress facilitated by the interplay between the theory of probabilistically checkable proofs and aproximation algorithms. The basic concepts, methods, and results are presented in a unified way to provide a smooth introduction for newcomers. These lectures are particularly useful for advanced courses or reading groups on the topic.


algorithm algorithms approximation algorithms complexity complexity theory optimization programming proof verification randomized computation verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64201-5
  • Online ISBN 978-3-540-69701-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking