Phylogenetische Bäume Kieu Trinh Do SS 2009

Größe: px
Ab Seite anzeigen:

Download "Phylogenetische Bäume Kieu Trinh Do SS 2009"

Transkript

1 1. Einleitung Phylogenetische Bäume Kieu Trinh Do SS 2009 Wie seit geraumer Zeit bekannt ist, hat Ähnlichkeit ihre Ursachen in gemeinsamer Abstammung. Es stellt sich aber die Frage, wie wir die evolutionäre Geschichte heutiger Spezies und die Verwandschaft zweier Arten klären können. Dazu wurden seit dem 19. Jhd. phylogenetische Bäume verwendet, die zunächst auf der Intuition und Erfahrung der Forscher beruhten, aber allmählich auch durch mathematische Methoden erstellt werden konnten. Es gibt heutzutage eine Vielzahl an Möglichkeiten, phylogenetische Bäume zu berechnen. Im Folgenden sollen insbesondere die merkmalsbasierten Methoden dargestellt werden. 2. Allgemeines zu Phylogenetischen Bäumen 2.1 Begriffsklärung und Zielsetzung Bevor tiefer in die Thematik eingegangen werden kann, müssen einige wichtige Begriffe geklärt werden. Der wichtigste Ausdruck in dieser Arbeit ist der Ausdruck der Phylogenie. Dieses Wort stammt aus dem Griechischen (phylon: Stamm, genesis: Entstehung) und beschreibt die Entwicklungsgeschichte einer Spezies oder einer taxonomischen Einheit (nach bestimmten Merkmalen klassifizierte Objekte). Ein Baum ist ein zusammenhängender, azyklischer Graph (abstrakte Struktur mit Kanten und Knoten), der entweder mit oder ohne Wurzel vorliegen kann. Die meisten Methoden erstellen einen ungewurzelten Baum, da nicht genügend Daten zur Verfügung stehen, um die Wurzel zu bestimmen. Dennoch ist es durch Methoden wie der Out-Group-Methode oder der Molecular-Clock-Methode möglich, aus dem unrooted tree einen rooted tree zu erstellen. Ein phylogenetischer Baum ist also ein Baum, der die Verwandtschaftsbeziehung zwischen einer Menge von Taxa darstellt und diese gruppiert. Ziel der Erstellung von phylogenetischen Bäumen ist das Rückschließen auf die evolutionäre Geschichte der heutigen Arten. Der Mangel an Daten über entfernte Vorfahren erweist sich jedoch als Problem, da man nicht mit hundertprozentiger Sicherheit davon ausgehen kann, dass ein Vorfahre wirklich ein Vorfahre bestimmter Taxa ist. Der phylogenetische Baum ist deshalb nur eine Hypothese. 2.2 Baum-Topologien Zunächst stellt sich die Frage, wie viele mögliche, verschiedene Bäume es für eine bestimmte Menge an Taxa gibt. Sei zunächst die Anzahl an Taxa n=3 gegeben. Wie in Tabelle 1 zu sehen ist, gibt es hierfür nur einen einzigen ungewurzelten Baum. Erhöht man jedoch die Taxazahl um 1 (n=4) ergeben sich bereits zwei weitere Möglichkeiten. Es ist deutlich zu sehen, dass die Anzahl an möglichen Bäumen mit der Zunahme der Taxa sehr stark ansteigt. Tatsächlich beeinflusst die Art der Merkmale die computerbasierte Lösung dieses Problems. 1 von 8

2 Wenn sie ungeordnet sind (d.h. wir wissen nicht, in welche Richtung sich ein Merkmal entwickelt hat), wird diese Angelegenheit NP-vollständig. Sind die Merkmale jedoch geordnet (d.h. wir wissen, dass die Merkmale sich über ein Zwischenmerkmal entwickelt haben, können sie effizient durch Algorithmen gelöst werden. n N (=Anzahl an möglichen ungewurzelten Bäumen) N = Tabelle 1: Anzahl an möglichen Bäumen für n Taxa 2.3 Ansätze zur Erstellung Phylogenetischer Bäume Zur Erstellung phylogenetischer Bäume gibt es im Wesentlichen drei verschiedene Ansätze: Merkmalsbasierte Verfahren Im hier entstandenen Baum stellen die Blätter die verglichenen Taxa, die Knoten die gemeinsamen Vorfahren und die Kanten die Merkmale dar. Ein Objekt besitzt also alle Merkmale, die den Pfad von der Wurzel bis zum Objekt bilden. Distanzbasierte Verfahren Distanzbasierte Verfahren beruhen auf der Tatsache, dass verwandte Taxa im Baum benachbart sind. Je größer also die Distanz zwischen zwei Taxa, desto mehr unterscheiden sie sich. Die Blätter stellen die Taxa, die Knoten die gemeinsamen Vorfahren und die Kanten die Distanzen zwischen Taxa und Knoten (oder Knoten und Knoten) dar. Wahrscheinlichkeitsbasierte Verfahren Hierbei werden für verschiedene Mutationen jeweils die Auftrittswahrscheinlichkeiten bestimmt. Anschließend werden alle möglichen Bäume berechnet und der Baum mit der höchsten Wahrscheinlichkeit wird als Lösung genommen (sehr rechenaufwendig bei großer Anzahl an Taxa) 3 Merkmalsbasierte Verfahren 3.1 Merkmalsbasierte Matrix als Grundlage Definition der merkmalsbasierten Matrix Gegeben sei eine Menge O = {o 1,..., o n } von Objekten und eine Menge C = {c 1,..., c m } von Merkmalen. Eine merkmalsbasierte Matrix ist eine binäre Matrix M mit n Zeilen und m Spalten. Die Reihen stellen Taxa dar, während die Spalten die Merkmale repräsentieren. Die Zelle M(i,j) codiert eine bestimmte Eigenschaft j für ein Taxa i, d.h. die Taxa werden als 2 von 8

3 Kombination ihrer Merkmale interpretiert. Es gibt eine endliche Anzahl an Merkmalen, deren Erscheinungsformen mit nichtnegativen Zahlen gekennzeichnet sind. Die Zeilen einer merkmalsbasierten Matrix werden auch als state vectors bezeichnet. c 1 c 2 c 3 c 4 c 5 c 6 c 7 o , falls Objekt i Merkmal j besitzt o M(i,j) = o , sonst o o Input-Daten Bevor man eine merkmalsbasierte Methode zur Rekonstruktion eines phylogenetischen Baumes wählt, sollte man sich eine grundlegende Frage bezüglich der gegebenen Merkmale stellen: Sind diese Merkmale sinnvoll und aussagekräftig genug? Die Input-Daten sind größtenteils diskrete Merkmale, wie beispielsweise die Schnabelform, die Anzahl an Fingern oder das Vorhandensein von Rückgrat oder Federn. Es können aber auch metabolische und regulatorische Eigenschaften sowie auf molekularer Ebene die Positionen der Basen in DNA oder RNA ausgewertet werden. Wir können die verwendeten Merkmale in ungeordnete (qualitative) Merkmale, geordnete (kladistische) Merkmale und direkte (polare) Merkmale klassifizieren. Qualitative Merkmale sind Merkmale, bei denen wir nicht wissen, wie sie sich verändert haben, sprich jedes Merkmal kann sich in jedes andere Merkmal entwickelt haben. Für kladistische Merkmale braucht der Nutzer zusätzliche Informationen, da die Umwandlung von Merkmalen in andere Merkmale vermutlich über ein so genanntes Zwischenmerkmal gelaufen ist. Auch hier ist keine Richtungsangabe möglich, d.h. man weiß nicht, ob 0 oder 1 der ursprüngliche Phänotyp war. Im Gegensatz dazu geben uns polare Merkmale Richtungsangaben an. 3.2 Problemdarstellung der merkmalsbasierten Verfahren Konvergenz/parallele Evolution Ein zu beachtendes Problem der Erstellung eines phylogenetischen Baumes ist die Konvergenz (parallele Evoluton), d.h. die Entwicklung von ähnlichen Merkmalen bei entfernt verwandten Arten. Dieses Phänomen kommt dadurch zustande, dass sich Lebewesen im Laufe der Evolution an ähnliche Umweltbedingungen anpassen und somit ähnliche Merkmale ausbilden. Wir können also nicht nur aufgrund von Ähnlichkeit auf nahe Verwandtschaft schließen, sondern müssen auch der Funktion eines Merkmals für einen Organismus Beachtung schenken. Typisches Beispiel sind die Flügel der Vögel und Fledermäuse: Fledermäuse sind wie oftmals missverstanden keine Vögel, sondern Säugetiere der Ordnung Fledertiere (Chiroptera). Die Flügel entstanden jeweils durch Anpassung an ihre ähnliche Umwelt und rührt nicht von Verwandtschaft her. Da nahezu alle Methoden zur Erstellung eines phylogenetischen Baumes annehmen, dass Taxa mit gleichen oder ähnlichen Erscheinungsformen eines Merkmals näher verwandt sind als Taxa mit unerschiedlichen Erscheinungsformen, kommt es unweigerlich zur Fehlkonstruktion des Baumes, falls die Analyse Objekte beinhaltet, die sich durch parallele Evolution ähnlich sind. 3 von 8

4 3.2.2 Umkehrungen Auch die Verhältnisse zwischen den unterschiedlichen Erscheinungsformen eines Merkmals müssen bei der Erstellung eines phylogenetischen Baumes beachtet werden. Angenommen es sei eine Matrix M gegeben und es haben die Taxa A,B,C und D bezüglich eines Merkmals c die folgenden Erscheinungsformen: A(c) = 1, B(c) = 0, C(c) = 1 und D(c) = 0. Zunächst werden A und B betrachtet und es wird angenommen, dass die Taxa A und B einen gemeinsamen Vorfahren X haben, der hinsichtlich Merkmal c die Erscheinungsform 0 hat, also X(c) = 0. Diese Annahme impliziert, dass 0 die Urform und 1 die abgeleitete Form des Merkmals c ist. Bezüglich desselben Merkmals haben nun C und D einen Vorfahren Y X mit der Erscheinungsform 1. In diesem Fall ist also 1 die Urform und 0 die abgeleitete Form. Eine Interpretation in Hinsicht auf Gewinn und Verlust kann dieses Phänomen erklären: Taxa D repräsentiert eine Umkehrung zu der Erscheinungsform 1 seines Vorfahren Y. A hat bezüglich X das Merkmal c erworben, während D es bezüglich Y verloren hat. Durch das Phänomen der Umkehrung kommt es zur scheinbaren Ähnlichkeit zwischen zwei Taxa und somit zur fehlerhaften Konstruktion des Baumes, wenn man von falschen Annahmen ausgeht. Im Hintergrund sollte bedacht werden, dass die entsprechenden Erscheinungsformen der Vorfahren nur hypothetisch sind, denn die Merkmalsausprägung eines Vorfahren ist weiterhin unbekannt Folgerungen Da sowohl Konvergenz als auch Umkehrung von Merkmalen in der Natur äußerst selten sind, wird für die Erstellung phylogentischer Bäume zunächst angenommen, dass sie nicht existieren oder deren Anzahl minimal ist. Weiterhin wird hinsichtlich der Entwicklung von Merkmalen davon ausgegangen, dass es sich sowohl um unabhängige Vererbung handelt als auch keine Rückentwicklungen stattfindet, sprich es gibt nur Entwicklungen von 0 nach 1 und alle zu betrachtenden Erscheinungsformen eines Merkmals entstammen einer ursprünglichen Form. Weiterhin gilt, dass die den Vorfahren zugeordneten Merkmale rein hypothetisch sind, also nichts über deren tatsächliche Merkmalsausprägungen aussagen. 4. Merkmalsbasierte Matrix und Perfekte Phylogenie Sei M eine binäre nxm Merkmalsmatrix. Ein perfekt-phylogenetischer Baum T für M ist ein Baum mit genau n Blättern, bei dem jedes Blatt genau ein Taxa darstellt und jedes Merkmal durch eine Kante gekennzeichnet wird. Außerdem gilt für jedes Taxa im Baum T: Die Merkmale, die durch die Kanten auf dem Pfad von der Wurzel bis zum Blatt o dargestellt werden sind genau die Merkmale, die o besitzt. 4.1 Existenz perfekter Phylogenie Theorem: Sei O i die Menge der Zellen mit Wert 1 in Spalte i für i [1;n]. Eine binäre Matrix läßt einen perfekt-phylogenetischen Baum dann und nur dann zu, wenn für jedes Spaltenpaar i, j die Mengen O i und O j disjunkt oder in einander enthalten sind. Es gilt also: Beweis des Theorems: 4 von 8

5 Angenommen M erlaubt eine perfekte Phylogenie und das Theorem sei nicht erfüllt. Da M binär ist, wissen wir, dass wir jedem Merkmal i eine Kante (u,v) im Baum T zuordnen können. Außerdem beinhalte der Unterbaum, der v als Wurzel hat, alle Knoten, die den Wert 1 für das Merkmal i haben und liege v tiefer als u. Jeder Knoten, der den Wert 0 hat, gehört also nicht zu diesem Unterbaum. Aufgrund der Annahme gibt es nun Taxa A, B und C, sodass A,B ϵ O i und B,C ϵ O j mit A O j und C O i. Zunächst wird das Objekt B betrachtet: Da B ϵ O i und B ϵ O j, muss vom Blatt B zur Wurzel eine Kante (p, q) bezüglich des Merkmals i und eine Kante (r, s) bezüglich des Merkmals j existieren. Sei (p, q) im Baum höher als (r, s), dann beinhaltet der Unterbaum T p, der p als Wurzel hat den Unterbaum T r der r als Wurzel hat. Als nächstes betrachten wir Objekt C: Wie wir wissen ist C ϵ O j, also C ϵ T r. Aber andererseits ist C O i, also C T p, was ein Widerspruch ist, da T p wie vorhin erwähnt T r beinhaltet. Wäre (r, s) im Baum T höher als (p, q) gewesen, würde derselbe Widerspruch mit Objekt A auftreten. Nehmen wir jetzt an, dass alle Spaltenpaare von M die Bedingungen des Theorems erfüllen. Der Einfachheit halber nehmen wir zudem noch an, dass alle Spalten verschieden sind. Um einen gewurzelten Baum mit perfekter Phylogenie zu konstruieren, geht man induktiv folgendermaßen vor: Als Induktionsanfang haben wir nur ein Merkmal c. Dieses Merkmal teilt die Objekte in zwei Mengen A=O c und B=O c. Erstelle eine Wurzel und einen Knoten a, der die Objekte der Menge A beinhaltet, sowie einen Knoten b für die Objekte der Menge B. Verbinde den Knoten a zur Wurzel und kennzeichne die Kante zwischen a und der Wurzel mit 1. Verbinde b mit der Wurzel und lasse die Kante dazwischen unbeschriftet. Als finalen Schritt spaltet man jedes Kind der Wurzel also die Knoten a und b in so viele Blätter wie Objekte in diesen jeweiligen Mengen vorliegen. Der Baum, der dadurch ensteht hat eindeutig perfekte Phylogenie. Dies sei unser Basisfall, d.h. wir können einen Baum T für k Merkmale konstruieren, jedoch führen wir den letzten Schritt nicht aus und hängen keine Blätter an die Knoten. Das bedeutet, dass die Knoten immer noch Mengen von Objekte darstellen. Nun betrachten wir die Matrix M mit k+1 Merkmale und sei Merkmal j das k+1-te Merkmal, so dass O i O j für alle i. Solch ein Merkmal existiert, wenn jede Spalte unterschiedlich ist. Nun können wir aufgrund der Induktionshypothese also den Baum T mit k Merkmalen erstellen und wenden uns dem letzten Merkmal j zu, welches auch die Menge der Objekte teilt. Aus dem Baum T sollten wir nun den Baum T' erstellen können, jedoch nur solange, wie die Zerlegung durch j die Objekte desselben Knotens teilt. Wenn dies nicht der Fall wäre, wären wir gezwungen, zwei Kanten mit j zu kennzeichnen, wodurch keine perfekte Phylogenie zustande kommen würde. Angenommen j teile die Objekte der Knoten a und b. Weil dies zwei unterschiedliche Knoten sind, muss ein Merkmal i existieren, das diese Knoten unterscheidet. Dann muss gelten: O j O i, da in einem dieser Knoten alle Objekte zu finden sind, die den Wert 1 bezüglich des Merkmals i haben. Da es aber mindestens ein Objekt im anderen Knoten gibt, das den Wert 1 bezüglich des Merkmals j hat, wissen wir, dass O j O i gilt. Nach der Definition von j ist O i O j, also würde diese Erkenntnis einen Widerspruch zu unserer Annahme darstellen und somit unser Theorem beweisen. Um unser Theorem etwas einfacher und kompakter zu beschreiben, benutzen wir den Ausdruck der Kompatibilität. Eine Menge von binären Merkmalen ist dann und nur dann kompatibel, wenn sie paarweise kompatibel sind. Die Definition der paarweisen Kompatibilität ergibt sich aus der Menge an Beziehungen, wie sie im Theorem beschrieben sind. 5 von 8

6 4.2 Erstellung eines perfekt-phylogenetischen Baumes Der Algorithmus zur Rekonstruktion eines phylogenetischen Baumes gliedert sich in zwei Hauptteile. Zunächst muss geprüft werden, ob die gegebene Matrix perfekte Phylogenie erlaubt und anschließend muss ein solcher Baum falls der erste Teil true ergibt konstruiert werden Algorithmus zum Prüfen auf Existenz perfekter Phylogenie Ein naiver Ansatz zum Prüfen auf perfekte Phylogenie wäre nach unserem Theorem der Vergleich von jeder Spalte mit jeder. Jeder Vergleich hat jeweils eine lineare Laufzeit von O(n), da es n Spalten gibt. Man muss O(m²) Vergleiche machen, also ergibt dies insgesamt O(n*m²), was eine äußerst schlechte Laufzeit für einen Algorithmus wäre. Um die Effzienz auf O(n*m) zu verbessern, nimmt man sich vor, jede Spalte nur einmal zu lesen, indem man die Spalten der Größe nach ordnet. Dazu interpretiert man jede Spalte als binäre Zahl mit der signifikantesten Stelle in Zeile 1 und sortiert die Spalten in M absteigend nach diesen Zahlen. Man geht im eigentlichen Algorithmus folgendermaßen vor: Zunächst sortiert man mittels Radix-Sort in O(nm) die Spalten der Größe nach. Danach löscht man alle Spalten, die identisch mit der Spalte zu ihrer Rechten sind (keine biologische Bedeutung, d.h. keine Auswirkungen auf den späteren Baum). Sei O die Menge der Zellen mit dem Wert 1, für jede Zelle M(i,j) ϵ O setze L(i,j) gleich dem größten Index k<j, so dass gilt M(i,k) ϵ O. Das heißt k ist die rechteste Spalte links von j mit M(i,k)=1. Falls solch eine Spalte nicht existiert ist k=-1, also L(i,j)=-1 und für jede Spalte j sei L(j) = max L(i,j) für alle i. Wenn für alle L(i,j) gilt L(i,j) = L(j), so dass M(i,j) ϵ O, dann existiert ein perfekt-phylogenetischer Baum. Erst wird also die Eigenschaft zweier Taxa gesucht, die sie als letztes gemeinsam haben und anschließend wird geprüft, ob alle Eigenschaften vor dieser übereinstimmen. Nachdem wir jede Spalte in der sortierten Matrix bearbeitet haben, können wir sie vergessen, da alle restlichen Spalten entweder mit ihr disjunkt oder aber Untermengen von ihr sind Algorithmus zur Konstruktion eines perfekt-phylogenetischen Baumes Die Idee hinter dem Algorithmus zur Kontruktion eines perfekt-phylogenetischen Baumes ist folgende: Zuerst wird eine Wurzel erstellt, die den aktuellen Knoten darstellt. Für jedes einzelne Objekt werden nun nacheinander die Merkmale mit Wert 1 betrachtet. Falls noch keine Kante mit dem besagten Merkmal vorhanden ist, erstellen wir einen neuen Knoten und verbinden ihn mit dem aktuellen Knoten, wobei wir die Kante mit diesem Merkmal kennzeichnen. Der gerade erstellte Knoten wird nun zum aktuellen Knoten und das nächste Merkmal wird betrachtet. Existiert bereits eine Kante mit dem Merkmal, das wir gerade analysieren, so wird einfach das Ende dieser Kante zum aktuellen Knoten und man geht zum nächsten Merkmal über. Hierdurch entsteht ein gewurzelter phylogenetischer Baum, der aber leicht entwurzelt werden kann, indem man die entsprechende Wurzel entfernt und deren Kinder verbindet. Jede Kante beschreibt also ein einziges Merkmal und jeder Pfad von der Wurzel zu einem Blatt stellt die Merkmale des Blattes dar. Die Laufzeit beträgt O(nm), da jedes Element von M nur einmal betrachtet wird, wobei bei jedem Element der Aufwand konstant ist. Auch ungeordnete Merkmale kann man mit dem genannten Algorithmus lösen, allerdings ist eine kleine Transformation nötig. Es gibt für dieses Problem keinen schnelleren Algorithmus als den oben beschriebenen. Jeder Algorithmus, der das Problem löst muss mindestens einmal jedes Element in der Matrix betrachten, weshalb die untere Schranke stets Ω(nm) beträgt. Das bedeutet, jeder Algorithmus hat eine Laufzeit, die größer oder gleich Ω(nm) ist. Daher ist der obige Algorithmus optimal. 6 von 8

7 5. Kompatibilität Beschäftigt man sich näher mit phylogenetischen Bäumen, kommt oft die Fragestellung, ob zwei Bäume (allgemeiner: Datensätze) den gleichen evolutionären Vorgang beschreiben, sprich ob sie zueinander kompatibel sind. Theorem: Zwei Bäume T i und T j sind kompatibel, wenn es einen Baum T k gibt, der eine Verfeinerung von T i und T j ist. (T k ist eine Verfeinerung eines Baumes T k ', wenn man T k durch Kantenreduktionen aus T k ' erhält.) Das Kompatibililitätsproblem besteht darin zu erkennen, ob solch eine Verfeinerung zweier Bäume, die eine gemeinsam Schnittmenge an dargestellten Objekten haben, existiert und falls ja, diese Verfeinerung zu berechnen. Dazu geht man folgendermaßen vor: Im Baum T 1 wird das erste Objekt bestimmt, das eine größere Anzahl an Nachbarn hat als dasselbe Objekt im Baum T 2. T 2 ist dann feiner als T 1, wenn die Verfeinerung an dieser Stelle genauso viele Objekte enthält wie das Blatt in T 1 und man ersetzt dieses Blatt durch die eben genannte Verfeinerung. Diese Schritte werden so oft wiederholt, bis keine weiteren Objekte mehr gefunden werden, die in T 1 mehr Nachbarn haben als in T 2. Anschließend wird derselbe Vorgang für Objekte in T 2 gemacht. Falls es für jedes der besagten Blätter eine Verfeinerung im jeweils anderen Baum gibt, dann sind T 1 und T 2 kompatibel. Der beschriebene Algorithmus erlaubt es uns, für verschiedene Datensätze zu testen, ob sie dieselbe evolutionäre Aussage haben, und hat eine Laufzeit O(n). 6. Fazit Im hier vorgestellten Verfahren zur Rekonstruktion eines phylogenetischen Baumes und hinsichtlich der perfekten Phylogenie wurden die Bedingungen für brauchbare Input-Daten sehr stark eingeschränkt (nur binäre und diskrete Merkmale), weshalb eine reale Merkmalsmatrix eher keinen perfekt-phylogenetischen Baum erlaubt. Auch die fehlerhaft experimentell ermittelten Daten der Biologie und das Ignorieren von Konvergenz und Umkehrung vermeiden reale perfekte Phylogenie. Neben den Algorithmen für Merkmalsmatrices gibt es noch andere Methoden zur Erstellung eines phylogenetischen Baumes, wie beispielsweise die Neighbour-Joining, Maximum Likelihood-, UPGMA- Methode, etc. Wahrscheinlich werden all diese Methoden dennoch nicht ausreichen um die wahren evolutionären Hintergründe aller Spezies zu bestimmen. 7 von 8

8 Literaturhinweise: [1] J. Setubal, J. Meidanis: Introduction to Computional Molecular Biology, PWS, 1997; Abschnitte 6.1, 6.2, 6.4 sowie Errata zu Lemma 6.1 [2] B. Hammer: Vorlesung zur Algorithmische Bioinformatik, TU Clausthal vom: , zugegriffen am [3] Andreas Brieg: Hauptseminar AfS: Algrithmen der Bioinformatik Phylogenetische Bäume, Vortrag vom , TU Ilmenau vom: , zugegriffen am [4] Ulf Leser: Vorlesung Bioinformatik der Humboldt Universität _parsimony.pdf. vom: Wintersemester 2005/2006, zugegriffen am [5] Evolutionary Trees and Perfect Phylogeny, Zentrum der Bioinformatik der Universität des Saarlandes fred.bioinf.uni-sb.de:4711/downloads/bioinfo_ws01/bioinfi8.ppt vom: Wintersemester 2001/2002, zugegriffen am [6] Wikipedia: Phylogenetischer Baum vom: , zugegriffen am von 8

Einführung in die Bioinformatik

Einführung in die Bioinformatik Einführung in die Bioinformatik Ringvorlesung Biologie Sommer 07 Burkhard Morgenstern Institut für Mikrobiologie und Genetik Abteilung für Bioinformatik Goldschmidtstr. 1 Online Materialien zur Ringvorlesung:

Mehr

Evolutionäre Bäume. Madox Sesen. 30. Juni 2014

Evolutionäre Bäume. Madox Sesen. 30. Juni 2014 Evolutionäre Bäume Madox Sesen 30. Juni 2014 1 Einleitung Phylogenetische Bäume sind ein wichtiges Darstellungsmittel der Evolutionsforschung. Durch sie werden Verwandtschaftsbeziehungen zwischen Spezies

Mehr

Evolutionary Trees: Distance Based

Evolutionary Trees: Distance Based Evolutionary Trees: Distance Based 1 Buftea Alexandru Laut der Evolutionstheorie findet in allen Organismen eine langsame Änderung statt (Evolution). Ein evolutionärer Baum, auch phylogenetischer Baum

Mehr

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza)

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza) WS 2013/14 Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Esparza) Dr. Werner Meixner Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2013ws/ds/uebung/ 22. Januar 2014 ZÜ DS ZÜ XIII

Mehr

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Mayr)

Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Mayr) WS 2011/12 Zentralübung zur Vorlesung Diskrete Strukturen (Prof. Mayr) Dr. Werner Meixner Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2011ws/ds/uebung/ 25. Januar 2012 ZÜ DS ZÜ XIII

Mehr

9 Minimum Spanning Trees

9 Minimum Spanning Trees Im Folgenden wollen wir uns genauer mit dem Minimum Spanning Tree -Problem auseinandersetzen. 9.1 MST-Problem Gegeben ein ungerichteter Graph G = (V,E) und eine Gewichtsfunktion w w : E R Man berechne

Mehr

2. Woche Eindeutige Entschlüsselbarleit, Sätze von Kraft und McMillan, Huffmancodierung

2. Woche Eindeutige Entschlüsselbarleit, Sätze von Kraft und McMillan, Huffmancodierung 2 Woche Eindeutige Entschlüsselbarleit, Sätze von Kraft und McMillan, Huffmancodierung 2 Woche: Eindeutige Entschlüsselbarleit, Sätze von Kraft und McMillan, Huffmancodierung 24/ 44 Zwei Beispiele a 0

Mehr

MafI I: Logik & Diskrete Mathematik (F. Hoffmann)

MafI I: Logik & Diskrete Mathematik (F. Hoffmann) Lösungen zum 14. und letzten Aufgabenblatt zur Vorlesung MafI I: Logik & Diskrete Mathematik (F. Hoffmann) 1. Ungerichtete Graphen (a) Beschreiben Sie einen Algorithmus, der algorithmisch feststellt, ob

Mehr

Zentralübung zur Vorlesung Diskrete Strukturen

Zentralübung zur Vorlesung Diskrete Strukturen WS 2010/11 Zentralübung zur Vorlesung Diskrete Strukturen Dr. Werner Meixner Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2010ws/ds/uebung/ 2. Februar 2011 ZÜ DS ZÜ XIII 1. Übungsbetrieb:

Mehr

Diskrete Strukturen. Hausaufgabe 1 (5 Punkte) Hausaufgabe 2 (5 Punkte) Wintersemester 2007/08 Lösungsblatt Januar 2008

Diskrete Strukturen. Hausaufgabe 1 (5 Punkte) Hausaufgabe 2 (5 Punkte) Wintersemester 2007/08 Lösungsblatt Januar 2008 Technische Universität München Fakultät für Informatik Lehrstuhl für Informatik 15 Computergraphik & Visualisierung Prof. Dr. Rüdiger Westermann Dr. Werner Meixner Wintersemester 2007/08 Lösungsblatt 9

Mehr

Ausarbeitung zum Modulabschluss. Graphentheorie. spannende Bäume, bewertete Graphen, optimale Bäume, Verbindungsprobleme

Ausarbeitung zum Modulabschluss. Graphentheorie. spannende Bäume, bewertete Graphen, optimale Bäume, Verbindungsprobleme Universität Hamburg Fachbereich Mathematik Seminar: Proseminar Graphentheorie Dozentin: Haibo Ruan Sommersemester 2011 Ausarbeitung zum Modulabschluss Graphentheorie spannende Bäume, bewertete Graphen,

Mehr

3.3 Optimale binäre Suchbäume

3.3 Optimale binäre Suchbäume 3.3 Optimale binäre Suchbäume Problem 3.3.1. Sei S eine Menge von Schlüsseln aus einem endlichen, linear geordneten Universum U, S = {a 1,,...,a n } U und S = n N. Wir wollen S in einem binären Suchbaum

Mehr

Fortgeschrittene Netzwerk- und Graph-Algorithmen

Fortgeschrittene Netzwerk- und Graph-Algorithmen Fortgeschrittene Netzwerk- und Graph-Algorithmen Dr. Hanjo Täubig Lehrstuhl für Eziente Algorithmen (Prof. Dr. Ernst W. Mayr) Institut für Informatik Technische Universität München Wintersemester 2007/08

Mehr

2.7 Bucket-Sort Bucket-Sort ist ein nicht-vergleichsbasiertes Sortierverfahren. Hier können z.b. n Schlüssel aus

2.7 Bucket-Sort Bucket-Sort ist ein nicht-vergleichsbasiertes Sortierverfahren. Hier können z.b. n Schlüssel aus 2.7 Bucket-Sort Bucket-Sort ist ein nicht-vergleichsbasiertes Sortierverfahren. Hier können z.b. n Schlüssel aus {0, 1,..., B 1} d in Zeit O(d(n + B)) sortiert werden, indem sie zuerst gemäß dem letzten

Mehr

Fortgeschrittene Netzwerk- und Graph-Algorithmen

Fortgeschrittene Netzwerk- und Graph-Algorithmen Fortgeschrittene Netzwerk- und Graph-Algorithmen Prof. Dr. Hanjo Täubig Lehrstuhl für Effiziente Algorithmen (Prof. Dr. Ernst W. Mayr) Institut für Informatik Technische Universität München Wintersemester

Mehr

Freie Bäume und Wälder

Freie Bäume und Wälder (Martin Dietzfelbinger, Stand 4.6.2011) Freie Bäume und Wälder In dieser Notiz geht es um eine besondere Sorte von (ungerichteten) Graphen, nämlich Bäume. Im Gegensatz zu gerichteten Bäumen nennt man diese

Mehr

Isomorphie von Bäumen

Isomorphie von Bäumen Isomorphie von Bäumen Alexandra Weinberger 23. Dezember 2011 Inhaltsverzeichnis 1 Einige Grundlagen und Definitionen 2 1.1 Bäume................................. 3 1.2 Isomorphie..............................

Mehr

Algorithmen für schwierige Probleme

Algorithmen für schwierige Probleme Algorithmen für schwierige Probleme Britta Dorn Wintersemester 2011/12 30. November 2011 Wiederholung Baumzerlegung G = (V, E) Eine Baumzerlegung von G ist ein Paar {X i i V T }, T, wobei T Baum mit Knotenmenge

Mehr

Übersicht. Aktivitäten-Auswahl-Problem. Greedy Algorithmen. Aktivitäten-Auswahl-Problem. Aktivitäten-Auswahl-Problem. Datenstrukturen & Algorithmen

Übersicht. Aktivitäten-Auswahl-Problem. Greedy Algorithmen. Aktivitäten-Auswahl-Problem. Aktivitäten-Auswahl-Problem. Datenstrukturen & Algorithmen Datenstrukturen & Algorithmen Übersicht Greedy Algorithmen Einführung Aktivitäten-Auswahl-Problem Huffman Codierung Matthias Zwicker Universität Bern Frühling 2009 2 Greedy Algorithmen Entwurfsstrategie

Mehr

Bemerkung: Der vollständige Graph K n hat n(n 1)

Bemerkung: Der vollständige Graph K n hat n(n 1) Bemerkung: Der vollständige Graph K n hat n(n 1) 2 Kanten. Bew: Abzählen! Definition 111. Graphen mit n paarweise zyklisch verbundenen Kanten heißen Kreise (vom Grad n) und werden mit C n bezeichnet. Beispiel

Mehr

Effiziente Algorithmen I

Effiziente Algorithmen I 9. Präsenzaufgabenblatt, WiSe 2013/14 Übungstunden am 13.01. & 15.01.2014 Aufgabe Q Gegeben sei ein Fluss-Netzwerk mit Digraph D = (V, A), Knotenkapazitäten c(u, v) 0, Quelle s und Senke t. Kann sich der

Mehr

Übung zur Vorlesung Diskrete Mathematik (MAT.107) Blatt Beispiellösungen Abgabefrist:

Übung zur Vorlesung Diskrete Mathematik (MAT.107) Blatt Beispiellösungen Abgabefrist: Svenja Hüning, Michael Kerber, Hannah Schreiber WS 2016/2017 Übung zur Vorlesung Diskrete Mathematik (MAT.107) Blatt Beispiellösungen Abgabefrist: Hinweise: Dieses Blatt präsentiert Beispiellösungen zu

Mehr

Definition Ein gerichteter Graph G = (V, E) ist ein Graph von geordneten Paaren (u, v) mit u V und v V.

Definition Ein gerichteter Graph G = (V, E) ist ein Graph von geordneten Paaren (u, v) mit u V und v V. Kapitel 4 Graphenalgorithmen 4.1 Definitionen Definition 4.1.1. Der Graph G = (V, E) ist über die beiden Mengen V und E definiert, wobei V die Menge der Knoten und E die Menge der Kanten in dem Graph ist.

Mehr

Übungsblatt 7 - Voronoi Diagramme

Übungsblatt 7 - Voronoi Diagramme Karlsruher Institut für Technologie Algorithmische Geometrie Fakultät für Informatik Sommersemester 2012 ITI Wagner Martin Nöllenburg/Andreas Gemsa Übungsblatt 7 - Voronoi Diagramme 1 Voronoi-Zellen Sei

Mehr

Vorlesung Datenstrukturen

Vorlesung Datenstrukturen Vorlesung Datenstrukturen Kürzeste Wege Maike Buchin 4. und 6.7.2017 Einführung Motivation: Bestimmung von kürzesten Wegen ist in vielen Anwendungen, z.b. Routenplanung, ein wichtiges Problem. Allgemeine

Mehr

Kapitel 8: Bipartite Graphen Gliederung der Vorlesung

Kapitel 8: Bipartite Graphen Gliederung der Vorlesung Gliederung der Vorlesung 1. Grundbegriffe. Elementare Graphalgorithmen und Anwendungen 3. Kürzeste Wege 4. Minimale spannende Bäume 5. Färbungen und Cliquen 6. Traveling Salesman Problem 7. Flüsse in Netzwerken

Mehr

Unendliche Graphen. Daniel Perz 24. Dezember Definition 1. Ein Graph G heißt lokal endlich, wenn alle Knotengrade endlich sind.

Unendliche Graphen. Daniel Perz 24. Dezember Definition 1. Ein Graph G heißt lokal endlich, wenn alle Knotengrade endlich sind. Unendliche Graphen Daniel Perz 24. Dezember 2011 1 Definition Definition 1. Ein Graph G heißt lokal endlich, wenn alle Knotengrade endlich sind. Definition 2. Ein Graph G=(V,E) heißt Strahl, wenn gilt

Mehr

Algorithmische Graphentheorie

Algorithmische Graphentheorie Algorithmische Graphentheorie Vorlesung 13: Flüsse und Zuordnungen Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 9. Juni 2017 DURCHSATZ D(e) ist die maximale Flussmenge,

Mehr

Algorithmik WS 07/ Vorlesung, Andreas Jakoby Universität zu Lübeck. 10 Matching-Probleme

Algorithmik WS 07/ Vorlesung, Andreas Jakoby Universität zu Lübeck. 10 Matching-Probleme 10 Matching-Probleme 10.1 Definition von Matching-Probleme Definition 21 [2-dimensionales Matching] Sei G = (V, E) ein ungerichteter Graph und E E. E ist ein Matching, wenn für alle Kantenpaare e 1, e

Mehr

Datenstrukturen und Algorithmen (SS 2013)

Datenstrukturen und Algorithmen (SS 2013) Datenstrukturen und Algorithmen (SS 2013) Übungsblatt 10 Abgabe: Montag, 08.07.2013, 14:00 Uhr Die Übungen sollen in Gruppen von zwei bis drei Personen bearbeitet werden. Schreiben Sie die Namen jedes

Mehr

Algorithmische Graphentheorie

Algorithmische Graphentheorie Algorithmische Graphentheorie Vorlesung 4: Suchstrategien Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 14. April 2017 HALBORDNUNG TOPOLOGISCHE ORDNUNG TOPOLOGISCHES

Mehr

Fortgeschrittene Netzwerk- und Graph-Algorithmen

Fortgeschrittene Netzwerk- und Graph-Algorithmen Fortgeschrittene Netzwerk- und Graph-Algorithmen Prof. Dr. Hanjo Täubig Lehrstuhl für Effiziente Algorithmen (Prof. Dr. Ernst W. Mayr) Institut für Informatik Technische Universität München Wintersemester

Mehr

Argumentationen zu ermöglichen, verlangen wir, dass diese Eigenschaft auch für induzierte Teilgraphen

Argumentationen zu ermöglichen, verlangen wir, dass diese Eigenschaft auch für induzierte Teilgraphen Kapitel 9 Perfekte Graphen 9.1 α- und χ-perfektheit Eine Clique in einem Graphen G ist ein induzierter vollstäniger Teilgraph. Die Cliquenzahl ω(g) ist die Kardinalität einer größten in G enthaltene Clique.

Mehr

ADS: Algorithmen und Datenstrukturen 2

ADS: Algorithmen und Datenstrukturen 2 ADS: Algorithmen und Datenstrukturen 2 Teil 4 Prof. Dr. Gerhard Heyer Institut für Informatik Abteilung Automatische Sprachverarbeitung Universität Leipzig 24. April 2019 [Letzte Aktualisierung: 24/04/2019,

Mehr

Bioinformatik für Biochemiker

Bioinformatik für Biochemiker Bioinformatik für Biochemiker Oliver Kohlbacher WS 2009/2010 9. Multiples Alignment II Abt. Simulation biologischer Systeme WSI/ZBIT, Eberhard Karls Universität Tübingen Übersicht T-COFFEE Probleme bei

Mehr

Algorithmen und Datenstrukturen Übung #4 BFS/DFS, Wachstum von Funktionen

Algorithmen und Datenstrukturen Übung #4 BFS/DFS, Wachstum von Funktionen Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Algorithmen und Datenstrukturen Übung #4 BFS/DFS, Wachstum von Funktionen Christian Rieck, Arne Schmidt 22.11.2018 Heute 12 Breiten-

Mehr

Übung zur Vorlesung Diskrete Strukturen I

Übung zur Vorlesung Diskrete Strukturen I Technische Universität München WS 00/0 Institut für Informatik Aufgabenblatt Prof. Dr. J. Csirik. November 00 Brandt & Stein Übung zur Vorlesung Diskrete Strukturen I Abgabetermin: Tutorübungen am. und.

Mehr

Bioinformatik für Biochemiker

Bioinformatik für Biochemiker Bioinformatik für Biochemiker Oliver Kohlbacher WS 2009/2010 9. Multiples Alignment II Abt. Simulation biologischer Systeme WSI/ZBIT, Eberhard Karls Universität Tübingen Übersicht T-OFFEE Probleme bei

Mehr

Approximationsalgorithmen

Approximationsalgorithmen Effiziente Algorithmen Lösen NP-vollständiger Probleme 320 Approximationsalgorithmen In polynomieller Zeit lässen sich nicht exakte Lösungen von NP-harten Problemen berechnen. Approximationsalgorithmen

Mehr

TU München. Hauptseminar: WS 2002 / Einführung in Suffix - Bäume

TU München. Hauptseminar: WS 2002 / Einführung in Suffix - Bäume TU München Hauptseminar: WS 2002 / 2003 Einführung in Suffix - Bäume Bearbeiterin: Shasha Meng Betreuerin: Barbara König Inhalt 1. Einleitung 1.1 Motivation 1.2 Eine kurze Geschichte 2. Tries 2.1 Basisdefinition

Mehr

ADS: Algorithmen und Datenstrukturen 2

ADS: Algorithmen und Datenstrukturen 2 ADS: Algorithmen und Datenstrukturen 2 Teil 6 Prof. Dr. Gerhard Heyer Institut für Informatik Abteilung Automatische Sprachverarbeitung Universität Leipzig 16. Mai 2018 [Letzte Aktualisierung: 18/05/2018,

Mehr

Greedy Algorithms - Gierige Algorithmen

Greedy Algorithms - Gierige Algorithmen Greedy Algorithms - Gierige Algorithmen Marius Burfey 23. Juni 2009 Inhaltsverzeichnis 1 Greedy Algorithms 1 2 Interval Scheduling - Ablaufplanung 2 2.1 Problembeschreibung....................... 2 2.2

Mehr

Satz 172 Jedes vergleichsbasierte Sortierverfahren benötigt im worst-case mindestens n ld n + O(n) Vergleiche und hat damit Laufzeit Ω(n log n).

Satz 172 Jedes vergleichsbasierte Sortierverfahren benötigt im worst-case mindestens n ld n + O(n) Vergleiche und hat damit Laufzeit Ω(n log n). 2.6 Vergleichsbasierte Sortierverfahren Alle bisher betrachteten Sortierverfahren sind vergleichsbasiert, d.h. sie greifen auf Schlüssel k, k (außer in Zuweisungen) nur in Vergleichsoperationen der Form

Mehr

Diskrete Strukturen Kapitel 4: Graphentheorie (Bäume)

Diskrete Strukturen Kapitel 4: Graphentheorie (Bäume) WS 2016/17 Diskrete Strukturen Kapitel 4: Graphentheorie (Bäume) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16

Mehr

Kapitel 1: Fallstudie Bipartite Graphen Gliederung der Vorlesung

Kapitel 1: Fallstudie Bipartite Graphen Gliederung der Vorlesung Kapitel : Fallstudie Bipartite Graphen Gliederung der Vorlesung. Fallstudie Bipartite Graphen. Grundbegriffe. Elementare Graphalgorithmen und. Minimal spannende Bäume. Kürzeste Wege 6. Traveling Salesman

Mehr

Seien u, v V, u v. Da G zusammenhängend ist, muss mindestens ein Pfad zwischen u und v existieren.

Seien u, v V, u v. Da G zusammenhängend ist, muss mindestens ein Pfad zwischen u und v existieren. Beweis: 1. 2. Seien u, v V, u v. Da G zusammenhängend ist, muss mindestens ein Pfad zwischen u und v existieren. Widerspruchsannahme: Es gibt zwei verschiedene Pfade zwischen u und v. Dann gibt es einen

Mehr

D-MAVT Lineare Algebra I HS 2017 Prof. Dr. N. Hungerbühler. Lösungen Serie 10

D-MAVT Lineare Algebra I HS 2017 Prof. Dr. N. Hungerbühler. Lösungen Serie 10 D-MAVT Lineare Algebra I HS 2017 Prof. Dr. N. Hungerbühler Lösungen Serie 10 1. Für a 1 : 1 1 0, a 2 : 1 1, a 3 : 1 1 1, b : 2 2 2 1 und A : (a 1, a 2, a 3 ) gelten welche der folgenden Aussagen? (a) det(a)

Mehr

Graphentheorie Graphentheorie. Grundlagen Bäume Eigenschaften von Graphen Graphen-Algorithmen Matchings und Netzwerke

Graphentheorie Graphentheorie. Grundlagen Bäume Eigenschaften von Graphen Graphen-Algorithmen Matchings und Netzwerke Graphen Graphentheorie Graphentheorie Grundlagen Bäume Eigenschaften von Graphen Graphen-Algorithmen Matchings und Netzwerke 2 Was ist ein Graph? Ein Graph ist in der Graphentheorie eine abstrakte Struktur,

Mehr

Ihre Namen: Übung C: Phylogenetik I: Übungsaufgaben

Ihre Namen: Übung C: Phylogenetik I: Übungsaufgaben Ihre Namen: Übung C: Phylogenetik I: Übungsaufgaben Die heutige Übung dient dazu, phylogenetische Bäume für Sie verständlicher zu machen und Sie mit der Logik von phylogenetischen Analysen vertraut zu

Mehr

Algorithmische Bioinformatik 1

Algorithmische Bioinformatik 1 Algorithmische Bioinformatik 1 Dr. Hanjo Täubig Lehrstuhl für Effiziente Algorithmen (Prof. Dr. Ernst W. Mayr) Institut für Informatik Technische Universität München Sommersemester 2009 Übersicht Algorithmen

Mehr

Technische Universität Wien Institut für Computergraphik und Algorithmen Arbeitsbereich für Algorithmen und Datenstrukturen

Technische Universität Wien Institut für Computergraphik und Algorithmen Arbeitsbereich für Algorithmen und Datenstrukturen Technische Universität Wien Institut für Computergraphik und Algorithmen Arbeitsbereich für Algorithmen und Datenstrukturen 186.172 Algorithmen und Datenstrukturen 1 VL 4.0 Übungsblatt 4 für die Übung

Mehr

Bioinformatik für Lebenswissenschaftler

Bioinformatik für Lebenswissenschaftler Bioinformatik für Lebenswissenschaftler Oliver Kohlbacher, Steffen Schmidt SS 2010 11. Hiden Markov Models & Phylogenien Abt. Simulation biologischer Systeme WSI/ZBIT, Eberhard Karls Universität Tübingen

Mehr

WS 2013/14. Diskrete Strukturen

WS 2013/14. Diskrete Strukturen WS 2013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws1314

Mehr

Algorithmische Methoden zur Netzwerkanalyse

Algorithmische Methoden zur Netzwerkanalyse Algorithmische Methoden zur Netzwerkanalyse Juniorprof. Dr. Henning Meyerhenke Institut für Theoretische Informatik 1 KIT Henning Universität desmeyerhenke, Landes Baden-Württemberg Institutund für Theoretische

Mehr

Bioinformatik für Lebenswissenschaftler

Bioinformatik für Lebenswissenschaftler Bioinformatik für Lebenswissenschaftler Oliver Kohlbacher, Steffen Schmidt SS 2010 11. Hiden Markov Models & Phylogenien Abt. Simulation biologischer Systeme WSI/ZBIT, Eberhard Karls Universität Tübingen

Mehr

Studientag zur Algorithmischen Mathematik

Studientag zur Algorithmischen Mathematik Studientag zur Algorithmischen Mathematik Eulertouren, 2-Zusammenhang, Bäume und Baumisomorphismen Winfried Hochstättler Diskrete Mathematik und Optimierung FernUniversität in Hagen 22. Mai 2011 Outline

Mehr

3 Längenendliche Verbände. Dimension

3 Längenendliche Verbände. Dimension 3 Längenendliche Verbände. Dimension Unser Ziel ist es, projektive Geometrien endlicher Dimension durch Spezialisierung der betrachteten Verbände zu kennzeichnen. Dazu gehört sicher, dass es endliche viele

Mehr

Vorlesungstermin 2: Graphentheorie II. Markus Püschel David Steurer. Algorithmen und Datenstrukturen, Herbstsemester 2018, ETH Zürich

Vorlesungstermin 2: Graphentheorie II. Markus Püschel David Steurer. Algorithmen und Datenstrukturen, Herbstsemester 2018, ETH Zürich Vorlesungstermin 2: Graphentheorie II Markus Püschel David Steurer Algorithmen und Datenstrukturen, Herbstsemester 2018, ETH Zürich Wiederholung: Vollständige Induktion Ziel: zeige n N. A(n) für eine Aussage

Mehr

Algorithmische Graphentheorie

Algorithmische Graphentheorie Algorithmische Graphentheorie Vorlesung 7 und 8: Euler- und Hamilton-Graphen Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 17. April 2018 1/96 WIEDERHOLUNG Eulersche

Mehr

Satz 324 Sei M wie oben. Dann gibt es für ein geeignetes k Konstanten c i > 0 und Permutationsmatrizen P i, i = 1,...

Satz 324 Sei M wie oben. Dann gibt es für ein geeignetes k Konstanten c i > 0 und Permutationsmatrizen P i, i = 1,... Satz 324 Sei M wie oben. Dann gibt es für ein geeignetes k Konstanten c i > 0 und Permutationsmatrizen P i, i = 1,..., k, so dass gilt M = k c i P i i=1 k c i = r. i=1 Diskrete Strukturen 7.1 Matchings

Mehr

5. Bäume und Minimalgerüste

5. Bäume und Minimalgerüste 5. Bäume und Minimalgerüste Charakterisierung von Minimalgerüsten 5. Bäume und Minimalgerüste Definition 5.1. Es ein G = (V, E) ein zusammenhängender Graph. H = (V,E ) heißt Gerüst von G gdw. wenn H ein

Mehr

Attached! Proseminar Netzwerkanalyse SS 2004 Thema: Biologie

Attached! Proseminar Netzwerkanalyse SS 2004 Thema: Biologie Rheinisch-Westfälischen Technischen Hochschule Aachen Lehr- und Forschungsgebiet Theoretische Informatik Prof. Rossmanith Attached! Proseminar Netzwerkanalyse SS 2004 Thema: Biologie Deniz Özmen Emmanuel

Mehr

Einführung in die Angewandte Bioinformatik: Phylogenetik und Taxonomie

Einführung in die Angewandte Bioinformatik: Phylogenetik und Taxonomie Einführung in die Angewandte Bioinformatik: Phylogenetik und Taxonomie 24.06.2010 Prof. Dr. Sven Rahmann 1 Phylogenetik: Berechnung phylogenetischer Bäume Phylogenetik (phylum = Stamm): Rekonstruktion

Mehr

Wiederholung zu Flüssen

Wiederholung zu Flüssen Universität Konstanz Methoden der Netzwerkanalyse Fachbereich Informatik & Informationswissenschaft SS 2008 Prof. Dr. Ulrik Brandes / Melanie Badent Wiederholung zu Flüssen Wir untersuchen Flüsse in Netzwerken:

Mehr

Klausur Algorithmentheorie

Klausur Algorithmentheorie Prof. Dr. G. Schnitger Frankfurt, den 24.02.2011 M. Poloczek Klausur Algorithmentheorie WS 2010/2011 Name: Vorname: Geburtsdatum: Studiengang: BITTE GENAU LESEN Die Klausur besteht aus 4 Aufgaben, in denen

Mehr

Kantengraphen und Planare Graphen. Seminararbeit

Kantengraphen und Planare Graphen. Seminararbeit Kantengraphen und Planare Graphen Seminararbeit in Mathematisches Seminar für LAK 621.378 SS 2018 vorgelegt von Anna Maria Gärtner bei: Baur, Karin, Univ.-Prof. Dr.phil. Graz, 2018 Inhaltsverzeichnis 1

Mehr

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Lehrstuhl für Sprachen und Beschreibungsstrukturen SS 2009 Grundlagen: Algorithmen und Datenstrukturen Übungsblatt 11 Prof. Dr. Helmut Seidl, S. Pott,

Mehr

Vorlesung 4 BETWEENNESS CENTRALITY

Vorlesung 4 BETWEENNESS CENTRALITY Vorlesung 4 BETWEENNESS CENTRALITY 101 Aufgabe! Szenario: Sie arbeiten bei einem sozialen Online-Netzwerk. Aus der Netzwerk-Struktur Ihrer Benutzer sollen Sie wichtige Eigenschaften extrahieren. [http://www.fahrschule-vatterodt.de/

Mehr

Datenstrukturen und Algorithmen 2. Klausur SS 2001

Datenstrukturen und Algorithmen 2. Klausur SS 2001 UNIVERSITÄT PADERBORN FACHBEREICH 7 (MATHEMATIK INFORMATIK) Datenstrukturen und Algorithmen 2. Klausur SS 200 Lösungsansätze Dienstag, 8. September 200 Name, Vorname:...................................................

Mehr

23. November Betweenness Centrality Closeness Centrality. H. Meyerhenke: Algorithmische Methoden zur Netzwerkanalyse 108

23. November Betweenness Centrality Closeness Centrality. H. Meyerhenke: Algorithmische Methoden zur Netzwerkanalyse 108 23. November 2011 Betweenness Centrality Closeness Centrality H. Meyerhenke: Algorithmische Methoden zur Netzwerkanalyse 108 Betweenness Centrality Grundlegende Idee: Ein Knoten ist wichtig, wenn er auf

Mehr

Diskrete Strukturen. Hausaufgabe 1 (5 Punkte) Wintersemester 2007/08 Lösungsblatt Januar 2008

Diskrete Strukturen. Hausaufgabe 1 (5 Punkte) Wintersemester 2007/08 Lösungsblatt Januar 2008 Technische Universität München Fakultät für Informatik Lehrstuhl für Informatik 15 Computergraphik & Visualisierung Prof. Dr. Rüdiger Westermann Dr. Werner Meixner Wintersemester 2007/08 Lösungsblatt 8

Mehr

Definition 77 Sei n N. Der Median (das mittlere Element) einer total geordneten Menge von n Elementen ist deren i-kleinstes Element, wobei n i =.

Definition 77 Sei n N. Der Median (das mittlere Element) einer total geordneten Menge von n Elementen ist deren i-kleinstes Element, wobei n i =. 2. Der Blum-Floyd-Pratt-Rivest-Tarjan Selektions-Algorithmus Definition 77 Sei n N. Der Median (das mittlere Element) einer total geordneten Menge von n Elementen ist deren i-kleinstes Element, wobei n

Mehr

Very simple methods for all pairs network flow analysis

Very simple methods for all pairs network flow analysis Very simple methods for all pairs network flow analysis obias Ludes 0.0.0. Einführung Um den maximalen Flusswert zwischen allen Knoten eines ungerichteten Graphen zu berechnen sind nach Gomory und Hu nur

Mehr

Algorithmische Methoden zur Netzwerkanalyse

Algorithmische Methoden zur Netzwerkanalyse Algorithmische Methoden zur Netzwerkanalyse Prof. Dr. Henning Meyerhenke Institut für Theoretische Informatik 1 KIT Henning Universität desmeyerhenke, Landes Baden-Württemberg Institutund für Theoretische

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen der Theoretischen Informatik 1 Grundlagen der Theoretischen Informatik Till Mossakowski Fakultät für Informatik Otto-von-Guericke Universität Magdeburg Wintersemester 2014/15 2 Notation für Wörter w a is die Anzahl der Vorkommen von

Mehr

Anordnungstechniken für konvektionsdominante Probleme im Ê 3. Dimensionsunabhängige Verfahren. Algorithmen für planare Graphen. Numerische Beispiele

Anordnungstechniken für konvektionsdominante Probleme im Ê 3. Dimensionsunabhängige Verfahren. Algorithmen für planare Graphen. Numerische Beispiele Anordnungstechniken für konvektionsdominante Probleme im Ê 3 Inhalt: Einführung Dimensionsunabhängige Verfahren Algorithmen für planare Graphen Anordnungen im Ê 3 Numerische Beispiele 2 Einführung betrachtet

Mehr

Binärbäume und Pfade

Binärbäume und Pfade Binärbäume und Pfade Bevor wir uns dem Pumping Lemma für Typ-2 Sprachen widmen, wollen wir einen einfachen Satz über Binärbäume beweisen. Als Binärbaum bezeichnen wir hier einen Baum, bei dem jeder Knoten,

Mehr

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

Kapitel 7: Flüsse in Netzwerken und Anwendungen Gliederung der Vorlesung Gliederung der Vorlesung. Fallstudie Bipartite Graphen. Grundbegriffe. Elementare Graphalgorithmen und Anwendungen. Minimal spannende Bäume. Kürzeste Pfade. Traveling Salesman Problem. Flüsse in Netzwerken

Mehr

4.2 Minimale Spannbäume: Der Algorithmus von Jarník/Prim Definition 4.2.1

4.2 Minimale Spannbäume: Der Algorithmus von Jarník/Prim Definition 4.2.1 Allgemeines. Minimale Spannbäume: Der Algorithmus von Jarník/Prim Definition.. (a) Ein Graph G =(V, E) heißt kreisfrei, wenn er keinen Kreis besitzt. Beispiel: Ein kreisfreier Graph: FG KTuEA, TU Ilmenau

Mehr

Datenstrukturen & Algorithmen

Datenstrukturen & Algorithmen Datenstrukturen & Algorithmen Matthias Zwicker Universität Bern Frühling 2010 Übersicht Dynamische Programmierung Einführung Ablaufkoordination von Montagebändern Längste gemeinsame Teilsequenz Optimale

Mehr

Graphentheorie. Eulersche Graphen. Eulersche Graphen. Eulersche Graphen. Rainer Schrader. 14. November Gliederung.

Graphentheorie. Eulersche Graphen. Eulersche Graphen. Eulersche Graphen. Rainer Schrader. 14. November Gliederung. Graphentheorie Rainer Schrader Zentrum für Angewandte Informatik Köln 14. November 2007 1 / 22 2 / 22 Gliederung eulersche und semi-eulersche Graphen Charakterisierung eulerscher Graphen Berechnung eines

Mehr

Graphentheorie. Kürzeste Wege. Kürzeste Wege. Kürzeste Wege. Rainer Schrader. 25. Oktober 2007

Graphentheorie. Kürzeste Wege. Kürzeste Wege. Kürzeste Wege. Rainer Schrader. 25. Oktober 2007 Graphentheorie Rainer Schrader Zentrum für Angewandte Informatik Köln 25. Oktober 2007 1 / 20 2 / 20 Wir werden Optimierungsprobleme vom folgenden Typ betrachten: gegeben eine Menge X und eine Funktion

Mehr

KARL-FRANZENS-UNIVERSITÄT GRAZ. Seminar aus Reiner Mathematik. Die Museumswächter. Krupic Mustafa Wintersemester 2013/14

KARL-FRANZENS-UNIVERSITÄT GRAZ. Seminar aus Reiner Mathematik. Die Museumswächter. Krupic Mustafa Wintersemester 2013/14 KARL-FRANZENS-UNIVERSITÄT GRAZ Seminar aus Reiner Mathematik Die Museumswächter Krupic Mustafa Wintersemester 2013/14 Inhaltsverzeichnis 2 Inhaltsverzeichnis 1 Einleitung 3 2 Museumswächter-Satz 6 2.1

Mehr

Rekursionsbäume Aufstellen eines Baumes dessen Knoten die Laufzeit auf jeder Rekursionsstufe darstellen und Aufsummieren

Rekursionsbäume Aufstellen eines Baumes dessen Knoten die Laufzeit auf jeder Rekursionsstufe darstellen und Aufsummieren Algorithmen und Datenstrukturen 74 3 Rekursionen Vor allem bei rekursiven Algorithmen besitzt die Laufzeitfunktion eine naheliegende rekursive Formulierung, d.h. die Laufzeitfunktion ist konstant für den

Mehr

Proseminar Online Algorithmen, Prof. Dr. Rolf Klein

Proseminar Online Algorithmen, Prof. Dr. Rolf Klein Proseminar Online Algorithmen, Prof. Dr. Rolf Klein Vortrag von Michael Daumen am 13.12.2000 Thema : Minimum Spanning Tree und 2-Approximation der TSP-Tour Inhalt des Vortrags : 1. genaue Vorstellung des

Mehr

Klausur. 18. Juli 2008, 10:15-12:15 Uhr. Name:... Matrikelnummer:... Anzahl beschriebener Blätter (ohne Aufgabenblatt):... D(p) : Y = p x X + p y

Klausur. 18. Juli 2008, 10:15-12:15 Uhr. Name:... Matrikelnummer:... Anzahl beschriebener Blätter (ohne Aufgabenblatt):... D(p) : Y = p x X + p y GRUNDZÜGE DER ALGORITHMISCHEN GEOMETRIE Klausur 18. Juli 2008, 10:15-12:15 Uhr Name:................................... Matrikelnummer:................................... Anzahl beschriebener Blätter (ohne

Mehr

Lernmodul 7 Algorithmus von Dijkstra

Lernmodul 7 Algorithmus von Dijkstra Folie 1 von 30 Lernmodul 7 Algorithmus von Dijkstra Quelle: http://www.map24.de Folie 2 von 30 Algorithmus von Dijkstra Übersicht Kürzester Weg von A nach B in einem Graphen Problemstellung: Suche einer

Mehr

j 1,m 1 ;j 2,m 2 J 2 1,2 j 1, m 1 ; j 2, m 2 = j 1,2 (j 1,2 + 1) j 1, m 1 ; j 2, m 2, (3)

j 1,m 1 ;j 2,m 2 J 2 1,2 j 1, m 1 ; j 2, m 2 = j 1,2 (j 1,2 + 1) j 1, m 1 ; j 2, m 2, (3) Vorlesung Drehimpulsaddition Wir betrachten ein mechanisches System, das aus zwei unabhängigen Systemen besteht. Jedes der zwei Subsysteme besitzt einen Drehimpuls. Der Drehimpuls des ganzen Systems ist

Mehr

Tutoraufgabe 1 (Suchen in Graphen):

Tutoraufgabe 1 (Suchen in Graphen): Prof. aa Dr. E. Ábrahám Datenstrukturen und Algorithmen SS14 F. Corzilius, S. Schupp, T. Ströder Tutoraufgabe 1 (Suchen in Graphen): a) Geben Sie die Reihenfolge an, in der die Knoten besucht werden, wenn

Mehr

Referat zum Thema Huffman-Codes

Referat zum Thema Huffman-Codes Referat zum Thema Huffman-Codes Darko Ostricki Yüksel Kahraman 05.02.2004 1 Huffman-Codes Huffman-Codes ( David A. Huffman, 1951) sind Präfix-Codes und das beste - optimale - Verfahren für die Codierung

Mehr

Algorithmen für schwierige Probleme

Algorithmen für schwierige Probleme Algorithmen für schwierige Probleme Britta Dorn Wintersemester 2011/12 24. November 2011 Farbkodierung Beispiel Longest Path Longest Path gegeben: G = (V, E) und k N. Frage: Gibt es einen einfachen Pfad

Mehr

Vorlesung Theoretische Informatik (Info III)

Vorlesung Theoretische Informatik (Info III) 1 Vorlesung Theoretische Informatik (Info III) Prof. Dr. Dorothea Wagner Dipl.-Math. Martin Holzer 22. Januar 2008 Einleitung Motivation 2 Thema heute Kontextfreie Grammatiken: Lemma von Ogden Eigenschaften

Mehr

Beweis: Annahme: T (n) c n, wobei c = c(m) konstant ist. Die Annahme ist ok, falls T (n)

Beweis: Annahme: T (n) c n, wobei c = c(m) konstant ist. Die Annahme ist ok, falls T (n) Beweis: Annahme: T (n) c n, wobei c = c(m) konstant ist. Die Annahme ist ok, falls T (n) ( ( ) n 3 T + T m ) 4 n n 3 c + m 4 n c + n n + C m + cn; dies gilt, falls m 2 n m C m + n 2 (bis auf, ) c m + 3

Mehr

Effiziente Algorithmen (SS2015)

Effiziente Algorithmen (SS2015) Effiziente Algorithmen (SS205) Kapitel 5 Approximation II Walter Unger Lehrstuhl für Informatik 2.06.205 07:59 5 Inhaltsverzeichnis < > Walter Unger 5.7.205 :3 SS205 Z Inhalt I Set Cover Einleitung Approximation

Mehr

Algorithmen und Datenstrukturen Heapsort

Algorithmen und Datenstrukturen Heapsort Algorithmen und Datenstrukturen 2 5 Heapsort In diesem Kapitel wird Heapsort, ein weiterer Sortieralgorithmus, vorgestellt. Dieser besitzt wie MERGE-SORT eine Laufzeit von O(n log n), sortiert jedoch das

Mehr

Algorithmen und Datenstrukturen 2

Algorithmen und Datenstrukturen 2 Algorithmen und Datenstrukturen 2 Lerneinheit 3: Greedy Algorithmen Prof. Dr. Christoph Karg Studiengang Informatik Hochschule Aalen Sommersemester 2016 10.5.2016 Einleitung Einleitung Diese Lerneinheit

Mehr

Vorlesung 3: Graphenalgorithmen. Markus Püschel David Steurer Peter Widmayer. PDF download goo.gl/ym3spq

Vorlesung 3: Graphenalgorithmen. Markus Püschel David Steurer Peter Widmayer. PDF download goo.gl/ym3spq Vorlesung 3: Graphenalgorithmen Markus Püschel David Steurer Peter Widmayer PDF download goo.gl/ym3spq Algorithmen und Datenstrukturen, Herbstsemester 2017, ETH Zürich Gerichtete Graphen und Abhängigkeiten

Mehr

Algorithmische Methoden zur Netzwerkanalyse

Algorithmische Methoden zur Netzwerkanalyse Algorithmische Methoden zur Netzwerkanalyse Prof. Dr. Henning Meyerhenke Institut für Theoretische Informatik 1 KIT Henning Universität desmeyerhenke, Landes Baden-Württemberg Institutund für Theoretische

Mehr