Connectivity in Graphs. CS311H: Discrete Mathematics. Graph Theory II. Example. Paths. Connectedness. Example

Size: px
Start display at page:

Download "Connectivity in Graphs. CS311H: Discrete Mathematics. Graph Theory II. Example. Paths. Connectedness. Example"

Transcription

1 Connetiit in Grphs CSH: Disrete Mthemtis Grph Theor II Instrtor: Işıl Dillig Tpil qestion: Is it possile to get from some noe to nother noe? Emple: Trin netork if there is pth from to, possile to tke trin from to n ie ers. If it s possile to get from to, e s n re onnete n there is pth eteen n Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Pths Emple A pth eteen n is seqene of eges tht strts t erte, moes long jent eges, n ens in. Emple:,,, is pth, t,, n,, re not Consier grph ith erties {,, z, } n eges (, ), (, ), (, z), (, z) Wht re ll the simple pths from z to? Length of pth is the nmer of eges trerse, e.g., length of,,, is A simple pth is pth tht oes not repet n eges Wht re ll the simple pths from to? Ho mn pths (n e non-simple) re there from to?,,, is simple pth t,, is not Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Conneteness Emple A grph is onnete if there is pth eteen eer pir of erties in the grph Emple: This grph not onnete; e.g., no pth from to Proe: Sppose grph G hs etl to erties of o egree, s n. Then G ontins pth from to. A onnete omponent of grph G is miml onnete sgrph of G Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II /

2 Cirits Cles A irit is pth tht egins n ens in the sme erte.,,,, n,,, re oth irits A simple irit oes not ontin the sme ege more thn one,,, is simple irit, t,,,, is not Length of irit is the nmer of eges it ontins, e.g., length of,,, is A le is simple irit ith no repete erties other thn the first n lst ones. For instne,,,,,,, is irit t not le Hoeer,,,, is le In this lss, e onl onsier irits of length or more Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 7/ Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 8/ Emple Proe: If grph hs n o length irit, then it lso hs n o length le. Hh? Rell tht not eer irit is le. Aoring to this theorem, if e n fin n o length irit, e n lso fin o length le. Proof Proe: If grph hs n o length irit, then it lso hs n o length le. Proof strong intion on the length of the irit. Emple:,,,,, is n o length irit, t grph lso ontins o length le Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 9/ Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 0/ Proof, ont. Proof, ont. Proe: If grph hs n o length irit, then it lso hs n o length le. Proe: If grph hs n o length irit, then it lso hs n o length le. Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II /

3 Colorilit n Cles Emple Proe: If grph is -olorle, then ll les re of een length. Is this grph -olorle? Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Distne Beteen Verties More Colorilit n Cles The istne eteen to erties n is the length of the shortest pth eteen n Wht is the istne eteen n? Proe: If grph hs no o length les, then grph is -olorle. To proe this, e first onsier n lgorithm for oloring the grph ith to olors. Wht is the istne eteen n? Wht is the istne eteen n? Then, e ill sho tht this lgorithm orks if grph oes not he o length les. Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / The Algorithm Pik n erte in the grph. If erte hs o istne from, olor it le Otherise, olor it re Proof We ill no proe: If the grph oes not he o length les, the lgorithm is orret. Corretness of the lgorithm implies grph is -olorle. e Proof ontrition. f Sppose grph oes not he o length les, t the lgorithm proes n inli oloring. Mens there eist to erties n tht re ssigne the sme olor. Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 7/ Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 8/

4 Proof, ont. Cse : The re oth ssigne re Ptting It All Together We kno n, m re oth een n m This mens e no he n o-length irit inoling n, m B theorem from erlier, this implies tht grph hs o length le, i.e., ontrition Theorem: A grph is -olorle if n onl if it oes not he o-length les Corollr: A grph is iprtite if n onl if it oes not he o-length les Emple: Consier grph G ith erties,,,, e, f Is G prtitle if its eges re (, f ), (e, f ), (e, ), (, ), (, )? Cse is etl the sme. Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 9/ Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 0/ Trees A tree is onnete nirete grph ith no les. Ft Aot Trees Emples n non-emples: Theorem: An nirete grph G is tree if n onl if there is niqe simple pth eteen n to of its erties. 7 7 e An nirete grph ith no les is forest. Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Lees of Tree Gien tree, erte of egree is lle lef. Internl noes Lees Importnt ft: Eer tree ith more thn noes hs t lest to lees. 7 Wh is this tre? Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II /

5 Nmer of Eges in Tree Roote Trees Theorem: A tree ith n erties hs n eges. Proof is intion on n Bse se: n = Intion: Assme propert for tree ith n erties, n sho tree T ith n + erties hs n eges Constrt T remoing lef from T ; T is tree ith n erties (tree ese onnete n no les) B IH, T hs n eges A roote tree hs esignte root erte n eer ege is irete from the root. Verte is prent of erte if there is n ege from to ; n is lle hil of Verties ith the sme prent re lle silings Verte is n nestor of if is s prent or n nestor of s prent. Verte is esennt of if is s nestor A lef k: n + erties n n eges Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Qestions ot Roote Trees Strees Sppose tht erties n re silings in roote tree. Gien roote tree n noe, the stree roote t inles n its esennts. Whih sttements ot n re tre?. The mst he the sme nestors. The n he ommon esennt. If is lef, then mst lso e lef Leel of erte is the length of the pth from the root to. The height of tree is the mimm leel of its erties. Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 7/ Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 8/ Tre-Flse Qestions. To silings n mst e t the sme leel.. A lef erte oes hot he stree.. The strees roote t n n he the sme height onl if n re silings. m-r Trees A roote tree is lle n m-r tree if eer erte hs no more thn m hilren. An m-r tree here m = is lle inr tree. A fll m-r tree is tree here eer internl noe hs etl m hilren. Whih re fll inr trees?. The leel of the root erte is. Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 9/ Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II 0/

6 Usefl Theorem Corollr Theorem: An m-r tree of height h ontins t most m h lees. Proof is intion on height h. Corollr: If m-r tree hs height h n n lees, then h log m n Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Qestions Blne Trees An m-r tree is lne if ll lees re t leels h or h Wht is mimm nmer of lees in inr tree of height? If inr tree hs 00 lees, ht is loer on on its height? If inr tree hs lees, ht is n pper on on its height? Eer fll tree mst e lne. tre or flse? Eer lne tree mst e fll. tre or flse? Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II / Instrtor: Işıl Dillig, CSH: Disrete Mthemtis Grph Theor II /

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!

Solutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite! Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:

More information

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if

More information

Data Structures LECTURE 10. Huffman coding. Example. Coding: problem definition

Data Structures LECTURE 10. Huffman coding. Example. Coding: problem definition Dt Strutures, Spring 24 L. Joskowiz Dt Strutures LEURE Humn oing Motivtion Uniquel eipherle oes Prei oes Humn oe onstrution Etensions n pplitions hpter 6.3 pp 385 392 in tetook Motivtion Suppose we wnt

More information

A FRACTIONAL ANALOGUE OF BROOKS THEOREM

A FRACTIONAL ANALOGUE OF BROOKS THEOREM A FRACTIONAL ANALOGUE OF BROOKS THEOREM ANDREW D. KING, LINYUAN LU, AND XING PENG Astrt. Let (G) e the mimm egree of grph G. Brooks theorem sttes tht the onl onnete grphs ith hromti nmer χ(g) = (G) + 1

More information

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours

Mid-Term Examination - Spring 2014 Mathematical Programming with Applications to Economics Total Score: 45; Time: 3 hours Mi-Term Exmintion - Spring 0 Mthemtil Progrmming with Applitions to Eonomis Totl Sore: 5; Time: hours. Let G = (N, E) e irete grph. Define the inegree of vertex i N s the numer of eges tht re oming into

More information

CIT 596 Theory of Computation 1. Graphs and Digraphs

CIT 596 Theory of Computation 1. Graphs and Digraphs CIT 596 Theory of Computtion 1 A grph G = (V (G), E(G)) onsists of two finite sets: V (G), the vertex set of the grph, often enote y just V, whih is nonempty set of elements lle verties, n E(G), the ege

More information

Graph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}

Graph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)} Grph Theory Simple Grph G = (V, E). V ={verties}, E={eges}. h k g f e V={,,,,e,f,g,h,k} E={(,),(,g),(,h),(,k),(,),(,k),...,(h,k)} E =16. 1 Grph or Multi-Grph We llow loops n multiple eges. G = (V, E.ψ)

More information

Graph Algorithms. Vertex set = { a,b,c,d } Edge set = { {a,c}, {b,c}, {c,d}, {b,d}} Figure 1: An example for a simple graph

Graph Algorithms. Vertex set = { a,b,c,d } Edge set = { {a,c}, {b,c}, {c,d}, {b,d}} Figure 1: An example for a simple graph Inin Institute of Informtion Tehnology Design n Mnufturing, Knheepurm, Chenni 00, Ini An Autonomous Institute uner MHRD, Govt of Ini http://www.iiitm..in COM 0T Design n Anlysis of Algorithms -Leture Notes

More information

Lecture 4: Graph Theory and the Four-Color Theorem

Lecture 4: Graph Theory and the Four-Color Theorem CCS Disrete II Professor: Pri Brtlett Leture 4: Grph Theory n the Four-Color Theorem Week 4 UCSB 2015 Through the rest of this lss, we re going to refer frequently to things lle grphs! If you hen t seen

More information

Exercise sheet 6: Solutions

Exercise sheet 6: Solutions Eerise sheet 6: Solutions Cvet emptor: These re merel etended hints, rther thn omplete solutions. 1. If grph G hs hromti numer k > 1, prove tht its verte set n e prtitioned into two nonempt sets V 1 nd

More information

CS 491G Combinatorial Optimization Lecture Notes

CS 491G Combinatorial Optimization Lecture Notes CS 491G Comintoril Optimiztion Leture Notes Dvi Owen July 30, August 1 1 Mthings Figure 1: two possile mthings in simple grph. Definition 1 Given grph G = V, E, mthing is olletion of eges M suh tht e i,

More information

Graphs Recall from last time: A graph is a set of objects, or vertices, together with a (multi)set of edges that connect pairs of vertices.

Graphs Recall from last time: A graph is a set of objects, or vertices, together with a (multi)set of edges that connect pairs of vertices. Graphs Reall from last time: A graph is a set of ojets, or erties, together ith a (mlti)set of eges that onnet pairs of erties. Eample: e 2 e 3 e 4 e 5 e 1 Here, the erties are V t,,,,, an the eges are

More information

On Gallai s and Hajós Conjectures for graphs with treewidth at most 3

On Gallai s and Hajós Conjectures for graphs with treewidth at most 3 On Glli s nd Hjós Conjetres for grphs with treewidth t most 3 rxi:1706.043341 [mth.co] 14 Jn 2017 F. Botler 1 M. Sminelli 2 R. S. Coelho 3 O. Lee 2 1 Fltd de Cienis Físis Mtemtis Uniersidd de Chile 2 Institto

More information

Global alignment. Genome Rearrangements Finding preserved genes. Lecture 18

Global alignment. Genome Rearrangements Finding preserved genes. Lecture 18 Computt onl Biology Leture 18 Genome Rerrngements Finding preserved genes We hve seen before how to rerrnge genome to obtin nother one bsed on: Reversls Knowledge of preserved bloks (or genes) Now we re

More information

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.

1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides. 1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the

More information

Section 2.3. Matrix Inverses

Section 2.3. Matrix Inverses Mtri lger Mtri nverses Setion.. Mtri nverses hree si opertions on mtries, ition, multiplition, n sutrtion, re nlogues for mtries of the sme opertions for numers. n this setion we introue the mtri nlogue

More information

Worksheet #2 Math 285 Name: 1. Solve the following systems of linear equations. The prove that the solutions forms a subspace of

Worksheet #2 Math 285 Name: 1. Solve the following systems of linear equations. The prove that the solutions forms a subspace of Worsheet # th Nme:. Sole the folloing sstems of liner equtions. he proe tht the solutions forms suspe of ) ). Find the neessr nd suffiient onditions of ll onstnts for the eistene of solution to the sstem:.

More information

Section The Precise Definition Of A Limit

Section The Precise Definition Of A Limit Section 2.4 - The Precise Definition Of A imit Introduction So fr we hve tken n intuitive pproch to the concept of limit. In this section we will stte the forml definition nd use this definition to prove

More information

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of:

22: Union Find. CS 473u - Algorithms - Spring April 14, We want to maintain a collection of sets, under the operations of: 22: Union Fin CS 473u - Algorithms - Spring 2005 April 14, 2005 1 Union-Fin We wnt to mintin olletion of sets, uner the opertions of: 1. MkeSet(x) - rete set tht ontins the single element x. 2. Fin(x)

More information

SECTION A STUDENT MATERIAL. Part 1. What and Why.?

SECTION A STUDENT MATERIAL. Part 1. What and Why.? SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are

More information

CISC 320 Introduction to Algorithms Spring 2014

CISC 320 Introduction to Algorithms Spring 2014 CISC 20 Introdution to Algorithms Spring 2014 Leture 9 Red-Blk Trees Courtes of Prof. Lio Li 1 Binr Serh Trees (BST) ke[x]: ke stored t x. left[x]: pointer to left hild of x. right[x]: pointer to right

More information

Core 2 Logarithms and exponentials. Section 1: Introduction to logarithms

Core 2 Logarithms and exponentials. Section 1: Introduction to logarithms Core Logrithms nd eponentils Setion : Introdution to logrithms Notes nd Emples These notes ontin subsetions on Indies nd logrithms The lws of logrithms Eponentil funtions This is n emple resoure from MEI

More information

SIMPLE NONLINEAR GRAPHS

SIMPLE NONLINEAR GRAPHS S i m p l e N o n l i n e r G r p h s SIMPLE NONLINEAR GRAPHS www.mthletis.om.u Simple SIMPLE Nonliner NONLINEAR Grphs GRAPHS Liner equtions hve the form = m+ where the power of (n ) is lws. The re lle

More information

Surds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233,

Surds and Indices. Surds and Indices. Curriculum Ready ACMNA: 233, Surs n Inies Surs n Inies Curriulum Rey ACMNA:, 6 www.mthletis.om Surs SURDS & & Inies INDICES Inies n surs re very losely relte. A numer uner (squre root sign) is lle sur if the squre root n t e simplifie.

More information

Continuity. Recall the following properties of limits. Theorem. Suppose that lim. f(x) =L and lim. lim. [f(x)g(x)] = LM, lim

Continuity. Recall the following properties of limits. Theorem. Suppose that lim. f(x) =L and lim. lim. [f(x)g(x)] = LM, lim Recll the following properties of limits. Theorem. Suppose tht lim f() =L nd lim g() =M. Then lim [f() ± g()] = L + M, lim [f()g()] = LM, if M = 0, lim f() g() = L M. Furthermore, if f() g() for ll, then

More information

Bases for Vector Spaces

Bases for Vector Spaces Bses for Vector Spces 2-26-25 A set is independent if, roughly speking, there is no redundncy in the set: You cn t uild ny vector in the set s liner comintion of the others A set spns if you cn uild everything

More information

Discrete Structures Lecture 11

Discrete Structures Lecture 11 Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.

More information

adjacent side sec 5 hypotenuse Evaluate the six trigonometric functions of the angle.

adjacent side sec 5 hypotenuse Evaluate the six trigonometric functions of the angle. A Trigonometric Fnctions (pp 8 ) Rtios of the sides of right tringle re sed to define the si trigonometric fnctions These trigonometric fnctions, in trn, re sed to help find nknown side lengths nd ngle

More information

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6 CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized

More information

Algebra 2 Semester 1 Practice Final

Algebra 2 Semester 1 Practice Final Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers

More information

Lecture 11 Binary Decision Diagrams (BDDs)

Lecture 11 Binary Decision Diagrams (BDDs) C 474A/57A Computer-Aie Logi Design Leture Binry Deision Digrms (BDDs) C 474/575 Susn Lyseky o 3 Boolen Logi untions Representtions untion n e represente in ierent wys ruth tle, eqution, K-mp, iruit, et

More information

Preview 11/1/2017. Greedy Algorithms. Coin Change. Coin Change. Coin Change. Coin Change. Greedy algorithms. Greedy Algorithms

Preview 11/1/2017. Greedy Algorithms. Coin Change. Coin Change. Coin Change. Coin Change. Greedy algorithms. Greedy Algorithms Preview Greed Algorithms Greed Algorithms Coin Chnge Huffmn Code Greed lgorithms end to e simple nd strightforwrd. Are often used to solve optimiztion prolems. Alws mke the choice tht looks est t the moment,

More information

Lecture 3. XML Into RDBMS. XML and Databases. Memory Representations. Memory Representations. Traversals and Pre/Post-Encoding. Memory Representations

Lecture 3. XML Into RDBMS. XML and Databases. Memory Representations. Memory Representations. Traversals and Pre/Post-Encoding. Memory Representations Leture XML into RDBMS XML n Dtses Sestin Mneth NICTA n UNSW Leture XML Into RDBMS CSE@UNSW -- Semester, 00 Memory Representtions Memory Representtions Fts DOM is esy to use, ut memory hevy. in-memory size

More information

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106

18.06 Problem Set 4 Due Wednesday, Oct. 11, 2006 at 4:00 p.m. in 2-106 8. Problem Set Due Wenesy, Ot., t : p.m. in - Problem Mony / Consier the eight vetors 5, 5, 5,..., () List ll of the one-element, linerly epenent sets forme from these. (b) Wht re the two-element, linerly

More information

Numbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point

Numbers and indices. 1.1 Fractions. GCSE C Example 1. Handy hint. Key point GCSE C Emple 7 Work out 9 Give your nswer in its simplest form Numers n inies Reiprote mens invert or turn upsie own The reiprol of is 9 9 Mke sure you only invert the frtion you re iviing y 7 You multiply

More information

T 1 T 2 T 3 T 4 They may be illustrated by triangular patterns of numbers (hence their name) as shown:

T 1 T 2 T 3 T 4 They may be illustrated by triangular patterns of numbers (hence their name) as shown: TOPIC 3: VISUAL EXPLANATIONS (PROOFS) (Pge references to Proof re to Bndll, P R et l, Proof in Mthemtics, KMEP, 2002). 3. The tringulr numbers form the sequence, 3, 6, 0,, 2,... T T 2 T 3 T 4 The m be

More information

CS 360 Exam 2 Fall 2014 Name

CS 360 Exam 2 Fall 2014 Name CS 360 Exm 2 Fll 2014 Nme 1. The lsses shown elow efine singly-linke list n stk. Write three ifferent O(n)-time versions of the reverse_print metho s speifie elow. Eh version of the metho shoul output

More information

Welcome. Balanced search trees. Balanced Search Trees. Inge Li Gørtz

Welcome. Balanced search trees. Balanced Search Trees. Inge Li Gørtz Welome nge Li Gørt. everse tehing n isussion of exerises: 02110 nge Li Gørt 3 tehing ssistnts 8.00-9.15 Group work 9.15-9.45 isussions of your solutions in lss 10.00-11.15 Leture 11.15-11.45 Work on exerises

More information

On the Power of BFS to Determine a Graphs Diameter

On the Power of BFS to Determine a Graphs Diameter On the Power of BFS to Determine Grphs Dimeter (Etene Astrt) Derek G Corneil 1, Feoor F Drgn 2, n Ekkehr Köhler 3 1 Dept of Compter Siene, Uniersity of Toronto, Toronto, Ontrio, Cn, g@storontoe 2 Dept

More information

DA 3: The Mean Value Theorem

DA 3: The Mean Value Theorem Differentition pplictions 3: The Men Vlue Theorem 169 D 3: The Men Vlue Theorem Model 1: Pennslvni Turnpike You re trveling est on the Pennslvni Turnpike You note the time s ou pss the Lenon/Lncster Eit

More information

arxiv: v1 [cs.dm] 24 Jul 2017

arxiv: v1 [cs.dm] 24 Jul 2017 Some lsses of grphs tht re not PCGs 1 rxiv:1707.07436v1 [s.dm] 24 Jul 2017 Pierluigi Biohi Angelo Monti Tizin Clmoneri Rossell Petreshi Computer Siene Deprtment, Spienz University of Rome, Itly pierluigi.iohi@gmil.om,

More information

6.5 Improper integrals

6.5 Improper integrals Eerpt from "Clulus" 3 AoPS In. www.rtofprolemsolving.om 6.5. IMPROPER INTEGRALS 6.5 Improper integrls As we ve seen, we use the definite integrl R f to ompute the re of the region under the grph of y =

More information

Convert the NFA into DFA

Convert the NFA into DFA Convert the NF into F For ech NF we cn find F ccepting the sme lnguge. The numer of sttes of the F could e exponentil in the numer of sttes of the NF, ut in prctice this worst cse occurs rrely. lgorithm:

More information

I 3 2 = I I 4 = 2A

I 3 2 = I I 4 = 2A ECE 210 Eletril Ciruit Anlysis University of llinois t Chigo 2.13 We re ske to use KCL to fin urrents 1 4. The key point in pplying KCL in this prolem is to strt with noe where only one of the urrents

More information

Computational Biology Lecture 18: Genome rearrangements, finding maximal matches Saad Mneimneh

Computational Biology Lecture 18: Genome rearrangements, finding maximal matches Saad Mneimneh Computtionl Biology Leture 8: Genome rerrngements, finding miml mthes Sd Mneimneh We hve seen how to rerrnge genome to otin nother one sed on reversls nd the knowledge of the preserved loks or genes. Now

More information

List all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1.

List all of the possible rational roots of each equation. Then find all solutions (both real and imaginary) of the equation. 1. Mth Anlysis CP WS 4.X- Section 4.-4.4 Review Complete ech question without the use of grphing clcultor.. Compre the mening of the words: roots, zeros nd fctors.. Determine whether - is root of 0. Show

More information

12.4 Similarity in Right Triangles

12.4 Similarity in Right Triangles Nme lss Dte 12.4 Similrit in Right Tringles Essentil Question: How does the ltitude to the hpotenuse of right tringle help ou use similr right tringles to solve prolems? Eplore Identifing Similrit in Right

More information

A Primer on Continuous-time Economic Dynamics

A Primer on Continuous-time Economic Dynamics Eonomis 205A Fll 2008 K Kletzer A Primer on Continuous-time Eonomi Dnmis A Liner Differentil Eqution Sstems (i) Simplest se We egin with the simple liner first-orer ifferentil eqution The generl solution

More information

m A 1 1 A ! and AC 6

m A 1 1 A ! and AC 6 REVIEW SET A Using sle of m represents units, sketh vetor to represent: NON-CALCULATOR n eroplne tking off t n ngle of 8 ± to runw with speed of 6 ms displement of m in north-esterl diretion. Simplif:

More information

Mathematics 10 Page 1 of 5 Properties of Triangle s and Quadrilaterals. Isosceles Triangle. - 2 sides and 2 corresponding.

Mathematics 10 Page 1 of 5 Properties of Triangle s and Quadrilaterals. Isosceles Triangle. - 2 sides and 2 corresponding. Mthemtis 10 Pge 1 of 5 Properties of s Pthgoren Theorem 2 2 2 used to find the length of sides of right tringle Tpe of s nd Some s Theorems ngles s Slene Isoseles Equilterl ute - ll ngles re less thn 90

More information

GNFA GNFA GNFA GNFA GNFA

GNFA GNFA GNFA GNFA GNFA DFA RE NFA DFA -NFA REX GNFA Definition GNFA A generlize noneterministic finite utomton (GNFA) is grph whose eges re lele y regulr expressions, with unique strt stte with in-egree, n unique finl stte with

More information

8.6 The Hyperbola. and F 2. is a constant. P F 2. P =k The two fixed points, F 1. , are called the foci of the hyperbola. The line segments F 1

8.6 The Hyperbola. and F 2. is a constant. P F 2. P =k The two fixed points, F 1. , are called the foci of the hyperbola. The line segments F 1 8. The Hperol Some ships nvigte using rdio nvigtion sstem clled LORAN, which is n cronm for LOng RAnge Nvigtion. A ship receives rdio signls from pirs of trnsmitting sttions tht send signls t the sme time.

More information

Greedoid polynomial, chip-firing, and G-parking function for directed graphs. Connections in Discrete Mathematics

Greedoid polynomial, chip-firing, and G-parking function for directed graphs. Connections in Discrete Mathematics Greedoid polynomil, hip-firing, nd G-prking funtion for direted grphs Swee Hong Chn Cornell University Connetions in Disrete Mthemtis June 15, 2015 Motivtion Tutte polynomil [Tut54] is polynomil defined

More information

Section 1.3 Triangles

Section 1.3 Triangles Se 1.3 Tringles 21 Setion 1.3 Tringles LELING TRINGLE The line segments tht form tringle re lled the sides of the tringle. Eh pir of sides forms n ngle, lled n interior ngle, nd eh tringle hs three interior

More information

AQA Further Pure 2. Hyperbolic Functions. Section 2: The inverse hyperbolic functions

AQA Further Pure 2. Hyperbolic Functions. Section 2: The inverse hyperbolic functions Hperbolic Functions Section : The inverse hperbolic functions Notes nd Emples These notes contin subsections on The inverse hperbolic functions Integrtion using the inverse hperbolic functions Logrithmic

More information

The Knapsack Problem. COSC 3101A - Design and Analysis of Algorithms 9. Fractional Knapsack Problem. Fractional Knapsack Problem

The Knapsack Problem. COSC 3101A - Design and Analysis of Algorithms 9. Fractional Knapsack Problem. Fractional Knapsack Problem The Knpsck Prolem COSC A - Design nd Anlsis of Algorithms Knpsck Prolem Huffmn Codes Introduction to Grphs Mn of these slides re tken from Monic Nicolescu, Univ. of Nevd, Reno, monic@cs.unr.edu The - knpsck

More information

Factorising FACTORISING.

Factorising FACTORISING. Ftorising FACTORISING www.mthletis.om.u Ftorising FACTORISING Ftorising is the opposite of expning. It is the proess of putting expressions into rkets rther thn expning them out. In this setion you will

More information

arxiv: v1 [cs.dm] 6 Jun 2017

arxiv: v1 [cs.dm] 6 Jun 2017 An Upper Bon of 7 n for the Minimm Size 6 2EC on Ci 3-Ege Connete rphs Philippe Leglt rxi:1706.016091 [s.dm] 6 Jn 2017 Shool of Eletril Engineering n Compter Siene (EECS), Uniersity of Ottw Ottw, Ontrio

More information

H (2a, a) (u 2a) 2 (E) Show that u v 4a. Explain why this implies that u v 4a, with equality if and only u a if u v 2a.

H (2a, a) (u 2a) 2 (E) Show that u v 4a. Explain why this implies that u v 4a, with equality if and only u a if u v 2a. Chpter Review 89 IGURE ol hord GH of the prol 4. G u v H (, ) (A) Use the distne formul to show tht u. (B) Show tht G nd H lie on the line m, where m ( )/( ). (C) Solve m for nd sustitute in 4, otining

More information

Implication Graphs and Logic Testing

Implication Graphs and Logic Testing Implition Grphs n Logi Testing Vishwni D. Agrwl Jmes J. Dnher Professor Dept. of ECE, Auurn University Auurn, AL 36849 vgrwl@eng.uurn.eu www.eng.uurn.eu/~vgrwl Joint reserh with: K. K. Dve, ATI Reserh,

More information

First Midterm Examination

First Midterm Examination 24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet

More information

Finite Automata-cont d

Finite Automata-cont d Automt Theory nd Forml Lnguges Professor Leslie Lnder Lecture # 6 Finite Automt-cont d The Pumping Lemm WEB SITE: http://ingwe.inghmton.edu/ ~lnder/cs573.html Septemer 18, 2000 Exmple 1 Consider L = {ww

More information

Discrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α

Discrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw

More information

The Ellipse. is larger than the other.

The Ellipse. is larger than the other. The Ellipse Appolonius of Perg (5 B.C.) disovered tht interseting right irulr one ll the w through with plne slnted ut is not perpendiulr to the is, the intersetion provides resulting urve (oni setion)

More information

The Shortest Path Problem Graph Algorithms - 3

The Shortest Path Problem Graph Algorithms - 3 Algorithm Deign nd Anli Vitor Admhik C - pring Leture Feb, Crnegie Mellon Univerit The hortet Pth Problem Grph Algorithm - The hortet Pth Problem Given poitivel weighted grph G with oure verte, find the

More information

Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem 2/16/15

Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem. Kleene s Theorem 2/16/15 Models of Comput:on Lecture #8 Chpter 7 con:nued Any lnguge tht e defined y regulr expression, finite utomton, or trnsi:on grph cn e defined y ll three methods We prove this y showing tht ny lnguge defined

More information

Linear choosability of graphs

Linear choosability of graphs Liner hoosility of grphs Louis Esperet, Mikel Montssier, André Rspud To ite this version: Louis Esperet, Mikel Montssier, André Rspud. Liner hoosility of grphs. Stefn Felsner. 2005 Europen Conferene on

More information

CHENG Chun Chor Litwin The Hong Kong Institute of Education

CHENG Chun Chor Litwin The Hong Kong Institute of Education PE-hing Mi terntionl onferene IV: novtion of Mthemtis Tehing nd Lerning through Lesson Study- onnetion etween ssessment nd Sujet Mtter HENG hun hor Litwin The Hong Kong stitute of Edution Report on using

More information

Graph Isomorphism. Graphs - II. Cayley s Formula. Planar Graphs. Outline. Is K 5 planar? The number of labeled trees on n nodes is n n-2

Graph Isomorphism. Graphs - II. Cayley s Formula. Planar Graphs. Outline. Is K 5 planar? The number of labeled trees on n nodes is n n-2 Grt Thortil Is In Computr Sin Vitor Amhik CS 15-251 Ltur 9 Grphs - II Crngi Mllon Univrsity Grph Isomorphism finition. Two simpl grphs G n H r isomorphi G H if thr is vrtx ijtion V H ->V G tht prsrvs jny

More information

Monochromatic Plane Matchings in Bicolored Point Set

Monochromatic Plane Matchings in Bicolored Point Set CCCG 2017, Ottw, Ontrio, July 26 28, 2017 Monohromti Plne Mthings in Biolore Point Set A. Krim Au-Affsh Sujoy Bhore Pz Crmi Astrt Motivte y networks interply, we stuy the prolem of omputing monohromti

More information

Graph width-parameters and algorithms

Graph width-parameters and algorithms Grph width-prmeters nd lgorithms Jisu Jeong (KAIST) joint work with Sigve Hortemo Sæther nd Jn Arne Telle (University of Bergen) 2015 KMS Annul Meeting 2015.10.24. YONSEI UNIVERSITY Grph width-prmeters

More information

Logarithms LOGARITHMS.

Logarithms LOGARITHMS. Logrithms LOGARITHMS www.mthletis.om.u Logrithms LOGARITHMS Logrithms re nother method to lulte nd work with eponents. Answer these questions, efore working through this unit. I used to think: In the

More information

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014 S 224 DIGITAL LOGI & STATE MAHINE DESIGN SPRING 214 DUE : Mrh 27, 214 HOMEWORK III READ : Relte portions of hpters VII n VIII ASSIGNMENT : There re three questions. Solve ll homework n exm prolems s shown

More information

XML and Databases. Exam Preperation Discuss Answers to last year s exam. Sebastian Maneth NICTA and UNSW

XML and Databases. Exam Preperation Discuss Answers to last year s exam. Sebastian Maneth NICTA and UNSW XML n Dtses Exm Prepertion Disuss Answers to lst yer s exm Sestin Mneth NICTA n UNSW CSE@UNSW -- Semester 1, 2008 (1) For eh of the following, explin why it is not well-forme XML (is WFC or the XML grmmr

More information

Part 4. Integration (with Proofs)

Part 4. Integration (with Proofs) Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1

More information

8.3 THE HYPERBOLA OBJECTIVES

8.3 THE HYPERBOLA OBJECTIVES 8.3 THE HYPERBOLA OBJECTIVES 1. Define Hperol. Find the Stndrd Form of the Eqution of Hperol 3. Find the Trnsverse Ais 4. Find the Eentriit of Hperol 5. Find the Asmptotes of Hperol 6. Grph Hperol HPERBOLAS

More information

6. Suppose lim = constant> 0. Which of the following does not hold?

6. Suppose lim = constant> 0. Which of the following does not hold? CSE 0-00 Nme Test 00 points UTA Stuent ID # Multiple Choie Write your nswer to the LEFT of eh prolem 5 points eh The k lrgest numers in file of n numers n e foun using Θ(k) memory in Θ(n lg k) time using

More information

, MATHS H.O.D.: SUHAG R.KARIYA, BHOPAL, CONIC SECTION PART 8 OF

, MATHS H.O.D.: SUHAG R.KARIYA, BHOPAL, CONIC SECTION PART 8 OF DOWNLOAD FREE FROM www.tekoclsses.com, PH.: 0 903 903 7779, 98930 5888 Some questions (Assertion Reson tpe) re given elow. Ech question contins Sttement (Assertion) nd Sttement (Reson). Ech question hs

More information

5.2 Exponent Properties Involving Quotients

5.2 Exponent Properties Involving Quotients 5. Eponent Properties Involving Quotients Lerning Objectives Use the quotient of powers property. Use the power of quotient property. Simplify epressions involving quotient properties of eponents. Use

More information

Maximum size of a minimum watching system and the graphs achieving the bound

Maximum size of a minimum watching system and the graphs achieving the bound Mximum size of minimum wthing system n the grphs hieving the oun Tille mximum un système e ontrôle minimum et les grphes tteignnt l orne Dvi Auger Irène Chron Olivier Hury Antoine Lostein 00D0 Mrs 00 Déprtement

More information

Solutions to Problem Set #1

Solutions to Problem Set #1 CSE 233 Spring, 2016 Solutions to Prolem Set #1 1. The movie tse onsists of the following two reltions movie: title, iretor, tor sheule: theter, title The first reltion provies titles, iretors, n tors

More information

AP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals

AP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into

More information

CS 573 Automata Theory and Formal Languages

CS 573 Automata Theory and Formal Languages Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple

More information

p-adic Egyptian Fractions

p-adic Egyptian Fractions p-adic Egyptin Frctions Contents 1 Introduction 1 2 Trditionl Egyptin Frctions nd Greedy Algorithm 2 3 Set-up 3 4 p-greedy Algorithm 5 5 p-egyptin Trditionl 10 6 Conclusion 1 Introduction An Egyptin frction

More information

Boolean Algebra. Boolean Algebra

Boolean Algebra. Boolean Algebra Boolen Alger Boolen Alger A Boolen lger is set B of vlues together with: - two inry opertions, commonly denoted y + nd, - unry opertion, usully denoted y ˉ or ~ or, - two elements usully clled zero nd

More information

are fractions which may or may not be reduced to lowest terms, the mediant of ( a

are fractions which may or may not be reduced to lowest terms, the mediant of ( a GENERATING STERN BROCOT TYPE RATIONAL NUMBERS WITH MEDIANTS HAROLD REITER AND ARTHUR HOLSHOUSER Abstrct. The Stern Brocot tree is method of generting or orgnizing ll frctions in the intervl (0, 1 b strting

More information

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P. Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time

More information

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018

Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More

More information

Objective: To simplify quotients using the Laws of Exponents. Laws of Exponents. Simplify. Write the answer without negative exponents. 1.

Objective: To simplify quotients using the Laws of Exponents. Laws of Exponents. Simplify. Write the answer without negative exponents. 1. Qotients of Monomils Objetive: To simplif qotients sing the Lws of Eponents. Lws of Eponents m n = m n ( b ) m = m b m ( m ) n = m n n m n m = m n n m = m m m b b = Prtie Problems Simplif. Write the nswer

More information

Calculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.

Calculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved. Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite

More information

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A.

378 Relations Solutions for Chapter 16. Section 16.1 Exercises. 3. Let A = {0,1,2,3,4,5}. Write out the relation R that expresses on A. 378 Reltions 16.7 Solutions for Chpter 16 Section 16.1 Exercises 1. Let A = {0,1,2,3,4,5}. Write out the reltion R tht expresses > on A. Then illustrte it with digrm. 2 1 R = { (5,4),(5,3),(5,2),(5,1),(5,0),(4,3),(4,2),(4,1),

More information

CS241 Week 6 Tutorial Solutions

CS241 Week 6 Tutorial Solutions 241 Week 6 Tutoril olutions Lnguges: nning & ontext-free Grmmrs Winter 2018 1 nning Exerises 1. 0x0x0xd HEXINT 0x0 I x0xd 2. 0xend--- HEXINT 0xe I nd ER -- MINU - 3. 1234-120x INT 1234 INT -120 I x 4.

More information

COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE

COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE M. STISSING, C. N. S. PEDERSEN, T. MAILUND AND G. S. BRODAL Bioinformtis Reserh Center, n Dept. of Computer Siene, University

More information

Logarithms. Logarithm is another word for an index or power. POWER. 2 is the power to which the base 10 must be raised to give 100.

Logarithms. Logarithm is another word for an index or power. POWER. 2 is the power to which the base 10 must be raised to give 100. Logrithms. Logrithm is nother word for n inde or power. THIS IS A POWER STATEMENT BASE POWER FOR EXAMPLE : We lred know tht; = NUMBER 10² = 100 This is the POWER Sttement OR 2 is the power to which the

More information

ECE Microwave Engineering

ECE Microwave Engineering ECE 5317-6351 Mirowve Engineering Apte from notes Prof. Jeffer T. Willims Fll 18 Prof. Dvi R. Jkson Dept. of ECE Notes 1 Wveguiing Strutures Prt 5: Coil Cle 1 TEM Solution Proess A) Solve Lple s eqution

More information

approaches as n becomes larger and larger. Since e > 1, the graph of the natural exponential function is as below

approaches as n becomes larger and larger. Since e > 1, the graph of the natural exponential function is as below . Eponentil nd rithmic functions.1 Eponentil Functions A function of the form f() =, > 0, 1 is clled n eponentil function. Its domin is the set of ll rel f ( 1) numbers. For n eponentil function f we hve.

More information

Lecture 6: Coding theory

Lecture 6: Coding theory Leture 6: Coing theory Biology 429 Crl Bergstrom Ferury 4, 2008 Soures: This leture loosely follows Cover n Thoms Chpter 5 n Yeung Chpter 3. As usul, some of the text n equtions re tken iretly from those

More information

Lesson 4.1 Triangle Sum Conjecture

Lesson 4.1 Triangle Sum Conjecture Lesson 4.1 ringle um onjeture me eriod te n erises 1 9, determine the ngle mesures. 1. p, q 2., 3., 31 82 p 98 q 28 53 17 79 23 50 4. r, s, 5., 6. t t s r 100 85 100 30 4 7 31 7. s 8. m 9. m s 76 35 m

More information

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives

Properties of Integrals, Indefinite Integrals. Goals: Definition of the Definite Integral Integral Calculations using Antiderivatives Block #6: Properties of Integrls, Indefinite Integrls Gols: Definition of the Definite Integrl Integrl Clcultions using Antiderivtives Properties of Integrls The Indefinite Integrl 1 Riemnn Sums - 1 Riemnn

More information

Matrix- System of rows and columns each position in a matrix has a purpose. 5 Ex: 5. Ex:

Matrix- System of rows and columns each position in a matrix has a purpose. 5 Ex: 5. Ex: Mtries Prelulus Mtri- Sstem of rows n olumns eh position in mtri hs purpose. Element- Eh vlue in the mtri mens the element in the n row, r olumn Dimensions- How mn rows b number of olumns Ientif the element:

More information