Topic II.1: Frequent Subgraph Mining

Size: px
Start display at page:

Download "Topic II.1: Frequent Subgraph Mining"

Transcription

1 Topi II.1: Fequent Sugph Mining Disete Topis in Dt Mining Univesität des Slndes, Süken Winte Semeste 2012/13 T II.1-1

2 TII.1: Fequent Sugph Mining 1. Definitions nd Polems 1.1. Gph Isomophism 2. Apioi-Bsed Gph Mining (AGM) 2.1. Lelled Adjeny Mties 2.2. Mtix Codes 2.3. Noml nd Cnonil Foms 3. DFS-Bsed Method: gspn 3.1. DFS Tees 3.2. DFS Codes nd Thei Odes 3.3. Cndidte Genetion 20 Noveme 2012 T II.1-2

3 Definitions nd Polems The dt is set of gphs D = {G1, G2,, Gn} Dieted o undieted The gphs Gi e lelled Eh vetex v hs lel L(v) Eh edge e = (u, v) hs lel L(u, v) Dt n e e.g. moleule stutues 20 Noveme 2012 T II.1-3

4 Gph Isomophism Gphs G = (V, E) nd G = (V, E ) e isomophi if thee exists ijetive funtion φ: V V suh tht (u, v) E if nd only if (φ(u), φ(v)) E L(v) = L(φ(v)) fo ll v V L(u, v) = L(φ(u), φ(v)) fo ll (u, v) E Gph G is sugph isomophi to G if thee exists sugph of G whih is isomophi to G No polynomil-time lgoithm is known fo detemining if G nd G e isomophi Detemining if G is sugph isomophi to G is NPhd 20 Noveme 2012 T II.1-4

5 Equivlene nd Cnonil Gphs Isomophism defines n equivlene lss id: V V, id(v) = v shows G is isomophi to itself If G is isomophi to G vi φ, then G is isomophi to G vi φ 1 If G is isomophi to H vi φ nd H to I vi χ, then G is isomophi to I vi φ χ A noniztion of gph G, non(g) podues nothe gph C suh tht if H is gph tht is isomophi to G, non(g) = non(h) Two gphs e isomophi if nd only if thei nonil vesions e the sme 20 Noveme 2012 T II.1-5

6 An Exmple of Isomophi Gphs 20 Noveme 2012 T II.1-6

7 An Exmple of Isomophi Gphs 20 Noveme 2012 T II.1-7

8 An Exmple of Isomophi Gphs 20 Noveme 2012 T II.1-8

9 An Exmple of Isomophi Gphs 20 Noveme 2012 T II.1-8

10 An Exmple of Isomophi Gphs 20 Noveme 2012 T II.1-8

11 An Exmple of Isomophi Gphs 20 Noveme 2012 T II.1-8

12 An Exmple of Isomophi Gphs 20 Noveme 2012 T II.1-8

13 Fequent Sugph Mining Given set D of n gphs nd minimum suppot pmete minsup, find ll onneted gphs tht e sugph isomophi to t lest minsup gphs in D Enomously omplex polem Fo gphs tht hve m veties thee e 2 O(m2 ) sugphs (not ll e onneted) If we hve s lels fo veties nd edges we hve O (2s) O(m2 ) lelings of the diffeent gphs Counting the suppot mens solving multiple NP-hd polems 20 Noveme 2012 T II.1-9

14 An Exmple 20 Noveme 2012 T II.1-10

15 An Exmple 20 Noveme 2012 T II.1-10

16 An Exmple 20 Noveme 2012 T II.1-10

17 Apioi-Bsed Gph Mining (AGM) Sugph fequeny follows downwds losedness popety A supegph nnot e fequent unless its sugph is Ide: genete ll k-vetex gphs tht e supegphs of k 1 vetex fequent gphs nd hek fequeny Two polems: How to genete the gphs How to hek the fequeny Ide: do the genetion sed on djeny mties Inokuhi, Wshio & Motod Noveme 2012 T II.1-11

18 Mties nd Codes In lelled djeny mtix we hve Vetex lels in the digonl Edge lels in off-digonl (o 0 if no edges) The ode of the the djeny mtix X is the loweleft tingul sumtix listed in ow-mjo ode x1,1x2,1x2,2x3,1 xk,1 xk,k xn,n The djeny mties n e soted using the stndd lexiogphil ode in thei odes 20 Noveme 2012 T II.1-12

19 Joining Two Sugphs Assume we hve two fequent sugphs of k veties whose djeny mties gee on the fist k 1 edges ( ) ) Xk 1 x 1 X k = x T 2 x kk,y k = ( Xk 1 y 1 ( ) ( ) y T 2 y kk We n do the join s follows Z k+1 = X k 1 x 1 y 1 x T 2 x kk z k,k+1 y T 2 z k+1,k y kk zk+1,k = zk,k+1 ssumes ll possile edge lels is the djeny mtix epesenting the gph whose siz One mtix fo eh possiility = X k y 1 z k,k+1 y T 2 z k+1,k y kk 20 Noveme 2012 T II.1-13

20 Avoiding Redundny The two djeny mties e joined only if ode(xk) ode(yk) ( noml ode ) We need to onfim tht ll sugphs of the esulting (k +1)-vetex mtix e fequent We need to onside the noml-ode geneted k-vetex sugphs The lgoithm only stoes noml-ode geneted gphs They e geneted y e-geneting the k-vetex sugph fom singletons in noml ode Poess is lled nomliztion nd n ompute the noml foms of ll sugphs Nomliztion n e expessed s ow nd olumn pemuttions: Xn = P T XP 20 Noveme 2012 T II.1-14

21 Cnonil Foms Isomophi gphs n hve mny diffeent noml foms Given set NF(G) of ll noml foms epesenting gphs isomophi to G, the nonil fom of G is the djeny mtix X tht hs the minimum ode in NF(G) X = g min {ode(x) : X NF(G)} Given n djeny mtix X, its noml fom is Xn = P T XP fo some pemuttion mtix P, nd its nonil fom X is Q T P T XPQ fo some pemuttion mtix Q 20 Noveme 2012 T II.1-15

22 Finding Cnonil Foms Let X e n djeny mtix of k+1 veties Let Y e X with vetex m emoved Let P e the pemuttion of Y to its noml fom nd Q the pemuttion of P T YP to the nonil fom We ssume we hve ledy omputed them We ompute ndidte P nd Q fo X y Q is like Q ut ottom-ight one is 1 p ij is pij if i < m nd j k pi 1,j if i > m nd j k 1 if i = m nd j = k 0 othewise Finl P nd Q e found y tying ll ndidtes nd seleting the ones tht give the lowest ode 20 Noveme 2012 T II.1-16

23 The Algoithm Stt with fequent gphs of 1 vetex while thee e fequent gphs left Join two fequent (k 1)-vetex gphs Chek the esulting gphs sugphs e fequent If not, ontinue Compute the nonil fom of the gph If this nonil fom hs ledy een studied, ontinue Compe the nonil fom with the nonil foms of the k-vetex sugphs of the gphs in D If the gph is fequent, keep, othewise disd etun ll fequent sugphs 20 Noveme 2012 T II.1-17

24 The gspn Algoithm We n impove the unning time of fequent sugph mining y eithe Mking the fequeny hek fste Lots of effots in fste isomophism heking ut only little pogess Ceting less ndidtes tht need to e heked Level-wise lgoithms (like AGM) genete huge numes of ndidtes Eh must e heked with fo isomophism with othes The gspn (gph-sed Sustutue ptten mining) lgoithm eples the level-wise ppoh with depth-fist ppoh Yn & Hn 2002; Z&M Ch Noveme 2012 T II.1-18

25 Depth-Fist Spnning Tee A dept-fist spnning (DFS) tee of gph G Is onneted tee Contins ll the veties of G Is uild in depth-fist ode Seletion etween the silings is e.g. sed on the vetex index Edges of the DFS tee e fowd edges Edges not in the DFS tee e kwd edges A ightmost pth in the DFS tee is the pth tvels fom the oot to the ightmost vetex y lwys tking the ightmost hild (lst-dded) 20 Noveme 2012 T II.1-19

26 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

27 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

28 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

29 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

30 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

31 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

32 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

33 An Exmple v6 d v7 v5 v1 v2 v8 v4 v3 20 Noveme 2012 T II.1-20

34 The DFS Tee v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-21

35 Geneting Cndidtes fom DFS Tee Given gph G, we extend it only fom the veties in the ightmost pth We n dd kwds edges fom the ightmost vetex to some othe vetex in the ightmost pth We n dd fowd edge fom ny vetex in the ightmost pth This ineses the nume of veties y 1 The ode of geneting the ndidtes is Fist kwd extensions Fist to oot, then to oot s hild, Then fowd extensions Fist fom the lef, then fom lef s fthe, 20 Noveme 2012 T II.1-22

36 An Exmple v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-23

37 An Exmple v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-23

38 An Exmple v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-23

39 An Exmple v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-23

40 An Exmple v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-23

41 An Exmple v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-23

42 An Exmple v1 v2 v5 v3 v4 v6 d v7 v8 20 Noveme 2012 T II.1-23

43 DFS Codes nd thei Odes A DFS ode is sequene of tuples of type vi, vj, L(vi), L(vj), L(vi,vj) Tuples e given in DFS ode Bkwds edges e listed efoe fowd edges A DFS ode is nonil if it is the smllest of the odes in the odeing vi, vj, L(vi), L(vj), L(vi,vj) < vx, vy, L(vx), L(vy), L(vx,vy) if vi, vj <e vx, vy ; o vi, vj = vx, vy nd L(vi), L(vj), L(vi, vj) <l L(vx), L(vy), L(vx, vy) The odeing of the lel tuples is the lexiogphil odeing 20 Noveme 2012 T II.1-24

44 Odeing the Edges Let eij = vi, vj nd exy = vx, vy eij <e exy if If eij nd exy e fowd edges, then j < y; o j = y nd i > x If eij nd exy e kwd edges, then i < x; o i = x nd j < y If eij is fowd nd exy is kwd, then i < y If eij is kwd nd exy is fowd, then j x 20 Noveme 2012 T II.1-25

45 Exmple G 1 G 2 G 3 v 1 v 1 v 1 q q q v 2 v 2 v 2 v 4 v 3 v 4 v 3 v 4 v 3 t 11 = v 1,v 2,,,q t 12 = v 2,v 3,,, t 13 = v 3,v 1,,, t 14 = v 2,v 4,,, t 21 = v 1,v 2,,,q t 22 = v 2,v 3,,, t 23 = v 2,v 4,,, t 24 = v 4,v 1,,, t 31 = v 1,v 2,,,q t 32 = v 2,v 3,,, t 33 = v 3,v 1,,, t 34 = v 1,v 4,,, 20 Noveme 2012 T II.1-26

46 Exmple G 1 G 2 G 3 v 1 v 1 v 1 q q q v 2 v 2 v 2 v 4 v 3 v 4 v 3 v 4 v 3 t 11 = v 1,v 2,,,q t 12 = v 2,v 3,,, t 13 = v 3,v 1,,, t 14 = v 2,v 4,,, t 21 = v 1,v 2,,,q t 22 = v 2,v 3,,, t 23 = v 2,v 4,,, t 24 = v 4,v 1,,, Fist ows e identil t 31 = v 1,v 2,,,q t 32 = v 2,v 3,,, t 33 = v 3,v 1,,, t 34 = v 1,v 4,,, 20 Noveme 2012 T II.1-26

47 Exmple G 1 G 2 G 3 v 1 v 1 v 1 q q q v 2 v 2 v 2 v 4 v 3 v 4 v 3 v 4 v 3 t 11 = v 1,v 2,,,q t 12 = v 2,v 3,,, t 13 = v 3,v 1,,, t 14 = v 2,v 4,,, t 21 = v 1,v 2,,,q t 22 = v 2,v 3,,, t 23 = v 2,v 4,,, t 24 = v 4,v 1,,, t 31 = v 1,v 2,,,q t 32 = v 2,v 3,,, t 33 = v 3,v 1,,, t 34 = v 1,v 4,,, In seond ow, G2 is igge in lels ode 20 Noveme 2012 T II.1-26

48 Exmple G 1 G 2 G 3 v 1 v 1 v 1 q q q v 2 v 2 v 2 v 4 v 3 v 4 v 3 v 4 v 3 t 11 = v 1,v 2,,,q t 12 = v 2,v 3,,, t 13 = v 3,v 1,,, t 14 = v 2,v 4,,, t 21 = v 1,v 2,,,q t 22 = v 2,v 3,,, t 23 = v 2,v 4,,, t 24 = v 4,v 1,,, t 31 = v 1,v 2,,,q t 32 = v 2,v 3,,, t 33 = v 3,v 1,,, t 34 = v 1,v 4,,, Lst ows e fowd edges nd 4 = 4 ut 2 > 1 G1 is smllest 20 Noveme 2012 T II.1-26

49 Building the Cndidtes The ndidtes e uild in DFS ode tee A DFS ode is n nesto of DFS ode if is pope pefix of The silings in the tee follow the DFS ode ode A gph n e fequent only if ll of the gph epesenting its nestos in the DFS tee e fequent The DFS tee ontins ll the nonil odes fo ll the sugphs of the gphs in the dt But not ll of the veties in the ode tee oespond to nonil odes We will (impliitly) tvese this tee 20 Noveme 2012 T II.1-27

50 The Algoithm gspn: fo eh fequent 1-edge gphs ll sugm to gow ll nodes in the ode tee ooted in this 1-edge gph emove this edge fom the gph sugm if the ode is not nonil, etun Add this gph to the set of fequent gphs Cete eh supe-gph with one moe edge nd ompute its fequeny ll sugm with eh fequent supe-gph 20 Noveme 2012 T II.1-28

Chapter 7. Kleene s Theorem. 7.1 Kleene s Theorem. The following theorem is the most important and fundamental result in the theory of FA s:

Chapter 7. Kleene s Theorem. 7.1 Kleene s Theorem. The following theorem is the most important and fundamental result in the theory of FA s: Chpte 7 Kleene s Theoem 7.1 Kleene s Theoem The following theoem is the most impotnt nd fundmentl esult in the theoy of FA s: Theoem 6 Any lnguge tht cn e defined y eithe egul expession, o finite utomt,

More information

The Area of a Triangle

The Area of a Triangle The e of Tingle tkhlid June 1, 015 1 Intodution In this tile we will e disussing the vious methods used fo detemining the e of tingle. Let [X] denote the e of X. Using se nd Height To stt off, the simplest

More information

( ) D x ( s) if r s (3) ( ) (6) ( r) = d dr D x

( ) D x ( s) if r s (3) ( ) (6) ( r) = d dr D x SIO 22B, Rudnick dpted fom Dvis III. Single vile sttistics The next few lectues e intended s eview of fundmentl sttistics. The gol is to hve us ll speking the sme lnguge s we move to moe dvnced topics.

More information

Section 1.3 Triangles

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

More information

CS 573 Automata Theory and Formal Languages

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

More information

Andersen s Algorithm. CS 701 Final Exam (Reminder) Friday, December 12, 4:00 6:00 P.M., 1289 Computer Science.

Andersen s Algorithm. CS 701 Final Exam (Reminder) Friday, December 12, 4:00 6:00 P.M., 1289 Computer Science. CS 701 Finl Exm (Reminde) Fidy, Deeme 12, 4:00 6:00 P.M., 1289 Comute Siene. Andesen s Algoithm An lgoithm to uild oints-to gh fo C ogm is esented in: Pogm Anlysis nd Seiliztion fo the C ogmming Lnguge,

More information

Prerna Tower, Road No 2, Contractors Area, Bistupur, Jamshedpur , Tel (0657) ,

Prerna Tower, Road No 2, Contractors Area, Bistupur, Jamshedpur , Tel (0657) , R Pen Towe Rod No Conttos Ae Bistupu Jmshedpu 8 Tel (67)89 www.penlsses.om IIT JEE themtis Ppe II PART III ATHEATICS SECTION I (Totl ks : ) (Single Coet Answe Type) This setion ontins 8 multiple hoie questions.

More information

10.3 The Quadratic Formula

10.3 The Quadratic Formula . Te Qudti Fomul We mentioned in te lst setion tt ompleting te sque n e used to solve ny qudti eqution. So we n use it to solve 0. We poeed s follows 0 0 Te lst line of tis we ll te qudti fomul. Te Qudti

More information

10 Statistical Distributions Solutions

10 Statistical Distributions Solutions Communictions Engineeing MSc - Peliminy Reding 1 Sttisticl Distiutions Solutions 1) Pove tht the vince of unifom distiution with minimum vlue nd mximum vlue ( is ) 1. The vince is the men of the sques

More information

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

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

More information

ITI Introduction to Computing II

ITI Introduction to Computing II ITI 1121. Intoduction to Computing II Mcel Tucotte School of Electicl Engineeing nd Compute Science Abstct dt type: Stck Stck-bsed lgoithms Vesion of Febuy 2, 2013 Abstct These lectue notes e ment to be

More information

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

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

More information

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

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

More information

Arrow s Impossibility Theorem

Arrow s Impossibility Theorem Rep Voting Prdoxes Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Voting Prdoxes Properties Arrow s Theorem Leture Overview 1 Rep

More information

INTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable

INTEGRATION. 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 information

CS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)

CS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.) CS 373, Spring 29. Solutions to Mock midterm (sed on first midterm in CS 273, Fll 28.) Prolem : Short nswer (8 points) The nswers to these prolems should e short nd not complicted. () If n NF M ccepts

More information

Swinburne Research Bank

Swinburne Research Bank Swinune Reseh Bnk http://esehnk.swinune.edu.u Zhou, R., Liu, C., Wng, J., & Li, J. (2009). Continment etween unions of XPth queies. Oiginlly pulished in X. Zhou, H. Yokot, K. Deng, & Q. Liu (eds.) Poeedings

More information

EECE 260 Electrical Circuits Prof. Mark Fowler

EECE 260 Electrical Circuits Prof. Mark Fowler EECE 60 Electicl Cicuits Pof. Mk Fowle Complex Numbe Review /6 Complex Numbes Complex numbes ise s oots of polynomils. Definition of imginy # nd some esulting popeties: ( ( )( ) )( ) Recll tht the solution

More information

Language Processors F29LP2, Lecture 5

Language Processors F29LP2, Lecture 5 Lnguge Pocessos F29LP2, Lectue 5 Jmie Gy Feuy 2, 2014 1 / 1 Nondeteministic Finite Automt (NFA) NFA genelise deteministic finite utomt (DFA). They llow sevel (0, 1, o moe thn 1) outgoing tnsitions with

More information

Convert the NFA into DFA

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

More information

gr0 GRAPHS Hanan Samet

gr0 GRAPHS Hanan Samet g0 GRPHS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 0 e-mail: hjs@umiacs.umd.edu opyight 199 Hanan

More information

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

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

More information

2-Way Finite Automata Radboud University, Nijmegen. Writer: Serena Rietbergen, s Supervisor: Herman Geuvers

2-Way Finite Automata Radboud University, Nijmegen. Writer: Serena Rietbergen, s Supervisor: Herman Geuvers 2-Wy Finite Automt Rdoud Univesity, Nijmegen Wite: Seen Rietegen, s4182804 Supeviso: Hemn Geuves Acdemic Ye 2017-2018 Contents 1 Intoduction 3 2 One wy utomt, deteministic nd non-deteministic 5 3 Ovehed

More information

Week 8. Topic 2 Properties of Logarithms

Week 8. Topic 2 Properties of Logarithms Week 8 Topic 2 Popeties of Logithms 1 Week 8 Topic 2 Popeties of Logithms Intoduction Since the esult of ithm is n eponent, we hve mny popeties of ithms tht e elted to the popeties of eponents. They e

More information

Chapter 4. Sampling of Continuous-Time Signals

Chapter 4. Sampling of Continuous-Time Signals Chapte 4 Sampling of Continuous-Time Signals 1 Intodution Disete-time signals most ommonly ou as epesentations of sampled ontinuous-time signals. Unde easonable onstaints, a ontinuous-time signal an be

More information

Graph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)

Graph 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 information

, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.

, 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 information

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

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

More information

Surface maps into free groups

Surface maps into free groups Surfce mps into free groups lden Wlker Novemer 10, 2014 Free groups wedge X of two circles: Set F = π 1 (X ) =,. We write cpitl letters for inverse, so = 1. e.g. () 1 = Commuttors Let x nd y e loops. The

More information

Project 6: Minigoals Towards Simplifying and Rewriting Expressions

Project 6: Minigoals Towards Simplifying and Rewriting Expressions MAT 51 Wldis Projet 6: Minigols Towrds Simplifying nd Rewriting Expressions The distriutive property nd like terms You hve proly lerned in previous lsses out dding like terms ut one prolem with the wy

More information

Constraint Satisfaction Problems

Constraint Satisfaction Problems Constaint Satisfaction Polems Seach and Look-ahead Alet-Ludwigs-Univesität Feiug Stefan Wölfl, Chistian Becke-Asano, and Benhad Neel Noveme 17, 2014 Seach and Look-ahead Enfocing consistency is one way

More information

A Bijective Approach to the Permutational Power of a Priority Queue

A Bijective Approach to the Permutational Power of a Priority Queue A Bijective Appoach to the Pemutational Powe of a Pioity Queue Ia M. Gessel Kuang-Yeh Wang Depatment of Mathematics Bandeis Univesity Waltham, MA 02254-9110 Abstact A pioity queue tansfoms an input pemutation

More information

1 Nondeterministic Finite Automata

1 Nondeterministic Finite Automata 1 Nondeterministic Finite Automt Suppose in life, whenever you hd choice, you could try oth possiilities nd live your life. At the end, you would go ck nd choose the one tht worked out the est. Then you

More information

CS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6

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

More information

Data Structures. Element Uniqueness Problem. Hash Tables. Example. Hash Tables. Dana Shapira. 19 x 1. ) h(x 4. ) h(x 2. ) h(x 3. h(x 1. x 4. x 2.

Data Structures. Element Uniqueness Problem. Hash Tables. Example. Hash Tables. Dana Shapira. 19 x 1. ) h(x 4. ) h(x 2. ) h(x 3. h(x 1. x 4. x 2. Element Uniqueness Poblem Dt Stuctues Let x,..., xn < m Detemine whethe thee exist i j such tht x i =x j Sot Algoithm Bucket Sot Dn Shpi Hsh Tbles fo (i=;i

More information

Technische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution

Technische 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 information

Physics 604 Problem Set 1 Due Sept 16, 2010

Physics 604 Problem Set 1 Due Sept 16, 2010 Physics 64 Polem et 1 Due ept 16 1 1) ) Inside good conducto the electic field is eo (electons in the conducto ecuse they e fee to move move in wy to cncel ny electic field impessed on the conducto inside

More information

Chapter 2 Finite Automata

Chapter 2 Finite Automata Chpter 2 Finite Automt 28 2.1 Introduction Finite utomt: first model of the notion of effective procedure. (They lso hve mny other pplictions). The concept of finite utomton cn e derived y exmining wht

More information

CS 275 Automata and Formal Language Theory

CS 275 Automata and Formal Language Theory CS 275 utomt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Prolem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) nton Setzer (Bsed on ook drft y J. V. Tucker nd K. Stephenson)

More information

Discrete Model Parametrization

Discrete Model Parametrization Poceedings of Intentionl cientific Confeence of FME ession 4: Automtion Contol nd Applied Infomtics Ppe 9 Discete Model Pmetition NOKIEVIČ, Pet Doc,Ing,Cc Deptment of Contol ystems nd Instumenttion, Fculty

More information

Arrow s Impossibility Theorem

Arrow s Impossibility Theorem Rep Fun Gme Properties Arrow s Theorem Arrow s Impossiility Theorem Leture 12 Arrow s Impossiility Theorem Leture 12, Slide 1 Rep Fun Gme Properties Arrow s Theorem Leture Overview 1 Rep 2 Fun Gme 3 Properties

More information

Pythagoras Theorem. The area of the square on the hypotenuse is equal to the sum of the squares on the other two sides

Pythagoras Theorem. The area of the square on the hypotenuse is equal to the sum of the squares on the other two sides Pythgors theorem nd trigonometry Pythgors Theorem The hypotenuse of right-ngled tringle is the longest side The hypotenuse is lwys opposite the right-ngle 2 = 2 + 2 or 2 = 2-2 or 2 = 2-2 The re of the

More information

Lecture 10. Solution of Nonlinear Equations - II

Lecture 10. Solution of Nonlinear Equations - II Fied point Poblems Lectue Solution o Nonline Equtions - II Given unction g : R R, vlue such tht gis clled ied point o the unction g, since is unchnged when g is pplied to it. Whees with nonline eqution

More information

gr0 GRAPHS Hanan Samet

gr0 GRAPHS Hanan Samet g0 GRPHS Hanan Samet ompute Science epatment and ente fo utomation Reseach and Institute fo dvanced ompute Studies Univesity of Mayland ollege Pak, Mayland 074 e-mail: hjs@umiacs.umd.edu opyight 1997 Hanan

More information

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b

where the box contains a finite number of gates from the given collection. Examples of gates that are commonly used are the following: a b CS 294-2 9/11/04 Quntum Ciruit Model, Solovy-Kitev Theorem, BQP Fll 2004 Leture 4 1 Quntum Ciruit Model 1.1 Clssil Ciruits - Universl Gte Sets A lssil iruit implements multi-output oolen funtion f : {0,1}

More information

System Validation (IN4387) November 2, 2012, 14:00-17:00

System Validation (IN4387) November 2, 2012, 14:00-17:00 System Vlidtion (IN4387) Novemer 2, 2012, 14:00-17:00 Importnt Notes. The exmintion omprises 5 question in 4 pges. Give omplete explntion nd do not onfine yourself to giving the finl nswer. Good luk! Exerise

More information

First Midterm Examination

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

More information

Electronic Supplementary Material

Electronic Supplementary Material Electonic Supplementy Mteil On the coevolution of socil esponsiveness nd behvioul consistency Mx Wolf, G Snde vn Doon & Fnz J Weissing Poc R Soc B 78, 440-448; 0 Bsic set-up of the model Conside the model

More information

Finite State Automata and Determinisation

Finite 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 information

Math 151 Homework 2 Solutions (Winter 2015)

Math 151 Homework 2 Solutions (Winter 2015) Math 5 Homewo 2 Solutions (Winte 25 Polem 3. (a Let A and A 2 e the events that the fist and the second selected alls, espectively, ae white. Also let B and B 2 e the events that the thid and the fouth

More information

Properties and Formulas

Properties and Formulas Popeties nd Fomuls Cpte 1 Ode of Opetions 1. Pefom ny opetion(s) inside gouping symols. 2. Simplify powes. 3. Multiply nd divide in ode fom left to igt. 4. Add nd sutt in ode fom left to igt. Identity

More information

Regular expressions, Finite Automata, transition graphs are all the same!!

Regular expressions, Finite Automata, transition graphs are all the same!! CSI 3104 /Winter 2011: Introduction to Forml Lnguges Chpter 7: Kleene s Theorem Chpter 7: Kleene s Theorem Regulr expressions, Finite Automt, trnsition grphs re ll the sme!! Dr. Neji Zgui CSI3104-W11 1

More information

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:

Algorithms & 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 information

Logic Synthesis and Verification

Logic 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 information

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

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

More information

QUADRATIC EQUATION. Contents

QUADRATIC 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 information

Bases for Vector Spaces

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

More information

Mathematical Reflections, Issue 5, INEQUALITIES ON RATIOS OF RADII OF TANGENT CIRCLES. Y.N. Aliyev

Mathematical Reflections, Issue 5, INEQUALITIES ON RATIOS OF RADII OF TANGENT CIRCLES. Y.N. Aliyev themtil efletions, Issue 5, 015 INEQULITIES ON TIOS OF DII OF TNGENT ILES YN liev stt Some inequlities involving tios of dii of intenll tngent iles whih inteset the given line in fied points e studied

More information

Connected-components. Summary of lecture 9. Algorithms and Data Structures Disjoint sets. Example: connected components in graphs

Connected-components. Summary of lecture 9. Algorithms and Data Structures Disjoint sets. Example: connected components in graphs Prm University, Mth. Deprtment Summry of lecture 9 Algorithms nd Dt Structures Disjoint sets Summry of this lecture: (CLR.1-3) Dt Structures for Disjoint sets: Union opertion Find opertion Mrco Pellegrini

More information

First Midterm Examination

First Midterm Examination Çnky University Deprtment of Computer Engineering 203-204 Fll Semester First Midterm Exmintion ) Design DFA for ll strings over the lphet Σ = {,, c} in which there is no, no nd no cc. 2) Wht lnguge does

More information

Global alignment. Genome Rearrangements Finding preserved genes. Lecture 18

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

More information

Data Compression LZ77. Jens Müller Universität Stuttgart

Data Compression LZ77. Jens Müller Universität Stuttgart Dt Compession LZ77 Jens Mülle Univesität Stuttgt 2008-11-25 Outline Intoution Piniple of itiony methos LZ77 Sliing winow Exmples Optimiztion Pefomne ompison Applitions/Ptents Jens Mülle- IPVS Univesität

More information

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4

Intermediate Math Circles Wednesday, November 14, 2018 Finite Automata II. Nickolas Rollick a b b. a b 4 Intermedite Mth Circles Wednesdy, Novemer 14, 2018 Finite Automt II Nickols Rollick nrollick@uwterloo.c Regulr Lnguges Lst time, we were introduced to the ide of DFA (deterministic finite utomton), one

More information

Class Summary. be functions and f( D) , we define the composition of f with g, denoted g f by

Class Summary. be functions and f( D) , we define the composition of f with g, denoted g f by Clss Summy.5 Eponentil Functions.6 Invese Functions nd Logithms A function f is ule tht ssigns to ech element D ectly one element, clled f( ), in. Fo emple : function not function Given functions f, g:

More information

π,π is the angle FROM a! TO b

π,π is the angle FROM a! TO b Mth 151: 1.2 The Dot Poduct We hve scled vectos (o, multiplied vectos y el nume clled scl) nd dded vectos (in ectngul component fom). Cn we multiply vectos togethe? The nswe is YES! In fct, thee e two

More information

Parametric Methods. Autoregressive (AR) Moving Average (MA) Autoregressive - Moving Average (ARMA) LO-2.5, P-13.3 to 13.4 (skip

Parametric Methods. Autoregressive (AR) Moving Average (MA) Autoregressive - Moving Average (ARMA) LO-2.5, P-13.3 to 13.4 (skip Pmeti Methods Autoegessive AR) Movig Avege MA) Autoegessive - Movig Avege ARMA) LO-.5, P-3.3 to 3.4 si 3.4.3 3.4.5) / Time Seies Modes Time Seies DT Rdom Sig / Motivtio fo Time Seies Modes Re the esut

More information

Non Right Angled Triangles

Non Right Angled Triangles Non Right ngled Tringles Non Right ngled Tringles urriulum Redy www.mthletis.om Non Right ngled Tringles NON RIGHT NGLED TRINGLES sin i, os i nd tn i re lso useful in non-right ngled tringles. This unit

More information

CIT 596 Theory of Computation 1. Graphs and Digraphs

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

More information

3.1 Magnetic Fields. Oersted and Ampere

3.1 Magnetic Fields. Oersted and Ampere 3.1 Mgnetic Fields Oested nd Ampee The definition of mgnetic induction, B Fields of smll loop (dipole) Mgnetic fields in mtte: ) feomgnetism ) mgnetiztion, (M ) c) mgnetic susceptiility, m d) mgnetic field,

More information

10 m, so the distance from the Sun to the Moon during a solar eclipse is. The mass of the Sun, Earth, and Moon are = =

10 m, so the distance from the Sun to the Moon during a solar eclipse is. The mass of the Sun, Earth, and Moon are = = Chpte 1 nivesl Gvittion 11 *P1. () The un-th distnce is 1.4 nd the th-moon 8 distnce is.84, so the distnce fom the un to the Moon duing sol eclipse is 11 8 11 1.4.84 = 1.4 The mss of the un, th, nd Moon

More information

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies

Supplementary information Efficient Enumeration of Monocyclic Chemical Graphs with Given Path Frequencies Supplementay infomation Efficient Enumeation of Monocyclic Chemical Gaphs with Given Path Fequencies Masaki Suzuki, Hioshi Nagamochi Gaduate School of Infomatics, Kyoto Univesity {m suzuki,nag}@amp.i.kyoto-u.ac.jp

More information

U>, and is negative. Electric Potential Energy

U>, and is negative. Electric Potential Energy Electic Potentil Enegy Think of gvittionl potentil enegy. When the lock is moved veticlly up ginst gvity, the gvittionl foce does negtive wok (you do positive wok), nd the potentil enegy (U) inceses. When

More information

CS 301. Lecture 04 Regular Expressions. Stephen Checkoway. January 29, 2018

CS 301. Lecture 04 Regular Expressions. Stephen Checkoway. January 29, 2018 CS 301 Lecture 04 Regulr Expressions Stephen Checkowy Jnury 29, 2018 1 / 35 Review from lst time NFA N = (Q, Σ, δ, q 0, F ) where δ Q Σ P (Q) mps stte nd n lphet symol (or ) to set of sttes We run n NFA

More information

Coalgebra, Lecture 15: Equations for Deterministic Automata

Coalgebra, Lecture 15: Equations for Deterministic Automata Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined

More information

Analysis of Variance for Multiple Factors

Analysis of Variance for Multiple Factors Multiple Fto ANOVA Notes Pge wo Fto Anlsis Anlsis of Vine fo Multiple Ftos Conside two ftos (tetments) A nd B with A done t levels nd B done t levels. Within given tetment omintion of A nd B levels, leled

More information

. Using our polar coordinate conversions, we could write a

. Using our polar coordinate conversions, we could write a 504 Chapte 8 Section 8.4.5 Dot Poduct Now that we can add, sutact, and scale vectos, you might e wondeing whethe we can multiply vectos. It tuns out thee ae two diffeent ways to multiply vectos, one which

More information

Computing data with spreadsheets. Enter the following into the corresponding cells: A1: n B1: triangle C1: sqrt

Computing data with spreadsheets. Enter the following into the corresponding cells: A1: n B1: triangle C1: sqrt Computing dt with spredsheets Exmple: Computing tringulr numers nd their squre roots. Rell, we showed 1 ` 2 ` `n npn ` 1q{2. Enter the following into the orresponding ells: A1: n B1: tringle C1: sqrt A2:

More information

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

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

More information

NON-DETERMINISTIC FSA

NON-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 information

CHAPTER 18: ELECTRIC CHARGE AND ELECTRIC FIELD

CHAPTER 18: ELECTRIC CHARGE AND ELECTRIC FIELD ollege Physics Student s Mnul hpte 8 HAPTR 8: LTRI HARG AD LTRI ILD 8. STATI LTRIITY AD HARG: OSRVATIO O HARG. ommon sttic electicity involves chges nging fom nnocoulombs to micocoulombs. () How mny electons

More information

Chapter 4 State-Space Planning

Chapter 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 information

More Properties of the Riemann Integral

More Properties of the Riemann Integral More Properties of the Riemnn Integrl Jmes K. Peterson Deprtment of Biologil Sienes nd Deprtment of Mthemtil Sienes Clemson University Februry 15, 2018 Outline More Riemnn Integrl Properties The Fundmentl

More information

Correspondence Analysis & Related Methods

Correspondence Analysis & Related Methods Coespondene Analysis & Related Methods Oveview of CA and basi geometi onepts espondents, all eades of a etain newspape, osstabulated aoding to thei eduation goup and level of eading of the newspape Mihael

More information

in the wost cse. (All logithms in this ppe e se logithms.) The est known soting metho, clle mege insetion y Knuth [9], is ue to Leste Fo J. n Selme Jo

in the wost cse. (All logithms in this ppe e se logithms.) The est known soting metho, clle mege insetion y Knuth [9], is ue to Leste Fo J. n Selme Jo On lowe ouns fo selecting the mein Doit Do John H st y Stn Ulfeg y Ui Zwick June 4, 997 Astct We pesent efomultion of the n+o(n) lowe oun of Bent n John fo the nume of compisons neee fo selecting the mein

More information

Probability. b a b. a b 32.

Probability. b a b. a b 32. Proility If n event n hppen in '' wys nd fil in '' wys, nd eh of these wys is eqully likely, then proility or the hne, or its hppening is, nd tht of its filing is eg, If in lottery there re prizes nd lnks,

More information

The Formulas of Vector Calculus John Cullinan

The Formulas of Vector Calculus John Cullinan The Fomuls of Vecto lculus John ullinn Anlytic Geomety A vecto v is n n-tuple of el numbes: v = (v 1,..., v n ). Given two vectos v, w n, ddition nd multipliction with scl t e defined by Hee is bief list

More information

50 AMC Lectures Problem Book 2 (36) Substitution Method

50 AMC Lectures Problem Book 2 (36) Substitution Method 0 AMC Letures Prolem Book Sustitution Metho PROBLEMS Prolem : Solve for rel : 9 + 99 + 9 = Prolem : Solve for rel : 0 9 8 8 Prolem : Show tht if 8 Prolem : Show tht + + if rel numers,, n stisf + + = Prolem

More information

The Minimum Label Spanning Tree Problem: Illustrating the Utility of Genetic Algorithms

The Minimum Label Spanning Tree Problem: Illustrating the Utility of Genetic Algorithms The Minimum Lel Spnning Tree Prolem: Illustrting the Utility of Genetic Algorithms Yupei Xiong, Univ. of Mrylnd Bruce Golden, Univ. of Mrylnd Edwrd Wsil, Americn Univ. Presented t BAE Systems Distinguished

More information

Prefix-Free Regular-Expression Matching

Prefix-Free Regular-Expression Matching Prefix-Free Regulr-Expression Mthing Yo-Su Hn, Yjun Wng nd Derik Wood Deprtment of Computer Siene HKUST Prefix-Free Regulr-Expression Mthing p.1/15 Pttern Mthing Given pttern P nd text T, find ll sustrings

More information

Fourier-Bessel Expansions with Arbitrary Radial Boundaries

Fourier-Bessel Expansions with Arbitrary Radial Boundaries Applied Mthemtics,,, - doi:./m.. Pulished Online My (http://www.scirp.og/jounl/m) Astct Fouie-Bessel Expnsions with Aity Rdil Boundies Muhmmd A. Mushef P. O. Box, Jeddh, Sudi Ai E-mil: mmushef@yhoo.co.uk

More information

Pre-Lie algebras, rooted trees and related algebraic structures

Pre-Lie algebras, rooted trees and related algebraic structures Pre-Lie lgers, rooted trees nd relted lgeri strutures Mrh 23, 2004 Definition 1 A pre-lie lger is vetor spe W with mp : W W W suh tht (x y) z x (y z) = (x z) y x (z y). (1) Exmple 2 All ssoitive lgers

More information

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24

Matrix Algebra. Matrix Addition, Scalar Multiplication and Transposition. Linear Algebra I 24 Mtrix lger Mtrix ddition, Sclr Multipliction nd rnsposition Mtrix lger Section.. Mtrix ddition, Sclr Multipliction nd rnsposition rectngulr rry of numers is clled mtrix ( the plurl is mtrices ) nd the

More information

CHAPTER 1 Regular Languages. Contents

CHAPTER 1 Regular Languages. Contents Finite Automt (FA or DFA) CHAPTE 1 egulr Lnguges Contents definitions, exmples, designing, regulr opertions Non-deterministic Finite Automt (NFA) definitions, euivlence of NFAs nd DFAs, closure under regulr

More information

ITI Introduction to Computing II

ITI Introduction to Computing II ITI 1121. Intoduction to Computing II Macel Tucotte School of Electical Engineeing and Compute Science Abstact data type: Stack Stack-based algoithms Vesion of Febuay 2, 2013 Abstact These lectue notes

More information

Gold s algorithm. Acknowledgements. Why would this be true? Gold's Algorithm. 1 Key ideas. Strings as states

Gold s algorithm. Acknowledgements. Why would this be true? Gold's Algorithm. 1 Key ideas. Strings as states Acknowledgements Gold s lgorithm Lurent Miclet, Jose Oncin nd Tim Otes for previous versions of these slides. Rfel Crrsco, Pco Cscuert, Rémi Eyrud, Philippe Ezequel, Henning Fernu, Thierry Murgue, Frnck

More information

EXERCISE - 01 CHECK YOUR GRASP

EXERCISE - 01 CHECK YOUR GRASP EXERISE - 0 HEK YOUR GRASP 3. ( + Fo sum of coefficiets put ( + 4 ( + Fo sum of coefficiets put ; ( + ( 4. Give epessio c e ewitte s 7 4 7 7 3 7 7 ( 4 3( 4... 7( 4 7 7 7 3 ( 4... 7( 4 Lst tem ecomes (4

More information

Deterministic simulation of a NFA with k symbol lookahead

Deterministic simulation of a NFA with k symbol lookahead Deteministic simultion of NFA with k symbol lookhed SOFSEM 7 Bl Rvikum, Clifoni Stte Univesity (joint wok with Nic Snten, Univesity of Wteloo) Oveview Definitions: DFA, NFA nd lookhed DFA Motivtion: utomted

More information

Necessary 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 )

Necessary 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 information

Validating XML Documents in the Streaming Model with External Memory

Validating XML Documents in the Streaming Model with External Memory Vlidting XML Douments in the Steming Model with Extenl Memoy Chistin Kond LIAFA, Univ. Pis Dideot; Pis, Fne; nd Univ. Pis-Sud; Osy, Fne. kond@li.f Fédéi Mgniez LIAFA, Univ. Pis Dideot, CNRS; Pis, Fne.

More information

24.2 Naive Backtracking

24.2 Naive Backtracking Foundations of Atificial Intelligence Apil 16, 2018 24. Constaint Satisfaction Polems: Backtacking Foundations of Atificial Intelligence 24. Constaint Satisfaction Polems: Backtacking Malte Helmet Univesity

More information