Springe zum Hauptinhalt
Ehemalige Professur Theoretische Informatik und Informationssicherheit
Ehemalige Professur Theoretische Informatik und Informationssicherheit

Mit Eigenwerten die Lösungen schwieriger Probleme finden oder auch ausschließen

Vortragende(r):
André Lanka
Inhalt:
Bei der Partitionierung von Graphen versucht man, Strukturen in Graphen zu finden (etwa 3-Färbungen oder kleine Bisektionen). Mithilfe von Eigenwerten und Eigenvektoren können solche Probleme oftmals effizient gelöst werden. Wir stellen einen Algorithmus vor, der auf einem sehr allgemeinen Modell für zufällige Graphen bewiesenermaßen sehr gute Dienste leistet.
Weiterhin untersuchen wir zufällige 3Sat-Formeln. Hier wollen wir mit Eigenwerten obere Schranken an die Anzahl der erfüllbaren Klauseln finden. Die gefundenen Schranken sind (in den meisten Fällen) nahezu optimal.
Zeiten:
Mittwoch, der 13.02.2008, 17:15 - 18:45 Uhr, Raum 1/208