UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Zur Titelseite der Universität Bamberg
  Sammlung/Stundenplan Home  |  Anmelden  |  Kontakt  |  Hilfe 
Suche:      Semester:   
 
 Darstellung
 
Druckansicht

 
 
 Außerdem im UnivIS
 
Vorlesungsverzeichnis

 
 
Veranstaltungskalender

 
 

  AlgoK-AK-B: Algorithmen und Komplexität

Dozentinnen/Dozenten
Prof. Dr. Isolde Adler, Dr. Jakub Pekárek

Angaben
Vorlesung
Rein Präsenz
4,00 SWS, Unterrichtssprache Englisch
Zeit und Ort: Mi 10:00 - 12:00, WE5/04.004

Voraussetzungen / Organisatorisches
Prerequisites: Algorithms and data structures, basic knowledge of computability theory, proof techniques. Good English language skills.

Inhalt
Algorithms and problem solving lie at the heart of computer science. Given an algorithmic problem, such as the Traveling Salesperson Problem, how can we design an efficient algorithm? Once we found an algorithm that solves the problem correctly, can we be sure that the resources, such as running time, storage space (and related: energy), required by this algorithm are really necessary for solving the problem? Perhaps we can do better? These are the guiding questions that students will explore in this module. We will discuss the design and analysis of algorithms in depth, including algorithm design principles (such as greedy algorithms, divide and conquer algorithms and dynamic programming). We then discuss the classification of computational problems according to their resource complexity. This includes time and space complexity, complexity classes such as P, NP, PSPACE and the relationship between the classes, reductions, NP-completeness, the P versus NP problem, and lower bounds on resource requirements. Decision problems, search problems, and optimisation problems are introduced, and the students will encounter a variety of relevant problems from different fields, such as network flows, satisfiability, numerical problems (Knapsack), matching problems, geometrical problems, graph colouring, sequencing problems, linear programming and scheduling. We then move on to methods for dealing with computationally hard problems, discussing approximation algorithms and randomised algorithms. Further topics such as descriptive complexity, fixed-parameter algorithms and circuit complexity may be discussed if time permits.

Empfohlene Literatur
Jon Kleinberg and Éva Tardos: Algorithm Design. Michael Sipser: Introduction to the Theory of Computation. Christos H. Papadimitriou: Computational Complexity. Michael Garey, David S. Johnson: Computers and Intractability: A guide to the theory of NP-completeness. Sanjoy Dasgupta, Christos Papadimitriou, Umesh Vazirani: Algorithms. John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Languages, and Computation. Sanjeev Arora, Boaz Barak: Computational Complexity, A modern approach. Jörg Flum, Martin Grohe: Parameterized Complexity Theory.

Englischsprachige Informationen:
Title:
Algorithms and Complexity

Zusätzliche Informationen
Erwartete Teilnehmerzahl: 40

Institution: Lehrstuhl für Algorithmen und Komplexitätstheorie

Hinweis für Web-Redakteure:
Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:

Link zur eigenständigen Verwendung

Link zur Verwendung in Typo3

UnivIS ist ein Produkt der Config eG, Buckenhof