Berechenbarkeit和Komplexität

Inhalt公司

在Berechenbarkits和Komplexitätstheorie的Gebiete中,Vorlesung是一个很好的例子。

Dazu werden verschiedene Zugänge zum Berechenbarkeits begriff vorgestellt und miteinander verglichen(大足卫城)。Darüber hinaus是问题解决者,welche Problemstellungen effizient lösbar sind und welche-nicht。

  • Berechenbarkeits:直觉者Berechenbarkeitsbegriff und Churchsche这些,verschiedeneäequivalent Formalisierungen des Berechenkarkeitskonzepts,Halteproblem,Reduzierbarkeit und Unentscheidbarkeit。
  • 基本重kursive und LOOP-berechenbare Funktitionen sowie Ackermannfunktion
  • Komplexitätstheorie:Komplexitätsklassen,das P-NP问题,effiziente Reduzierbarkeit,NP-Vollständigkeit des Erfüllbarkeitsproblems und verschiedener Graphenprobleme。

穆德尔

Der gesamte Vorlesungs-,u bungs-bzw。Ankündigungen和Klausuren的信息导师穆德尔杜尔赫赫特。

文学

  • Vorlesungsskript公司:Berechenbarkeit和Komplexität
  • U.Schöning:Theoretische Informatik-kurz gefasst公司。Spektrum Akademischer Verlag公司,5.奥弗拉格, 2008.
  • A.Meier,H.Vollmer:《算法》(Komplexität von Algorithmen)。纳奇德鲁克莱曼媒体,2015年。
  • M.Garey,D.Johnson:《计算机与难处理性——NP-完全性理论指南》。纳奇德鲁克W H Freeman&Co,1979年。
  • M.Sipser:计算理论导论。 圣智学习出版公司,3.授权, 2013.