Differences
This shows you the differences between two versions of the page.
|
bwinf:2018:reduktionen [2018-01-22 11:56] |
bwinf:2018:reduktionen [2018-12-04 09:24] |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ==== Beschreibung ==== | ==== Beschreibung ==== | ||
| Informatikern wird häufig nachgesagt, faul zu sein. „Sie haben einen Hammer und sehen in jedem Problem einen Nagel!“ | Informatikern wird häufig nachgesagt, faul zu sein. „Sie haben einen Hammer und sehen in jedem Problem einen Nagel!“ | ||
| - | Dabei sind sie eigentlich nur effizient: Haben sie einen Algorithmus geschrieben, so wollen sie mit seiner Hilfe viele Probleme lösen, anstatt für jedes einzelne Problem einen eigenen Algorithmus zu finden. | + | Dabei sind sie eigentlich nur effizient: Haben sie einen Algorithmus geschrieben, so wollen sie mit seiner Hilfe viele Probleme lösen, anstatt für jedes einzelne Problem einen neuen Algorithmus zu finden. |
| - | In diesem Workshop werden wir das Konzept der Reduktionen kennen lernen, mit deren Hilfe algorithmische Probleme ineinander überführt werden können und wir so Algorithmen für verschiedene Probleme wiederverwenden können. | + | In diesem Workshop werden wir das Konzept der **Reduktionen** kennen lernen, mit deren Hilfe algorithmische Probleme ineinander überführt werden können und wir so Algorithmen für verschiedene Probleme wiederverwenden können. Wir werden diese Erkenntnisse anwenden und sehen, wie wir so genannte **SAT-Solver** einsetzen können, um schwierige Berechnungsprobleme zu lösen. |
| - | Wir werden diese Erkenntnisse anwenden und sehen, wie wir sogenannte SAT-Solver einsetzen können, um schwierige Berechnungsprobleme zu lösen. | + | |
| ==== Voraussetzungen ==== | ==== Voraussetzungen ==== | ||