Moses - Komplexitätstheorie

Zur Modulseite PDF generieren

Modul / Version
#40379 / #5

Gültigkeit
SS 2016 - WS 2016/17

Verfügbare Sprache(n)
English

Titel des Moduls
Computational Complexity
Komplexitätstheorie

Leistungspunkte
9

Modulverantwortliche*r
Niedermeier, Rolf

Benotung
Benotet

Prüfungsform
Mündliche Prüfung

Lehrsprache(n)
English

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34351100 FG Algorithmik und Komplexitätstheorie

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
EN 23

Ansprechpartner*in
Thielcke, Christlinde

E-Mail-Adresse
lehre@akt.tu-berlin.de

Webseite

https://www.tu.berlin/akt/studium-lehre/lehrveranstaltungen

Diese Modulbeschreibung ist nicht oder nicht vollständig auf deutsch hinterlegt.

Es wird stattdessen der Inhalt der folgenden Sprachversion angezeigt: Englisch.

Klicken Sie hier um die Inhalte der fehlenden oder unvollständige Sprachversion (Deutsch) anzuzeigen

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum SS 2016 - WS 2016/17. Die Version für das aktuelle Semester (SoSe 2025) finden Sie hier: Modulbeschreibung des SoSe 2025

Lernergebnisse

On successful completion, students will be able to: - estimate the computational costs for solving fundamental problems - classify discrete computational problems according to their computational complexity using reductions and standard complexity classes - understand structural properties of complexity classes - make qualitative and quantitative statements about computational complexity questions

Lehrinhalte

Introduction into structural complexity theory, with particular emphasis on complexity resources time and space. Particular topics are: - complexity classes - reductions between problems - theory of the NP-completeness and the P vs. NP question - hierarchy theorems and polynomial time hierarchy - interactive proof systems

Modulbestandteile

Compulsory area

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Computational Complexity	VL	0434 L 233	SoSe	Keine Angabe	4
Computational Complexity	UE	0434 L 233	SoSe	Keine Angabe	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Computational Complexity (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	4.0h	60.0h
Vor-/Nachbereitung	15.0	5.0h	75.0h
			135.0h(~5 LP)

Computational Complexity (UE):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	5.0h	75.0h
			105.0h(~4 LP)

Lehrveranstaltungsunabhängiger Aufwand:

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Prüfungsvorbereitung	1.0	30.0h	30.0h
			30.0h(~1 LP)

Der Aufwand des Moduls summiert sich zu 270.0 Stunden. Damit umfasst das Modul 9 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

There is a lecture 4 hours per week presenting the whole course material. The lectures are accompanied by tutorials in which distributed work sheets are solved together.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

a) obligatory: Basic course on automata and complexity b) desirable: Basic knowledge on algorithms

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Oral exam

Sprache(n)

English

Dauer/Umfang

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

Final oral exam determining the grade (MP).

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Please register at QISPOS or directly at the examination office.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: nicht verfügbar

Literatur

Empfohlene Literatur
Christos H. Papadimitriou: Computational Complexity, Addison Wesley, 1994.
Sanjeev Arora, Boaz Barak: Computational Complexity: A Modern Approach, Cambridge University Press, 2009

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Computer Science Master with focus “Reliable Systems” Computer Science diploma Technical Computer Science Master with focus “Software Engineering” Technical Computer Science diploma

Sonstiges

Keine Angabe