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
|
|
- Joanna Thompson
- 5 years ago
- Views:
Transcription
1 Inin Institute of Informtion Tehnology Design n Mnufturing, Knheepurm, Chenni 00, Ini An Autonomous Institute uner MHRD, Govt of Ini COM 0T Design n Anlysis of Algorithms -Leture Notes Instrutor N.Sgopn Sribe: Dhnlkshmi S Grph Algorithms Objetive: In this moule, we shll introue grphs whih re powerful moel for moelling ombintoril problems in omputing. We lso isuss grph trversls, nmely, Breth First Serh (BFS) n Depth First Serh (DFS) n their pplitions. Preliminries Definition (Grph) A grph G is pir G = (V (G), E(G)) onsisting of finite set V (G) n set E(G) of two-element subsets of V (G). The elements of V (G) re lle verties of G. An element e = {, b} of E(G) is lle n ege of G with en verties n b. Vertex set = {,b,, } Ege set = { {,}, {b,}, {,}, {b,}} b Figure : An exmple for simple grph Note tht, grph is non-liner t struture. A grph is si to be simple if it hs no multiple eges between ny two verties n no self loops (n ege from vertex to itself). Throughout this leture, we will look t only finite n simple grphs. Definition (Subgrph) Let G be finite simple grph. A grph H is si to be subgrph of G if V (H) V (G) n E(H) E(G). The grph H is si to be n inue subgrph of G if V (H) V (G) n for every pir of verties u n v, {u, v} E(H) if n only if {u, v} E(G). e e e f f f b Grph G Subgrph of G Inue Subgrph of G Figure : A grph G, sub grph of G on the vertex set {,,, e, f} n n inue grph on the vertex set {,,, e, f}
2 x y z b Figure : An exmple for onnete grph Definition (Connete Grph) Two verties u n v of grph G re si to be onnete if there exists pth from u to v in G. A grph G is si to be onnete if every pir of its verties re onnete. Definition (Disonnete Grph) A grph G whih is not onnete is si to be isonnete. b Figure : An exmple for isonnete grph. The grph hs two onnete omponents, one is grph inue on the vertex set {, b, } n the other is {} Definition (Neighborhoo of vertex) The Neighborhoo of vertex v in grph G is the set N(u) onsisting of ll verties u whih re jent to v. For exmple, the neighborhoo of the vertex in Fig.. is N() = {, b}. Definition (Ayli Grph) A grph tht ontins no yles is lle yli grph. Definition (Tree) A onnete yli grph is lle tree. It is spnning tree of grph G if it spns G (tht is, it inlues every vertex of G) n is sub-grph of G (every ege in the tree belongs to G). In tree, we n fin only one pth for every pir of its verties. Tree is non-liner t struture. Definition (Biprtite Grph) A grph G is lle bigrph or biprtite grph if V n be prtitione into two isjoint subsets V n V suh tht every line of G joins point of V to point of V. (V, V ) is lle biprtition of G.. Breth First Serh(BFS) Algorithm
3 b e b e g g f f Grph G Tree T Figure : An exmple for grph n its orresponing spnning tree Algorithm BFS Spnning tree lgorithm(g) Input: A Grph G = (V, E) Output: Spnning Tree T of grph G Step : Let i = 0. Step : Strt with ny vertex v in G. T initilly ontins v t level 0; i = i +. Mrk v s visite. Step : Fin the neighbors of v n them in the next level (level ) in T. Mrk them s visite. Step : Fin the unvisite neighbors for eh vertex in level i n it in level i +. Mrk the explore verties. Step : Inrement i. Repet step until there re no neighbors to visit. Grph G BFS Tree T 0 0 Figure : An exmple for the onstrution of BFS tree Time omplexity: O(n) effort is spent in initilizing the boolen rry to keep trk of whih noe is visite/unvisite. As prt of BFS proeure, eh ege is visite t most one, therefore, the totl time is O(n + m), where n verties n m eges of grph G. E(G) enotes the eges in grph G, E(T ) enotes the eges in the BFS tree T of G. The set E n = E(G)\E(T ) enotes the set of non-tree eges i.e., the eges whih re in the grph G but not in the tree T. Definition A non-tree (missing) ege, {u, v} E(G)\E(T ) is si to be :
4 Cross ege if u L i n v L i (i.e., both the verties re in sme level). Let E enotes the set of ll ross eges in T. Slnting ege if u L i n v L j, j = i + or j = i (i.e., both the verties re in jent levels). Let E s enotes the set of ll ross eges in T. Remrk: Note tht, j nnot be greter thn i + or less thn i... Applitions of BFS Test for Conneteness: Problem: Given grph G, fin whether the given grph is onnete or not? Solution using BFS: Cll BFS lgorithm one, if V (G) = V (T ), then G is onnete n if V (G) V (T ), then G is isonnete, where T is the BFS tree onstrute in the first ll to BFS lgorithm. i.e., if number of lls to BFS is greter thn one, then G is isonnete n the number of lls to BFS gives the number of isonnete omponents. Test for yliity: Problem : Given onnete grph G, fin whether G ontins yle or not? Solution using BFS: Run BFS(G). If E n =, then G is yli. Otherwise G ontins t lest one yle. Problem : Given grph G, fin whether G ontins yle or not? Solution using BFS: Run BFS for eh onnete omponent of G n hek if E n = for ll suh omponents, if so, then G is yli. Otherwise G ontins t lest one yle. Problem : Given grph G, fin whether G is tree or not? Solution using BFS: Do test for onneteness n test for yliity. If G is onnete n yli, then G is tree. Test for existene of C : Problem: Given grph G, fin whether G ontins C or not? Solution using BFS: Run BFS(G) n ollet ll non-tree eges, E n. For ll, e = {u, v} E n, hek whether the shortest pth between u n v in G = G\e is two (i.e., hek for ommon neighbor in the sme level of u or in the jent levels of u), if so, G ontins C. This hek n be one in O(m) O(n + m) time, s for every non-tree ege (O(m)), onstrution of BFS for shortest pth omputtion tkes O(n + m) time. Approh : For every ege {u, v} E(G), hek whether N G (u) N G (v) or not. If it is empty, then G oes not ontin C. Otherwise, G hs t lest one C. Time omplexity: In jeny mtrix of G, o Boolen AND for the two rows orresponing to the en verties of ross ege n sn for the existene of in tht, this tkes O(n) time n we o this for ll eges in G, O(m). Thus, this lgorithm tkes O(nm) time. Test for existene of o yles: Problem: Given grph G, fin whether G ontins n o yle, yle of length k +, k, or not? Solution using BFS: The existene of ross eges in T (E ) implies the existene of o yles in G. Let e = {u, v} be n ross ege in T n let x be the ommon prent of u n v. It is ler tht, the length of P xu (Pth from x to u in T ) is equl to the length of P xv. Thus, P xu n P xv forms n o yle together with e. The onverse of this sttement: The existene of o yles in G implies the existene of ross eges in T (E ) is lso true.
5 Test for existene of C : Problem: Given grph G, fin whether G ontins C or not? Solution using BFS: Run BFS(G) n let E n enote the set of non-tree eges. For eh e = {u, v} E n, onstrut two sets A = N G (u)\n G (v) n B = N G (v)\n G (u), where G = G\e. Now, for every element x in A, hek whether it hs neighbor y in B or not. If it hs neighbor then the set {u, x, y, v} form C. Time omplexity: Number of non-tree eges is O(m), number of elements in A is O(n) n in B is O(n). Thus, this pproh tkes O(mn ) time. Existene of even yles through slnting eges: Problem: Given grph G, fin whether G ontins n even yle, yle of length k +, k, or not? Solution using BFS: The existene of slnting eges in T (E s ) implies the existene of even yles in G. Let e = {u, v} be slnting ege in T n let x be the ommon prent of u n v. It is ler tht, the length of P xu (Pth from x to u in T ) is equl to the length of P xv + or the length of P xv (Pth from x to u in T ) is equl to the length of P xu +. Thus, P xu n P xv forms n even yle together with e. The onverse of this sttement if flse. i.e., onsier omplete grph on four verties, onsier the BFS tree with respet to vertex, in the tree there is n even yle using four ross eges. Test for Biprtiteness: Problem: Given grph G, fin whether G is biprtite grph or not? Trivil Algorithm: Prtition the vertex set V of G into two sets with ifferent ombintions n hek for the biprtiteness for eh ombintion. Time omplexity of this lgorithm = n+nc +...+nc n/ = O( n ). Algorithm using BFS: Mrk the non-tree (missing) eges using otte lines in the BFS tree T. Deompose E n into E n E s. We know tht, grph is biprtite if n only if it is o yle free. By using the ft in test for o yles: we n onlue tht, if E =, then G is biprtite. Test for -olorbility: Problem: Given grph G, hek whether n we olor the verties of grph G using two olors suh tht no two jent verties hve the sme olor. Solution using BFS: Testing whether grph is -olorble or not is equivlent to testing whether grph is biprtite or not. Shortest pth omputtion: Problem: Given grph G n two verties u n v, fin the shortest pth between u n v. Solution using BFS: Run BFS(G) by hving strting vertex s u. Sine, T=BFS(G) is tree, there exist only one pth from u to v n tht pth is the shortest pth from u to v. This tkes O(n + m) time. All pirs Shortest pth problem: Problem: Given grph G, fin the shortest pth between ll pirs of verties in G. Solution using BFS: For every vertex v V (G), Run BFS(G) by hving strting vertex s v. For eh BFS tree T, print the pth from v to x for ll x in T. This tkes O(n(n + m)) time. Remrks: If E = then G is biprtite.
6 If E then G is not biprtite. If E = n E s = then the given grph G is tree (biprtite). The exmple given below hs n even yle, however, E s =.. Depth First Serh(DFS) Algorithm Algorithm DFS Spnning tree lgorithm(g) Input: A Grph G = (V, E) Output: Spnning Tree T of grph G Step : Let i = 0. Step : Strt with ny vertex v in G. A v in level i of T ; i = i +. Mrk v s visite. Step : Fin neighbor of v n it in the next level of the tree T. Step : For vertex v in level i, fin unvisite neighbor w n w in level i +. Mrk w s visite. Step : When there is no w to visit, bktrk to v n explore the other neighbors reursively.
7 Grph G DFS Tree T 0 0 Figure : An exmple for the onstrution of DFS Time omplexity: Sine eh ege is visite t most twie: one uring DFS ll n the other visit is uring bk trking, the effort is O(n + m), where n represents the number of verties n m represents the number of eges of grph G. Note: Here the non-tree eges re lle s bk eges... Applitions of DFS Test for Conneteness: Problem: Given grph G, fin whether the given grph is onnete or not? Solution using DFS: Cll DFS lgorithm one, if V (G) = V (T ), then G is onnete n if V (G) V (T ), then G is isonnete, where T is the DFS tree onstrute in the first ll for DFS lgorithm. i.e., if number of lls to DFS is greter thn one, then G is isonnete. Test for yliity: Problem : Given onnete grph G, fin whether G ontins yle or not? Solution using DFS: Run DFS(G). If there is no bk ege, then G is yli. Otherwise G ontins t lest one yle. Problem : Given grph G, fin whether G ontins yle or not? Solution using DFS: Run DFS for eh onnete omponent of G n hek if the number of bk eges is equl to zero for ll suh omponents, if so, then G is yli. Otherwise G ontins t lest one yle. Problem : Given grph G, fin whether G is tree or not? Solution using DFS: Do test for onneteness n test for yliity. If G is onnete n yli, then G is tree.
8 Determine the number of onnete omponents: Problem: Given grph G, fin the number of onnete omponents in G. Solution using DFS: Run DFS until V (G) = V (T ). The number of lls to DFS etermines the number of onnete omponents in G. Definition 0 (Artiultion Point/Critil noe) Let G be onnete grph. A vertex v V (G) is si to be n rtiultion point if the removl of the vertex v from G results in isonnete grph. Definition (Brige/Critil link) Let G be onnete grph. brige if removl of the ege e from G results in isonnete grph. A ege e E(G) is si to be 0 Figure : Artiultion Points: vertex, vertex, vertex, vertex n vertex ; Briges: {,}, {,}, {,0}, {,} n {,}. Note: - If network oes not ontin brige n n rtiultion point then it is onsiere goo network s it n tolerte single noe or single ege filure. - If G is -onnete then it n tolerte single noe filures but not -noe filures - It is not neessry tht existene of rtiultion point implies the existene of briges. - In ny brige, tlest one en-point is n rtiultion point. - The upper boun for the number of rtiultion points in onnete grph G with n verties is n. - The upper boun for the number of briges in onnete grph G with n verties is n. Test for existene of n rtiultion point: Problem: Given grph G, fin the rtiultion points in G. Approh : For every vertex v V (G), run DF S(G = G\{v}), if the number of onnete omponents is greter thn one, then the vertex v is n rtiultion point. This pproh tkes O(n(n + m)) = O(nm) time.
9 Approh : The vertex w in DFS tree T is si to be n rtiultion point if there is no bk ege from the esennt verties of w to the nestor verties of w. The root noe of T is n rtiultion point if egree of the root noe in DFS tree is greter thn or equl to two. This n be one using the following lgorithm: Algorithm To ompute Artiultion point Input: DFS tree T of Grph G = (V, E) n vertex u. Output: Whether the vertex u is n rtiultion point or not. Step : Visit the verties of T in post-orer trversl n ompute L(u) = min{fn(u), min{l(w) w is hil of u}, min{fn(w) (u, w) is bk ege}} Step : If u is root in T with egree then u is n rtiultion point. Step :If u is not root in T then u is n rtiultion point iff u hs hil w suh tht L(w) fn(u) Remrk: Wht oes for vertex v, for ll hil w i, L(w i ) fn(v) men? It mens tht, there oes not exist bk ege from ny esennt of v to ny nestor of v. Moreover, to hek whether vertex v is n rtiultion point or not, it is enough to hek whether there exist hil for v whose esennts o not hve bk ege to ny nestor of v. Time Complexity to list ll APs: O(n + m) [ O(n + m) for DFS Tree + O(n) for post orer trversl + O(n) for heking whether it is A.P ] Exmple : Grph G DFS Tree Vertex fn L - Vlues for the tree T: L() = min{,, } = L() = min{0,, } = 0 L() = min{, 0, } = L(0) = min{,, } =
10 L() = min{,, } = L() = min{, min{, }, } = L() = min{,, } = L() = min{,, } = L() = min{,, } = L() = min{,, } = L() = min{,, } = L() = min{, min{,, }, } = By Algorithm, for the exmple given, rtiultion points re,,. Query : v is n rtiultion point if there exist t lest one hil of v, sy w, suh tht L(v) L(w)? Counter exmple: In the exmple, given bove, for the vertex 0, there exist hil suh tht L() = L(0) =, but 0 is not n rtiultion point. Query : v is n rtiultion point if there exist t lest one hil of v, sy w, suh tht fn(v) L(w)? Counter exmple: In the exmple, given bove, for vertex, there exist hil 0 suh tht fn() = > L(0) =, but is not n rtiultion point. Test for the existene of brige: Problem: Given grph G, fin the briges in G. Approh : For every ege e E(G), run DF S(G = G\e), if the number of onnete omponents is greter thn one, then the ege e is brige. This pproh tkes O(m(n+m)) = O(m ) time. Approh : The ege {u, v} in DFS tree is si to be brige if there is no bk ege from the esennt verties of v to u or to the nestor verties of u. This n be one using the following lgorithm: By Algorithm, for the exmple given, the briges re {,}, {,}, {,}, {,}. Algorithm To ompute Briges Input: DFS tree T of Grph G=(V,E) n n ege (u, v). Output: Whether the ege (u, v) is brige or not. Step : Visit T in post-orer trversl n ompute, L(u) = min{fn(u), min{l(w) w, is hil ofu}, min{fn(w) (u, w)is bk ege}} Step : (u, v) is brige if fn(u) < fn(v) n L(v) > fn(u). Query : the ege {u, v} is brige if (i) {u, v} is tree ege (ii) f n(u) < f n(v) n (iii) L(v) = fn(v)? 0
11 Sine the bove onition respets the efinition of brige, n in prtiulr, onition (iii) ensures there is no bk ege from ny esennt of v to u or the nestor of u, the bove hek inee works. Query : the ege {u, v} is brige if there exist hil w for v suh tht L(w) L(v)? Counter exmple: Consier the Exmple : Tke n ege {0, }, there exist hil for suh tht L() = 0 > L() =, but {0, } is not brige. Definition (Bionnete Components) A mximl onnete omponents of grph G without ny rtiultion point. Grph G Bionnete omponents of G Determine the bionnete omponents: Problem: Given grph G, fin ll the bionnete omponents of the grph G. Algorithm Bionnete Components Input: Grph G = (V, E) Output: Bionnete Components. Step : Ientify ny one rtiultion point. Step : Remove tht point from the grph. We will get olletion of onnete grphs G Step : A bk the rtiultion point to ll the onnete omponents. Step : The onnete omponents whih hs no rtiultion point re bionnete. For the omponents whih hs rtiultion point, repet the bove proess.. Strongly Connete Components in irete grph G A strongly onnete omponent C in irete grph G hs the property tht for ll u, v in C, there exists u v irete pth n v u irete pth. Problem: Given irete grph G, fin ll of its strongly onnete omponents.
12 Algorithm Strongly Connete Components (SCC) Input: Direte Grph G Output: Strongly Connete Components of G. Step : Run DFS(G) n ompute the finish time for ll verties. Step : Fin G T n sort the vertex set of G in eresing orer bse on its finish time. Step : Run DF S(G T ) from the vertex whih hs mximum finish time. Do this step repetely until ll the verties in G T re visite t lest one (this gives you the olletion of SCC). Step : Eh forest in DF S(G T ) is SCC. (,0) Grph G 0 (,) (,) (,) (,) (,0) (,) (,) DFS(G) (,) The seon o-orinte of the re olor orere pir enotes the finish time of the orresponing vertex n the first o-orinte enotes the fs number 0 (,) Grph G^T 0 Step : Run DFS from the vertex, whih hs the high finish time. No further vertex to visit. Thus, {} is strongly onnete omponent Step : Run DFS from the vertex, whih hs the next high finish time. The grph inue on the vertex set {,,} forms strongly onnete omponent Step : Run DFS from the vertex, whih hs the next high finish time. The grph inue on the vertex set {,,,0} forms strongly onnete omponent 0 Step : Run DFS from the vertex, whih hs the next high finish time. No further vertex to visit. Thus, {} is strongly onnete omponent Step : Run DFS from the vertex, whih hs the next high finish time. No further vertex to visit. Thus, {} is strongly onnete omponent
13 . Topologil Sorting Problem: How long oes it tke to omplete B.Teh progrmme? Desription: Every B.Teh stuent in IIITD&M hs to omplete the set of ourses in the urriulum to get their egree ertifite. If you re given hne to o s mny ourses s possible in semester with onstrint: some ourses hs pre-requisite ourse, whih hs to be omplete in the previous semesters, wht is the minimum number of semesters to omplete ll ourses? (The question mximum is invli beuse one n o one ourse in semester to reh the mximum number) Strtegy : Construt pre-requisite grph on ourses. i.e., onstrut grph with verties (eh vertex orrespons to ourse) n n irete ege (u, v) E(G) if the ourse u is the pre-requisite for the ourse v. Now, remove the verties of in-egree zero n the orresponing ourses in semester. Repet this proess until you hve visite ll the verties in the grph G, to get the minimum number of semesters. An exmple is illustrte below: Verties with in-egree zero = {} Semester = {} Verties with in-egree zero = {,} Semester = {,} A pre-requisite grph G for eight ourses Verties with in-egree zero = {,} Semester = {,} Verties with in-egree zero = {} Semester = {} Verties with in-egree zero = {} Semester = {} Verties with in-egree zero = {} Semester = {} The minimum number of require semesters is Strtegy : Run DFS n ompute the height for eh forest in the DFS. Pik the mximum height. This strtegy fils beuse of the following ounter exmple:
14 DFS(G) A pre-requisite grph G for eight ourses Figure : Course hs to be one before the ourse, whih is ontrition s ourse is pre-requisite ourse for ourse Aknowlegements: Leture ontents presente in this moule n subsequent moules re bse on the following text books n most importntly, uthor hs gretly lernt from letures by lgorithm exponents ffilite to IIT Mrs/IMS; Prof C. Pnu Rngn, Prof N.S.Nrynswmy, Prof Venktesh Rmn, n Prof Anurg Mittl. Author sinerely knowleges ll of them. Speil thnks to Tehing Assistnts Mr.Renjith.P n Ms.Dhnlkshmi.S for their sinere n eite effort n mking this sribe possible. Author hs benefite lot by tehing this ourse to senior unergrute stuents n junior unergrute stuents who hve lso ontribute to this sribe in mny wys. Author sinerely thnk ll of them. Referenes:. E.Horowitz, S.Shni, S.Rjsekrn, Funmentls of Computer Algorithms, Glgoti Publitions.. T.H. Cormen, C.E. Leiserson, R.L.Rivest, C.Stein, Introution to Algorithms, PHI.. Sr Bse, A.V.Geler, Computer Algorithms, Person.
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 informationCIT 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 informationCounting 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 informationSolutions 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 informationGraph 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 information18.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 informationCS 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 informationConnectivity in Graphs. CS311H: Discrete Mathematics. Graph Theory II. Example. Paths. Connectedness. Example
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
More informationLecture 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 informationLogic, Set Theory and Computability [M. Coppenbarger]
14 Orer (Hnout) Definition 7-11: A reltion is qusi-orering (or preorer) if it is reflexive n trnsitive. A quisi-orering tht is symmetri is n equivlene reltion. A qusi-orering tht is nti-symmetri is n orer
More informationCSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4
Am Blnk Leture 13 Winter 2016 CSE 332 CSE 332: Dt Astrtions Sorting Dt Astrtions QuikSort Cutoff 1 Where We Are 2 For smll n, the reursion is wste. The onstnts on quik/merge sort re higher thn the ones
More informationGlobal 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 information22: 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 informationThe vertex leafage of chordal graphs
The vertex lefge of horl grphs Steven Chplik, Jurj Stho b Deprtment of Physis n Computer Siene, Wilfri Lurier University, 75 University Ave. West, Wterloo, Ontrio N2L 3C5, Cn b DIMAP n Mthemtis Institute,
More informationLecture 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 informationOn a Class of Planar Graphs with Straight-Line Grid Drawings on Linear Area
Journl of Grph Algorithms n Applitions http://jg.info/ vol. 13, no. 2, pp. 153 177 (2009) On Clss of Plnr Grphs with Stright-Line Gri Drwings on Liner Are M. Rezul Krim 1,2 M. Siur Rhmn 1 1 Deprtment of
More informationI 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 information1 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 informationLecture 2: Cayley Graphs
Mth 137B Professor: Pri Brtlett Leture 2: Cyley Grphs Week 3 UCSB 2014 (Relevnt soure mteril: Setion VIII.1 of Bollos s Moern Grph Theory; 3.7 of Gosil n Royle s Algeri Grph Theory; vrious ppers I ve re
More informationAlgorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:
Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer
More informationarxiv: v2 [math.co] 31 Oct 2016
On exlue minors of onnetivity 2 for the lss of frme mtrois rxiv:1502.06896v2 [mth.co] 31 Ot 2016 Mtt DeVos Dryl Funk Irene Pivotto Astrt We investigte the set of exlue minors of onnetivity 2 for the lss
More informationNecessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )
Neessry n suient onitions for some two vrile orthogonl esigns in orer 44 C. Koukouvinos, M. Mitrouli y, n Jennifer Seerry z Deite to Professor Anne Penfol Street Astrt We give new lgorithm whih llows us
More informationV={A,B,C,D,E} E={ (A,D),(A,E),(B,D), (B,E),(C,D),(C,E)}
Introution Computr Sin & Enginring 423/823 Dsign n Anlysis of Algorithms Ltur 03 Elmntry Grph Algorithms (Chptr 22) Stphn Sott (Apt from Vinohnrn N. Vriym) I Grphs r strt t typs tht r pplil to numrous
More informationSolutions 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 informationCS 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 informationCS 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 informationXML 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 informationLecture 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 informationChapter 4 State-Space Planning
Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different
More informationPart 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 informationMaximum 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 informationV={A,B,C,D,E} E={ (A,D),(A,E),(B,D), (B,E),(C,D),(C,E)}
s s of s Computr Sin & Enginring 423/823 Dsign n Anlysis of Ltur 03 (Chptr 22) Stphn Sott (Apt from Vinohnrn N. Vriym) s of s s r strt t typs tht r pplil to numrous prolms Cn ptur ntitis, rltionships twn
More informationCommon intervals of genomes. Mathieu Raffinot CNRS LIAFA
Common intervls of genomes Mthieu Rffinot CNRS LIF Context: omprtive genomis. set of genomes prtilly/totlly nnotte Informtive group of genes or omins? Ex: COG tse Mny iffiulties! iology Wht re two similr
More informationSurds 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 informationCS311 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 informationImplication 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 informationPOSITIVE IMPLICATIVE AND ASSOCIATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS
Bull. Koren Mth. So. 35 (998), No., pp. 53 6 POSITIVE IMPLICATIVE AND ASSOCIATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS YOUNG BAE JUN*, YANG XU AND KEYUN QIN ABSTRACT. We introue the onepts of positive
More informationVidyalankar S.E. Sem. III [CMPN] Discrete Structures Prelim Question Paper Solution
S.E. Sem. III [CMPN] Discrete Structures Prelim Question Pper Solution 1. () (i) Disjoint set wo sets re si to be isjoint if they hve no elements in common. Exmple : A = {0, 4, 7, 9} n B = {3, 17, 15}
More informationLecture 8: Abstract Algebra
Mth 94 Professor: Pri Brtlett Leture 8: Astrt Alger Week 8 UCSB 2015 This is the eighth week of the Mthemtis Sujet Test GRE prep ourse; here, we run very rough-n-tumle review of strt lger! As lwys, this
More informationThe master ring problem
2005 Interntionl Conferene on Anlysis of Algorithms DMTCS pro. AD, 2005, 287 296 The mster ring problem Hs Shhni 1 n Lis Zhng 2 1 Computer Siene Dept., Tehnion, Hif 32000, Isrel. 2 Bell Lbs, Luent Tehnologies,
More informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationLaboratory for Foundations of Computer Science. An Unfolding Approach. University of Edinburgh. Model Checking. Javier Esparza
An Unfoling Approh to Moel Cheking Jvier Esprz Lbortory for Fountions of Computer Siene University of Einburgh Conurrent progrms Progrm: tuple P T 1 T n of finite lbelle trnsition systems T i A i S i i
More informationMonochromatic 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 informationWelcome. 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 informationCS261: A Second Course in Algorithms Lecture #5: Minimum-Cost Bipartite Matching
CS261: A Seon Course in Algorithms Leture #5: Minimum-Cost Biprtite Mthing Tim Roughgren Jnury 19, 2016 1 Preliminries Figure 1: Exmple of iprtite grph. The eges {, } n {, } onstitute mthing. Lst leture
More informationTotal score: /100 points
Points misse: Stuent's Nme: Totl sore: /100 points Est Tennessee Stte University Deprtment of Computer n Informtion Sienes CSCI 2710 (Trnoff) Disrete Strutures TEST 2 for Fll Semester, 2004 Re this efore
More informationCompression of Palindromes and Regularity.
Compression of Plinromes n Regulrity. Kyoko Shikishim-Tsuji Center for Lierl Arts Eution n Reserh Tenri University 1 Introution In [1], property of likstrem t t view of tse is isusse n it is shown tht
More informationCSC2542 State-Space Planning
CSC2542 Stte-Spe Plnning Sheil MIlrith Deprtment of Computer Siene University of Toronto Fll 2010 1 Aknowlegements Some the slies use in this ourse re moifitions of Dn Nu s leture slies for the textook
More informationSection 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 informationBisimulation, Games & Hennessy Milner logic
Bisimultion, Gmes & Hennessy Milner logi Leture 1 of Modelli Mtemtii dei Proessi Conorrenti Pweł Soboiński Univeristy of Southmpton, UK Bisimultion, Gmes & Hennessy Milner logi p.1/32 Clssil lnguge theory
More informationDiscrete 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 informationF / x everywhere in some domain containing R. Then, + ). (10.4.1)
0.4 Green's theorem in the plne Double integrls over plne region my be trnsforme into line integrls over the bounry of the region n onversely. This is of prtil interest beuse it my simplify the evlution
More informationFactorising 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 informationXML and Databases. Outline. 1. Top-Down Evaluation of Simple Paths. 1. Top-Down Evaluation of Simple Paths. 1. Top-Down Evaluation of Simple Paths
Outline Leture Effiient XPth Evlution XML n Dtses. Top-Down Evlution of simple pths. Noe Sets only: Core XPth. Bottom-Up Evlution of Core XPth. Polynomil Time Evlution of Full XPth Sestin Mneth NICTA n
More informationData 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 informationThe DOACROSS statement
The DOACROSS sttement Is prllel loop similr to DOALL, ut it llows prouer-onsumer type of synhroniztion. Synhroniztion is llowe from lower to higher itertions sine it is ssume tht lower itertions re selete
More informationOn the Spectra of Bipartite Directed Subgraphs of K 4
On the Spetr of Biprtite Direte Sugrphs of K 4 R. C. Bunge, 1 S. I. El-Znti, 1, H. J. Fry, 1 K. S. Kruss, 2 D. P. Roerts, 3 C. A. Sullivn, 4 A. A. Unsiker, 5 N. E. Witt 6 1 Illinois Stte University, Norml,
More informationCS 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 informationarxiv: v1 [cs.cg] 28 Apr 2009
Orienttion-Constrine Retngulr Lyouts Dvi Eppstein 1 n Elen Mumfor 2 1 Deprtment of Computer Siene, University of Cliforni, Irvine, USA 2 Deprtment of Mthemtis n Computer Siene, TU Einhoven, The Netherlns
More informationSeparable discrete functions: recognition and sufficient conditions
Seprle isrete funtions: reognition n suffiient onitions Enre Boros Onřej Čepek Vlimir Gurvih Novemer 21, 217 rxiv:1711.6772v1 [mth.co] 17 Nov 217 Astrt A isrete funtion of n vriles is mpping g : X 1...
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.
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 informationLecture 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 informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More informationLinear 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 informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationEigenvectors and Eigenvalues
MTB 050 1 ORIGIN 1 Eigenvets n Eigenvlues This wksheet esries the lger use to lulte "prinipl" "hrteristi" iretions lle Eigenvets n the "prinipl" "hrteristi" vlues lle Eigenvlues ssoite with these iretions.
More informationLesson 2.1 Inductive Reasoning
Lesson 2.1 Inutive Resoning Nme Perio Dte For Eerises 1 7, use inutive resoning to fin the net two terms in eh sequene. 1. 4, 8, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,
More informationSlope Lengths for 2-Bridge Parent Manifolds. Martin D. Bobb
Cliorni Stte University, Sn Bernrino Reserh Experiene or Unergrutes Knot Theory Otoer 28, 2013 Hyperoli Knot Complements Hyperoli Knots Deinition A knot or link K is hyperoli i hyperoli metri n e ple on
More informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 5 Supplement Greedy Algorithms Cont d Minimizing lteness Ching (NOT overed in leture) Adm Smith 9/8/10 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov,
More informationSections 5.3: Antiderivatives and the Fundamental Theorem of Calculus Theory:
Setions 5.3: Antierivtives n the Funmentl Theorem of Clulus Theory: Definition. Assume tht y = f(x) is ontinuous funtion on n intervl I. We ll funtion F (x), x I, to be n ntierivtive of f(x) if F (x) =
More informationAlgebra 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 informationFirst 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 informationOutline Data Structures and Algorithms. Data compression. Data compression. Lossy vs. Lossless. Data Compression
5-2 Dt Strutures n Algorithms Dt Compression n Huffmn s Algorithm th Fe 2003 Rjshekr Rey Outline Dt ompression Lossy n lossless Exmples Forml view Coes Definition Fixe length vs. vrile length Huffmn s
More informationParticle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap
Prtile Physis Mihelms Term 2011 Prof Mrk Thomson g X g X g g Hnout 3 : Intertion y Prtile Exhnge n QED Prof. M.A. Thomson Mihelms 2011 101 Rep Working towrs proper lultion of ey n sttering proesses lnitilly
More informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationFinite 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 informationLecture 1 - Introduction and Basic Facts about PDEs
* 18.15 - Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1 - Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV
More information6. 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= state, a = reading and q j
4 Finite Automt CHAPTER 2 Finite Automt (FA) (i) Derterministi Finite Automt (DFA) A DFA, M Q, q,, F, Where, Q = set of sttes (finite) q Q = the strt/initil stte = input lphet (finite) (use only those
More informationExercise 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 informationfor all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx
Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationCOMPUTING 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 informationComputing all-terminal reliability of stochastic networks with Binary Decision Diagrams
Computing ll-terminl reliility of stohsti networks with Binry Deision Digrms Gry Hry 1, Corinne Luet 1, n Nikolos Limnios 2 1 LRIA, FRE 2733, 5 rue u Moulin Neuf 80000 AMIENS emil:(orinne.luet, gry.hry)@u-pirie.fr
More informationIntroduction to Graphical Models
Introution to Grhil Moels Kenji Fukumizu The Institute of Sttistil Mthemtis Comuttionl Methoology in Sttistil Inferene II Introution n Review 2 Grhil Moels Rough Sketh Grhil moels Grh: G V E V: the set
More informationIntermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths
Intermedite Mth Cirles Wednesdy 17 Otoer 01 Geometry II: Side Lengths Lst week we disussed vrious ngle properties. As we progressed through the evening, we proved mny results. This week, we will look t
More informationOn the existence of a cherry-picking sequence
On the existene of herry-piking sequene Jnosh Döker, Simone Linz Deprtment of Computer Siene, University of Tüingen, Germny Deprtment of Computer Siene, University of Aukln, New Zeln Astrt Reently, the
More informationIntroduction to Olympiad Inequalities
Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................
More informationAlgorithm Design and Analysis
Algorithm Design nd Anlysis LECTURE 8 Mx. lteness ont d Optiml Ching Adm Smith 9/12/2008 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov, K. Wyne Sheduling to Minimizing Lteness Minimizing
More informationSOME COPLANAR POINTS IN TETRAHEDRON
Journl of Pure n Applie Mthemtis: Avnes n Applitions Volume 16, Numer 2, 2016, Pges 109-114 Aville t http://sientifivnes.o.in DOI: http://x.oi.org/10.18642/jpm_7100121752 SOME COPLANAR POINTS IN TETRAHEDRON
More informationMcCreight s Suffix Tree Construction Algorithm. Milko Izamski B.Sc. Informatics Instructor: Barbara König
1. Introution MCreight s Suffix Tree Constrution Algorithm Milko Izamski B.S. Informatis Instrutor: Barbara König The main goal of MCreight s algorithm is to buil a suffix tree in linear time. This is
More information, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.
Exerise Genertor polynomils of onvolutionl ode, given in binry form, re g, g j g. ) Sketh the enoding iruit. b) Sketh the stte digrm. ) Find the trnsfer funtion T. d) Wht is the minimum free distne of
More informationMath 225B: Differential Geometry, Homework 6
ath 225B: Differential Geometry, Homework 6 Ian Coley February 13, 214 Problem 8.7. Let ω be a 1-form on a manifol. Suppose that ω = for every lose urve in. Show that ω is exat. We laim that this onition
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 0-04 Exerise - 05-09 Exerise - 09-3 Exerise - 3 4-5 Exerise - 4 6 Answer Key 7-8 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More informationGreen s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e
Green s Theorem. Let be the boundry of the unit squre, y, oriented ounterlokwise, nd let F be the vetor field F, y e y +, 2 y. Find F d r. Solution. Let s write P, y e y + nd Q, y 2 y, so tht F P, Q. Let
More informationGraph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)
Grph Sttes EPIT 2005 Mehdi Mhll (Clgry, Cnd) Simon Perdrix (Grenole, Frne) simon.perdrix@img.fr Grph Stte: Introdution A grph-sed representtion of the entnglement of some (lrge) quntum stte. Verties: quits
More informationGraph 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 informationLesson 2.1 Inductive Reasoning
Lesson 2.1 Inutive Resoning Nme Perio Dte For Eerises 1 7, use inutive resoning to fin the net two terms in eh sequene. 1. 4, 8, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,
More information] dx (3) = [15x] 2 0
Leture 6. Double Integrls nd Volume on etngle Welome to Cl IV!!!! These notes re designed to be redble nd desribe the w I will eplin the mteril in lss. Hopefull the re thorough, but it s good ide to hve
More informationA 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