Topic II.1: Frequent Subgraph Mining
|
|
- Deborah Wood
- 5 years ago
- Views:
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:
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 informationThe 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
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 informationSection 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 informationCS 573 Automata Theory and Formal Languages
Non-determinism Automt Theory nd Forml Lnguges Professor Leslie Lnder Leture # 3 Septemer 6, 2 To hieve our gol, we need the onept of Non-deterministi Finite Automton with -moves (NFA) An NFA is tuple
More informationAndersen 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 informationPrerna 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 information10.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 information10 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 informationDiscrete Structures, Test 2 Monday, March 28, 2016 SOLUTIONS, VERSION α
Disrete Strutures, Test 2 Mondy, Mrh 28, 2016 SOLUTIONS, VERSION α α 1. (18 pts) Short nswer. Put your nswer in the ox. No prtil redit. () Consider the reltion R on {,,, d with mtrix digrph of R.. Drw
More informationITI 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 informationCounting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs
Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if
More information1 PYTHAGORAS THEOREM 1. Given a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
1 PYTHAGORAS THEOREM 1 1 Pythgors Theorem In this setion we will present geometri proof of the fmous theorem of Pythgors. Given right ngled tringle, the squre of the hypotenuse is equl to the sum of the
More informationArrow 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 informationINTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable
INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd
More informationCS 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 informationSwinburne 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 informationEECE 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 informationLanguage 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 informationConvert 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 informationgr0 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 informationSolutions for HW9. Bipartite: put the red vertices in V 1 and the black in V 2. Not bipartite!
Solutions for HW9 Exerise 28. () Drw C 6, W 6 K 6, n K 5,3. C 6 : W 6 : K 6 : K 5,3 : () Whih of the following re iprtite? Justify your nswer. Biprtite: put the re verties in V 1 n the lk in V 2. Biprtite:
More information2-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 informationWeek 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 informationChapter 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 informationGraph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France)
Grph Sttes EPIT 2005 Mehdi Mhll (Clgry, Cnd) Simon Perdrix (Grenole, Frne) simon.perdrix@img.fr Grph Stte: Introdution A grph-sed representtion of the entnglement of some (lrge) quntum stte. Verties: quits
More information, g. Exercise 1. Generator polynomials of a convolutional code, given in binary form, are g. Solution 1.
Exerise Genertor polynomils of onvolutionl ode, given in binry form, re g, g j g. ) Sketh the enoding iruit. b) Sketh the stte digrm. ) Find the trnsfer funtion T. d) Wht is the minimum free distne of
More informationComputational 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 informationSurface 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 informationProject 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 informationConstraint 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 informationA 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 information1 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 informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationData 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 informationTechnische Universität München Winter term 2009/10 I7 Prof. J. Esparza / J. Křetínský / M. Luttenberger 11. Februar Solution
Tehnishe Universität Münhen Winter term 29/ I7 Prof. J. Esprz / J. Křetínský / M. Luttenerger. Ferur 2 Solution Automt nd Forml Lnguges Homework 2 Due 5..29. Exerise 2. Let A e the following finite utomton:
More informationPhysics 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 informationChapter 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 informationCS 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 informationDiscrete 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 informationArrow 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 informationPythagoras 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 informationLecture 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 informationgr0 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 informationwhere 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 informationSystem 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 informationFirst Midterm Examination
24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet
More informationElectronic 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 informationFinite State Automata and Determinisation
Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions
More informationMath 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 informationProperties 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 informationRegular 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 informationAlgorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points:
Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer
More informationLogic Synthesis and Verification
Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most
More informationGraph Theory. Simple Graph G = (V, E). V={a,b,c,d,e,f,g,h,k} E={(a,b),(a,g),( a,h),(a,k),(b,c),(b,k),...,(h,k)}
Grph Theory Simple Grph G = (V, E). V ={verties}, E={eges}. h k g f e V={,,,,e,f,g,h,k} E={(,),(,g),(,h),(,k),(,),(,k),...,(h,k)} E =16. 1 Grph or Multi-Grph We llow loops n multiple eges. G = (V, E.ψ)
More informationQUADRATIC EQUATION. Contents
QUADRATIC EQUATION Contents Topi Pge No. Theory 0-04 Exerise - 05-09 Exerise - 09-3 Exerise - 3 4-5 Exerise - 4 6 Answer Key 7-8 Syllus Qudrti equtions with rel oeffiients, reltions etween roots nd oeffiients,
More informationBases 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 informationMathematical 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 informationConnected-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 informationFirst 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 informationGlobal alignment. Genome Rearrangements Finding preserved genes. Lecture 18
Computt onl Biology Leture 18 Genome Rerrngements Finding preserved genes We hve seen before how to rerrnge genome to obtin nother one bsed on: Reversls Knowledge of preserved bloks (or genes) Now we re
More informationData 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 informationIntermediate 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 informationClass 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
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 informationParametric 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 informationNon 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 informationCIT 596 Theory of Computation 1. Graphs and Digraphs
CIT 596 Theory of Computtion 1 A grph G = (V (G), E(G)) onsists of two finite sets: V (G), the vertex set of the grph, often enote y just V, whih is nonempty set of elements lle verties, n E(G), the ege
More information3.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 information10 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 informationSupplementary 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 informationU>, 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 informationCS 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 informationCoalgebra, 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 informationAnalysis 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
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 informationComputing 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 informationMid-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 informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More informationCHAPTER 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 informationChapter 4 State-Space Planning
Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different
More informationMore 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 informationCorrespondence 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 informationin 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 informationProbability. 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 informationThe 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 information50 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 informationThe 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 informationPrefix-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 informationFourier-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 informationPre-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 informationMatrix 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 informationCHAPTER 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 informationITI 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 informationGold 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 informationEXERCISE - 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 informationDeterministic 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 informationNecessary and sucient conditions for some two. Abstract. Further we show that the necessary conditions for the existence of an OD(44 s 1 s 2 )
Neessry n suient onitions for some two vrile orthogonl esigns in orer 44 C. Koukouvinos, M. Mitrouli y, n Jennifer Seerry z Deite to Professor Anne Penfol Street Astrt We give new lgorithm whih llows us
More informationValidating 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 information24.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