 |
|
 |
|
|
Übung zu Komplexitätstheorie
|
|
|
|
|
 |
|
|
held by: |
Dr. Stefan Kugele
|
|
|
|
held in: |
WS 2007/2008
|
|
|
|
schedule: |
Wednesday, 10:15 - 11:45 (03.09.014)
start date: 2007-10-15 / end date: 2008-02-09
|
|
|
|
sws: |
2
|
|
|
|
Die Termine der kommenden Übungen sind:
| 5.12.2007 |
Präsentation der Lösungen von Blatt 1 |
| 12.12.2007 |
Besprechung von Blatt 2 |
| 9.1.2008 |
Präsentation der Lösungen von Blatt 2 |
| 16.1.2008 |
Besprechung von Blatt 3 |
| 6.2.2008 |
Präsentation der Lösungen von Blatt 3 |
|
|
|
|
downloadable material:
|
|
|
|
slides
|
|
title / description
|
download
|
|
Reduktionen
|
click here...
|
|
|
Turing Maschinen: Konstruierbarkeit
|
click here...
|
|
Translationstechnik
|
click here...
|
|
|
|
|
problem sets
|
|
title / description
|
download
|
|
|
1. Übungsblatt
|
click here...
|
|
|
2. Übungsblatt
|
click here...
|
|
|
3. Übungsblatt
|
click here...
|
|
|
|
|
solution sets
|
|
title / description
|
download
|
|
|
Lösungshinweise für Blatt 3
|
click here...
|
|
|
|
|
other
|
|
title / description
|
download
|
|
Skript: COL -> CNF
Perl Skript zur Übersetzung von DIMACS COL Format zu DIMACS CNF Format und anschließendes Lösen mittels minisat und Visualisierung mittels DOT.
|
click here...
|
|
|
 |
|
|
 |
Contact
Teaching
