MT-07 MT-07A - ヤマハ発動機株式会社 製品サイト · 1ws-28199-jr mt-07 mt-07a 取扱説明書 ご使用の前には必ず取扱説明書をよく読んでください。
1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007...
-
Upload
willahelm-rahlf -
Category
Documents
-
view
103 -
download
0
Transcript of 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007...
![Page 1: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/1.jpg)
1 WS 06/07
Organisatorisches
1. Vorlesung am Montag, 04.12.2006:9-11 Uhr in Gebäude 106, Raum 00-007
2. Podcasts: Probleme mit der Videoqualität sind behoben
Alte Files wurden durch neue ersetzt diese müssen neu heruntergeladen werden
![Page 2: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/2.jpg)
WS 06/07
Tobias Lauer
Algorithmentheorie
7 – Bin Packing
![Page 3: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/3.jpg)
3 WS 06/07
Problembeschreibung
Gegeben:
n Objekte der Größen
s1, ... , sn
mit 0 < si 1, für 1 i n.
Gesucht:
Die kleinstmögliche Anzahl von Kisten (Bins) der Größe 1, mit der alle
Objekte verpackt werden können.
Beispiel:
7 Objekte mit Größen 0.2, 0.5, 0.4, 0.7, 0.1, 0.3, 0.8
![Page 4: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/4.jpg)
4 WS 06/07
Problembeschreibung
Online Bin-Packing:
Jedes (ankommende) Objekt muss verpackt sein, bevor das nächste
Objekt betrachtet wird. Ein Objekt verbleibt in derjenigen Kiste, in die
es zuerst gepackt wird.
Offline Bin-Packing:
Zunächst wird die Anzahl n und alle n Objekte vorgegeben. Dann
beginnt die Verpackung.
![Page 5: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/5.jpg)
5 WS 06/07
Beobachtung
• Bin-Packing ist beweisbar schwer.
(Offline Version ist NP-hart.
Entscheidungsproblem ist NP-vollständig.)
• Kein Online Bin-Packing Verfahren kann stets
eine optimale Lösung liefern.
![Page 6: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/6.jpg)
6 WS 06/07
Online Verfahren
Satz 1
Es gibt Eingaben, die jeden Online Bin-Packing-Algorithmus zwingen,
wenigstens 4/3 OPT Bins zu verwenden, wobei OPT die minimal
mögliche Binzahl ist.
Beweis:
Annahme: Es gibt einen Online Bin-Packing-Algorithmus A, der stets weniger als 4/3 OPT Bins benötigt.
1/2
0.... .....
1 2 m m + 1 m + 2 2m
Zeit
1
![Page 7: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/7.jpg)
7 WS 06/07
Online Verfahren
Next-Fit (NF), First-Fit (FF), Best-Fit (BF)
Next-Fit:
Verpacke das nächste Objekt in dieselbe Kiste wie das vorherige,
wenn es dort noch hineinpasst, sonst öffne eine neue Kiste und
verpacke es dort.
Satz 2
(a) Für alle Inputfolgen I gilt: NF(I) 2 OPT(I).
(b) Es gibt Inputfolgen I mit: NF(I) 2 OPT(I) – 2.
![Page 8: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/8.jpg)
8 WS 06/07
Next Fit
Beweis: (a)
Betrachte zwei Kisten B2k-1, B2k, 2k NF( I ).
0
1
B1 B2 B2k-1 B2k
![Page 9: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/9.jpg)
9 WS 06/07
Next Fit
Beweis: (b)
Betrachte Inputfolge I mit Länge n
n 0 (mod 4):
0.5, 2/n, 0.5, 2/n, 0.5, ... , 0.5, 2/n
Optimale Packung:
0
1
B1 B2 Bn/4 Bn/4 + 1
0.5
0.5
0.5
0.5
0.5
0.5 2/n2/n
2/n
.......... .....
![Page 10: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/10.jpg)
10 WS 06/07
Next Fit
Next Fit liefert:
NF ( I ) =
OPT ( I ) =
0
1
B1 B2 Bn/2
..........2/n
0.5 0.5
2/n2/n
0.5
![Page 11: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/11.jpg)
11 WS 06/07
First Fit
First Fit:
Packe nächstes Objekt in die erste Kiste, in die es noch hineinpasst,
wenn es eine solche Kiste gibt, sonst in eine neue Kiste.
Beobachtung:
Zu jedem Zeitpunkt kann es höchstens eine Kiste geben,
die nicht mehr als halb voll ist.
FF( I ) 2 OPT( I )
![Page 12: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/12.jpg)
12 WS 06/07
First Fit
Satz 3
(a) Für alle Inputfolgen I gilt:
FF( I ) 17/10 OPT( I )
(b) Es gibt Inputfolgen I mit:
FF( I ) 17/10 (OPT( I ) – 1)
(b´) Es gibt Inputfolgen I mit:
FF( I ) = 10/6 OPT( I )
![Page 13: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/13.jpg)
13 WS 06/07
First Fit
Beweis (b`): Inputfolge der Länge 3 6m
mmm 666
2/1,,2/1,3/1,,3/1,7/1,,7/1
![Page 14: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/14.jpg)
14 WS 06/07
First Fit
First-Fit liefert:
m
mBB
7/1
7/1
7/1
7/1
7/1
7/1
7/1
7/1
7/1
7/1
7/1
7/1
1
2/6
41
3/1
3/1
3/1
3/1
m
mm BB
![Page 15: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/15.jpg)
15 WS 06/07
First Fit
m
mm BB6
1014
2/1
2/1
.........
![Page 16: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/16.jpg)
16 WS 06/07
Best Fit
Best Fit:
Verpacke das nächste Objekt in diejenige Kiste, in die es am besten
passt (d.h. den geringsten Platz ungenutzt lässt).
Verhalten von Best Fit ähnlich zu First Fit
Laufzeit für Inputfolgen der Länge n
Next Fit: O(n)
First Fit: O(n2)
BestFit: O(n2)
![Page 17: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/17.jpg)
17 WS 06/07
Offline Verfahren
n und s1, ..., sn sind gegeben, bevor die Verpackung beginnt
Optimale Packung kann durch erschöpfende Suche
bestimmt werden.
Idee für offline Approximationsalgorithmus:
Sortiere die Objekte zunächst nach abnehmender
Größe und verpacke größere Objekte zuerst!
First Fit Decreasing (FFD) bzw. FFNI
Best Fit Decreasing (BFD)
![Page 18: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/18.jpg)
18 WS 06/07
First Fit Decreasing
Lemma 1
Sei I eine Folge von n Objekten mit Größen
s1 s2 ..... sn
und sei m = OPT(I).
Dann haben alle von FFD in den Bins
Bm+1,Bm+2, ... , BFFD(I)
verpackten Objekte eine Größe von jeweils höchstens 1/3.
![Page 19: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/19.jpg)
19 WS 06/07
First Fit Decreasing
Lemma 2
Sei I eine Folge von n Objekten mit Größen
s1 s2 ..... sn
und sei m = OPT( I ).
Dann ist die Anzahl der Objekte, die FFD in die Kisten
Bm+1 , Bm+2 , ... , BFFD(I)
verpackt, höchstens m – 1.
![Page 20: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/20.jpg)
20 WS 06/07
First Fit Decreasing
Beweis:
Annahme: Es gibt mehr als m – 1 Objekte
x1,....,xm in I, die FFD in extra Kisten verpackt.
W1 W2 Wm
B1 B2 Bm Bm+1
![Page 21: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/21.jpg)
21 WS 06/07
Anzahl der Bins von FFD
Lemma 2: FFD muss ≤ m-1 Objekte in Extra-Bins verpacken Lemma 1: jedes dieser Objekte hat eine Größe ≤ 1/3
FFD( I ) =
![Page 22: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/22.jpg)
22 WS 06/07
First Fit Decreasing
SatzFür alle Inputfolgen I gilt:
FFD( I ) 4/3 OPT( I ) + 1/3
Satz
a. Für alle Inputfolgen I gilt:
FFD( I ) 11/9 OPT( I ) + 4.
b. Es gibt Inputfolgen I mit:
FFD( I ) = 11/9 OPT( I ).
![Page 23: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/23.jpg)
23 WS 06/07
First Fit Decreasing
Beweis (b): Inputfolge der Länge 3 6m + 12m
mm
mm
126
66
24/1,,24/1,4/1,,4/1
24/1,,24/1,2/1,,2/1
Optimale Packung:
1/2 +
1/4 - 2
1/4 +
1/2 +
1/4 - 2
1/4 +
............
1/4 - 2
1/4 - 2
1/4 + 2
1/4 + 2
.........
1/4 - 2
1/4 - 2
1/4 + 2
1/4 + 2
m
m
m
m BBB B3
9 16m
6
61
![Page 24: 1WS 06/07 Organisatorisches 1.Vorlesung am Montag, 04.12.2006: 9-11 Uhr in Gebäude 106, Raum 00-007 2.Podcasts: Probleme mit der Videoqualität sind behoben.](https://reader037.fdocument.pub/reader037/viewer/2022110305/55204d6549795902118bacf8/html5/thumbnails/24.jpg)
24 WS 06/07
First Fit Decreasing
1/2 +
1/4 + 2
1/4 +
1/4 +
1/4 + ..........
1/4 -
1/4 -
1/4 -
1/4 -
................... ..........
m
m
m
m
m
BBB3
8
2
16
6
1
First Fit Decreasing liefert:
OPT(I) = 9mFFD(I) = 11m