diff --git a/übung_3/agt_übung_3.pdf b/übung_3/agt_übung_3.pdf index 2746b6e..8e84eae 100644 Binary files a/übung_3/agt_übung_3.pdf and b/übung_3/agt_übung_3.pdf differ diff --git a/übung_3/aufgabe_2.tex b/übung_3/aufgabe_2.tex index 0c7979c..7cb6279 100644 --- a/übung_3/aufgabe_2.tex +++ b/übung_3/aufgabe_2.tex @@ -2,5 +2,24 @@ \section{TSP mit Wiederholungen} \begin{tasks} \item + Um TSP mit Wiederholungen auf Metrisches TSP zu reduzieren, müssen wir den zugrundeliegenden Graphen + metrisch machen, d. h. die Dreiecksungleichung muss für jede Menge von $3$ Knoten gelten. + + Dazu iterieren wir über alle möglichen Mengen $T = \set{a, b, c}$ mit $a \neq b \neq c$ und $a, b, c \in V$ und $G(T, E)$ ist vollständig. + Erfüllt eine Menge die Dreiecksungleichung $c(a,b) \leq c(b,c) + c(a,c)$ nicht, so löschen wir + die Kante mit den höchsten Kosten aus dem Graphen. + Das dürfen wir, da die TSP-Tour diese Kante nie enthalten wird, weil es einen Weg gibt, der + kürzer ist und alle drei Knoten enthält. Der Graph bleibt zusammenhängend, da wir für jede + Menge $T$ nur eine Kante löschen. \item + Da wir den Graphen jetzt auf einen metrischen reduziert haben, können wir ähnlich wie in + der Vorlesung vorgehen. + + Dazu nehmen wir einen Minimalen Spannbaum des Metrischen Graphen. Durch verdoppeln der Kanten + entsteht ein Kreis für dessen Kosten gilt (siehe Vorlesung): + $$ + c(Kreis) = 2 \cdotp c(MSB) \leq 2 \cdotp OPT + $$ + Da wir Knoten und Kanten mehrfach benutzen dürfen, ist dieser Kreis eine 2-Approximation für + TSP mit Wiederholungen. \end{tasks}