COMP108 Algorithmic Foundations

Size: px
Start display at page:

Download "COMP108 Algorithmic Foundations"

Transcription

1 Grph Theory Prudene Wong

2 How to Mesure 4L? 3L 5L 3L ontiner & 5L ontiner (without mrk) infinite supply of wter You n pour wter from one ontiner to nother How to mesure 4L of wter?

3 Lerning outomes Ale to tell wht n undireted grph is nd wht direted grph is Know how to represent grph using mtrix nd list Understnd wht Euler iruit is nd le to determine whether suh iruit exists in n undireted grph Ale to pply BFS nd DFS to trverse grph Ale to tell wht tree is 3

4 Grph

5 Grphs introdued in the 18th entury Grph theory n old sujet with mny modern pplitions. An undireted grph G=(V,E) onsists of set of verties V nd set of edges E. Eh edge is n unordered pir of verties. (E.g., {,} & {,} refer to the sme edge.) A direted grph G=(V,E) onsists of Eh edge is n ordered pir of verties. (E.g., (,) refer to n edge from to.) d e f Modeling Feook & Twitter? d e f 5

6 Grphs represent set of interonneted ojets e e f f d d undireted grph direted grph 6

7 Applitions of grphs In omputer siene, grphs re often used to model omputer networks, preedene mong proesses, stte spe of plying hess (AI pplitions) resoure onflits, In other disiplines, grphs re lso used to model the struture of ojets. E.g., iology - evolutionry reltionship hemistry - struture of moleules 7

8 Undireted grphs Undireted grphs: simple grph: t most one edge etween two verties, no self loop (i.e., n edge from vertex to itself). multigrph: llows more thn one edge etween two verties. Reminder: An undireted grph G=(V,E) onsists of set of verties V nd set of edges E. Eh edge is n unordered pir of verties. d e f 8

9 Undireted grphs In n undireted grph G, suppose tht e = {u, v} is n edge of G u nd v re sid to e djent nd lled neighors of eh other. u nd v re lled endpoints of e. e is sid to e inident with u nd v. e is sid to onnet u nd v. u deg(v) = 2 e v w deg(u) = 1 The degree of vertex v, denoted y deg(v), is the numer of edges inident with it ( loop ontriutes twie to the degree); The degree of grph is the mximum degree over ll verties 9

10 Representtion (of undireted grphs) An undireted grph n e represented y djeny mtrix, djeny list, inidene mtrix or inidene list. Adjeny mtrix nd djeny list reord the reltionship etween vertex djeny, i.e., vertex is djent to whih other verties Inidene mtrix nd inidene list reord the reltionship etween edge inidene, i.e., n edge is inident with whih two verties 10

11 Dt Struture - Mtrix Retngulr / 2-dimensionl rry m-y-n mtrix m rows n olumns i,j m-y-n mtrix n olumns 1,1 1,2 1,3 1,n 2,1 2,2 2,3 2,n i,j row i, olumn j m rows 3,1 3,2 3,3 3,n m,1 m,2 m,3 m,n 11

12 Dt Struture - Linked List List of elements (nodes) onneted together like hin Eh node ontins two fields: "dt" field: stores whtever type of elements "next" field: pointer to link this node to the next node in the list Hed / Til hed pointer to the eginning & end of list dt next til 12

13 Dt Struture - Linked List Queue (FIFO: first-in-first-out) Insert element (enqueue) to til Remove element (dequeue) from hed hed til Insert 40 hed til rete newnode of 40; til.next = newnode; til = til.next Remove 10 hed til return whtever hed points to; hed = hed.next 13

14 Adjeny mtrix / list Adjeny mtrix M for simple undireted grph with n verties is n nxn mtrix M(i, j) = 1 if vertex i nd vertex j re djent M(i, j) = 0 otherwise Adjeny list: eh vertex hs list of verties to whih it is djent d e d e d e d e d d d d e e 14

15 Representtion (of undireted grphs) An undireted grph n e represented y djeny mtrix, djeny list, inidene mtrix or inidene list. Adjeny mtrix nd djeny list reord the reltionship etween vertex djeny, i.e., vertex is djent to whih other verties Inidene mtrix nd inidene list reord the reltionship etween edge inidene, i.e., n edge is inident with whih two verties 15

16 Inidene mtrix / list Inidene mtrix M for simple undireted grph with n verties nd m edges is n mxn mtrix M(i, j) = 1 if edge i nd vertex j re inidene M(i, j) = 0 otherwise Inidene list: eh edge hs list of verties to whih it is inident with d 6 e lels of edge re edge numer d e d 3 4 d 5 d 6 d e 7 e 16

17 Exerise Give the djeny mtrix nd inidene mtrix of the following grph d e f d e f lels of edge re edge numer 4 5 d e f d e f 17

18 Direted grph

19 Direted grph Given direted grph G, vertex is sid to e onneted to vertex if there is pth from to. E.g., G represents the routes provided y ertin irline. Tht mens, vertex represents ity nd n edge represents flight from ity to nother ity. Then we my sk question like: Cn we fly from one ity to nother? Reminder: A direted grph G=(V,E) onsists of set of verties V nd set of edges E. Eh edge is n ordered pir of verties. d e E = { (,), (,d), (,e), (,), (,e), (d,e) } N.B. (,) is in E, ut (,) is NOT 19

20 In/Out degree (in direted grphs) The in-degree of vertex v is the numer of edges leding to the vertex v. The out-degree of vertex v is the numer of edges leding wy from the vertex v. d e v in-deg(v) out-deg(v) d 1 1 e 3 0 sum: 6 6 Alwys equl? 20

21 Representtion (of direted grphs) Similr to undireted grph, direted grph n e represented y djeny mtrix, djeny list, inidene mtrix or inidene list. 21

22 Adjeny mtrix / list Adjeny mtrix M for direted grph with n verties is n nxn mtrix M(i, j) = 1 if (i,j) is n edge M(i, j) = 0 otherwise Adjeny list: eh vertex u hs list of verties pointed to y n edge leding wy from u d e d e d e d e d e e e 22

23 Inidene mtrix / list Inidene mtrix M for direted grph with n verties nd m edges is n mxn mtrix M(i, j) = 1 if edge i is leding wy from vertex j M(i, j) = -1 if edge i is leding to vertex j Inidene list: eh edge hs list of two verties (leding wy is 1st nd leding to is 2nd) d 5 4 e d e d e 5 d e 6 e 23

24 Exerise Give the djeny mtrix nd inidene mtrix of the following grph d e f d e f lels of edge re edge numer 5 6 d e f d e f 24

25 Euler iruit

26 Pths, iruits (in undireted grphs) In n undireted grph, pth from vertex u to vertex v is sequene of edges e 1 = {u, x 1 }, e 2 = {x 1, x 2 }, e n = {x n-1, v}, where n 1. The length of this pth is n. Note tht pth from u to v implies pth from v to u. If u = v, this pth is lled iruit (yle). u e 1 e 2 e n v 26

27 Euler iruit A simple iruit visits n edge t most one. An Euler iruit in grph G is iruit visiting every edge of G extly one. (NB. A vertex n e repeted.) Does every grph hs n Euler iruit? d e d e d e d no Euler iruit 27

28 History: In Konigserg, Germny, river rn through the ity nd seven ridges were uilt. The people wondered whether or not one ould go round the ity in wy tht would involve rossing eh ridge extly one. river nks d 6 ridges d no Euler iruit 28

29 How to determine whether there is n Euler iruit in grph? 29

30 A trivil ondition An undireted grph G is sid to e onneted if there is pth etween every pir of verties. If G is not onneted, there is no single iruit to visit ll edges or verties. d e f Even if the grph is onneted, there my e no Euler iruit either. d d e d e 30

31 Neessry nd suffiient ondition Let G e onneted grph. Lemm: G ontins n Euler iruit if nd only if degree of every vertex is even. 31

32 Neessry nd suffiient ondition Let G e onneted grph. Lemm: G ontins n Euler iruit if nd only if degree of every vertex is even. d e f u ed d e f How to find it? u u' ed edfd d e f u u' d e f u'' ed edfd edfefd 32

33 Hmiltonin iruit Let G e n undireted grph. A Hmiltonin iruit is iruit ontining every vertex of G extly one. Note tht Hmiltonin iruit my NOT visit ll edges. Unlike the se of Euler iruits, determining whether grph ontins Hmiltonin iruit is very diffiult prolem. (NP-hrd) 33

34 Bredth First Serh BFS

35 Bredth First Serh (BFS) All verties t distne k from s re explored efore ny verties t distne k+1. The soure is. Order of explortion, d e f g h k 35

36 Bredth First Serh (BFS) All verties t distne k from s re explored efore ny verties t distne k+1. The soure is. Distne 1 from. Order of explortion,, e, d d e f g h k 36

37 Bredth First Serh (BFS) All verties t distne k from s re explored efore ny verties t distne k+1. The soure is. Order of explortion,, e, d,, f, h, g d e f Distne 2 from. g h k 37

38 Bredth First Serh (BFS) All verties t distne k from s re explored efore ny verties t distne k+1. The soure is. Order of explortion,, e, d,, f, h, g, k d e f g h k Distne 3 from. 38

39 In generl (BFS) Explore dist 0 frontier s distne 0 39

40 In generl (BFS) Explore dist 1 frontier s distne 0 distne 1 40

41 In generl (BFS) s distne 0 distne 1 Explore dist 2 frontier distne 2 41

42 Bredth First Serh (BFS) A simple lgorithm for serhing grph. Given G=(V, E), nd distinguished soure vertex s, BFS systemtilly explores the edges of G suh tht ll verties t distne k from s re explored efore ny verties t distne k+1. 42

43 Exerise BFS Apply BFS to the following grph strting from vertex nd list the order of explortion d e f 43

44 Exerise (2) BFS Apply BFS to the following grph strting from vertex nd list the order of explortion e d f g 44

45 BFS Pseudo ode unmrk ll verties hoose some strting vertex s mrk s nd insert s into til of list L while L is nonempty do egin remove vertex v from front of L visit v for eh unmrked neighor w of v do mrk w nd insert w into til of list L end 45

46 BFS using linked list hed til d e f hed e d til g h k hed e d f til,, e, d,, f, h, g, k hed d f til hed f h g til hed f h g til hed h g k til 46 & so on

47 Depth First Serh DFS

48 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion, d e f g h k DFS serhes "deeper" in the grph whenever possile 48

49 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion, serh spe d e f g h k DFS serhes "deeper" in the grph whenever possile 49

50 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. serh spe Order of explortion, d e f g h k DFS serhes "deeper" in the grph whenever possile 50

51 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. serh spe is empty Order of explortion,, d e f g h k DFS serhes "deeper" in the grph whenever possile 51

52 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,, nowhere to go, ktrk d e f g h k serh spe DFS serhes "deeper" in the grph whenever possile 52

53 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f d e f g h k serh spe DFS serhes "deeper" in the grph whenever possile 53

54 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f, k d e f g h k serh spe is empty DFS serhes "deeper" in the grph whenever possile 54

55 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f, k, e d e f serh spe g h k ktrk DFS serhes "deeper" in the grph whenever possile 55

56 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f, k, e ktrk serh spe d e f g h k DFS serhes "deeper" in the grph whenever possile 56

57 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f, k, e, d serh spe d e f g h k DFS serhes "deeper" in the grph whenever possile 57

58 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f, k, e, d, h d e f g h k serh spe is empty DFS serhes "deeper" in the grph whenever possile 58

59 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f, k, e, d, h d e f g h k serh spe ktrk DFS serhes "deeper" in the grph whenever possile 59

60 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. Order of explortion,,, f, k, e, d, h, g d e f g h k serh spe is empty DFS serhes "deeper" in the grph whenever possile 60

61 Depth First Serh (DFS) Edges re explored from the most reently disovered vertex, ktrks when finished The soure is. DONE! Order of explortion,,, f, k, e, d, h, g ktrk d e f g h k DFS serhes "deeper" in the grph whenever possile 61

62 Depth First Serh (DFS) Depth-first serh is nother strtegy for exploring grph; it serh "deeper" in the grph whenever possile. Edges re explored from the most reently disovered vertex v tht still hs unexplored edges leving it. When ll edges of v hve een explored, the serh "ktrks" to explore edges leving the vertex from whih v ws disovered. 62

63 Exerise DFS Apply DFS to the following grph strting from vertex nd list the order of explortion d e f, f, d,,, e?? 63

64 Exerise (2) DFS Apply DFS to the following grph strting from vertex nd list the order of explortion e d f g, e,,?,, f, d,,? 64

65 DFS Pseudo ode (reursive) Algorithm DFS(vertex v) visit v for eh unvisited neighor w of v do egin DFS(w) end 65

66 Dt Struture - Stk Dt orgnised in vertil mnner LIFO: lst-in-first-out Top: top of stk Opertions: push & pop top push: dds new element on top of stk pop: remove the element from top of stk

67 Dt Struture - Stk top Push 40 top top++; stk[top] = newvlue Pop return stk[top]; top-- top Pop return stk[top]; top top 67

68 DFS Pseudo ode (using stk) unmrk ll verties push strting vertex u onto top of stk S while S is nonempty do egin pop vertex v from top of S if (v is unmrked) then egin visit nd mrk v for eh unmrked neighor w of v do push w onto top of S end end 68

69 DFS using Stk d e f g h k top top e d top f e d top f e d top k e d,,, f, k, e, d, h, g top top g top h g top d top e d 69

70 Tree

71 Outline Wht is tree? Wht re sutrees How to trverse inry tree? Pre-order, In-order, Postorder Applition of tree trversl 71

72 Trees An undireted grph G=(V,E) is tree if G is onneted nd yli (i.e., ontins no yles) Other equivlent sttements: 1. There is extly one pth etween ny two verties in G (G is onneted nd yli) 2. G is onneted nd removl of one edge disonnets G (removl of n edge {u,v} disonnets t lest u nd v euse of [1]) 3. G is yli nd dding one edge retes yle (dding n edge {u,v} retes one more pth etween u nd v, yle is formed) 4. G is onneted nd m=n-1 (where V =n, E =m) 72

73 Lemm: P(n): If tree T hs n verties nd m edges, then m=n-1. Proof: By indution on the numer of verties. Bse se: A tree with single vertex does not hve n edge. Indution step: P(n-1) P(n) for n > 1? Remove n edge from the tree T. By [2], T eomes disonneted. Two onneted omponents T 1 nd T 2 re otined, neither ontins yle (the yle is lso present in T otherwise). Therefore, oth T 1 nd T 2 re trees. Let n 1 nd n 2 e the numer of verties in T 1 nd T 2. [n 1 +n 2 = n] By the indution hypothesis, T 1 nd T 2 ontins n 1-1 nd n 2-1 edges. Hene, T ontins (n 1-1) + (n 2-1) + 1 = n-1 edges. 73

74 Rooted trees Tree with hierrhil struture, e.g., diretory struture of file system C:\ Progrm Files My Douments Mirosoft Offie Internet Explorer My Pitures My Musi 74

75 Terminologies root r r is prent of, & ;,, & re hildren of r deg-0: d, k, p, g, q, s (leves) d e f g h k p Topmost vertex is lled the root. q s deg-1:, e, f deg-2:,, h deg-3: r A vertex u my hve some hildren diretly elow it, u is lled the prent of its hildren. Degree of vertex is the no. of hildren it hs. (N.B. it is different from the degree in n unrooted tree.) Degree of tree is the mx. degree of ll verties. Wht is the degree of this tree? A vertex with no hild (degree-0) is lled lef. All others re lled internl verties. 75

76 More terminologies r r d e f g h T 1 T 2 T 3 T 1 k p T 2 T 3 q s three sutrees We n define tree reursively A single vertex is tree. If T 1, T 2,, T k re disjoint trees with roots r 1, r 2,, r k, the grph otined y tthing new vertex r to eh of r 1, r 2,, r k with single edge forms tree T with root r. T 1, T 2,, T k re lled sutrees of T. whih re the roots of the sutrees? 76

77 Binry tree tree of degree t most TWO the two sutrees re lled left sutree nd right sutree (my e empty) r d e f g h k left sutree right sutree There re three ommon wys to trverse inry tree: preorder trversl - vertex, left sutree, right sutree inorder trversl - left sutree, vertex, right sutree postorder trversl - left sutree, right sutree, vertex 77

78 Trversing inry tree r preorder trversl - vertex, left sutree, right sutree r -> -> -> d -> g -> -> e -> f -> h -> k d e f g h k r d e f g 5 7 h 8 k

79 Trversing inry tree r preorder trversl - vertex, left sutree, right sutree r -> -> -> d -> g -> -> e -> f -> h -> k d e f g 2 r 5 h 7 k inorder trversl - left sutree, vertex, right sutree -> -> g -> d -> r -> e -> -> h -> f -> k 1 4 d e f g 3 6 h 9 k

80 Trversing inry tree r preorder trversl - vertex, left sutree, right sutree r -> -> -> d -> g -> -> e -> f -> h -> k d e f 1 g 4 r h 10 3 d e f g 2 5 h 9 k 8 k 6 7 inorder trversl - left sutree, vertex, right sutree -> -> g -> d -> r -> e -> -> h -> f -> k postorder trversl - left sutree, right sutree, vertex -> g -> d -> -> e -> h -> k -> f -> -> r 80

81 Exerise r Give the order of trversl of preorder, inorder, nd postorder trversl of the tree d e f g h k m n preorder: inorder: postorder: 81

82 Binry Serh Tree 60 for vertex with vlue X, left hild hs vlue X & right hild hs vlue > X whih trversl gives numers in sending order? 82

83 Expression Tree * * 3 4 (2+5*4)*3 postorder trversl gives * + 3 * 1. push numers onto stk 2. when opertor is enountered, pop 2 numers, operte on them & push results k to stk 3. repet until the expression is exhusted 83

Lesson 4.4. Euler Circuits and Paths. Explore This

Lesson 4.4. Euler Circuits and Paths. Explore This Lesson 4.4 Euler Ciruits nd Pths Now tht you re fmilir with some of the onepts of grphs nd the wy grphs onvey onnetions nd reltionships, it s time to egin exploring how they n e used to model mny different

More information

Lecture 13: Graphs I: Breadth First Search

Lecture 13: Graphs I: Breadth First Search Leture 13 Grphs I: BFS 6.006 Fll 2011 Leture 13: Grphs I: Bredth First Serh Leture Overview Applitions of Grph Serh Grph Representtions Bredth-First Serh Rell: Grph G = (V, E) V = set of verties (ritrry

More information

12/9/14. CS151 Fall 20124Lecture (almost there) 12/6. Graphs. Seven Bridges of Königsberg. Leonard Euler

12/9/14. CS151 Fall 20124Lecture (almost there) 12/6. Graphs. Seven Bridges of Königsberg. Leonard Euler CS5 Fll 04Leture (lmost there) /6 Seven Bridges of Königserg Grphs Prof. Tny Berger-Wolf Leonrd Euler 707-783 Is it possile to wlk with route tht rosses eh ridge e Seven Bridges of Königserg Forget unimportnt

More information

Lecture 8: Graph-theoretic problems (again)

Lecture 8: Graph-theoretic problems (again) COMP36111: Advned Algorithms I Leture 8: Grph-theoreti prolems (gin) In Prtt-Hrtmnn Room KB2.38: emil: iprtt@s.mn..uk 2017 18 Reding for this leture: Sipser: Chpter 7. A grph is pir G = (V, E), where V

More information

Adjacency. Adjacency Two vertices u and v are adjacent if there is an edge connecting them. This is sometimes written as u v.

Adjacency. Adjacency Two vertices u and v are adjacent if there is an edge connecting them. This is sometimes written as u v. Terminology Adjeny Adjeny Two verties u nd v re djent if there is n edge onneting them. This is sometimes written s u v. v v is djent to nd ut not to. 2 / 27 Neighourhood Neighourhood The open neighourhood

More information

V = set of vertices (vertex / node) E = set of edges (v, w) (v, w in V)

V = set of vertices (vertex / node) E = set of edges (v, w) (v, w in V) Definitions G = (V, E) V = set of verties (vertex / noe) E = set of eges (v, w) (v, w in V) (v, w) orere => irete grph (igrph) (v, w) non-orere => unirete grph igrph: w is jent to v if there is n ege from

More information

10.2 Graph Terminology and Special Types of Graphs

10.2 Graph Terminology and Special Types of Graphs 10.2 Grph Terminology n Speil Types of Grphs Definition 1. Two verties u n v in n unirete grph G re lle jent (or neighors) in G iff u n v re enpoints of n ege e of G. Suh n ege e is lle inient with the

More information

Chapter 9. Greedy Technique. Copyright 2007 Pearson Addison-Wesley. All rights reserved.

Chapter 9. Greedy Technique. Copyright 2007 Pearson Addison-Wesley. All rights reserved. Chpter 9 Greey Tehnique Copyright 2007 Person Aison-Wesley. All rights reserve. Greey Tehnique Construts solution to n optimiztion prolem piee y piee through sequene of hoies tht re: fesile lolly optiml

More information

CS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig

CS311H: Discrete Mathematics. Graph Theory IV. A Non-planar Graph. Regions of a Planar Graph. Euler s Formula. Instructor: Işıl Dillig CS311H: Discrete Mthemtics Grph Theory IV Instructor: Işıl Dillig Instructor: Işıl Dillig, CS311H: Discrete Mthemtics Grph Theory IV 1/25 A Non-plnr Grph Regions of Plnr Grph The plnr representtion of

More information

Ma/CS 6b Class 1: Graph Recap

Ma/CS 6b Class 1: Graph Recap M/CS 6 Clss 1: Grph Recp By Adm Sheffer Course Detils Adm Sheffer. Office hour: Tuesdys 4pm. dmsh@cltech.edu TA: Victor Kstkin. Office hour: Tuesdys 7pm. 1:00 Mondy, Wednesdy, nd Fridy. http://www.mth.cltech.edu/~2014-15/2term/m006/

More information

Paradigm 5. Data Structure. Suffix trees. What is a suffix tree? Suffix tree. Simple applications. Simple applications. Algorithms

Paradigm 5. Data Structure. Suffix trees. What is a suffix tree? Suffix tree. Simple applications. Simple applications. Algorithms Prdigm. Dt Struture Known exmples: link tble, hep, Our leture: suffix tree Will involve mortize method tht will be stressed shortly in this ourse Suffix trees Wht is suffix tree? Simple pplitions History

More information

Problem Final Exam Set 2 Solutions

Problem Final Exam Set 2 Solutions CSE 5 5 Algoritms nd nd Progrms Prolem Finl Exm Set Solutions Jontn Turner Exm - //05 0/8/0. (5 points) Suppose you re implementing grp lgoritm tt uses ep s one of its primry dt strutures. Te lgoritm does

More information

CS 241 Week 4 Tutorial Solutions

CS 241 Week 4 Tutorial Solutions CS 4 Week 4 Tutoril Solutions Writing n Assemler, Prt & Regulr Lnguges Prt Winter 8 Assemling instrutions utomtilly. slt $d, $s, $t. Solution: $d, $s, nd $t ll fit in -it signed integers sine they re 5-it

More information

CMPUT101 Introduction to Computing - Summer 2002

CMPUT101 Introduction to Computing - Summer 2002 CMPUT Introdution to Computing - Summer 22 %XLOGLQJ&RPSXWHU&LUFXLWV Chpter 4.4 3XUSRVH We hve looked t so fr how to uild logi gtes from trnsistors. Next we will look t how to uild iruits from logi gtes,

More information

Greedy Algorithm. Algorithm Fall Semester

Greedy Algorithm. Algorithm Fall Semester Greey Algorithm Algorithm 0 Fll Semester Optimiztion prolems An optimiztion prolem is one in whih you wnt to fin, not just solution, ut the est solution A greey lgorithm sometimes works well for optimiztion

More information

Ma/CS 6b Class 1: Graph Recap

Ma/CS 6b Class 1: Graph Recap M/CS 6 Clss 1: Grph Recp By Adm Sheffer Course Detils Instructor: Adm Sheffer. TA: Cosmin Pohot. 1pm Mondys, Wednesdys, nd Fridys. http://mth.cltech.edu/~2015-16/2term/m006/ Min ook: Introduction to Grph

More information

What are suffix trees?

What are suffix trees? Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl

More information

Lecture 12 : Topological Spaces

Lecture 12 : Topological Spaces Leture 12 : Topologil Spes 1 Topologil Spes Topology generlizes notion of distne nd loseness et. Definition 1.1. A topology on set X is olletion T of susets of X hving the following properties. 1. nd X

More information

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Winter 2016

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Winter 2016 Solving Prolems y Serching CS 486/686: Introduction to Artificil Intelligence Winter 2016 1 Introduction Serch ws one of the first topics studied in AI - Newell nd Simon (1961) Generl Prolem Solver Centrl

More information

2 Computing all Intersections of a Set of Segments Line Segment Intersection

2 Computing all Intersections of a Set of Segments Line Segment Intersection 15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design

More information

10.5 Graphing Quadratic Functions

10.5 Graphing Quadratic Functions 0.5 Grphing Qudrtic Functions Now tht we cn solve qudrtic equtions, we wnt to lern how to grph the function ssocited with the qudrtic eqution. We cll this the qudrtic function. Grphs of Qudrtic Functions

More information

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs. Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online

More information

Final Exam Review F 06 M 236 Be sure to look over all of your tests, as well as over the activities you did in the activity book

Final Exam Review F 06 M 236 Be sure to look over all of your tests, as well as over the activities you did in the activity book inl xm Review 06 M 236 e sure to loo over ll of your tests, s well s over the tivities you did in the tivity oo 1 1. ind the mesures of the numered ngles nd justify your wor. Line j is prllel to line.

More information

Lesson6: Modeling the Web as a graph Unit5: Linear Algebra for graphs

Lesson6: Modeling the Web as a graph Unit5: Linear Algebra for graphs Lesson6: Modeling the We s grph Unit5: Liner Alger for grphs Rene Pikhrdt Introdution to We Siene Prt 2 Emerging We Properties Rene Pikhrdt Institute CC-BY-SA-3. for We Siene nd Tehnologies Modeling the

More information

ΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών

ΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών ΕΠΛ323 - Θωρία και Πρακτική Μταγλωττιστών Lecture 3 Lexicl Anlysis Elis Athnsopoulos elisthn@cs.ucy.c.cy Recognition of Tokens if expressions nd reltionl opertors if è if then è then else è else relop

More information

Convex Hull Algorithms. Convex hull: basic facts

Convex Hull Algorithms. Convex hull: basic facts CG Leture D Conve Hull Algorithms Bsi fts Algorithms: Nïve, Gift wrpping, Grhm sn, Quik hull, Divide-nd-onquer Lower ound 3D Bsi fts Algorithms: Gift wrpping, Divide nd onquer, inrementl Conve hulls in

More information

Containers: Queue and List

Containers: Queue and List Continers: Queue n List Queue A ontiner in whih insertion is one t one en (the til) n eletion is one t the other en (the he). Also lle FIFO (First-In, First-Out) Jori Cortell n Jori Petit Deprtment of

More information

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence

Solving Problems by Searching. CS 486/686: Introduction to Artificial Intelligence Solving Prolems y Serching CS 486/686: Introduction to Artificil Intelligence 1 Introduction Serch ws one of the first topics studied in AI - Newell nd Simon (1961) Generl Prolem Solver Centrl component

More information

Graph theory Route problems

Graph theory Route problems Bhelors thesis Grph theory Route prolems Author: Aolphe Nikwigize Dte: 986 - -5 Sujet: Mthemtis Level: First level (Bhelor) Course oe: MAE Astrt In this thesis we will review some route prolems whih re

More information

CS 551 Computer Graphics. Hidden Surface Elimination. Z-Buffering. Basic idea: Hidden Surface Removal

CS 551 Computer Graphics. Hidden Surface Elimination. Z-Buffering. Basic idea: Hidden Surface Removal CS 55 Computer Grphis Hidden Surfe Removl Hidden Surfe Elimintion Ojet preision lgorithms: determine whih ojets re in front of others Uses the Pinter s lgorithm drw visile surfes from k (frthest) to front

More information

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries

Tries. Yufei Tao KAIST. April 9, Y. Tao, April 9, 2013 Tries Tries Yufei To KAIST April 9, 2013 Y. To, April 9, 2013 Tries In this lecture, we will discuss the following exct mtching prolem on strings. Prolem Let S e set of strings, ech of which hs unique integer

More information

Honors Thesis: Investigating the Algebraic Properties of Cayley Digraphs

Honors Thesis: Investigating the Algebraic Properties of Cayley Digraphs Honors Thesis: Investigting the Algebri Properties of Cyley Digrphs Alexis Byers, Wittenberg University Mthemtis Deprtment April 30, 2014 This pper utilizes Grph Theory to gin insight into the lgebri struture

More information

COMP 423 lecture 11 Jan. 28, 2008

COMP 423 lecture 11 Jan. 28, 2008 COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring

More information

Introduction to Algebra

Introduction to Algebra INTRODUCTORY ALGEBRA Mini-Leture 1.1 Introdution to Alger Evlute lgeri expressions y sustitution. Trnslte phrses to lgeri expressions. 1. Evlute the expressions when =, =, nd = 6. ) d) 5 10. Trnslte eh

More information

Chapter 4 Fuzzy Graph and Relation

Chapter 4 Fuzzy Graph and Relation Chpter 4 Fuzzy Grph nd Reltion Grph nd Fuzzy Grph! Grph n G = (V, E) n V : Set of verties(node or element) n E : Set of edges An edge is pir (x, y) of verties in V.! Fuzzy Grph ~ n ( ~ G = V, E) n V :

More information

Outline. CS38 Introduction to Algorithms. Graphs. Graphs. Graphs. Graph traversals

Outline. CS38 Introduction to Algorithms. Graphs. Graphs. Graphs. Graph traversals Outline CS38 Introution to Algorithms Leture 2 April 3, 2014 grph trversls (BFS, DFS) onnetivity topologil sort strongly onnete omponents heps n hepsort greey lgorithms April 3, 2014 CS38 Leture 2 2 Grphs

More information

Suffix trees, suffix arrays, BWT

Suffix trees, suffix arrays, BWT ALGORITHMES POUR LA BIO-INFORMATIQUE ET LA VISUALISATION COURS 3 Rluc Uricru Suffix trees, suffix rrys, BWT Bsed on: Suffix trees nd suffix rrys presenttion y Him Kpln Suffix trees course y Pco Gomez Liner-Time

More information

Pattern Matching. Pattern Matching. Pattern Matching. Review of Regular Expressions

Pattern Matching. Pattern Matching. Pattern Matching. Review of Regular Expressions Pttern Mthing Pttern Mthing Some of these leture slides hve een dpted from: lgorithms in C, Roert Sedgewik. Gol. Generlize string serhing to inompletely speified ptterns. pplitions. Test if string or its

More information

s 1 t 4 s 2 4 t 2 a b r 2 r 8 r10 g 4

s 1 t 4 s 2 4 t 2 a b r 2 r 8 r10 g 4 k-pirs Non-Crossing Shortest Pths in Simple Polgon Evnthi Ppdopoulou Northwestern Universit, Evnston, Illinois 60208, USA Astrt. This pper presents n O(n + k) time lgorithm to ompute the set of k non-rossing

More information

MITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts. Introduction to Matroids and Applications. Srikumar Ramalingam

MITSUBISHI ELECTRIC RESEARCH LABORATORIES Cambridge, Massachusetts. Introduction to Matroids and Applications. Srikumar Ramalingam Cmrige, Msshusetts Introution to Mtrois n Applitions Srikumr Rmlingm MERL mm//yy Liner Alger (,0,0) (0,,0) Liner inepenene in vetors: v, v2,..., For ll non-trivil we hve s v s v n s, s2,..., s n 2v2...

More information

Can Pythagoras Swim?

Can Pythagoras Swim? Overview Ativity ID: 8939 Mth Conepts Mterils Students will investigte reltionships etween sides of right tringles to understnd the Pythgoren theorem nd then use it to solve prolems. Students will simplify

More information

Today. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search.

Today. CS 188: Artificial Intelligence Fall Recap: Search. Example: Pancake Problem. Example: Pancake Problem. General Tree Search. CS 88: Artificil Intelligence Fll 00 Lecture : A* Serch 9//00 A* Serch rph Serch Tody Heuristic Design Dn Klein UC Berkeley Multiple slides from Sturt Russell or Andrew Moore Recp: Serch Exmple: Pncke

More information

Internet Routing. IP Packet Format. IP Fragmentation & Reassembly. Principles of Internet Routing. Computer Networks 9/29/2014.

Internet Routing. IP Packet Format. IP Fragmentation & Reassembly. Principles of Internet Routing. Computer Networks 9/29/2014. omputer Networks 9/29/2014 IP Pket Formt Internet Routing Ki Shen IP protool version numer heder length (words) for qulity of servie mx numer remining hops (deremented t eh router) upper lyer protool to

More information

Presentation Martin Randers

Presentation Martin Randers Presenttion Mrtin Rnders Outline Introduction Algorithms Implementtion nd experiments Memory consumption Summry Introduction Introduction Evolution of species cn e modelled in trees Trees consist of nodes

More information

Line The set of points extending in two directions without end uniquely determined by two points. The set of points on a line between two points

Line The set of points extending in two directions without end uniquely determined by two points. The set of points on a line between two points Lines Line Line segment Perpendiulr Lines Prllel Lines Opposite Angles The set of points extending in two diretions without end uniquely determined by two points. The set of points on line between two

More information

binary trees, expression trees

binary trees, expression trees COMP 250 Lecture 21 binry trees, expression trees Oct. 27, 2017 1 Binry tree: ech node hs t most two children. 2 Mximum number of nodes in binry tree? Height h (e.g. 3) 3 Mximum number of nodes in binry

More information

CS553 Lecture Introduction to Data-flow Analysis 1

CS553 Lecture Introduction to Data-flow Analysis 1 ! Ide Introdution to Dt-flow nlysis!lst Time! Implementing Mrk nd Sweep GC!Tody! Control flow grphs! Liveness nlysis! Register llotion CS553 Leture Introdution to Dt-flow Anlysis 1 Dt-flow Anlysis! Dt-flow

More information

6.045J/18.400J: Automata, Computability and Complexity. Quiz 2: Solutions. Please write your name in the upper corner of each page.

6.045J/18.400J: Automata, Computability and Complexity. Quiz 2: Solutions. Please write your name in the upper corner of each page. 6045J/18400J: Automt, Computbility nd Complexity Mrh 30, 2005 Quiz 2: Solutions Prof Nny Lynh Vinod Vikuntnthn Plese write your nme in the upper orner of eh pge Problem Sore 1 2 3 4 5 6 Totl Q2-1 Problem

More information

LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION

LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION Overview LINX MATRIX SWITCHERS FIRMWARE UPDATE INSTRUCTIONS FIRMWARE VERSION 4.4.1.0 Due to the omplex nture of this updte, plese fmilirize yourself with these instrutions nd then ontt RGB Spetrum Tehnil

More information

Information Retrieval and Organisation

Information Retrieval and Organisation Informtion Retrievl nd Orgnistion Suffix Trees dpted from http://www.mth.tu.c.il/~himk/seminr02/suffixtrees.ppt Dell Zhng Birkeck, University of London Trie A tree representing set of strings { } eef d

More information

Distance vector protocol

Distance vector protocol istne vetor protool Irene Finohi finohi@i.unirom.it Routing Routing protool Gol: etermine goo pth (sequene of routers) thru network from soure to Grph strtion for routing lgorithms: grph noes re routers

More information

ΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών. Lecture 3b Lexical Analysis Elias Athanasopoulos

ΕΠΛ323 - Θεωρία και Πρακτική Μεταγλωττιστών. Lecture 3b Lexical Analysis Elias Athanasopoulos ΕΠΛ323 - Θωρία και Πρακτική Μταγλωττιστών Lecture 3 Lexicl Anlysis Elis Athnsopoulos elisthn@cs.ucy.c.cy RecogniNon of Tokens if expressions nd relnonl opertors if è if then è then else è else relop è

More information

1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers?

1.1. Interval Notation and Set Notation Essential Question When is it convenient to use set-builder notation to represent a set of numbers? 1.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS Prepring for 2A.6.K, 2A.7.I Intervl Nottion nd Set Nottion Essentil Question When is it convenient to use set-uilder nottion to represent set of numers? A collection

More information

CS 221: Artificial Intelligence Fall 2011

CS 221: Artificial Intelligence Fall 2011 CS 221: Artificil Intelligence Fll 2011 Lecture 2: Serch (Slides from Dn Klein, with help from Sturt Russell, Andrew Moore, Teg Grenger, Peter Norvig) Problem types! Fully observble, deterministic! single-belief-stte

More information

Representation of Numbers. Number Representation. Representation of Numbers. 32-bit Unsigned Integers 3/24/2014. Fixed point Integer Representation

Representation of Numbers. Number Representation. Representation of Numbers. 32-bit Unsigned Integers 3/24/2014. Fixed point Integer Representation Representtion of Numbers Number Representtion Computer represent ll numbers, other thn integers nd some frctions with imprecision. Numbers re stored in some pproximtion which cn be represented by fixed

More information

Outline. Motivation Background ARCH. Experiment Additional usages for Input-Depth. Regular Expression Matching DPI over Compressed HTTP

Outline. Motivation Background ARCH. Experiment Additional usages for Input-Depth. Regular Expression Matching DPI over Compressed HTTP ARCH This work ws supported y: The Europen Reserh Counil, The Isreli Centers of Reserh Exellene, The Neptune Consortium, nd Ntionl Siene Foundtion wrd CNS-119748 Outline Motivtion Bkground Regulr Expression

More information

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search

Today. Search Problems. Uninformed Search Methods. Depth-First Search Breadth-First Search Uniform-Cost Search Uninformed Serch [These slides were creted by Dn Klein nd Pieter Abbeel for CS188 Intro to AI t UC Berkeley. All CS188 mterils re vilble t http://i.berkeley.edu.] Tody Serch Problems Uninformed Serch Methods

More information

CS201 Discussion 10 DRAWTREE + TRIES

CS201 Discussion 10 DRAWTREE + TRIES CS201 Discussion 10 DRAWTREE + TRIES DrwTree First instinct: recursion As very generic structure, we could tckle this problem s follows: drw(): Find the root drw(root) drw(root): Write the line for the

More information

Premaster Course Algorithms 1 Chapter 6: Shortest Paths. Christian Scheideler SS 2018

Premaster Course Algorithms 1 Chapter 6: Shortest Paths. Christian Scheideler SS 2018 Premster Course Algorithms Chpter 6: Shortest Pths Christin Scheieler SS 8 Bsic Grph Algorithms Overview: Shortest pths in DAGs Dijkstr s lgorithm Bellmn-For lgorithm Johnson s metho SS 8 Chpter 6 Shortest

More information

Computational geometry

Computational geometry Leture 23 Computtionl geometry Supplementl reding in CLRS: Chpter 33 exept 33.3 There re mny importnt prolems in whih the reltionships we wish to nlyze hve geometri struture. For exmple, omputtionl geometry

More information

Fig.25: the Role of LEX

Fig.25: the Role of LEX The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing

More information

4.3 Balanced Trees. let us assume that we can manipulate them conveniently and see how they can be put together to form trees.

4.3 Balanced Trees. let us assume that we can manipulate them conveniently and see how they can be put together to form trees. 428 T FOU 4.3 Blned Trees T BT GOIT IN T VIOU setion work well for wide vriety of pplitions, ut they hve poor worst-se performne. s we hve noted, files lredy in order, files in reverse order, files with

More information

Type Checking. Roadmap (Where are we?) Last lecture Context-sensitive analysis. This lecture Type checking. Symbol tables

Type Checking. Roadmap (Where are we?) Last lecture Context-sensitive analysis. This lecture Type checking. Symbol tables Type Cheking Rodmp (Where re we?) Lst leture Contet-sensitie nlysis Motition Attriute grmmrs Ad ho Synt-direted trnsltion This leture Type heking Type systems Using synt direted trnsltion Symol tles Leil

More information

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards

A Tautology Checker loosely related to Stålmarck s Algorithm by Martin Richards A Tutology Checker loosely relted to Stålmrck s Algorithm y Mrtin Richrds mr@cl.cm.c.uk http://www.cl.cm.c.uk/users/mr/ University Computer Lortory New Museum Site Pemroke Street Cmridge, CB2 3QG Mrtin

More information

CSCI 446: Artificial Intelligence

CSCI 446: Artificial Intelligence CSCI 446: Artificil Intelligence Serch Instructor: Michele Vn Dyne [These slides were creted by Dn Klein nd Pieter Abbeel for CS188 Intro to AI t UC Berkeley. All CS188 mterils re vilble t http://i.berkeley.edu.]

More information

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. Example: Pancake Problem. Example: Pancake Problem

Announcements. CS 188: Artificial Intelligence Fall Recap: Search. Today. Example: Pancake Problem. Example: Pancake Problem Announcements Project : erch It s live! Due 9/. trt erly nd sk questions. It s longer thn most! Need prtner? Come up fter clss or try Pizz ections: cn go to ny, ut hve priority in your own C 88: Artificil

More information

CSCI1950 Z Computa4onal Methods for Biology Lecture 2. Ben Raphael January 26, hhp://cs.brown.edu/courses/csci1950 z/ Outline

CSCI1950 Z Computa4onal Methods for Biology Lecture 2. Ben Raphael January 26, hhp://cs.brown.edu/courses/csci1950 z/ Outline CSCI1950 Z Comput4onl Methods for Biology Lecture 2 Ben Rphel Jnury 26, 2009 hhp://cs.brown.edu/courses/csci1950 z/ Outline Review of trees. Coun4ng fetures. Chrcter bsed phylogeny Mximum prsimony Mximum

More information

Definition of Regular Expression

Definition of Regular Expression Definition of Regulr Expression After the definition of the string nd lnguges, we re redy to descrie regulr expressions, the nottion we shll use to define the clss of lnguges known s regulr sets. Recll

More information

COMMON FRACTIONS. or a / b = a b. , a is called the numerator, and b is called the denominator.

COMMON FRACTIONS. or a / b = a b. , a is called the numerator, and b is called the denominator. COMMON FRACTIONS BASIC DEFINITIONS * A frtion is n inite ivision. or / * In the frtion is lle the numertor n is lle the enomintor. * The whole is seprte into "" equl prts n we re onsiering "" of those

More information

CS 340, Fall 2016 Sep 29th Exam 1 Note: in all questions, the special symbol ɛ (epsilon) is used to indicate the empty string.

CS 340, Fall 2016 Sep 29th Exam 1 Note: in all questions, the special symbol ɛ (epsilon) is used to indicate the empty string. CS 340, Fll 2016 Sep 29th Exm 1 Nme: Note: in ll questions, the speil symol ɛ (epsilon) is used to indite the empty string. Question 1. [10 points] Speify regulr expression tht genertes the lnguge over

More information

c s ha2 c s Half Adder Figure 2: Full Adder Block Diagram

c s ha2 c s Half Adder Figure 2: Full Adder Block Diagram Adder Tk: Implement 2-it dder uing 1-it full dder nd 1-it hlf dder omponent (Figure 1) tht re onneted together in top-level module. Derie oth omponent in VHDL. Prepre two implementtion where VHDL omponent

More information

Error Numbers of the Standard Function Block

Error Numbers of the Standard Function Block A.2.2 Numers of the Stndrd Funtion Blok evlution The result of the logi opertion RLO is set if n error ours while the stndrd funtion lok is eing proessed. This llows you to rnh to your own error evlution

More information

Duality in linear interval equations

Duality in linear interval equations Aville online t http://ijim.sriu..ir Int. J. Industril Mthemtis Vol. 1, No. 1 (2009) 41-45 Dulity in liner intervl equtions M. Movhedin, S. Slhshour, S. Hji Ghsemi, S. Khezerloo, M. Khezerloo, S. M. Khorsny

More information

Doubts about how to use azimuth values from a Coordinate Object. Juan Antonio Breña Moral

Doubts about how to use azimuth values from a Coordinate Object. Juan Antonio Breña Moral Douts out how to use zimuth vlues from Coordinte Ojet Jun Antonio Breñ Morl # Definition An Azimuth is the ngle from referene vetor in referene plne to seond vetor in the sme plne, pointing towrd, (ut

More information

Orthogonal line segment intersection

Orthogonal line segment intersection Computtionl Geometry [csci 3250] Line segment intersection The prolem (wht) Computtionl Geometry [csci 3250] Orthogonl line segment intersection Applictions (why) Algorithms (how) A specil cse: Orthogonl

More information

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it.

6.3 Volumes. Just as area is always positive, so is volume and our attitudes towards finding it. 6.3 Volumes Just s re is lwys positive, so is volume nd our ttitudes towrds finding it. Let s review how to find the volume of regulr geometric prism, tht is, 3-dimensionl oject with two regulr fces seprted

More information

String comparison by transposition networks

String comparison by transposition networks String omprison y trnsposition networks Alexnder Tiskin (Joint work with Peter Krushe) Deprtment of Computer Siene University of Wrwik http://www.ds.wrwik..uk/~tiskin (inludes n extended version of this

More information

Tight triangulations: a link between combinatorics and topology

Tight triangulations: a link between combinatorics and topology Tight tringultions: link between ombintoris nd topology Jonthn Spreer Melbourne, August 15, 2016 Topologil mnifolds (Geometri) Topology is study of mnifolds (surfes) up to ontinuous deformtion Complited

More information

AI Adjacent Fields. This slide deck courtesy of Dan Klein at UC Berkeley

AI Adjacent Fields. This slide deck courtesy of Dan Klein at UC Berkeley AI Adjcent Fields Philosophy: Logic, methods of resoning Mind s physicl system Foundtions of lerning, lnguge, rtionlity Mthemtics Forml representtion nd proof Algorithms, computtion, (un)decidility, (in)trctility

More information

Introduction. Example

Introduction. Example OMS0 Introution isjoint sets n minimum spnning trees In this leture we will strt by isussing t struture use for mintining isjoint subsets of some bigger set. This hs number of pplitions, inluing to mintining

More information

[SYLWAN., 158(6)]. ISI

[SYLWAN., 158(6)]. ISI The proposl of Improved Inext Isomorphi Grph Algorithm to Detet Design Ptterns Afnn Slem B-Brhem, M. Rizwn Jmeel Qureshi Fulty of Computing nd Informtion Tehnology, King Adulziz University, Jeddh, SAUDI

More information

Width and Bounding Box of Imprecise Points

Width and Bounding Box of Imprecise Points Width nd Bounding Box of Impreise Points Vhideh Keikh Mrten Löffler Ali Mohdes Zhed Rhmti Astrt In this pper we study the following prolem: we re given set L = {l 1,..., l n } of prllel line segments,

More information

Parallelization Optimization of System-Level Specification

Parallelization Optimization of System-Level Specification Prlleliztion Optimiztion of System-Level Speifition Luki i niel. Gjski enter for Emedded omputer Systems University of liforni Irvine, 92697, US {li, gjski} @es.ui.edu strt This pper introdues the prlleliztion

More information

CSEP 573 Artificial Intelligence Winter 2016

CSEP 573 Artificial Intelligence Winter 2016 CSEP 573 Artificil Intelligence Winter 2016 Luke Zettlemoyer Problem Spces nd Serch slides from Dn Klein, Sturt Russell, Andrew Moore, Dn Weld, Pieter Abbeel, Ali Frhdi Outline Agents tht Pln Ahed Serch

More information

Introducing fractions

Introducing fractions Introduing frtions Nme Colour hlf of eh shpe: Show the following fr ons: out of out of out of Lel these fr ons: Shde these fr ons: 7 0 Represents ommon fr ons on different models Interprets the numertor

More information

Suffix Tries. Slides adapted from the course by Ben Langmead

Suffix Tries. Slides adapted from the course by Ben Langmead Suffix Tries Slides dpted from the course y Ben Lngmed en.lngmed@gmil.com Indexing with suffixes Until now, our indexes hve een sed on extrcting sustrings from T A very different pproch is to extrct suffixes

More information

Minimal Memory Abstractions

Minimal Memory Abstractions Miniml Memory Astrtions (As implemented for BioWre Corp ) Nthn Sturtevnt University of Alert GAMES Group Ferury, 7 Tlk Overview Prt I: Building Astrtions Minimizing memory requirements Performnes mesures

More information

Algorithm Design (5) Text Search

Algorithm Design (5) Text Search Algorithm Design (5) Text Serch Tkshi Chikym School of Engineering The University of Tokyo Text Serch Find sustring tht mtches the given key string in text dt of lrge mount Key string: chr x[m] Text Dt:

More information

COMBINATORIAL PATTERN MATCHING

COMBINATORIAL PATTERN MATCHING COMBINATORIAL PATTERN MATCHING Genomic Repets Exmple of repets: ATGGTCTAGGTCCTAGTGGTC Motivtion to find them: Genomic rerrngements re often ssocited with repets Trce evolutionry secrets Mny tumors re chrcterized

More information

The Network Layer: Routing in the Internet. The Network Layer: Routing & Addressing Outline

The Network Layer: Routing in the Internet. The Network Layer: Routing & Addressing Outline CPSC 852 Internetworking The Network Lyer: Routing in the Internet Mihele Weigle Deprtment of Computer Siene Clemson University mweigle@s.lemson.edu http://www.s.lemson.edu/~mweigle/ourses/ps852 1 The

More information

Internet Routing. Reminder: Routing. CPSC Network Programming

Internet Routing. Reminder: Routing. CPSC Network Programming PS 360 - Network Progrmming Internet Routing Mihele Weigle eprtment of omputer Siene lemson University mweigle@s.lemson.eu pril, 00 http://www.s.lemson.eu/~mweigle/ourses/ps360 Reminer: Routing Internet

More information

From Dependencies to Evaluation Strategies

From Dependencies to Evaluation Strategies From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute

More information

Dr. D.M. Akbar Hussain

Dr. D.M. Akbar Hussain Dr. D.M. Akr Hussin Lexicl Anlysis. Bsic Ide: Red the source code nd generte tokens, it is similr wht humns will do to red in; just tking on the input nd reking it down in pieces. Ech token is sequence

More information

Journal of Combinatorial Theory, Series A

Journal of Combinatorial Theory, Series A Journl of Comintoril Theory, Series A 0 (0) Contents lists ville t SiVerse SieneDiret Journl of Comintoril Theory, Series A www.elsevier.om/lote/jt Spheril tiling y ongruent pentgons Hongho Go, Nn Shi,

More information

Balanced Trees. 2-3 trees red-black trees B-trees. 2-3 trees red-black trees B-trees smaller than. 2-node. 3-node E J S X A C.

Balanced Trees. 2-3 trees red-black trees B-trees. 2-3 trees red-black trees B-trees smaller than. 2-node. 3-node E J S X A C. ymol tle review Blned Trees implementtion gurntee verge se serh insert delete serh hit insert delete ordered itertion? opertions on keys sequentil serh (linked list) N N N N/2 N N/2 no equls() 2-3 trees

More information

Distributed Systems Principles and Paradigms

Distributed Systems Principles and Paradigms Distriuted Systems Priniples nd Prdigms Christoph Dorn Distriuted Systems Group, Vienn University of Tehnology.dorn@infosys.tuwien..t http://www.infosys.tuwien..t/stff/dorn Slides dpted from Mrten vn Steen,

More information

Right Angled Trigonometry. Objective: To know and be able to use trigonometric ratios in rightangled

Right Angled Trigonometry. Objective: To know and be able to use trigonometric ratios in rightangled C2 Right Angled Trigonometry Ojetive: To know nd e le to use trigonometri rtios in rightngled tringles opposite C Definition Trigonometry ws developed s method of mesuring ngles without ngulr units suh

More information

Calculus Differentiation

Calculus Differentiation //007 Clulus Differentition Jeffrey Seguritn person in rowot miles from the nerest point on strit shoreline wishes to reh house 6 miles frther down the shore. The person n row t rte of mi/hr nd wlk t rte

More information

ITEC2620 Introduction to Data Structures

ITEC2620 Introduction to Data Structures ITEC0 Introduction to Dt Structures Lecture 7 Queues, Priority Queues Queues I A queue is First-In, First-Out = FIFO uffer e.g. line-ups People enter from the ck of the line People re served (exit) from

More information

Intermediate Information Structures

Intermediate Information Structures CPSC 335 Intermedite Informtion Structures LECTURE 13 Suffix Trees Jon Rokne Computer Science University of Clgry Cnd Modified from CMSC 423 - Todd Trengen UMD upd Preprocessing Strings We will look t

More information