Martin Aigner. Diskrete Mathematik

Ähnliche Dokumente
Martin Aigner. Diskrete Mathematik

Martin Aigner. Diskrete Mathematik

Hannes Stoppel ßirgit Griese. Übungsbuch zur Linearen Algebra

Albrecht Beutelspacher Marc-Alexander Zschiegner. Diskrete Mathematik für Einsteiger

Diskrete Mathematik mit Grundlagen

Otto Forster Thomas Szymczak. Übungsbuch zur Analysis 2

Aufgabensammlung Technische Mechanik 2

Alfred Böge (Hrsg.) Vieweg Taschenlexikon Technik

Walter Schlee. Einführung in die Spieltheorie

Inhaltsverzeichnis. Grundlagen

Albrecht Beutelspacher Marc-Alexander Zschiegner. Diskrete Mathematik für Einsteiger

Claudia Borchard-Tuch. Computersysteme - Ebenbilder der Natur?

Leitfäden und Monographien der Informatik. K. Kiyek/F. Schwarz Mathematik für Informatiker 1

Aufgabensammlung Technische Mechanik 2

Ariacutty Jayendran. Englisch für Maschinenbauer

H. Günther. Programme und Tools für Erddruck und Erdwiderstand mit gekrümmten und ebenen Gleitflächen

Mathemathik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

Ariacutty Jayendran. Englisch für Maschinenbauer

Aufgaben zum Skriptum Informatik

Übungsbuch zur Linearen Algebra und analytischen Geometrie

Ronald Schnetzer. Business Process Reengineering kompakt und verständlich

Sandor Vajna Reinhard Ledderbogen. CATIAV5 - kurz und bündig

Arithmetische Funktionen

Mathematische Begriffe in Beispielen und Bildern

Günther Bourier. Statistik-Übungen

Holiand/Scharnbacher. Grundlagen statistischer Wahrscheinlichkeiten

Christian Karpfinger. Arbeitsbuch Algebra. Aufgaben und Lösungen mit ausführlichen Erklärungen und Hinführungen

Aus dem Programm Mathematik

Grundmann. Zwischenprüfungstraining Bankfachklasse

Rainer Lasch/Gregor Schulte. Quantitative Logistik-Fallstudien

S. Dietze / G. Pönisch. Starthilfe Graphikfähige Taschenrechner und Numerik

Ralph-Hardo Schulz. Codiemngstheorie

Eckstein. Klausurtraining Statistik

Aufgabensammlung zur Einführung in die Statistik

Lineare Algebra I & II Algebra und Diskrete Mathematik I & II

Algebra für Informatiker

Markus-Oiiver SchwaabiGünther Bergmann/ Fritz Gairing/Meinulf Kolb (Hrsg.) Führen mit Zielen

Gerhard Hübner. Stochastik

Schwerpunkt Algebra und Geometrie

Fachbereich Mathematik

Mathematik für Informatiker

Jakob Schwarz. DOS Einsteigen leichtgemacht

ALBERT EINSTEIN. Grundzüge der Relativitätstheorie

Hans-Georg Kemper Henning Baars. Business Intelligence Arbeits- und Übungsbuch

Meyers Handbuch über die Mathematik

Vieweg Programmbibliothek Mikrocomputer 39. Simulationen in BASIC mit dem IBM PC, XT, AT

Zwangsstörungen

Ulrich Krengel. Einführung in die Wahrscheinlichkeitstheorie und Statistik

Dietmar Abts. Masterkurs Client/Server-Programmierung mit Java

IT-Sicherheitsmanagement. Teil 4: Einführung in algebraische Strukturen

Matthias Moßburger. Analysis in Dimension 1

Werner Poguntke. Keine Angst vor Mathe

Klausurtraining Statistik

IT-Security. Teil 9: Einführung in algebraische Strukturen

Univ.-Prof. Dr. Goulnara ARZHANTSEVA

Fortschritte der Psychotherapie Manuale für die Praxis

Aufgaben zum Skriptum Informatik

Heinz-Jürgen Axt EU -Strukturpolitik

Arbeitsbuch Mathematik

Übungsbuch Mathematik für Fachschule Technik und Berufskolleg

Übungsbuch Mathematik für Fachschule Technik und Berufskolleg

BACHELORSTUDIUM MATHEMATIK

Ernst Kleinert. Mathematik für Philosophen

Laplace-Transformation

Beschluss AK-Mathematik 01/

Diskrete Strukturen Kapitel 1: Einleitung

Literatur und Videos. ISM WS 2017/18 Teil 4/Algebren

Bachelorkurs Mathematik

Aufgabensammlung Fertigungstechnik

Veronika Tacke (Hrsg.) Organisation und gesellschaftliche Differenzierung

Mathematik für Physiker Band 3

Herbert Oertel jr. Martin Böhle Ulrich Dohrmann. Übungsbuch Strömungsmechanik

Oliver Kruse I Volker Wittberg (Hrsg.) Fallstudien zur Unternehmensführung

Das Ingenieurwissen: Technische Thermodynamik

Peter Hartmann. Mathematik fur Informatiker

Dieter Muhs Herbert Wittel Dieter Jannasch Joachim Voßiek. Roloff/Matek Maschinenelemente Aufgabensammlung

Kapitel 7: Flüsse in Netzwerken und Anwendungen Gliederung der Vorlesung

Gleichungen, Umformungen, Terme

Grundkurs Mathematik. Berater Martin Aigner, Peter Gritzmann, Volker Mehrmann, Gisbert Wüstholz

JOrgen Kahmann. Numerische Mathematik Programme fur den T I 59

Diskrete Strukturen WS 2010/11. Ernst W. Mayr. Wintersemester 2010/11. Fakultät für Informatik TU München

Wahrscheinlichkeitsrechnung und Statistik downloaded from by on August 7, For personal use only.

Grundkurs Mathematik. Berater Martin Aigner, Peter Gritzmann, Volker Mehrmann, Gisbert Wüstholz

Franz Pfuff. Mathematik für Wirtschaftswissenschaftler 2

Dietmar Abts. Grundkurs JAVA

Joachim Specovius. Grundkurs Leistungselektronik

Transkript:

Martin Aigner Diskrete Mathematik

vieweg studium... Autbaukurs Mathematik Herausgegeben von Martin Aigner, Michael Grüter, Rudolf Scharlau, Gisbert Wüstholz Martin Aigner Diskrete Mathematik Albrecht BeutelspacherjUte Rosenbaum Projektive Geometrie Manfredo P. do Carmo Differentialgeometrie von Kurven und Fliehen Gerd Fischer Ebene alpbralsche Kurven Wolfgang Fischer und Ingo Lieb Funktionentheorie Wolfgang Fischer und Ingo Lieb Au.,ewählte Kapitel aus der Funktionentheorie OUo Forster Analysis 3 Klaus Hulek Elementare Algebraische Geometrie Horst Knörrer Geometrie Ulrich Krengel Einführung in die Wahrscheinlichkeitstheorie und StatIstik Helmut Koch Zahlentheorie Wolfgang Kühnel Dlfferentlalpometrle Ernst Kunz Einführung in die alpbralsche Geometrie Reinhold Meise und Dietmar Vogt Einführung In die Funktionalanalysis Erich Ossa Topologie Jochen Werner Numerische Mathematik I und 11 Jürgen Wolfart Einführung In die Zahlentheorie und Alpbra Grundkurs Mathematik Gerd Fischer Lineare Algebra Hannes Stoppelj Birgit Griese Übungsbuch zur Linearen Alpbra Gerd Fischer Analytische Geometrie OUo Forster Analysis 1 OUo Forster / Rüdiger Wessoly Übungsbuch zur Analysis 1 Otto Forster Analysis 2 OUo Forster/Thomas Szymczak Übungsbuch zur Analysis 2 Gerhard Opfer Numerische Mathematik für Anfänger vieweg

Martin Aigner Diskrete Mathematik Mit über 500 Übungs aufgaben 4., durchgesehene Auflage 11 vleweg

Die Deutsche Bibliothek - CIP-Einheitsaufnahme Ein Titeldatensatz für diese Publikation ist bei Der Deutschen Bibliothek erhältlich Prof. Dr. Martin Aigner Freie Universität Berlin Institut für Mathematik II (WE 2) Arnimallee 3 14195 Berlin E-Mail: aigner math.fu-berlin.de 1. Auflage 1993 2. durchgesehene Auflage 1996 3. durchgesehene Auflage 1999 4. durchgesehene Auflage Mai 2001 Alle Rechte vorbehalten Friedr. Vieweg & Sohn Verlagsgesellschaft mbh, Braunschweig/Wiesbaden, 2001 Der Verlag Vieweg ist ein Unternehmen der Fachverlagsgruppe BertelsmannSpringer. Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung außerhalb der engen Grenzen des Urheberrechtsgesetzes ist ohne Zustimmung des Verlags unzulässig und strafbar. Das gilt insbesondere für Vervielfältigungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. www.vieweg.de Konzeption und Layout des Umschlags: Ulrike Weigel, www.corporatedesigngroup.de Gedruckt auf säurefreiem Papier ISBN 978-3-528-37268-2 ISBN 978-3-322-92838-2 (ebook) DOI 10.1007/978-3-322-92838-2

v Vorwort Vor 50 Jahren gab es den Begriff "Diskrete Mathematik" nicht, und er ist auch heute im deutschen Sprachraum keineswegs gebräuchlich. Vorlesungen dazu werden nicht überall und schon gar nicht mit einem einheitlichen Themenkatalog angeboten (im Gegensatz zum Beispiel zu den USA, wo sie seit langem einen festen Platz haben). Die Mathematiker verstehen unter Diskreter Mathematik meist Kombinatorik oder Graphentheorie, die Informatiker Diskrete Strukturen oder Boolesche Algebren. Das Hauptanliegen dieses Buches ist daher, solch einen Themenkatalog zu präsentieren, der alle Grundlagen für ein weiterführendes Studium enthält. Die Diskrete Mathematik beschäftigt sich vor allem mit endlichen Mengen. Was kann man in endlichen Mengen studieren? Als allererstes kann man sie abzählen, dies ist das klassische Thema der Kombinatorik - in Teil I werden wir die wichtigsten Ideen und Methoden zur Abzählung kennenlernen. Auf endlichen Mengen ist je nach AufgabensteIlung meist eine einfache Struktur in Form von Relationen gegeben, von denen die anwendungsreichsten die Graphen sind. Diese Aspekte fassen wir in Teil II unter dem Titel Graphen und Algorithmen zusammen. Und schließlich existiert auf endlichen Mengen oft eine algebraische Struktur (oder man kann eine solche auf natürliche Weise erklären). Algebraische Systeme sind der Inhalt von Teil III. Diese drei Gesichtspunkte bilden den roten Faden des Buches. Ein weiterer Aspekt, der die Darstellung durchgehend prägt, betrifft den Begriff der Optimierung. Die Entwicklung, welche die Kombinatorik in den letzten 50 Jahren vollkommen revolutionierte und sie erst zum heutigen Gebiet der Diskreten Mathematik machte, war die Frage nach schnellen Algorithmen. Es genügte nicht mehr, ein kombinatorisches Problem theoretisch zu lösen, man wollte eine Lösung explizit konstruieren, und dies wenn möglich anhand eines schnellen Algorithmus. Es ist sicher kein Zufall, daß dieser Optimierungsgesichtspunkt gerade Ende der 40'er Jahre an Bedeutung gewann, genau parallel zur Entwicklung der ersten schnellen Rechner. In diesem Buch wird dementsprechend großer Wert auf den algorithmischen Standpunkt gelegt, vor allem in Teil II, wie dies ja auch schon im Titel zum Ausdruck kommt. Die Diskrete Mathematik ist heute eine Grundlagenwissenschaft auch der Informatik, und das Buch sollte durch die Stoffauswahl für Mathematiker und Informatiker gleichermaßen interessant sein. Die drei Teile sind so organisiert, daß sie weitgehend unabhängig voneinander studiert werden können, mit Ausnahme der Kapitell und 5, welche die Grundlagen der Abzählung und Graphen behandeln - sie sollten in jedem Fall gelesen werden. Der gesamte Stoff kann in einer zweisemestrigen Vorlesung behandelt werden, die Kapitel 1-3, 5-7 und 12 waren Inhalt einer einsemestrigen Veranstaltung. Es ist üblich, in einem Vorwort auf den Nutzen der Übungen hinzuweisen. In einem Buch über Diskrete Mathematik kann der Wert der Übungen gar nicht hoch genug eingeschätzt werden, was man schon daraus erkennen kann, daß die Übungen (und

VI Vorwort Lösungen) fast ein Viertel des Textes ausmachen. Diskrete Mathematik behandelt vor allem konkrete Probleme, und ohne Praxis wird man sie trotz aller theoretischer Kenntnisse nicht lösen können. Zusätzlich wird in den Übungen des öfteren auf weiterführende Fragen hingewiesen. Die Übungen jedes Kapitels sind (durch einen Strich) zweigeteilt. Der erste Teil sollte ohne große Mühe zu lösen sein, der zweite Teil ist etwas schwieriger. Viele Übungen enthalten Hinweise, und für Übungen, die mit * bezeichnet sind, findet man im Anhang eine Lösung. Jeder Teil endet mit einer knappen Literaturliste mit Hinweisen für ein weiterführendes Studium. An Vorkenntnissen wird nur Vertrautheit mit den mathematischen Grundbegriffen vorausgesetzt und an manchen Stellen Kenntnisse aus der Linearen Algebra und Analysis, wie sie üblicherweise im 1. Semester erworben werden. Die verwendeten Bezeichnungen entsprechen durchwegs dem Standard, vielleicht mit den folgenden Ausnahmen: A = l:ai A = TI Ai (t) Menge A ist disjunkte Vereinigung der Ai Menge A ist kartesisches Produkt der Ai Familie aller k-untermengen von A. Der Vorteil ist, daß sich die Bezeichnungen unmittelbar auf die Mengengrößen übertragen: Sind die Mengen Ai nicht notwendig disjunkt, so setzen wir wie üblich A = U Ai. Die Elemente von TI Ai = Al X.. x An sind wie gewohnt alle n-tupel (al,..., an), ai E Ai. Eine k-menge besteht aus k Elementen. B(8) ist die Familie aller Untermengen von 8. Die Bezeichnungen r xl, lx J für x E IR bedeuten x aufgerundet auf die nächste ganze Zahl bzw. x abgerundet. 181 bezeichnet die Anzahl der Elemente in 8. Das Buch ist aus einer Reihe von Vorlesungen für Mathematik- und Informatikstudenten hervorgegangen. Der Mitarbeit (und der Kritik) dieser Hörer gebührt daher mein erster Dank. Besonderen Dank schulde ich meinem Kollegen G. Stroth und meinen Studenten T. Biedl, A. Lawrenz und H. Mielke, die den gesamten Text durchgesehen und an vielen Stellen verbessert haben. T. Thiele hat wesentlich zur graphischen Gestaltung beigetragen. E. Greene, S. Hoemke und M. Barrett danke ich herzlich für die kompetente Abfassung in lb\tex, und dem Vieweg - Verlag für die angenehme Zusammenarbeit. Berlin, Ostern 1993 Martin Aigner

VII Inhaltsverzeichnis Teil I: Abzählung 1 Grundlagen 1.1 Elementare Zählprinzipien.... 1.2 Die fundamentalen Zählkoeffizienten 1.3 Permutationen........... 1.4 Rekursionen... 1.5 Diskrete Wahrscheinlichkeitsrechnung 1.6 Existenzaussagen Übungen. 2 Summation 2.1 Direkte Methoden 2.2 Differenzenrechnung 2.3 Inversion... 2.4 Inklusion-Exklusion. Übungen.... 3 Erzeugende Funktionen 3.1 Definition und Beispiele.... 3.2 Lösung von Rekursionen............ 3.3 Erzeugende Funktionen vom Exponentialtyp. Übungen.... 4 Asymptotische Analyse 4.1 Wachstum von Funktionen. 4.2 Größenordnung von Rekursionen 4.3 Laufzeit von Algorithmen Übungen.... Literatur zu Teil I Teil 11: Graphen und Algorithmen 5 Graphen 5.1 Definition und Beispiele 5.2 Darstellung von Graphen 5.3 Wege und Kreise.. 5.4 Gerichtete Graphen. Übungen.... 1 3 3 6 10 12 18 24 27 34 34 39 44 48 52 57 57 59 66 69 74 74 78 81 83 87 88 89 89 93 96 99 102

VIII Inhaltsverzeichnis 6 Bäume 105 6.1 Begriff und Charakterisierung. 105 6.2 Breadth-First und Depth-First Suche 108 6.3 Minimale aufspannende Bäume 110 6.4 Kürzeste Wege in Graphen 113 Übungen.......... 115 7 Matchings und Netzwerke 120 7.1 Matchings in bipartiten Graphen 120 7.2 Konstruktion von optimalen Matchings 124 7.3 Flüsse in Netzwerken........... 130 7.4 Eulersche Graphen, das Traveling Salesman Problem. 136 7.5 Die Komplexitätsklassen P und NP. 144 Übungen.......................... 147 8 Suchen und Sortieren 152 8.1 Suchprobleme und Entscheidungsbäume 152 8.2 Der Hauptsatz der Suchtheorie 155 8.3 Sortieren von Listen 161 8.4 Binäre Suchbäume 167 Übungen....... 173 9 Allgemeine Optimierungsmethoden 178 9.1 Backtrack........... 178 9.2 Dynamisches Programmieren 182 9.3 Der Greedy Algorithmus. 188 Übungen............ 191 Literatur zu Teil 11 195 Teil 111: Algebraische Systeme 196 10 Boolesche Algebren 197 10.1 Definition und Eigenschaften....... 197 10.2 Aussagenlogik und Boolesche Funktionen 199 10.3 Logische Netze............... 203 10.4 Boolesche Verbände, Ordnungen, Hypergraphen. 207 Übungen....................... 212 11 Modulare Arithmetik 216 11.1 Rechnen mit Kongruenzen. 216 11.2 Endliche Körper... 219 11.3 Lateinische Quadrate... 221 11.4 Kombinatorische Designs 225 Übungen.......... 232

IX 12 Codes und Kryptographie 12.1 Problemstellung.... 12.2 Quellencodierung............. 12.3 Entdecken und Korrigieren von Fehlern 12.4 Lineare Codes. 12.5 Kryptographie Übungen... 13 Lineare Optimierung 13.1 Beispiele und Definitionen 13.2 Dualität.......... 13.3 Der Hauptsatz der linearen Optimierung. 13.4 Zulässige Lösungen und optimale Lösungen 13.5 Der Simplexalgorithmus...... 13.6 Ganzzahlige lineare Optimierung Übungen.... Literatur zu Teil 111 Lösungen zu ausgewählten Übungen Sachwortverzeichnis 236 236 237 239 243 247 252 256 256 258 263 268 272 278 281 285 286 311