europe seen by the germans - wuecampus2.uni-wuerzburg.de · beschriftung von punkten allgemeiner...
TRANSCRIPT
![Page 1: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/1.jpg)
Schriftplazierung
http://bigthink.com/blogs/strange-maps
Europe seen by the Germans
![Page 2: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/2.jpg)
Schriftplazierung
http://bigthink.com/blogs/strange-maps
Europe seen by the French
![Page 3: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/3.jpg)
http://www.worldofmaps.net/
![Page 4: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/4.jpg)
http://www.worldofmaps.net/
Beschriftung (Namen) für • Flächen • Linien • Punkte
abhängig vom Maßstab! (Berlin: Fläche oder Punkt)
nach Imhof (1975)
![Page 5: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/5.jpg)
Kriterien für gute Beschriftung 1. Lesbarkeit
nach Imhof (1975)
![Page 6: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/6.jpg)
Kriterien für gute Beschriftung 1. Lesbarkeit 2. klare Zuordnung von Namen zu Objekten
nach Imhof (1975)
![Page 7: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/7.jpg)
Kriterien für gute Beschriftung 1. Lesbarkeit 2. klare Zuordnung von Namen zu Objekten 3. Namen sollen anderen Karteninhalt wenig stören (keine
Verdeckung von Objekten)
nach Imhof (1975)
![Page 8: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/8.jpg)
Kriterien für gute Beschriftung 1. Lesbarkeit 2. klare Zuordnung von Namen zu Objekten 3. Namen sollen anderen Karteninhalt wenig stören (keine
Verdeckung von Objekten) 4. Namen sollen Verständnis von Kartenobjekten erleichtern. 5. Schrifttyp und -größe sollen Klassen und Hierarchien wiedergeben.
nach Imhof (1975)
![Page 9: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/9.jpg)
Kriterien für gute Beschriftung 1. Lesbarkeit 2. klare Zuordnung von Namen zu Objekten 3. Namen sollen anderen Karteninhalt wenig stören (keine
Verdeckung von Objekten) 4. Namen sollen Verständnis von Kartenobjekten erleichtern. 5. Schrifttyp und -größe sollen Klassen und Hierarchien wiedergeben. 6. Dichte der Namen soll angemessen variieren.
nach Imhof (1975)
Dichte der Namen soll mit Siedlungsdichte variieren, in Ballungszentren aber nicht zu hoch sein.
maps.google.com
![Page 10: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/10.jpg)
Kriterien für gute Beschriftung 1. Lesbarkeit 2. klare Zuordnung von Namen zu Objekten 3. Namen sollen anderen Karteninhalt wenig stören (keine
Verdeckung von Objekten) 4. Namen sollen Verständnis von Kartenobjekten erleichtern. 5. Schrifttyp und -größe sollen Klassen und Hierarchien wiedergeben. 6. Dichte der Namen soll angemessen variieren.
nach Imhof (1975)
Textplazierung: 1. Auswahl von Namen 2. Anordnung der Schrift
maps.google.com
![Page 11: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/11.jpg)
Beschriftung von Punkten
four-position model
![Page 12: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/12.jpg)
Beschriftung von Punkten
four-position model
Würzburg
![Page 13: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/13.jpg)
Beschriftung von Punkten
four-position model
Würzburg
![Page 14: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/14.jpg)
Beschriftung von Punkten
four-position model
Würzburg
![Page 15: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/15.jpg)
Beschriftung von Punkten
four-position model
Würzburg
![Page 16: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/16.jpg)
Beschriftung von Punkten
four-position model
two-position model
one-position model
![Page 17: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/17.jpg)
Beschriftung von Punkten
four-position model
two-position model
one-position model
four-slider model
two-slider model
one-slider model
Würzburg Würzburg
fixed-position model slider model
![Page 18: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/18.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben
![Page 19: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/19.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben • Modell gewählt
![Page 20: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/20.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben • Modell gewählt • beschrifte möglichst alle Punkte, so dass sich Label nicht schneiden
![Page 21: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/21.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben • Modell gewählt • beschrifte möglichst alle Punkte, so dass sich Label nicht schneiden
![Page 22: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/22.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben • Modell gewählt • beschrifte möglichst alle Punkte, so dass sich Label nicht schneiden
![Page 23: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/23.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben • Modell gewählt • beschrifte möglichst alle Punkte, so dass sich Label nicht schneiden
![Page 24: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/24.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben • Modell gewählt • beschrifte möglichst alle Punkte, so dass sich Label nicht schneiden
Bei fünf Punkten gibt es im four-position model möglicherweise keine Lösung, in der alle Punkte beschriftet werden!
![Page 25: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/25.jpg)
Beschriftung von Punkten
typisches Problem: • Punktmenge gegeben • Modell gewählt • beschrifte möglichst viele Punkte, so dass sich Label nicht schneiden
Bei fünf Punkten gibt es im four-position model möglicherweise keine Lösung, in der alle Punkte beschriftet werden!
![Page 26: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/26.jpg)
Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: Agarwal et al. (1998): Label placement by maximum independent set in rectangles
• Für Punkt 𝑝𝑖 mit 𝑖 = 1,… ,𝑚 gibt es eine diskrete Menge von Labelpositionen, d.h., eine Menge 𝑅𝑖 von achsparallelen Rechtecken,
wobei 𝑝𝑖 ∈ 𝑟 für jedes 𝑟 ∈ 𝑅𝑖.
![Page 27: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/27.jpg)
Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models:
• gegeben Menge 𝑅 = 𝑅1 ∪⋯∪ 𝑅𝑚 • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
• Für Punkt 𝑝𝑖 mit 𝑖 = 1,… ,𝑚 gibt es eine diskrete Menge von Labelpositionen, d.h., eine Menge 𝑅𝑖 von achsparallelen Rechtecken,
wobei 𝑝𝑖 ∈ 𝑟 für jedes 𝑟 ∈ 𝑅𝑖.
Agarwal et al. (1998): Label placement by maximum independent set in rectangles
![Page 28: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/28.jpg)
Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models:
• gegeben Menge 𝑅 = 𝑅1 ∪⋯∪ 𝑅𝑚 • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
• Für Punkt 𝑝𝑖 mit 𝑖 = 1,… ,𝑚 gibt es eine diskrete Menge von Labelpositionen, d.h., eine Menge 𝑅𝑖 von achsparallelen Rechtecken,
wobei 𝑝𝑖 ∈ 𝑟 für jedes 𝑟 ∈ 𝑅𝑖.
(Es werden nie zwei Rechtecke 𝑟1, 𝑟2 für denselben Punkt 𝑝 gewählt, da 𝑝 in 𝑟1 und 𝑟2 liegt; 𝑟1 und 𝑟2 schneiden sich also.)
Agarwal et al. (1998): Label placement by maximum independent set in rectangles
![Page 29: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/29.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
![Page 30: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/30.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6
![Page 31: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/31.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definition: Der Schnittgraph 𝐺 = (𝑅, 𝐸) • enthält einen Knoten für jedes Rechteck und • eine Kante 𝑢, 𝑣 wenn sich die Rechtecke 𝑢 und 𝑣 schneiden.
𝐺
𝑟1
𝑟2
𝑟6
𝑟3 𝑟4
𝑟5
![Page 32: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/32.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definition: Der Schnittgraph 𝐺 = (𝑅, 𝐸) • enthält einen Knoten für jedes Rechteck und • eine Kante 𝑢, 𝑣 wenn sich die Rechtecke 𝑢 und 𝑣 schneiden.
𝐺
𝑟1
𝑟2
𝑟6
𝑟3 𝑟4
𝑟5
Lösung: • Finde größte unabhängige Menge in 𝐺
![Page 33: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/33.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definition: Der Schnittgraph 𝐺 = (𝑅, 𝐸) • enthält einen Knoten für jedes Rechteck und • eine Kante 𝑢, 𝑣 wenn sich die Rechtecke 𝑢 und 𝑣 schneiden.
𝐺
𝑟1
𝑟2
𝑟6
𝑟3 𝑟4
𝑟5
Lösung: • Finde größte unabhängige Menge in 𝐺
![Page 34: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/34.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definition: Der Schnittgraph 𝐺 = (𝑅, 𝐸) • enthält einen Knoten für jedes Rechteck und • eine Kante 𝑢, 𝑣 wenn sich die Rechtecke 𝑢 und 𝑣 schneiden.
𝐺
𝑟1
𝑟2
𝑟6
𝑟3 𝑟4
𝑟5
Lösung: • Finde größte unabhängige Menge in 𝐺
für allgemeine Graphen NP-schwer!
![Page 35: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/35.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definition: Der Schnittgraph 𝐺 = (𝑅, 𝐸) • enthält einen Knoten für jedes Rechteck und • eine Kante 𝑢, 𝑣 wenn sich die Rechtecke 𝑢 und 𝑣 schneiden.
𝐺
𝑟1
𝑟2
𝑟6
𝑟3 𝑟4
𝑟5
Lösung: • Finde größte unabhängige Menge in 𝐺
für Schnittgraphen von gleich großen Quadraten NP-schwer! (Imai & Asano, 1983)
![Page 36: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/36.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definition: Der Schnittgraph 𝐺 = (𝑅, 𝐸) • enthält einen Knoten für jedes Rechteck und • eine Kante 𝑢, 𝑣 wenn sich die Rechtecke 𝑢 und 𝑣 schneiden.
𝐺
𝑟1
𝑟2
𝑟6
𝑟3 𝑟4
𝑟5
Ziel: Approximationsalgorithmus
Ansatz: Verwende Algorithmus für einfachen Spezialfall
![Page 37: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/37.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
![Page 38: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/38.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus:
Greedy!
![Page 39: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/39.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 40: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/40.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 41: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/41.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 42: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/42.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 43: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/43.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 44: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/44.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 45: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/45.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 46: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/46.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 47: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/47.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 48: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/48.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus: sortiere Rechtecke nach 𝑥-Koordinate ihres rechten Randes in Liste 𝐿 S = ∅, 𝑟 = 𝐿.ℎ𝑒𝑎𝑑 while 𝑟 ≠ 𝑛𝑖𝑙 do 𝑆 = 𝑆 ∪ 𝑟 𝑟′ = 𝑟.𝑛𝑒𝑥𝑡 while 𝑟′ ≠ 𝑛𝑖𝑙 and 𝑟′.𝑥𝑀𝑖𝑛 ≤ 𝑟.𝑥𝑀𝑎𝑥 do 𝑟′ = 𝑟′.𝑛𝑒𝑥𝑡 𝑟 = 𝑟′ return 𝑆
![Page 49: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/49.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Spezialfall: • Es gibt eine horizontale Gerade, die alle Rechtecke in 𝑅 schneidet.
Algorithmus:
Greedy! Laufzeit: • 𝑂 𝑛 log 𝑛 • bzw. 𝑂 𝑛 , wenn Eingabe bereits geordnet
![Page 50: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/50.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 𝑟7
![Page 51: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/51.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definitionen: • Sei 𝑥med der Median von 𝑟.𝑥𝑀𝑖𝑛, 𝑟.𝑥𝑀𝑎𝑥 𝑟 ∈ 𝑅 .
𝑥med
𝑟7
![Page 52: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/52.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definitionen: • Sei 𝑥med der Median von 𝑟.𝑥𝑀𝑖𝑛, 𝑟.𝑥𝑀𝑎𝑥 𝑟 ∈ 𝑅 . • Sei 𝑅12 ⊆ 𝑅 die Menge der Rechtecke auf der Vertikalen durch 𝑥med.
𝑟7
𝑥med
![Page 53: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/53.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definitionen: • Sei 𝑥med der Median von 𝑟.𝑥𝑀𝑖𝑛, 𝑟.𝑥𝑀𝑎𝑥 𝑟 ∈ 𝑅 . • Sei 𝑅12 ⊆ 𝑅 die Menge der Rechtecke auf der Vertikalen durch 𝑥med. • Sei 𝑅1 ⊆ 𝑅 die Menge der Rechtecke links der Vertikalen durch 𝑥med.
𝑟7
𝑥med
![Page 54: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/54.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Definitionen: • Sei 𝑥med der Median von 𝑟.𝑥𝑀𝑖𝑛, 𝑟.𝑥𝑀𝑎𝑥 𝑟 ∈ 𝑅 . • Sei 𝑅12 ⊆ 𝑅 die Menge der Rechtecke auf der Vertikalen durch 𝑥med. • Sei 𝑅1 ⊆ 𝑅 die Menge der Rechtecke links der Vertikalen durch 𝑥med. • Sei 𝑅2 ⊆ 𝑅 die Menge der Rechtecke rechts der Vertikalen durch 𝑥med.
𝑟7
𝑥med
![Page 55: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/55.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Algorithmus (für 𝑛 ≤ 2): if 𝑛 = 0 then return ∅ if 𝑛 = 1 or 𝑟1 ∩ 𝑟2 ≠ ∅ then return 𝑟1 return 𝑟1, 𝑟2
𝑥med
𝑟7
![Page 56: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/56.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Algorithmus (für 𝑛 > 2): Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
𝑥med
𝑟7
![Page 57: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/57.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Algorithmus (für 𝑛 > 2): Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
𝑥med
𝑟7
𝑰𝟏𝟐
![Page 58: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/58.jpg)
Beschriftung von Punkten Problem:
• gegeben Menge 𝑅 von 𝑛 achsparallelen Rechtecken • wähle möglichst viele Rechtecke aus 𝑅, die sich nicht schneiden
Allgemeinfall:
𝑟1
𝑟2 𝑟3
𝑟4
𝑟5 𝑟6 Algorithmus (für 𝑛 > 2): Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
𝑥med
𝑟7 𝑰𝟏 ∪ 𝑰𝟐
![Page 59: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/59.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
![Page 60: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/60.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Behauptung: Der Algorithmus liefert eine Lösung 𝐼 mit 𝐼 ≥ 𝐼∗ log 𝑅 , wobei 𝐼∗ eine optimale Lösung ist.
![Page 61: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/61.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Behauptung: Der Algorithmus liefert eine Lösung 𝐼 mit 𝐼 ≥ 𝐼∗ log 𝑅 , wobei 𝐼∗ eine optimale Lösung ist.
Beweis durch Induktion: Behauptung stimmt für 𝑅 ≤ 2 Zu zeigen: Wenn Behauptung für 𝑅 < 𝑛 stimmt, dann auch für 𝑅 = 𝑛
![Page 62: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/62.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12
![Page 63: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/63.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12 𝐼1 ≥ 𝐼1
∗ log 𝑛 2 ≥ 𝐼∗ ∩ 𝑅1 log 𝑛 − 1 wegen 𝑅1 ≤ 𝑛 2 und Induktionsannahme
![Page 64: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/64.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12 𝐼1 ≥ 𝐼∗ ∩ 𝑅1 log 𝑛 − 1
![Page 65: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/65.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12 𝐼1 ≥ 𝐼∗ ∩ 𝑅1 log 𝑛 − 1 , 𝐼2 ≥ 𝐼∗ ∩ 𝑅2 log 𝑛 − 1
![Page 66: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/66.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12 𝐼1 ≥ 𝐼∗ ∩ 𝑅1 log 𝑛 − 1 , 𝐼2 ≥ 𝐼∗ ∩ 𝑅2 log 𝑛 − 1
𝐼 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗∩𝑅1 + 𝐼∗∩𝑅2
log 𝑛−1
![Page 67: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/67.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12 𝐼1 ≥ 𝐼∗ ∩ 𝑅1 log 𝑛 − 1 , 𝐼2 ≥ 𝐼∗ ∩ 𝑅2 log 𝑛 − 1
𝐼 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗∩𝑅1 + 𝐼∗∩𝑅2
log 𝑛−1
![Page 68: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/68.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12 𝐼1 ≥ 𝐼∗ ∩ 𝑅1 log 𝑛 − 1 , 𝐼2 ≥ 𝐼∗ ∩ 𝑅2 log 𝑛 − 1
𝐼 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗∩𝑅1 + 𝐼∗∩𝑅2
log 𝑛−1
𝐼∗ − 𝐼∗ ∩ 𝑅12
![Page 69: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/69.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2 𝐼12
∗ = 𝐼12 ≥ 𝐼∗ ∩ 𝑅12 𝐼1 ≥ 𝐼∗ ∩ 𝑅1 log 𝑛 − 1 , 𝐼2 ≥ 𝐼∗ ∩ 𝑅2 log 𝑛 − 1
𝐼 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗ − 𝐼∗∩𝑅12 log 𝑛−1
![Page 70: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/70.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2
𝐼 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗ − 𝐼∗ ∩ 𝑅12
log 𝑛 − 1
![Page 71: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/71.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2
𝑰 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝑰∗ ∩ 𝑹𝟏𝟐 ,𝐼∗ − 𝐼∗ ∩ 𝑅12
log 𝑛 − 1
Fall 𝑰∗ ∩ 𝑹𝟏𝟐 ≥ 𝑰∗ 𝐥𝐨𝐠𝒏 :
𝐼 ≥ 𝐼∗ log 𝑛
![Page 72: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/72.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2
𝑰 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝑰∗ − 𝑰∗ ∩ 𝑹𝟏𝟐
𝐥𝐨𝐠𝒏 − 𝟏
Fall 𝑰∗ ∩ 𝑹𝟏𝟐 < 𝑰∗ 𝐥𝐨𝐠𝒏 :
𝐼 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗ − 𝐼∗ log 𝑛
log 𝑛 − 1= max 𝐼∗ ∩ 𝑅12 ,
𝐼∗
log 𝑛 ≥
𝐼∗
log 𝑛
![Page 73: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/73.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2
𝑰 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝑰∗ − 𝑰∗ ∩ 𝑹𝟏𝟐
𝐥𝐨𝐠𝒏 − 𝟏
Fall 𝑰∗ ∩ 𝑹𝟏𝟐 < 𝑰∗ 𝐥𝐨𝐠𝒏 :
𝐼 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗ − 𝐼∗ log 𝑛
log 𝑛 − 1= max 𝐼∗ ∩ 𝑅12 ,
𝐼∗
log 𝑛 ≥
𝐼∗
log 𝑛
![Page 74: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/74.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2
𝑰 = max 𝐼12 , 𝐼1 + 𝐼2 ≥ max 𝐼∗ ∩ 𝑅12 ,𝑰∗ − 𝑰∗ ∩ 𝑹𝟏𝟐
𝐥𝐨𝐠𝒏 − 𝟏
Fall 𝑰∗ ∩ 𝑹𝟏𝟐 < 𝑰∗ 𝐥𝐨𝐠𝒏 :
𝐼 ≥ max 𝐼∗ ∩ 𝑅12 ,𝐼∗ − 𝐼∗ log 𝑛
log 𝑛 − 1= max 𝐼∗ ∩ 𝑅12 ,
𝐼∗
log 𝑛 ≥
𝐼∗
log 𝑛
![Page 75: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/75.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Beweis durch Induktion: 𝐼12
∗ , 𝐼1∗, 𝐼2
∗ seien optimale Lösungen für 𝑅12, 𝑅1, 𝑅2
Also 𝐼 ≥𝐼∗
log 𝑛
![Page 76: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/76.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Laufzeit: 𝑇 𝑛 = 2𝑇 𝑛 2 + 𝑂 𝑛
Rekursionen
![Page 77: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/77.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Laufzeit: 𝑇 𝑛 = 2𝑇 𝑛 2 + 𝑂 𝑛
Berechnung von 𝑅12, 𝑅1, 𝑅2 Greedy-Algorithmus (Sortierung nur am Anfang erforderlich)
![Page 78: Europe seen by the Germans - wuecampus2.uni-wuerzburg.de · Beschriftung von Punkten Allgemeiner Ansatz für fixed-position models: •gegeben Menge = 1∪⋯∪ •wähle möglichst](https://reader031.vdocuments.site/reader031/viewer/2022041411/5e190ee5ec943620a0794819/html5/thumbnails/78.jpg)
Beschriftung von Punkten Algorithmus (für 𝑛 > 2):
Berechne 𝑅12, 𝑅1, 𝑅2 Löse Problem für 𝑅12 optimal mit Greedy-Algorithmus → 𝐼12 Löse Problem für 𝑅1 durch rekursiven Aufruf des Algorithmus → 𝐼1 Löse Problem für 𝑅2 durch rekursiven Aufruf des Algorithmus → 𝐼2 if 𝐼12 ≥ 𝐼1 + 𝐼2 then return 𝐼12 else return 𝐼1 ∪ 𝐼2
Laufzeit: 𝑇 𝑛 = 𝑂 𝑛 log 𝑛