Flüsse, Schnitte, bipartite Graphen

b) Das Restnetzwerk zu f sieht folgendermaßen aus:

Techniche Univeriä München Zenrum Mhemik Dikree Opimierung: Grundlgen (MA 0) Prof Dr R Hemmecke, Dr R Brndenerg, MSc-Mh B Wilhelm Üungl 7 Aufge 7 Die folgende Aildung zeig ein Nezwerk N mi einen Flukpziäen

1 Fluss in Graphen. 1.1 Das Residuennetzwerk 10/20 10/30 10/30 10/15 20/20 20/40 20/30. Praktikum Algorithmen-Entwurf (Teil 4)

Prkikum Algorihmen-Enwurf (Teil 4) 1.11.211 1 1 Flu in Grphen E ei ein gericheer Grph G = (V,E) gegeen. Jeder Kne e de Grphen ei eine Kpziä c(e) N zugeordne. Weier eien zwei Knoen de Grphen ugezeichne:

Hallo Welt für Fortgeschrittene

Hallo Wel für Forgechriene Flüe, Schnie, Biparie Graphen I Florian Hanke Informaik Programmieryeme Marenraße 3 958 Erlangen Inhal Grundlagen Ford-Fulkeron-Algorihmu Edmond-Karp-Sraegie Minimaler Schni

Teil IV: Planare Graphen / Transportnetze

Plnre Grphen, Trveling Slemn Prolem, Trnporneze Formle Grundlgen der Informik (WiWi) WiSe 2013/2014, Folie 1 (von 61) Teil IV: Plnre Grphen / Trnporneze 1. Plnre Grphen / Trveling Slemn Prolem 2. Trnpornezwerke

Algorithmen II Vorlesung am

Algorihmen II Vorleung am 24.10.2013 INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Univeriä de Lande Baden-Würemberg und Algorihmen naionale Forchungzenrum II Wineremeer 2013/2014

25. Flüsse in Netzen. Motivation. Fluss. Flussnetzwerk

Moivaion 25. Flüe in Nezen Flunezwerk, Maximaler Flu, Schni, Renezwerk, Max-flow Min-cu, Ford-Fulkeron Mehode, Edmond-Karp Algorihmu, Maximale Biparie Maching [Oman/Widmayer, Kap. 9.7, 9.8.1], [Cormen

Hallo Welt für Fortgeschrittene

Hallo Wel für Forgechriene Flüe, Schnie, biparie Graphen Philipp Reger Informaik 2 Programmieryeme Marenraße 3 9058 Erlangen Agenda Maximaler Flu Minimaler Schni Redukionen Maximale Biparie Maching Konnekiviä

Netzwerke Beispielnetzwerk N

Nezwerke Kapiel Flüe in Nezwerken Sromnez Telefonnez Warenflu zwichen Herellern und Konumenen Verkehr (Sraßen, Züge, Flugzeuge,...) Of wollen wir Güer von einem Punk zu einem anderen chicken Ziel So viel/effizien/illig

Restkapazität. = O( V ) mal kritisch. Also gibt es insgesamt höchstens O( V E ) Augmentierungen.

Lemma 4.5.9. Der Algorihmu von Edmond-Karp führ höchen O( V E ) Augmenierungen durch. Bewei. Eine Kane (u, v) heiße kriich auf augmenierenden Weg p gdw. c f (u, v) = c f (p). Rekapaziä Eine kriiche Kane

Übersicht Datenstrukturen und Algorithmen. Graphenproblem: maximale Flüsse. Graphenproblem: maximale Flüsse. Vorlesung 16: Maximaler Fluss

Überich aenrukuren und lgorihmen Vorleung 16: Prof. r. Erika Ábrahám Theorie Hybrider Syeme Informaik 2 hp://h.rwh-aachen.de/eaching/-1/ daenrukuren-und-algorihmen/ iee Präenaion verwende in Teilen Folien

Preflow-Push Algorithmen

Preflow-Puh Algorihmen Nicoli Hähnle 11. April 2006 Inhlverzeichni 1 Einführung 1 2 Formle Prolemechreiung 2 3 Re-Nezwerke 4 4 Preflow und die Höhenfunkion 5 5 Der generiche Preflow-Puh Algorihmu 7 6 Lufzeinlye

Übersicht. Datenstrukturen und Algorithmen. Graphenproblem: maximale Flüsse. Graphenproblem: maximale Flüsse. Vorlesung 18: Maximaler Fluss (K26)

Überich aenrukuren und lgorihmen Vorleung 18: (K26) Joo-Pieer Kaoen Lehruhl für Informaik 2 Sofware Modeling and Verificaion Group hp://move.rwh-aachen.de/eaching/-15/dal/ 25. Juni 2015 1 Flunezwerke 2

Algorithmische Graphentheorie

Algorihmiche Graphenheorie Sommeremeer 2014 3. Vorleung Flualgorihmen Prof. Dr. Alexander Wolff 1 Erinnerung Oh my God i an LP! Gegeben ein gericheer Graph G = (V, E) mi, V und Kanenkapaziäen c : E R >0.

KAPITEL 2 KÜRZESTE WEGE

KAPITEL 2 KÜRZESTE WEGE F. VALLENTIN, A. GUNDERT Da Ziel diee Kapiel i e kürzee Wege in einem gegebenen Nezwerk zu verehen und zu berechnen. Ein einführe Beipiel für ein Nezwerk zwichen den vier Säden

Affine Geometrie 11. Jahrgang

Affine Geomeie. Jhgng Gliedeung. Vekoen. Dellung von Vekoen. Rechnen mi Vekoen. Linee Ahängigkei. Geden- und Eenengleichungen. Gedengleichungen. Eenengleichungen in Pmeefom. Inzidenzpoleme. Punk und Gede

Automaten und Formale Sprachen alias Theoretische Informatik. Sommersemester Kurzer Einschub: das Schubfachprinzip.

Reguläre Sprchen Automten und Formle Sprchen lis Theoretische Informtik Sommersemester 0 Ds Pumping-Lemm Wir hen is jetzt vier Formlismen kennengelernt, mit denen wir eine reguläre Sprche ngeen können:

2.6 Reduktion endlicher Automaten

Endliche Automten Jörg Roth 153 2.6 Reduktion endlicher Automten Motivtion: Wir sind n Automten interessiert, die mit möglichst wenigen Zuständen uskommen. Automten, die eine Sprche mit einem Minimum n

Minimalautomat. Wir stellen uns die Frage nach dem. kleinsten DFA für eine reguläre Sprache L, d.h. nach einem DFA mit möglichst wenigen Zuständen.

Rechtslinere Sprchen Minimlutomt Es git lso sehr verschiedene endliche Beschreiungen einer regulären Sprche (DFA, NFA, rechtslinere Grmmtiken, reguläre Ausdrücke). Diese können ineinnder üersetzt werden.

Kürzeste Wege. möglich ist 6. Füge v zu S hinzu und setze d[v] d [v] (u,v) E. Datenstrukturen und Algorithmen 14. Elementare Graphalgorithmen

Algorithmus von Dijkstr: 1. Es sei S ie Menge er enteckten Knoten. Invrinte: Merke optimle Lösung für S: Für lle v S sei [v] = δ(s,v) ie Länge es kürzesten Weges von s nch v 3. Zu Beginn: S={s} un [s]=

Ergänzung Kpiel 5. Whl der Führunggröße Whl der Führunggröße für Lgeregelungen Biher wurde mei on einem prungförmigen Verluf der Führunggröße w( ugegngen. Viele regelungechniche Anwendungen weien uch ein

Einführung in die Mathematik des Operations Research

Universität zu Köln Mthemtisches Institut Prof. Dr. F. Vllentin Dr. A. Gundert Einführung in die Mthemtik des Opertions Reserch Aufge (5+5= Punkte) Sommersemester 4 Lösungen zur Klusur (5. Septemer 4).

FORMALE SYSTEME. Kleene s Theorem. Wiederholung: Reguläre Ausdrücke. 7. Vorlesung: Reguläre Ausdrücke. TU Dresden, 2.

FORMALE SYSTEME 7. Vorlesung: Reguläre Ausdrücke Mrkus Krötzsch Rndll Munroe, https://xkcd.com/851_mke_it_etter/, CC-BY-NC 2.5 TU Dresden, 2. Novemer 2017 Mrkus Krötzsch, 2. Novemer 2017 Formle Systeme

Automaten und formale Sprachen Notizen zu den Folien

3 Endliche Automten Automten und formle Sprchen Notizen zu den Folien Üerführungsfunction eines DFA (Folie 92) Wie sieht die Üerführungfunktion us? δ : Z Σ Z Ds heißt: Ein Pr us Zustnd und Alphetsymol

Automaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2011

Automten und Formle Sprchen lis Theoretische Informtik Sommersemester 011 Dr. Snder Bruggink Üungsleitung: Jn Stückrth Snder Bruggink Automten und Formle Sprchen 1 Reguläre Sprchen Wir eschäftigen uns

( ) 2. Aufgabe 1: Frequenzkennlinien und BODE-Diagramm Z = Verlauf der Betragskennlinie. a) Übergang zum Frequenzgang. b) Betrag des Frequenzganges

Aufgbe : requenzkennlinien und BODE-Digrmm Verluf der Bergkennlinie Übergng zum requenzgng T, jω jω Tjω b Berg de requenzgnge jω A ω jω jω A A ω ω Tj Tjω ω Tω Tω c db-kennlinie ω 0log A ω ω 0log Tω ω 0.log

Automaten und formale Sprachen Notizen zu den Folien

3 Endliche Automten Automten und formle Sprchen Notizen zu den Folien DFA Reguläre Grmmtik (Folie 89) Stz. Jede von einem endlichen Automten kzeptierte Sprche ist regulär. Beweis. Nch Definition, ist eine

4 Prozessor-Datenpfad

4. Vom zu lösenden Prolem hängige Schltung 75 4 Prozessor-Dtenpfd 4. Vom zu lösenden Prolem hängige Schltung Mit den isher kennengelernten Schltungen können ereits viele Prolemstellungen gelöst werden.

Minimierung von DFAs. Minimierung 21 / 98

Minimierung von DFAs Minimierung 21 / 98 Ein Beispiel: Die reguläre Sprche L({, } ) Wie stellt mn fest, o ein Wort ds Suffix esitzt? Ein erster Anstz: Speichere im ktuellen Zustnd die eiden zuletzt gelesenen

Theoretische Informatik und Logik Übungsblatt 2 (2017W) Lösung

Theoretische Informtik und Logik Üungsltt 2 (207W) en Aufge 2. Geen ie jeweils eine kontextfreie Grmmtik n, welche die folgenden prchen erzeugt, sowie eine Linksleitung und einen Aleitungsum für ein von

Lösungen zum Ergänzungsblatt 4

en zum Ergänzungsltt 4 Letzte Änderung: 23. Novemer 2018 Theoretische Informtik I WS 2018 Crlos Cmino Vorereitungsufgen Vorereitungsufge 1 Sei M = ({p, q, r}, {, }, δ, p, {q, r}) ein DEA mit folgender

Fluß. Flußnetzwerk. Definition 6.2. Es sei N = (G, c, s, t) ein Flußnetzwerk. Für einen Knoten

6. Flüe un Zuornungen Fluß In ieem Kapiel weren Bewerungen von Kanen al maximale Kapaziäen inerpreier, ie üer iee Kane pro Zeieinhei ranporier weren können. Wir können un einen Graphen al Verorgungnezwerk

15. Kürzeste Wege. SS 2017 DuA - Kapitel 15 1

5. Kürzeste Wege t s SS DuA - Kpitel 5 Gewichtete Grphen Ein gewichteter Grph G ist ein Pr (V,E) zusmmen mit einer Gewichtsfunktion w, woei E V V un w: E IR. Für e E heißt w(e) s Gewicht von e. Für einen

Klausur zur Vorlesung Grundbegriffe der Informatik 10. März 2009 mit Lösungsvorschlägen

Klusur zur Vorlesung Grundegriffe der Informtik 10. März 2009 mit Lösungsvorschlägen Klusurnummer Nme: Vornme: Mtr.-Nr.: Aufge 1 2 3 4 5 6 7 mx. Punkte 4 2 7 8 8 8 9 tts. Punkte Gesmtpunktzhl: Note: Aufge

Relationen: Äquivalenzrelationen, Ordnungsrelationen

TH Mittelhessen, Sommersemester 202 Lösungen zu Üungsltt 9 Fchereich MNI, Diskrete Mthemtik 2. Juni 202 Prof. Dr. Hns-Rudolf Metz Reltionen: Äquivlenzreltionen, Ordnungsreltionen Aufge. Welche der folgenden

Flächenberechnung. Aufgabe 1:

Flächenerechnung Aufge : Berechnen Sie den Flächeninhlt zwischen dem Funktionsgrphen und der -Achse in den Grenzen von is von: ) f() = ) f() = - Skizzieren Sie die Funktionsgrphen und schrffieren Sie die

Mathematik 1 für Maschinenbau, M. Schuchmann (SoSe 2013) Aufgabenblatt 5 (Ebenen)

Mahemaik für Machinenbau, M. Schuchmann (SoSe ) Aufgabenbla 5 (Ebenen) ) Geuch i eine Gleichung der Ebene E durch die Punke A(; -; ); B(; ; -) und C(; ; ) in Parameerform. ) Schreibe in Koordinaenform:

Einführung in die theoretische Informatik Sommersemester 2017 Übungsblatt 5

Prof. J. Esprz Technische Universität München S. Sickert, J. Krämer KEINE ABGABE Vielen Dnk n Jn Wgener für die erweiterten Aufgenlösungen Einführung in die theoretische Informtik Sommersemester 2017 Üungsltt

Umwandlung von endlichen Automaten in reguläre Ausdrücke

Umwndlung von endlichen Automten in reguläre Ausdrücke Wir werden sehen, wie mn us einem endlichen Automten M einen regulären Ausdruck γ konstruieren knn, der genu die von M kzeptierte Sprche erzeugt.

Lösung zur Klausur. Grundlagen der Theoretischen Informatik. 1. Zeigen Sie, dass die folgende Sprache regulär ist: w {a, b} w a w b 0 (mod 3) }.

Lösung zur Klusur Grundlgen der Theoretischen Informtik 1. Zeigen Sie, dss die folgende Sprche regulär ist: { w {, } w w 0 (mod 3) }. Lösung: Wir nennen die Sprche L. Eine Sprche ist genu dnn regulär,

Formale Systeme, Automaten, Prozesse SS 2010 Musterlösung - Übung 2 M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder

Prof Dr J Giesl Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Üung 2 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden us dem

Wie funktioniert ein GPS System?

GPS Sem Wie funkionie ein GPS Sem? Im Pinip gn einfh. Mehee Sellien, die ih in eine w. meheen geoionäen Umlufhnen üe de Ede efinden, hlen egelmäßig ihen deei kuellen Snd de Aomei u. D GPS Geä uf de Edoeflähe

R(i,j,0) ist also für alle i,j = 1,...,n endlich und somit eine durch einen regulären Ausdruck beschreibbare Sprache!

1 2 Reguläre Audrücke und reguläre Sprchen Grundlgen der Theoretichen Inormtik Till Mokowki Fkultät ür Inormtik Otto-von-Guericke Univerität Mgdeurg Winteremeter 2014/15 Stz: [Kleene] Die Kle der durch

Technische Universität München Sommer 2016 Prof. J. Esparza / Dr. M. Luttenberger, S. Sickert. Lösung

Technische Universität München Sommer 2016 Prof. J. Esprz / Dr. M. Luttenerger, S. Sickert Lösung Einführung in die theoretische Informtik Klusur Bechten Sie: Soweit nicht nders ngegeen, ist stets eine

Grundlagen der Informatik

Grundlgen der Informtik Vorlesungsprüfung vom 02.03.2007 Gruppe B Lösung Nme: Mtrikelnummer: Zuerst itte Nme und Mtrikelnummer uf ds Titelltt schreien. Es sind keine Unterlgen und keine Temreit erlut.

Aufgaben: 1. Gib eine Gleichung der Ebene E an, die durch A in Richtung von u und v verläuft.

Prmeergleichung und Koordinenform einer Ebene Prmeergleichung und Koordinenform einer Ebene Die Lge einer Ebene E im Rum is durch drei Größen eindeuig fesgeleg: X. Einen Punk A, durch den die Ebene verläuf..

Lösung zur Bonusklausur über den Stoff der Vorlesung Grundlagen der Informatik II (45 Minuten)

Institut für Angewndte Informtik und Formle Beschreiungsverfhren 15.01.2018 Lösung zur Bonusklusur üer den Stoff der Vorlesung Grundlgen der Informtik II (45 Minuten) Nme: Vornme: Mtr.-Nr.: Semester: (WS

6. Übungsblatt. (i) Von welchem Typ ist die Grammatik G? Begründen Sie Ihre Antwort kurz.

Vorlesung Theoretische Informtik Sommersemester 2015 Prof. S. Lnge 6. Üungsltt 1. Aufge Es sei die folgende Grmmtik G = [Σ, V, S, R] gegeen. Dei seien Σ = {, } und V = {S, B}, woei S ds Strtsymol ist.

Datenstrukturen & Algorithmen Lösungen zu Blatt 2 FS 16

Eidgenössische Technische Hochschule Zürich Ecole polytechnique fédérle de Zurich Politecnico federle di Zurigo Federl Institute of Technology t Zurich Institut für Theoretische Informtik 9. März 2016

2 Torsion in dünnwandigen Querschnitten

apl oz r-ing hail G Georgi Tragwerkerechnung Torion in dünnwandigen Querchnien Theorien, Vorauezungen und Hpoheen Theorien: Reine Torion ( Grundufe) Begründer: Jean Claude de T VENANT (9-886) mol, Inde:

Eine endliche Folge von Operationen und Entscheidungen, die ein Problem in endlich vielen Schritten löst.

Formle Methoen er Informtik WS 00/0 Lehrstuhl für Dtennken un Künstliche Intelligenz ProfDrDrFJRermcher H Ünver T Rehfel J Dollinger Aufgenltt Besprechung in en Tutorien vom 000 ( Üungstermin) is 000 (is

a q 0 q 1 a M q 1 q 3 q 2

Prof Dr J Giesl Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Üung 4 M Brockschmidt, F Emmes, C Fuhs, C Otto, T Ströder Hinweise: Die Husufgen sollen in Gruppen von je 2 Studierenden us dem

12 Schweißnahtberechnung

225 12 Schweißnherechnung 12 Schweißnherechnung Die Berechnung der ufreenden Spnnungen in Schweißnähen erfolg im Regelfll mi Hilfe der elemenren Gleichungen der esigkeislehre. Auf weierführende Berechnungsverfhren,

Eine weitere wichtige Größe ist Dämpfung

Automtion-Letter Nr. Prof. Dr. S. Zcher Eine weitere wichtige Größe it Dämfung S. Zcher, M. Reuter: Regelungtechnik für Ingenieure, Seite 65, Sringer Vieweg Verlg, 4. Auflge, 4 www.zcher-utomtion.de -5

4 Prozessor-Datenpfad

4 Vom zu lösenden Prolem hängige Schltung 75 4 Prozessor-Dtenpfd 4 Vom zu lösenden Prolem hängige Schltung Mit den isher kennengelernten Schltungen können ereits viele Prolemstellungen gelöst werden Nchfolgende

Vorname: Nachname: Matrikelnummer: Studiengang (bitte ankreuzen): Technik-Kommunikation M.A.

Formle Systeme, Automten, Prozesse SS 2011 Musterlösung - Klusur 09082011 Prof Dr Dr hc W Thoms Dniel Neider, Crsten Otto Vornme: Nchnme: Mtrikelnummer: Studiengng (itte nkreuzen): Informtik Bchelor Informtik

Datenstrukturen & Algorithmen Lösungen zu Blatt 2 FS 12

Eidgenössische Technische Hochschule Zürich Ecole polytechnique fédérle de Zurich Politecnico federle di Zurigo Federl Institute of Technology t Zurich Institut für Theoretische Informtik 29 Ferur 2012

Automaten und formale Sprachen Notizen zu den Folien

5 Ds Pumping Lemm Schufchprinzip (Folie 144) Automten und formle Sprchen Notizen zu den Folien Im Block Ds Schufchprinzip für endliche Automten steht m n (sttt m > n), weil die Länge eines Pfdes die Anzhl

Transport. Explizite und implizite Verfahren

p. 1/9 Tranpor Explizie und implizie Verfahren home/lehre/vl-mhs-1/inhalt/folien/vorlesung/10_transport_verf/decbla.ex Seie 1 von 9 p. /9 Inhalverzeichni 1. Explizie Verfahren Inabile Verfahren Lax Verfahren

Mathematik: Mag. Schmid Wolfgang Arbeitsblatt Semester ARBEITSBLATT 14 MULTIPLIKATION EINES VEKTORS MIT EINEM SKALAR

Mthemtik: Mg. Schmid Wolfgng Areitsltt. Semester ARBEITSBLATT MULTIPLIKATION EINES VEKTORS MIT EINEM SKALAR Zunächst einml müssen wir den Begriff Sklr klären. Definition: Unter einem Sklr ersteht mn eine

3 b 1 = 7. b = = 59, a = = 30, b) + = Aufgabe 6.1. fehlt Aufgabe 6.2 = = 0 = = 7; = = 2 = = 1.

Anlyishe Geomerie / Seie Lö () Lösngen zz Kpi iel l :: Skl lrrprrodk Afge fehl Afge ; ; ; Bei Vekoren müsse mn Prodke erehnen Afge Berehne ) ) ) ( ) d) ( ) e) ( )( ) 8 f) ( ) Anlyishe Geomerie / Seie Lö

Weitere Aufgaben zum Themenkomplex 1: Grundlagen, Hauptsatz der Diff.- und Integralrechnung und Substitutionsverfahren

Prof. Dr. Gerd von Cölln Prof. Dr. Dirk Re Mhemik II Weiere Aufgen zum hemenkomple : Grundlgen, Hupsz der Diff.- und Inegrlrechnung und Susiuionsverfhren. Sind folgende Aussgen whr oder flsch ) Sind f

Was nicht bewertet werden soll, streichen Sie bitte durch. Werden Täuschungsversuche beobachtet, so wird die Präsenzübung mit 0 Punkten bewertet.

Prof Dr Dr hc W Thoms Formle Systeme, Automten, Prozesse SS 2011 Musterlösung - Präsenzüung Dniel Neider, Crsten Otto Vornme: Nchnme: Mtrikelnummer: Studiengng (itte nkreuzen): Informtik Bchelor Informtik

Name... Matrikel-Nr... Studiengang...

Proeklusur zum ersten Teil der Vorlesung Berechenrkeitstheorie WS 2015/16 30. Novemer 2015 Dr. Frnzisk Jhnke, Dr. Dniel Plcín Bereitungszeit: 80 Minuten Nme... Mtrikel-Nr.... Studiengng... 1. So oder so

Staatlich geprüfte Techniker

Auzug au dem Lernmaerial Forildunglehrgang Saalich geprüfe Techniker Auzug au dem Lernmaerial Naurwienchaf DAA-Technikum Een / www.daa-echnikum.de, Infoline: 00 83 6 50 Definiion: Die Gechwindigkei eine

Minimalität des Myhill-Nerode Automaten

inimlität des yhill-nerode Automten Wir wollen zeigen, dss der im Beweis zum yhill-nerode Stz konstruierte DEA für die reguläre Sprche L immer der DEA mit den wenigsten Zuständen für L ist. Sei 0 der konstruierte

Dank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Gleichmächtigkeit von DEA und NDEA

Dnk Vorleung Grundlgen der Theoretichen Informtik / Einführung in die Theoretiche Informtik I Bernhrd Beckert Diee Vorleungmterilien ieren gnz weentlich uf den Folien zu den Vorleungen von Ktrin Erk (gehlten

Prof. Dr. Javier Esparza Garching b. München, den Klausur Einführung in die theoretische Informatik Sommer-Semester 2017

Prof. Dr. Jvier Esprz Grching. München, den 10.08.17 Klusur Einführung in die theoretische Informtik Sommer-Semester 2017 Bechten Sie: Soweit nicht nders ngegeen, ist stets eine Begründung zw. der Rechenweg

Dank. 1 Determinierte endliche Automaten (DEAs) 2 Indetermnierte endliche Automaten (NDEAs) 3 Automaten mit ε-kanten

Dnk Vorleung Grundlgen der Theoretichen Informtik / Einführung in die Theoretiche Informtik I Bernhrd Beckert Diee Vorleungmterilien ieren gnz weentlich uf den Folien zu den Vorleungen von Ktrin Erk (gehlten

Die Geschwindigkeit v ist die lokale Änderungsrate des Ortes x d.h. v = lim. Zeit 3s 7s Entfernung vom Bezugspunkt. 3s 2 m = 6 m 6 m + 1 Bezugspunkt s

6 Integrlrechnung ================================================================== 6.1 Lokle Änderungsrte und Gesmtänderung ------------------------------------------------------------------------------------------------------------------

Hamburg Kernfach Mathematik Zentralabitur 2013 Erhöhtes Anforderungsniveau Analysis 2

Hmburg Kernfch Mhemik Zenrlbiur 2013 Erhöhes Anforderungsniveu Anlysis 2 Smrphones Die Mrkeinführung eines neuen Smrphones vom Elekronikherseller PEAR wird ses ufgereg erwre. Zur Modellierung der Enwicklung

ARBEITSBLATT 5L-8 FLÄCHE ZWISCHEN FUNKTION UND X-ACHSE

Mthemtik: Mg. Schmid WolfgngLehrerInnentem RBEITSBLTT 5L-8 FLÄCHE ZWISCHEN FUNKTION UND X-CHSE Wie wir die Fläche zwischen einer Funktion und der -chse erechnen, hen wir rechentechnische ereits geklärt.

Mathematik: Mag. Schmid Wolfgang Arbeitsblatt 7 5. Semester ARBEITSBLATT 7 PARAMETERDARSTELLUNG EINER EBENE

Mahemaik: Mag. Schmid Wolfgang Arbeibla 7. Semeer ARBEITSBLATT 7 PARAMETERDARSTELLUNG EINER EBENE Im Raum möche man naürlich nich nur Geraden ondern auch Flächen darellen. Diee Flächen bezeichne man al

Jede korrekt gelöste Aufgabe aus den Prüfungsteilen 1 und 2 zählt 4 Punkte. Jeder Prüfungsteil umfasst 6 Aufgaben.

BBZ Biel-Bienne Eine nsiuion es Knons Bern CFP Biel-Bienne Une insiuion u cnon e Berne Berufsmuriä Murié professionnelle Berufsilungszenrum Meimiker Méimiciens Cenre e formion professionnelle BM Aschlussprüfung

Automaten und formale Sprachen Notizen zu den Folien

3 Endliche Automten Automten und formle Sprchen Notizen zu den Folien Üerführungsfunktion eines NFA (Folien 107 und 108) Wie sieht die Üerführungsfunktion us? δ : Z Σ P(Z) Ds heißt, jedem Pr us Zustnd

Abbildungsmaßstab und Winkelvergrößerung

Abbildungmaßab und Winkelvergrößerung Abbildungmaßab Uner dem Abbildungmaßab vereh man da Verhälni /, wobei der Audruck ein negaive Vorzeichen erhäl, wenn da ild verkehr wird. Alo Abbildungmaßab V: Winkelvergrößerung

8.5 Uneigentliche Integrale Integrale über unbeschränkte Bereiche. f(x) dx. Integrale über unbeschränkte Funktionen mit Singularitäten am Rand

8.5 Uneigenliche Inegrle Inegrle über unbeschränke Bereiche,, Inegrle über unbeschränke Funkionen mi Singulriäen m Rnd, f : (, b] R seig, f : [, b) R seig Lokle Inegrierbrkei: Definiion: Eine Funkion f

Steiner Bäume. Überblick. Geschichte & verschiedene Varianten. Steinerbaum. Varianten & Anwendung. Komplexität

Üerlick Steiner Bäume Dipl.-Mth. Mri Kndy Lehrstuhl für Algorithm Engineering, LS Einführung Definition und Motivtion Komplexität Approximtionslgorithmen Distnznetzwerk Heuristik Priml-Duler Algorithmus

Aufgabensammlung zum Buch Algorithmen und Datenstrukturen (Kapitel 7)

Aufgaenammlung zum Buch Algorihmen und Daenrukuren (Kapiel 7) 1 Aufgaen au dem Buch Zu folgenden Aufgaen, die direk au dem Buch ennommen ind, gi e an der Univeriä Freiurg am Lehruhl Omann Muerlöungen.

/LQHDUH*OHLFKXQJVV\VWHPH

/LQHDUH*OHLFKXQJVV\VWHPH (für Grund- und Leistungskurse Mthemtik) 6W55DLQHU0DUWLQ(KUHQE UJ*\PQDVLXP)RUFKKHLP Nch dem Studium dieses Skripts sollten folgende Begriffe eknnt sein: Linere Gleichung; homogene

Sei G = (V,E) ein gerichteter Graph. Ein geschlossener Pfad, der jede Kante in G genau einmal benutzt, heißt Euler-Tour.

1 2 Grundlgen der Theoretischen Informtik Till Mosskowski Fkultät für Informtik Otto-von-Guericke Universität Mgdeurg Komplexitätstheorie Wintersemester 201/15 Zeitkomplexität 3 Die Komplexitätsklsse P

Einführung in den Compilerbau

Einführung in den Compileru Lexiklische Anlyse II Dr. Armin Wolf 3. Vorlesung SoSe 2010, Universität Potsdm Einführung in den Compileru 1 Lexiklische Anlyse Beispiel Geg.: T mit T = {0,1,2,4,7} (vom Strtzustnd

Musterlösung - Aufgabenblatt 4. Aufgabe 1

Murlöung - Augnl 4 Aug ) Au Üungl 3 hn wir ür n ggnn Grphn G gzig, ν(g) = 9 gil, inm wir olgn Mhing M von mximlr Krinliä nggn hn: g h i j 3 4 6 7 8 9 0 E gil lo, nh König Mhing-Thorm u r Vorlung, uh τ(g)

Bonusklausur über den Stoff der Vorlesung Grundlagen der Informatik II (45 Minuten)

Institut für Angewndte Informtik und Formle Beschreiungsverfhren 5.0.208 Bonusklusur üer den Stoff der Vorlesung Grundlgen der Informtik II (45 Minuten) Nme: Vornme: Mtr.-Nr.: Semester: (WS 207/8) Ich

Institut für Kryptographie und Sicherheit Dr. Jörn Müller-Quade. Musterlösung zur Hauptklausur Informatik III Wintersemester 2008/2009

Institut für Kryptogrphie und Sicherheit Dr. Jörn Müller-Qude Musterlösung zur Huptklusur Informtik III Wintersemester 2008/2009 Nme: Mtrikelnummer: Seite 1 Aufge 1 (5 + 5 = 10 Punkte) () Gegeen sei der

Übungen zur Vorlesung Modellierung WS 2003/2004 Blatt 11 Musterlösungen

Dr. Theo Lettmnn Pderorn, den 9. Jnur 24 Age 9. Jnur 24 A x, A 2 x, Üungen zur Vorlesung Modellierung WS 23/24 Bltt Musterlösungen AUFGABE 7 : Es sei der folgende prtielle deterministishe endlihe Automt

Einführung in die Mathematik des Operations Research

Universität zu Köln Mthemtishes Institut Prof. Dr. F. Vllentin ufge ( + 7 = 0 Punkte) Einführung in die Mthemtik des Opertions Reserh Sommersemester 0 en zur Klusur (7. Juli 0). Es seien M = {,..., n },

Vorlesung Diskrete Strukturen Transportnetze

Vorlesung Diskrete Strukturen Trnsportnetze Bernhr Gnter WS 2009/10 Gerihtete Grphen Ein shlingenloser gerihteter Grph ist ein Pr (V, A), woei V eine elieige Menge ist, eren Elemente wir Eken nennen un

Großübung Balkenbiegung Biegelinie

Großüung Bkeniegung Biegeinie Es geen die in der Voresung geroffenen Annhmen: - Der Bken is unese gerde. - Ds eri sei üer den Querschni homogen und iner esisch. - Die Besung erfog durch Biegemomene und

Integralrechnung. 1. Stammfunktionen

Integrlrechnung. Stmmfunktionen In der Differentilrechnung hen wir gelernt, durch Aleiten einer Funktion f eine neue Funktion f zu finden, die uns hilft, Eigenschften von f zu estimmen (z.b. Hoch- oder

Teil III: Kreise, Rundreisen, Transportnetze

Teil III: Kreie, Rundreien, Trnportnetze 1. Kreie 2. Trveling Slemn Problem 3. Trnportnetzwerke Frnz-Joef Rdermcher & Uwe Schöning, Fkultät für Ingeneurwienchften und Informtik, Univerität Ulm, 2009/2010

DEA1 Deterministische Version

Endliche Automten 4 Deterministische endliche Automten Zu dem nichtdeterministischen Automten EA git es eine deterministische Version. EA Akzeptor für Wörter üer X = { } mit mindestens einem führenden.

Inhalt. Endliche Automaten. Automaten und Formale Sprachen. Franz Binder. Endliche Automaten. Deterministische Automaten

Formle Inhlt Reguläre Reguläre Formle Zustndsdigrmm Reguläre δ: Σ (Q Q Ω) Beispiel δ 0 δ 0 1 2 1 2 0 1 2 δ Formle Automt Reguläre Definition Ein nicht-deterministischer, endlicher Automt esteht us einer

F ds= F ds. Theorem 1: "Stefanie Bayer" Wegintegrale und Kurvenintegrale

Wegintegrle und Kurvenintegrle Theorem : Sei F ein uf dem Weg = [, ] stetiges Vektorfeld und sei = [, ] Reprmeteristion von. Wenn richtungs-whrend ist, dnn gilt und wenn richtungs-wechselnd ist, dnn gilt

Berechnung von Flächen unter Kurven

Berechnung von Flächen unter Kurven Es soll die Fläche unter einer elieigen (stetigen) Kurve erechnet werden. Dzu etrchten wir die (sog.) Flächenfunktion, mit der die zu erechnende Fläche qusi ngenähert

Vorname: Nachname: Matrikelnummer: Studiengang (bitte ankreuzen): Technik-Kommunikation M.A.

Formle Systeme, Automten, Prozesse SS 2010 Musterlösung - Klusur 23.09.2010 Prof. Dr. J. Giesl M. Brockschmidt, F. Emmes, C. Fuhs, C. Otto, T. Ströder Vornme: Nchnme: Mtrikelnummer: Studiengng (itte nkreuzen):

Franz Binder. Vorlesung im 2006W

Formle Reguläre und Formle Institut für Alger Johnnes Kepler Universität Linz Vorlesung im 2006W http://www.lger.uni-linz.c.t/students/win/ml Formle Inhlt Reguläre Reguläre Formle Zustndsdigrmm δ: Σ (Q

Grundkurs Mathematik. Einführung in die Integralrechnung. Lösungen und Ergebnisse zu den Aufgaben

Seite Einführung in die Integrlrechnung Lösungen und Ergenisse Gr Stefn Gärtner Grundkurs Mthemtik Einführung in die Integrlrechnung Lösungen und Ergenisse zu den Aufgen Von llen Wissenschftlern können

Taxifahren im mathematischen Verkehr - mathematische Pretiosen über Permanente, Permutationen und Determinante

Txifhren im mthemtischen Verkehr - mthemtische Pretiosen üer Permnente, Permuttionen und Determinnte Armin P. Brth Angelehnt n den herrlichen Artikel [] wird hier ein grphentheoretisches Rätsel vorgestellt