faecher:informatik:oberstufe:graphen:zpg:dominierende_menge:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung
Nächste Überarbeitung		 Vorherige Überarbeitung
faecher:informatik:oberstufe:graphen:zpg:dominierende_menge:start [25.11.2022 14:55] – [Keine gute Methode?] Frank Schiebelfaecher:informatik:oberstufe:graphen:zpg:dominierende_menge:start [20.09.2024 11:39] (aktuell) – Marco Kuemmel
Zeile 1: Zeile 1:
-====== Eisverkäufer ======+====== Eisverkäufer: Dominierende Menge ======
  
 {{ :faecher:informatik:oberstufe:graphen:zpg:dominierende_menge:auswahl_393.png?600 |}} {{ :faecher:informatik:oberstufe:graphen:zpg:dominierende_menge:auswahl_393.png?600 |}}
Zeile 25: Zeile 25:
 Zu diesem Problem gibt es **zwei Fragestellungen**: Zu diesem Problem gibt es **zwei Fragestellungen**:
  
-  * **Existenz:** Gibt es eine dominierende Menge mit weniger als Knoten, als der Graph hat?+  * **Existenz:** Gibt es überhaupt eine dominierende Menge mit weniger Knoten, als der Graph hat?
   * **Optimale Lösung:** Finde eine dominierende Menge mit möglichst wenigen Knoten.   * **Optimale Lösung:** Finde eine dominierende Menge mit möglichst wenigen Knoten.
  
-===== Keine gute Methode? =====+===== Kein effizienter Algorithmus? =====
 Du hast sicher eine Lösung für den Eisverkäufer gefunden, die die Abdeckung der Stadt mit Eisständen sicherstellt. Aber ist das die beste Lösung? Vielleicht geht es ja mit weniger Eisständen.  Du hast sicher eine Lösung für den Eisverkäufer gefunden, die die Abdeckung der Stadt mit Eisständen sicherstellt. Aber ist das die beste Lösung? Vielleicht geht es ja mit weniger Eisständen. 
  
 Es ist  kein cleverer Algorithmus bekannt, der gezielt die richtigen Knoten auswählt. Man müsste daher alle mög­lichen Teilmengen der Knoten daraufhin testen, ob sie eine überdeckende Menge darstellen, und unter den überdeckenden Mengen die mit der geringsten Anzahl an Knoten auswählen. Es ist  kein cleverer Algorithmus bekannt, der gezielt die richtigen Knoten auswählt. Man müsste daher alle mög­lichen Teilmengen der Knoten daraufhin testen, ob sie eine überdeckende Menge darstellen, und unter den überdeckenden Mengen die mit der geringsten Anzahl an Knoten auswählen.
 +
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A2) ===
  
 Berechne, wie viele mögliche Teilmengen der Knoten es beim Einstiegsbeispiel gibt. Beachte, dass jeder Knoten zur Teilmenge dazugehören kann oder auch nicht. Wie ändert sich die Anzahl der Möglichkeiten, wenn ein Knoten hinzukommt? Berechne, wie viele mögliche Teilmengen der Knoten es beim Einstiegsbeispiel gibt. Beachte, dass jeder Knoten zur Teilmenge dazugehören kann oder auch nicht. Wie ändert sich die Anzahl der Möglichkeiten, wenn ein Knoten hinzukommt?
 +
 +++++ Lösung | 
 +Es sind 32 Knoten und 2 Möglichkeiten pro Knoten. Daher sind es 2<sup>32</sup> ≈ 4,3 Mrd. Möglichkeiten insgesamt.
 +Jeder zusätzliche Knoten verdoppelt die Anzahl der Möglichkeiten.
 +++++
 +
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A3) ===
 +
 +Führe im Simulationsmodus des Programms Graphentester den Algorithmus //"Dominierende Menge (Vollständig)"// bei den Graphen ''graph_knotenX.csv'' (X=5-10) aus und bestimme den Zeitbedarf. Stelle dabei die Geschwindigkeit so ein, dass beim Graphen mit 5 Knoten ca. 3 Sek. benötigt werden. __Hinweis:__ Die Klasse ist zu finden bei ''algorithmen/GraphAlgo_DominatingSetBacktracking''.
 +
 +Untersuche, wie sich der Zeitbedarf durch einen zusätzlichen Knoten verändert.
 +
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A4) ===
 +
 +  * Stelle auf maximale Geschwindigkeit um und führe den Algorithmus beim Graph mit 10 Knoten erneut aus. 
 +  * Sage den Zeitbedarf für den Graphen mit 15 Knoten vorher. Über­prüfe deine Vorhersage. 
 +  * Berechne, wie lange es für das Einstiegsbeispiel dauern würde.
 +
 +----
 +
 +<WRAP center round info 95%>
 +  * Würde man also alle Teilmengen (alle möglichen Lösungen) überprüfen und davon die tatsächlich beste wählen, so wäre die Laufzeit exponentiell ($O(2^n)$ mit n = Anzahl der Knoten). Das ist für Algorithmen eine geradezu katastrophale Laufzeit. 
 +  * In so einem Fall versucht man fast immer eine andere algorithmische Vorgehensweise zu finden, die vielleicht nicht die perfekte Lösung findet, aber eine vergleichsweise gute Lösung in dafür viel kürzerer Zeit findet. Die alternative Lösung hat dann typischerweise eine polynomielle Laufzeit ($O(n^c)$ mit c = Konstante).
 +</WRAP>
 +===== Näherungslösung =====
 +
 +Wenn es zu lange dauert, die **beste** Lösung zu finden, ist man manchmal auch mit einer **guten** Lösung zufrieden: Ein oder zwei Eisstände mehr als bei der optimalen Lösung sind in einer Stadt kein Problem. 
 +
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A5) ===
 +
 +Beschreibe, wie du vorgegangen bist, um deine Lösung im Einstiegsbeispiel zu finden.
 +
 +----
 +
 +==== Greedy-Strategie ====
 +
 +
 +Die **Greedy-Strategie** (gieriger Algorithmus) ist ein Ansatz, um Näherungslösungen zu bestimmen. Sie zeichnen sich dadurch aus, dass sie nacheinander die Möglichkeit auswählen, die zum Zeitpunkt der Wahl den größten Gewinn bzw. das beste Ergebnis verspricht.
 +
 +Beim Problem der dominierenden Menge fügt man schrittweise der gesuchten Teilmenge Knoten hinzu, bis sie eine überdeckende Teilmenge darstellt. In jedem Schritt versucht man natürlich, den Eisstand möglichst gut zu platzieren. Hat man einen Knoten jedoch einmal hinzugefügt, nimmt man diese Entscheidung nicht mehr zurück, auch wenn man später erkennt, dass die Entscheidung nicht optimal war.
 +
 +Es stellt sich jetzt allerdings die Frage, was genau eine "möglichst gute" Platzierung in einem Schritt bedeuten soll.
 +
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A6) ===
 +
 +Analysiere, welcher Knoten als nächstes hinzugefügt werden sollte. 
 +
 +Notiere zunächst deine Überlegungen und kontrolliere die Ergebnisse dann mit dem Graphentester "Dominierende Menge (Greedy (a-i))" anhand der Graphen //''graph_knoten10''// und //''graph_knoten15''//. ((Ursprünglich waren hier die Graphen //"graph_domknotenXX"// vorgesehen, diese scheinen aber nicht zu funktionieren. Dort sind die dominierenden Knoten einer optimalen Lösung mit einem Stern (*) markiert.)) Beim Graphen mit 10 Knoten enthält die optimale Lösung der dominierenden Menge **2** Knoten, beim Graphen mit 15 Knoten **4** Knoten. Du kannst also untersuchen, wie gut eine Strategie funktioniert. Notiere dir am besten pro Graph und Strategie die jeweilige Lösung, um dann die insgesamt beste Lösung ermitteln zu können.
 +
 +  * a) der Knoten mit den meisten Nachbarknoten.
 +  * b) der Knoten mit den wenigsten Nachbarknoten.
 +  * c) der Knoten, der die meisten Knoten neu überdeckt.
 +  * d) der Knoten der die wenigsten Knoten neu überdeckt.
 +  * e) ein Knoten, der von einem schon ausgewählten Knoten die Entfernung 3 hat.
 +  * f) ein noch nicht überdeckter Knoten mit Entfernung 2 von einem schon ausgewählten Knoten.
 +  * g) ein noch nicht überdeckter Knoten mit Entfernung 3 von einem schon ausgewählten Knoten.
 +  * h) der noch nicht überdeckte Knoten, der von möglichst vielen schon ausgewählten Knoten die Entfernung 3 hat.
 +  * i) der noch nicht überdeckte Knoten mit der größten Entfernung von allen schon ausgewählten Knoten.
 +
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A7) ===
 +
 +Wende die erfolgversprechenden Strategien auf das Einstiegsbeispiel an.
 +
 +----
 +{{:aufgabe.png?nolink  |}}
 +=== (A8) ===
 +Begründe, warum die Näherungslösungen viel schneller als die optimale Lösung gefunden werden.
  • faecher/informatik/oberstufe/graphen/zpg/dominierende_menge/start.1669388137.txt.gz
  • Zuletzt geändert: 25.11.2022 14:55
  • von Frank Schiebel