Theoretische Informatik 1, Algorithmentheorie'

Diese Vorlesung abonnieren (RSS-Feed)
Thumbnail Thumbnail

V27 - Exakte Algorithmen, Backtracking, Branch Operator

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   12.02.2019

Thumbnail Thumbnail

V26 - Minimum Balanced Cut, Metropolis Algorithmus, Simulated Annealing, Evolutionäre Algorithmen, Mutationsoperatoren, Crossover Operatoren

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   07.02.2019

Thumbnail Thumbnail

V25 - Lokale Suche, Minimum Balanced Cut, Metropolis Algorithmus

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H III
  • Datum   01.02.2019

Thumbnail Thumbnail

V24 -Satz von Rice, Rekursive Aufzählbarkeit, Gödelsche Unvollständigkeitssatz

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   24.01.2019

Thumbnail Thumbnail

V23 - Universelle Sprache, das (spezielle) Halteproblem, Satz von Rice

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   22.01.2019

Thumbnail Thumbnail

V22 - PSPACE, Church-Turing These, Unentscheidbarkeit, Gödelnummer, Diagonalsprache, Reduktion

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   17.01.2019

Thumbnail Thumbnail

V21 - Entscheid- und Berechenbarkeit, Church-Turing These, PSPACE, QBF

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   15.01.2019
  • Beschreibung   Aufgrund eines technischen Fehlers, konnten die ersten Minuten der VL nicht aufgezeichnet werden. Wir bitten dies zu entschuldigen.

Thumbnail Thumbnail

V20 - (ungewichtete) Vertex Cover Problem, Matching Heuristik, gewichtete Vertex Cover Problem

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   20.12.2018

Thumbnail Thumbnail

V19 - Last-Verteilung, On-line und Off-line Heuristik, Rucksackproblem

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   18.12.2018

Thumbnail Thumbnail

V18 - Satz von Cook, Optimierungsprobleme, Approximationsprobleme und Last-Verteilung

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   13.12.2018

Thumbnail Thumbnail

V17 - Independent Set-, Set Cover-, Vertex Cover ist NP-vollständig, Schwierige Wegeprobleme in Graphen

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   11.12.2018

Thumbnail Thumbnail

V16 - polynomielle Reduktion, NP-Vollständigkeit, KNF-SAT, 3-SAT, 2-SAT und Clique

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   06.12.2018

Thumbnail Thumbnail

V15 - Turingmaschinen, Klasse P, Klasse NP und polynomielle Reduktion

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   04.12.2018

Thumbnail Thumbnail

V14 - lineare Programmierung, NP- Vollständigkeit und schwierige Probleme

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   29.11.2018

Thumbnail Thumbnail

V13 - Das paarweise Alignment und RNA-Sekundärstruktur

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   27.11.2018

Thumbnail Thumbnail

V12 - gewichtete Intervall Scheduling, All-Pairs-Shortest-Path Problem, Paarweises Alignment

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H IV
  • Datum   22.11.2018

Thumbnail Thumbnail

V11 - Divide & Conquer, Schnelle Multiplikation, Dynamisches Programmieren, TSP und gewichtete Intervall-Scheduling

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   20.11.2018

Thumbnail Thumbnail

V10 - Entwurfsmethodik, Huffman-Code und -Bäume

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   15.11.2018

Thumbnail Thumbnail

V09 - TSP, Kreuzende Kanten, Algorithmus von Prim, Algorithmus von Kruskal, Entwurfsmethoden von Algorithmen

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   13.11.2018

Thumbnail Thumbnail

V08 - Dijkstra´s Algorithmus/- Schritt, Minimale Spannbäume und Kreuzende Kanten

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   08.11.2018

Thumbnail Thumbnail

V07 - Tiefensuche, Breitensuche und Dijkstra´s Algorithmus

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   06.11.2018
  • Beschreibung   Wir bitten die Stauchung der Folien zu entschuldigen.

Thumbnail Thumbnail

V06 - Sample Sort, Graphen und Datenstrukturen

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   01.11.2018

Thumbnail Thumbnail

V05 - Distribution Counting, Radixsort, Sample Sort, MPI, Parralleles Sortieren

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   30.10.2018

Thumbnail Thumbnail

V04 - Joulesort-Challenge, Externspeichersortieren und vergleichsorientierte Sortierverfahren

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   25.10.2018

Thumbnail Thumbnail

V03 - Laufzeit Quicksort, erwartete Laufzeit, Auswahlproblem, Mergesort und Laufzeit Mergesort

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   23.10.2018

Thumbnail Thumbnail

V02 - Selection-, Insertion-, Heap- und Quicksort

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   18.10.2018
  • Beschreibung   Wir bitten die Lautstärkeschwankung zu entschuldigen. Ab Mitte der VL wurde das Problem behoben.

Thumbnail Thumbnail

V01 - Organisation, Einführung, Bubble- und Selection Sort

  • Sprecher   Prof. Dr. Ulrich Meyer
  • Ort   Campus Bockenheim, H V
  • Datum   16.10.2018