Proseminar(Algorithmen):Themenkomplex SAT求解

Inhalt公司

在diesem Prosminar wollen wir das SAT-Problem sowohl aus der theoretischen als auch praktischen(algortihmischen)Perspektive betrachen:SAT-Solver sind möglichst effiziente Algorithmen,die eine aussagenlogische Formelübergebekommen und untersuchen sollen,ob es eine erfüllende Belegung gibt。SAT是jedoch NP-ollständig。Ob es einen Algorithmus gibt,der SAT in Polynomialzeit löst,ist nicht bekannt(falls P≠NP ist,gibt es keinen solchen Algorthmus)。在Möglichkeiten beleuchten的Proseminar中,容忍Laufzeit(ohne P≠NP anzuzweifeln)的算法解决了问题。Grundlage für是Uwe Schöning和Jacobo Torán sein的“可满足性问题:算法和分析”研讨会。

U berblicküber mögliche研讨会

»艾因莫格利什·奥斯瓦尔安·塞门·米特·库泽姆摘要和莫格利彻文学是verlinkt。«

组织机构

Zum Beginn des Seminars findet eine Vorbesprechung statt,a der Modalitäten des Prosminars besprochen werden und die einzelnen Themen an die Studierenden verteilt werden(siehe Randspalte rechts)。 

Die Vorträge公司(朱厄尔·祖·茨威特,达斡尔族约。45-60分钟.pro gemeinsamen Vortrag*)已找到沃切利希statt,da die Themen teilweise aufeinander aufbauen(siehe Zeitplan unten)。Zusätzlich zum Vortrag erfolgt eine gemeinsame公司Ausarbeitung公司(Umfang约10-20 Seiten)位于LaTeX。

*=Uns ist wichtiger,dass die Themen verständlich für die anderen Teilnehmer vorgetragen werden und die wichtigen Punkte im Vortrach abgedeck sind。Daher erlauben wir ggfs公司。奥赫·埃因恩·莱赫特·沃尔特拉格(auch einen leicht längeren Vortrag),曾是库尔森大学的毕业生。

沃尔特拉格河流域塔菲尔-沃特拉格河流域比默-格哈尔滕-沃登河流域(麦地那河流域)。

Sowohl Vortrag als auch Ausarbeitung dürfen wahlweise in Deutsch or Englisch durchgeführt werden。 

Bestehen des Prosminars律师事务所

不存在wichtig,研究人员在Maßan Eigenverantwortung und Eigenitiative mitbringen,sich in die teilweise neue Thematik einzuarbeiten,d.h.sich in the die mathematimatischen Strukturen und Algorithmen einzuerbeitenund diese selbstständig erklären zu können。 

我是Prosminar soll geschult werden:

  • 作为主题中的主题,
  • das Verfassen einer wissenschaftlichen Arbeitüber ein fest abgestecktes Thema,
  • “Forschungsarbeit”和“Halten eines wissenschaftlichen Vortrags”的第二句话。

Um das Prosminar erfolgreich zu besehen erwarten wir daher公司:

  • einen sehr gut vorbereiten Vortrag(der am vereinbarten Zeitpunkt gehalten wird und rechtzeitig vorher mit dem Betreuer durchgesprochen wird),
  • LaTeX中的eine gute Ausarbeitung nach wissenschaftlichem标准(die rechtzeitig abgegeben wird),
  • 在维兰斯塔通斯特明的一个书斋里,有一个叫Teilnahme的书斋。

Wir verweisen auf Manfred Lehns Aufsatz教授博士“Wie halt ich einen研讨会?“Erwartungen an einen gelungenn Seminavortrag sehr gut beschreibt”,在Erwartugen an einen-gelungen研讨会上。

Gruppenindividueller Zeit计划

Wir planen an,pro wöchentlichem Sitzungstermine eine Präsentation zu haben。

路线图:

Vorbesprechong:千瓦42(2018)
Erster Vortrag:KW 47(2018);达纳赫·沃切利希·伊恩·格鲁彭沃特拉格(danach wöchentlich ein Gruppenvortrag)

  • 睾丸Spätestens zwei沃钦vor individuellem Vortracstermin(在沃贝斯普雷琼·费斯特莱根·沃登的书房里)已经死了沃尔斯特安迪格ausgearbeitete Präsentation im Detail mit dem Betreuer durchzusperchen(Ggfs.sind Mängel bis zum Vortracstermin zu korrigieren)。这是我们在Termin-zu vereinbaren的Durchsprache der Vorträge rechtzeitig。Nicht-Vereinbaren bzw公司。Nicht-Enhalten des Durchsprachetermines führt automatisch zum Nicht-Bestehen des Prosminars公司。
  • Zwei Wochen nach individuellem Vortracstermin公司厄瓦滕死后阿布加贝(Abgabe der Ausarbeitung)Eine verspätete Abgabe führt automaticsch zum Nicht-Bestehen des Prosminars公司。

背景:KW 47中的Vortrag->KW 46中的Besprechung der Präsentation spätestens;Abgabe der Ausarbeitung,KW 49。

与丹·冯·恩斯·科尔里吉埃特(dann von uns korrigiert)共事。死亡是一场恶战。nötig,die Ausarbeitung zu korrigieren und Mängel zu heaben。

咬过的坚果,Sie die wöchentlichen Termine oder Sprechzeiten der Betreuer,um Fragen zu stellen。Wir erwarten einen fristgerecht gehallenen und durchgesprochenen Vortrag公司。Fragen sollten und dürfen Sie gerne rechtzeitig vorher besprechen(弗拉根·索尔滕·杜尔芬)。

Vorussichtliche Votragstermine公司:

卡伦德沃切主题Vortragende公司
KW 47(2018)Das SAT-问题施密德·克拉森
KW 48(2018)Erfüllbarkeit durch Kombinatorik und das Lovász局部引理科珀·贝瓦普
KW 49(2018)多项式lösbare Spezialfälle von SAT威廉·克鲁格
千瓦50(2018年)
DPLL工件算法I:Monien Speckenmeyer
米特鲍尔(Mitterbauer,Schäufele)
KW 51(2018)DPLL-艺术算法II:Paturi-Pudlák-Zane和CDCL埃斯金·巴赫霍夫
韦纳赫茨费里恩
KW 02(2019)本地搜索I:重新启动和覆盖代码奥特·伯尔
KW 03(2019)
本地搜索II:WalkSAT und der Moser-Scheder-Algorithmus
拉哈尔·达杜里
KW 04(2019)Divide and Conquer für 3-SAT und Sta lmarks算法朱茨·范德里奇
KW 05(2019)

分辨率和鸽子洞原理

诺赫·祖·弗格本

Empfohlene Voraussetzungen für das Prosminar公司

  • Grundkenntnisse der Informatik z.B.aus公司福尔马勒·格兰德拉根奥德Algorithmen和Datentrukturen:z.B.Landausche O-符号等。
  • Grundlegende Mathematik,z.B.aus公司分析1 für Informatiker und Ingenieure:二项式系数、指数函数、对数等。
  • Die Bereitschaft sich fehlende Konzepte aus der Mathematik und Informatik selbstständig anzueignen公司。Teilweise brauchen wir z.B.et was Grundlagenwissenüber Wahrscheinlichkeitstheorie(Begriffe Wahrscheinlichkeit eines Ereignisses,Gegeneignis,Erwartungswert,Markov Ungleichung,Jensen Ungleichung等)。

LaTeX-Vorlagen公司

Wir erwarten verpflichtend eine Ausarbeitung,死在LaTeX erstelt wurde。已故的索尔·伊赫南(Ihnen später beim Erstellen Ihrer Bachelorarbeit zu gute kommen)。

LaTeX ein的Sie genug Zeit für eine Einarbeitung计划。

Um Sie zu unterstützen,haben wir folgende Dokumente erstelt:

  1. Ausarbeitung漩涡(展位2018)
  2. Vorlage für die Präsentation公司(展位2018)。注意:Auch ein Tafelvortrag is erlaubt!

LaTeX计划:

  1. Windows、Mac或Linux(MiKTeX)的发行版
  2. LaTeX编辑器für Windows、Mac或Linux(TeXstudio)

福特雷港

Die Vorträge finden犹太人(f)重新标记16:00(暂时)至18:00 Uhr在里面O27/531号统计。

福贝斯普雷忠

Semesterwoche am过去的EinführungsveranstaltungFreitag,书号19.10。嗯17:00 UhrO27/531中。

Bitte erscheinen Sie vollzählig zur Vorbesprechung,da dort wichtige organizatorische Details besprochen und die Vorträge vertilt werden。咬一口线人Sie sich vorabüber死沃特拉希曼!

Hier finden Sie死亡福利安·德·福贝斯普雷忠.