Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
bwinf:2018:reduktionen [2018-01-22 11:56]
Patrick Dinklage [Reduktionen - Neue Nägel zu einem Hammer]
bwinf:2018:reduktionen [2018-12-04 09:24] (current)
Patrick Dinklage
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 ====
 
Last modified: 2018-12-04 09:24 by Patrick Dinklage
DokuWikiRSS-Feed