Mining Frequent Web Access Patterns with Partial Enumeration

Size: px
Start display at page:

Download "Mining Frequent Web Access Patterns with Partial Enumeration"

Transcription

1 Mining Frequent We Aess Ptterns with Prtil Enumertion Peiyi Tng Deprtment of Computer Siene University of Arknss t Little Rok 2801 S. University Ave. Little Rok, AR Mrkus P. Turki Deprtment of Computer Siene University of Arknss t Little Rok 2801 S. University Ave. Little Rok, AR ABSTRACT In this pper, we exten the pttern-growth we ess pttern mining lgorithms [1, 2, 3] with prtil enumertion. The extene lgorithm n grow the frequent ptterns with more thn one symol t time n unifies the ptterngrowth n priori lgorithms [4]. The experimentl results show tht for the tses of long sequenes, the est performne is neither given y the pttern-growth lgorithms nor y the full priori enumertion lgorithms, ut rther y the mining with prtil enumertion in the mile. 1. INTRODUCTION With the explosive growth of Internet use, mining frequent we ess ptterns from huge tsets of we log files eomes possile. The frequent we ess ptterns mine from the we log files re essentil for the we msters n esigners to further improve the esign of the we sites. We ess pttern mining is one exmple of generl frequent pttern mining. Another exmple of frequent pttern mining is the mining of iologil sequenes where eh sequene is sequene of mino is or nuleoties. Due to the importne of the prolem n its lrge pplitions, we ess pttern mining hs ttrte signifint ttention in the reent yers [1, 2, 3, 4, 5, 6]. The frequent we ess pttern mining lgorithms propose re either pttern-growth lgorithms [1, 2, 3] or priori enumertion lgorithms [4]. The priori enumertion lgorithms enumerte n test the nite ptterns n prune infrequent ptterns wy se on the known infrequent ptterns. The prolem of the full priori enumertion is the lrge numer of nites euse the nite pruning is lwys pproximte. The pttern-growth lgorithms grow the frequent ptterns only one symol t reursive ll. If the verge length of frequent ptterns is lrge, it tkes eep hin of reursive lls to fin these ptterns. Numerous reursive lls ring out overhe n slow own the mining. Permission to mke igitl or hr opies of ll or prt of this work for personl or lssroom use is grnte without fee provie tht opies re not me or istriute for profit or ommeril vntge n tht opies er this notie n the full ittion on the first pge. To opy otherwise, to repulish, to post on servers or to reistriute to lists, requires prior speifi permission n/or fee. ACMSE 2007, Mrh 23-24, 2007, Winston-Slem, N. Crolin, USA Copyright 2007 ACM /07/ $5.00. In this pper, we exten our pttern-growth we ess mining lgorithm [3] 1 using prtil enumertion. The extene lgorithm n grow the frequent ptterns more thn one symol t eh reursive ll. Our experimentl results show tht the extene lgorithm n outperform the originl pttern-growth lgorithm y the ftor s lrge s 3.48 for the tses of long sequenes. The extene lgorithm n lso e regre s the one tht unifies the pttern-growth lgorithms [1, 2, 3] n the priori enumertion lgorithms[4] with these two t the extremes of the we ess pttern mining spetrum. Our experimentl results revel tht for the tses of long sequenes, the est performne is neither given y the ptterngrowth lgorithms nor y the full priori enumertion lgorithms, ut rther y the mining with prtil enumertion in the mile. The rest of the pper is orgnize s follows. In Setion 2, we present the theory n the strt lgorithm of we ess pttern mining with prtil enumertion. In Setion 3, we present n implementtion of the prtil enumertion lgorithm using the FLWAP-tree [3] n simple priori enumertor. We present the results of the experimentl evlution in Setion 4 n onlue the pper with esription of relte work in Setion MINING FREQUENT PATTERNS WITH PARTIAL ENUMERATION Let Σ e the set of symols n eh symol represents wesite. Awe ess sequene s is sequene of finite numer of symols from Σ, s = s 1 s m (s i Σ for ll 1 i m<, ns i n s j re not neessrily ifferent for i j). A we ess tse D is multi-set of we ess sequenes. A we ess pttern is lso sequene of finite numer of symols from Σ. A sequene s = s 1 s l is susequene of sequene s = s 1 s m, enote s s s, if n only if l m n there exist i 1,,i l suh tht 1 i 1 < <i l m n s j = s ij for ll 1 j l. A sequene s is si to support pttern p if p is susequene of s. The support of pttern p in D, enote s Sup D(p), is the numer of we ess sequenes in D tht support p. Given threshol ξ in intervl (0, 1], pttern p is frequent with respet to ξ n D if Sup D(p) ξ D, where D is the numer of we ess sequenes in D. ξ D is lle the solute threshol n enote s η. The we ess 1 Our pttern growth we ess mining lgorithm [3] uses First-Ourrene Linke WAP-tree n outperforms the PLWAP mining lgorithm [2] signifintly n onsistently. 226

2 () Originl Serh Spe Tree () Re-rrnge y Prtil Enumertion Figure 1: Serh Spe Tree of Frequent Ptterns pttern mining prolem is to fin ll the frequent ptterns with respet to ξ n D. Figure 1() illustrtes the serh spe tree of frequent ptterns of symol set Σ = {,,,. Eh noe is possile frequent pttern. Eh noe hs four hilren representing the ptterns extene with symols,, n, respetively. The pttern-growth lgorithms [1, 2, 3] grow the frequent ptterns one symol t time in epth-first serh of the tree. Figure 2 shows the strt lgorithm funtion Pttern-Grow(pttern q, tse D) { F ; for eh s in Σ o if (Sup D (s) η) then F F {q s; Construt the s-projetion tse D s; F Pttern-Grow(q s, D s); F F F ; enfor return F ; Figure 2: Pttern-Growth without Enumertion of pttern-growth from [3]. It grows frequent ptterns y mining projetion tses reursively. Given symol s in Σ n tse D, thes-projetion tse of D, enote s D s, onsists of the s-projetions of the sequenes in D in whih s ours t lest one. The prefix from the first symol up to n inluing the first ourrene of s is lle the s-prefix of the sequene. The s-projetion of the sequene is wht is left fter the s-prefix is tken wy. For exmple, the first ourrene of in sequene is where is unerline. Thus, the -prefix of is n its -projetion is. The is the ontention etween sequenes. The frequent ptterns in D re mine y invoking Pttern-Grow(, D), where is the empty pttern. In orer to grow the frequent ptterns fster with more thn one symol t reursive ll, we prtition the symol set Σ to isjoint susets first: Σ = Σ 1 Σ l n Σ i Σ j = for i j. For exmple, we n prtition Σ = {,,, to Σ 1 = {, n Σ 2 = {,. Given symol suset Σ j, prtil enumertions from Σ j re the non-empty ptterns me of the symols in Σ j of the length less or equl to the size of Σ j. For exmple, the prtil enumertions from Σ 1 = {, re,,,, n. The set of prtil enumertions from Σ j is enote s E(Σ j). For exmple, E({, ) is{,,,,,. Figure 1() illustrtes the si ie of the frequent we ess pttern mining with prtil enumertion. The serh spe is re-rrnge so tht the ptterns n grow more thn one symol t time. The root noe grows with the prtil enumertions from oth {, n {,. For eh other noe, if it is grown from its prent with prtil enumertion shorter thn the size of the orresponing symol suset, it only grows with the prtil enumertions from other symol susets. For exmple, noe in Figure 1() is grown from the root noe with prtil enumertion from {,. The length of pttern is 1 n less thn the size of {,, 2. Noe then grows only with the prtil enumertions from {,. If it were llowe to grow with the prtil enumertions from {,, it woul hve hilren n whih uplite the noes n grown from the root noe. If noe is grown from its prent with prtil enumertion of the length equl to the size of the orresponing symol suset, it shoul grow with the prtil enumertions from ll the symol susets. For instne, noe in Figure 1() is grown from the root noe with prtil enumertion of length 2. It shoul grow with the prtil enumertions from oth {, n {,. Bse on this ie, the set of frequent ptterns to e mine n e prtitione to the frequent ptterns whose first symol is from ifferent symol susets Σ j (j =1,,l). Let G(j, D) e the set of non-empty frequent ptterns in tse D whose first symol is from Σ j. Oviously, the set of ll non-empty frequent ptterns in D is G(1,D) G(l, D) (1) n G(i, D) G(j, D) = (2) for ny i j. Mining the frequent ptterns from D is, thus, prtitione to fining G(j, D) for ll j =1,,l. There re no uplites of frequent ptterns mine euse of (2). This is importnt euse no frequent pttern shoul e mine more thn one. Otherwise, the mining time oul inrese rmtilly. Let us use F (i, D) to enote the set of non-empty frequent ptterns in D exluing those strting with symol in Σ i: F (i, D) = i 1 [ j=1 G(j, D) l[ j=i+1 G(j, D) (3) Therefore, the set of ll non-empty frequent ptterns in D n e enote s F (0,D), euse F (0,D)= P l j=1 G(j, D) oring to (3). We now esrie how to fin G(j, D). Given we ess sequene s n pttern p suh tht p s, thep-prefix of s is the miniml prefix of s tht supports p. For exmple, the -prefix of sequene is, rther thn. The p-projetion of s is wht is left fter the p-prefix is tken wy. For exmple, the -projetion of sequene is. Note tht the p-projetion n e the empty sequene if the p-prefix of s is s itself. Given prtil enumertion p from Σ j,thep-projetion tse of D, enote s D p,σj 227

3 funtion Pttern-Grow(pttern q, int i, tse D) { F ; for j =1,l o if (j i) then 1: for eh p in E(Σ j ) o if (Sup D (p) η) then F F {q p; Construt the p-projetion tse D p,σj ; if ( p = Σ j ) then F Pttern-Grow(q p, 0,D p,σj ); F Pttern-Grow(q p, j, D p,σj ); F F F ; enfor enfor return F ; Figure 3: Pttern-Growth with Prtil Enumertion is the multi-set of the p-projetions of the sequenes in D tht support p: D p,σj = {p-projetion of s p s s D (4) It n e prove tht the support of pttern p in the p-projetion tse D p,σj is equl to the support of the ontente pttern p p in the originl tse D: Sup Dp,Σj (p )=Sup D(p p ) (5) The proof of (5) n e foun in [7] If the sme solute threshol η = ξ D is use in mining frequent ptterns in oth D n D p,σj, we n sy se on (5) tht, pttern p p is frequent in D if n only if p is frequent in D p,σj. To mine G(j, D), we further look t [ F (p, j, D) p E(Σ j ) where F (p, j, D) is efine y j F pf (0,Dp,Σj ) {p if p = Σ j (p, j, D) = (6) pf (j, D p,σj ) {p if p < Σ j if p is frequent in D. If p isnotfrequentind, F (p, j, D) is empty. Here, pf (0,D p,σj )is{p p p F (0,D p,σj ) (similrly for pf (j, D p,σj )), the set of ptterns tht re the ontentions of p with the ptterns from F (0,D p,σj ). Rell tht F (j, D p,σj ) is the set of non-empty frequent ptterns in D p,σj tht o not strt with the symols in Σ j oring to the efinition in (3). F (0,D p,σj )isthesetof non-empty frequent ptterns in D p,σj tht strt with ny symol (see (3) too). By using these fts, we n prove tht G(j, D) = [ F (p, j, D) (7) p E(Σ j ) n F (p, j, D) F (p,j,d)= (8) for ny p, p E(Σ j) suh tht p p. D D D D D D D D (D) (D) (D) (D) (D) (D) (D) (D) (D) (D) (D) (D) (D) ((D)) D ((D)) ((D)) ((D)) (((D))) (((D))) (((D))) ((D)) Figure 4: Mining with Prtil Enumertion Thus, (7) provies isjoint prtition of G(j, D). We n mine G(j, D) y mining F (p, j, D) for ll prtil enumertions p from E(Σ j) n no frequent pttern is mine more thn one. The proofs of (7) n (8) n e foun in [7]. Bse on the reursive equtions (3), (7) n (6), we hve the lgorithm to fin F (i, D) shown in Figure 3. The frequent ptterns in tse D n e foun y lling Pttern-Grow(, 0,D). funtion Pttern-Grow(pttern q, int i, tse D) { F ; for j =1,l o if (j i) then Construt priori enumertor Enum(Σ j ); 1: while (p Enum.Next()) is not null) o 2: if (Sup D (p) η) then 3: Construt the p-projetion tse D p,σj ; Cll Enum.Confirm(p) toreportp is frequent; F F {q p; if ( p = Σ j ) then F Pttern-Grow(q p, 0,D p,σj ); F Pttern-Grow(q p, j, D p,σj ); F F F ; enwhile Delete priori enumertor Enum; enfor return F ; Figure 5: Pttern-Growth with Apriori Prtil Enumertors Figure 4 shows the mining of tse with one sequene, D = {, nthresholξ = 100%. The symol set Σ = {,,, is prtitione s Σ 1 Σ 2 = {, {,. Eh noe represents projetion tse with its nme n ontents in the ox. We use prentheses n susripts to nme projetion tses. For exmple, D is the - projetion tse of D (i.e. D,Σ1 to e preise). (D ) is the -projetion tse of D. The eges show prtil enumertions. In the top level, the mining is prtitione to mining G(1,D)nG(2,D)withΣ 1 = {, n Σ 2 = {,, respetively. Five out of the six prtil enumertions from Σ 1 = {, re frequent n hve non-empty projetion tses: D, D, D, D n D. Notie 228

4 Heer Tle :2 :2 :1 :3 :3 :1 :1 :1 () D :4 :1 :1 :1 :1 :1 Heer Tle :4 :4 () D,{, :3 :3 :1 :1 :1 :1 Originl Heer Tle () D,{, Figure 6: The FLWAP-trees :4 :4 :1 :1 :1 Smller tht the reursive mining from D exlues prtil enumertions from Σ 1, euse the length of is less thn the size of Σ 1. On the other hn, the reursive mining from D uses the prtil enumertions from oth Σ 1 = {, n Σ 2 = {,, euse the length of is two. Figure 4 shows the 29 non-empty frequent ptterns mine from the tse D with ξ = 100%. They re (in the orer they re foun):,,,,,,,,,,,,,,,,,,,,,,,,,,,,. When the sizes of ll the symol susets Σ j (j =1,,l) re one, the mining of prtil enumertion shown in Figure 3 egenertes to the pttern growth mining without enumertion in Figure 2. funtion Proj(T, p, support, Σ j ){ P ; Follow the first-ourrene links to fin first-ourrenes of the first symol of p; 1: Trverse the tree from these first ourrenes to fin ll the p-prefixes n their lst noes to P ; support sum of the ounts of ll noes in P ; if support η then Q ; if ( p < Σ j ) then 2: for eh noe in P o trverse its sutrees, pssing the noes of Σ j n the first non-σ j noes to Q; 3: enfor for eh noe in P o its hilren noes to Q; enfor Construt new FLWAP-tree T for the sequenes represente y the sutrees roote t the noes in Q n mke support s the ount of its root noe; return the projetion tse T ; return the empty projetion tse; prtil enumertions, we nee n priori enumertor to enumerte only those prtil enumertions whose known susequenes re ll frequent. Figure 5 shows our finl prtil enumertion mining lgorithm using n priori prtil enumertor. The priori prtil enumertor hs the funtions s follows: lss Enum W : working queue of p, Σ ; P : working queue of sequenes; Q: working queue of sequenes; Lmx: integer; onstrutor Enum(Σ j ) egin Crete empty W, P, Q; W.Enqueue(, Σ j ); Lmx Σ j ; en funtion Confirm(q) egin Q.Enqueue(q); en funtion Next() egin if (P is not empty) then return P.Dequeue(); if (Q is not empty) then Let Q =(p s 1,,p s m); for j =1,m o W.Enqueue( p s j, {s 1,,s m ); enfor Empty Q; if (W is empty) then return null; while ((P is empty) n (W is not empty)) o p, Σ W.Dequeue(); if ( p <Lmx) then for eh s in Σ o P.Enqueue(p s); enfor enwhile if (P is not empty) then return P.Dequeue(); return null; en enlss Figure 8: Apriori Prtil Enumertor Figure 7: Mking Projetion Dtse D p,σj The for loop t line 1 of the lgorithm in Figure 3 enumertes ll prtil enumertions p from Σ j. If prtil enumertion p is not frequent, ny prtil enumertion tht hs p s its susequene nnot e frequent either n, therefore, shoul not e onsiere. To prune wy these infrequent Next() returns the next prtil enumertion in E(Σ j) fter pruning wy the infrequent prtil enumertions in etween. This metho returns null if ll the nites re exhuste. Confirm(p) onfirms tht p is frequent. It is invoke only fter the Next() whih returns p n efore the next ll of Next(). A prtil enumertion p is on- 229

5 siere infrequent if the enumertor oes not reeive Confirm(p) efore the next ll of Next(). 3. IMPLEMENTATION 3.1 Dtse Representtion n Projetion We use the First-Ourrene Linke WAP tree (FLWAPtree) [3] s the tse representtion in our implementtion. The we ess mining using the FLWAP-tree [3] is pttern-growth lgorithm without enumertion s shown in Figure 2. The FLWAP-tree is the si WAP-tree of the tse [1, 5] with the first-ourrenes of eh symol linke together. For simple tse D = {,,, (with Σ = {,, ), its FLWAP-tree is shown in Figure 6(). Eh we sequene in the tse is represente y pth from the root noe to the noe of the lst symol of the sequene. Eh noe hs lel for the nme of the symol n ount for the numer of sequenes tht shre the ommon prefix from the root noe up to this noe inlusive. The ount in the root noe is the totl numer of sequenes inluing empty sequenes in the tse. Given tse D represente y FLWAP-tree T n pttern p from Σ j, the funtion to fin the support Sup p(d) n mke the p-projetion tse D p,σj (if Sup p(d) η ) is shown in Figure 7. After the lst noes of the p-prefixes re foun (store in set P ) in line 1 in Figure 7, the support, Sup D(p), is known s the sum of the ounts of these noes. If the support is elow η, we o not nee to onstrut the projetion tse. TheoeinFigure7lsomkesthep-projetion tses smller if p is shorter thn the size of Σ j.ifpis shorter thn the size of Σ j, p will not grow with the prtil enumertions from Σ j, oring to the lgorithm in Figure 3. Therefore, the symols from Σ j in the eginning of the projetions n e sfely remove without hving n impt on the further mining. This is wht is one y the oe etween lines 2 n 3. For exmple, the originl projetion tse D,{, is the one shown in Figure 6(). The oe in Figure 7 tully uils the smller tree shown in Figure 6(). We use funtion Proj(T, p, support, Σ j) in Figure 7 to fin the support, Sup D(p),forline2oftheoeinFigure5 n onstrut the projetion tse D p,σj for line 3 if the support is ove the solute threshol η. 3.2 Apriori Prtil Enumertor We use simple priori enumertion strtegy [4] for our priori prtil enumertor s follows: if p is frequent n p is not frequent (p is pttern n n re symols), we o not nee to onsier when extening p, euse p nnot e frequent ue to the ft tht p is not frequent. Figure 8 shows our lgorithm for the priori prtil enumertor. The enumertor works through three working lists s follows: P is the uffer queue to store the nite prtil enumertions rey to e pike y the lls of Next(). Q is the uffer queue for the prtil enumertions tht hve een onfirme frequent. These sequenes re eposite y the lls of Confirm(q). W is the working list of pirs p, Σ,wherep is prtil enumertion n Σ suset of Σ j for the symols to exten p. The extene prtil enumertions will e put in P. Initilly, W ontins, Σ j only. All the other p, Σ pirs in W re forme y using the ontents of Q s shown in funtion Next(). When p is empty n Q is not empty, funtion Next() will empty the ontents of Q. Let the ontents of Q e p s 1,,p s m. Aoring to the priori enumertion strtegy esrie ove, only the prtil enumertions extene from p s j (1 j m) with elements s 1,,s m nee to e onsiere. Thus, m pirs p s l, {s 1,,s m (1 l m) will e enqueue to W. 4. EXPERIMENTAL EVALUATION We onute the experimentl evlution of our implementtion y prtitioning the symol set Σ of size N to N k susets with the first N susets hving k symols n the k lst suset (N mo k) symols. Whenk = 1, the mining egenertes to the pttern-growth mining without enumertion using the FLWAP-tree [3]. When k = N, the mining is the reth-first full priori mining 2. We vry the vlue of k from 1 to N n our purpose is to see how the ifferent vlues of k impt the performne. We use the IBM t genertor [8] to generte 12 tsets with N =10, 15 n the verge length of the sequenes in the tse C =4, 6, 8, 10, 12, 14. The numer of sequenes in eh tse is D = All the tests on these tsets were run on n Intel Pentium III proessor of 497 MHz CPU with 512KB he n 256MB RAM using the threshol ξ = To ompre the performne of the mining with prtil enumertion (k >1) with the mining without enumertion (k = 1), we lulte the speeup of prtil enumertion s follows: Sp(k) = T1 T k where T 1 is the mesure mining time without enumertion with k =1nT k is the mesure mining time with prtil enumertion with k 1. The speeups Sp(k) overk =1for N =10nN = 15 re plotte in Figures 9() n 9(), respetively. The experimentl results show tht the mining with prtil enumertion outperforms the mining without enumertion for the tsets with the lrge C/N rtio. For the tsets of N = 10, the prtil enumertion improves the performne for C = 8, 10, 12, 14with thec/n rnging from 0.8 to 1.4. The est performnes re given y k =3forll C =8, 10, 12, 14. The highest speeup is 3.48 for C/N =1.4 n k =3. For the tsets of N = 15, the prtil enumertion improves the performne for C = 10, 12, 14 with the C/N etween 0.67 n The est performnes re given y k = 2 for ll C = 10, 12, 14. However, for C = 14 (C/N =0.98) the speeup of k =3islosetothtofk =2. The highest speeup is 2.73 for C/N =0.98 n k =2. This speeup is still higher thn the speeup of 2.17 for N =10 n C/N =1.0. We expet tht the speeup for N =15 will e higher when C/N goes eyon This reth-first full priori enumertion mining iffers from the epth-first full priori mining [4] in tht the mximum epth we umulte the informtion out infrequent sequenes is N. 230

6 We n lso oserve tht the lrger the C/N rtio, the higher the speeup hieve. We lso see tht the lrger the C/N, the lrger the rnge of the vlues of k tht give the speeup greter thn one. Speeup Speeup Speeup over k=1 for N=10 n t= k 6 C=14 C=12 C=10 C=8 C=6 C=4 () Speeup over k=1 for N10D1Kt Speeup over k=1 for N=15 n t= k 7 C=14 C=12 C=10 C=8 C=6 C=4 () Speeup over k=1 for N15D1Kt0.005 Figure 9: Speeup of Prtil Enumertion over k=1 5. RELATED WORK AND CONCLUSION The ie of using prtil enumertion to prtition the serh spe ws strte in our erly work on frequent item set mining [9]. This pper is the first work on prtil enumertion for the frequent we ess pttern mining. As in the frequent itemset mining with prtil enumertion [9], our prtitioning of the frequent we ess ptterns is isjoint. Tht is, there is no overlp mong the frequent ptterns mine from the projetion tses. This is importnt euse it gurntees tht there is no reunnt work one in the mining. The losest work relte to ours is [10], whih omines GSP with n FP-growth lgorithm (lle GenPrefixSpn [11]) in n lgorithm lle SPRSe. But, no eviene is foun tht their prtitioning of frequent ptterns is isjoint. We hve presente frequent we ess pttern mining lgorithm with prtil enumertion whih unifies the pttern-growth lgorithm n the priori enumertion lgorithm. The performne evlution shows tht the mining with prtil enumertion n speeup the pttern-growth lgorithm y the ftor s lrge s 3.48 for the tses of long sequenes. The est performne for the tses of long sequenes is neither given y the pttern-growth lgorithm nor y the full priori enumertion lgorithm, ut rther y the mining with prtil enumertion in the mile. 6. REFERENCES [1] Jin Pei, Jiwei Hn, Behz Mortzvi-sl, n Hu Zhu. Mining ess ptterns effiiently from we logs. In Proeeings of the 4th Pifi-Asi Conferene on Knowlege Disovery n Dt Mining (PAKDD 00), pges , [2] C.I. Ezeife n Yi Lu. Mining we log sequentil ptterns with position oe pre-orer linke wp-tree. Interntionl Journl of Dt Mining n Knowlege Disovery, 10:5 38, [3] Peiyi Tng, Mrkus P. Turki, n Kyle A. Gllivn. Mining we ess ptterns with first-ourrene linke wp-tree. Tehnil Report titus.ompsi.ulr.eu/~ptng/ppers/flwp-rpt.pf, Deprtment of Computer Siene, University of Arknss t Little Rok, [4] J.Ayres,J.Flnnik,J.Gehrke,nT.Yiu. Sequentil pttern mining using itmp representtion. In Proeeings of the eighth ACM SIGKDD Interntionl Conferene on Knowlege Disovery n Dt Mining, pges , [5] Myr Spiliopoulou n Luks C. Fulstih. WUM: A tool for we utiliztion nlysis. In Proeeings of EDBT Workshop We DB 98, [6] C.I. Ezeife n Min Chen. Mining we sequentil ptterns inrementlly with revise PLWAP tree. In Proeeings of the 5th Interntionl Conferene on We-Age Informtion Mngement(WAIM 2004), pges pp , [7] Peiyi Tng n Mrkus P. Turki. Mining frequent we ess ptterns with prtil enumertion. Tehnil Report titus.ompsi.ulr.eu/~ptng/ppers/fwp-perpt.pf, Deprtment of Computer Siene, University of Arknss t Little Rok, [8] R. Sriknt n R. Agrwl. Mining sequentil ptterns: Generliztions n performne improvements. In Proeeings of the Interntionl Conferene on Extening Dtse Tehnology, pges 3 17, [9] Peiyi Tng n Mrkus P. Turki. Mining frequent itemsets with prtil enumertion. In Proeeings of the 44 th Annul Assoition for Computing Mhinery Southest Conferene (ACMSE 06), pges , Melourne, Flori, USA, Mrh [10] Clui Antunes n Arlino L. Oliveir. Sequentil pttern mining lgorithms: Tre-offs etween spee n memory. In Proeeings of the Seon Workshop on Mining Grphs, Trees n Sequenes t the 15th Europen ECML n the 8th Europen PKDD, [11] Clui Antunes n Arlino L. Oliveir. Generliztion of pttern-growth methos for sequentil pttern mining with gp onstrints. In Proeeings of the 2003 Interntionl Conferene on Mhine Lerning n Dt Mining, pges ,

CS 491G Combinatorial Optimization Lecture Notes

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

More information

Lecture 6: Coding theory

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

More information

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

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

More information

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

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

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

More information

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

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

CS 2204 DIGITAL LOGIC & STATE MACHINE DESIGN SPRING 2014

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

More information

Logic, Set Theory and Computability [M. Coppenbarger]

Logic, Set Theory and Computability [M. Coppenbarger] 14 Orer (Hnout) Definition 7-11: A reltion is qusi-orering (or preorer) if it is reflexive n trnsitive. A quisi-orering tht is symmetri is n equivlene reltion. A qusi-orering tht is nti-symmetri is n orer

More information

CS 360 Exam 2 Fall 2014 Name

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

More information

The DOACROSS statement

The DOACROSS statement The DOACROSS sttement Is prllel loop similr to DOALL, ut it llows prouer-onsumer type of synhroniztion. Synhroniztion is llowe from lower to higher itertions sine it is ssume tht lower itertions re selete

More 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

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.4 Theoretical Foundations

2.4 Theoretical Foundations 2 Progrmming Lnguge Syntx 2.4 Theoretil Fountions As note in the min text, snners n prsers re se on the finite utomt n pushown utomt tht form the ottom two levels of the Chomsky lnguge hierrhy. At eh level

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

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

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

More information

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

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

More information

for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx

for all x in [a,b], then the area of the region bounded by the graphs of f and g and the vertical lines x = a and x = b is b [ ( ) ( )] A= f x g x dx Applitions of Integrtion Are of Region Between Two Curves Ojetive: Fin the re of region etween two urves using integrtion. Fin the re of region etween interseting urves using integrtion. Desrie integrtion

More information

Factorising FACTORISING.

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

More information

CSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4

CSE 332. Sorting. Data Abstractions. CSE 332: Data Abstractions. QuickSort Cutoff 1. Where We Are 2. Bounding The MAXIMUM Problem 4 Am Blnk Leture 13 Winter 2016 CSE 332 CSE 332: Dt Astrtions Sorting Dt Astrtions QuikSort Cutoff 1 Where We Are 2 For smll n, the reursion is wste. The onstnts on quik/merge sort re higher thn the ones

More information

Section 2.1 Special Right Triangles

Section 2.1 Special Right Triangles Se..1 Speil Rigt Tringles 49 Te --90 Tringle Setion.1 Speil Rigt Tringles Te --90 tringle (or just 0-60-90) is so nme euse of its ngle mesures. Te lengts of te sies, toug, ve very speifi pttern to tem

More information

I 3 2 = I I 4 = 2A

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

More information

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

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design nd Anlysis LECTURE 5 Supplement Greedy Algorithms Cont d Minimizing lteness Ching (NOT overed in leture) Adm Smith 9/8/10 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov,

More 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

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

The University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS

The University of Nottingham SCHOOL OF COMPUTER SCIENCE A LEVEL 2 MODULE, SPRING SEMESTER MACHINES AND THEIR LANGUAGES ANSWERS The University of ottinghm SCHOOL OF COMPUTR SCIC A LVL 2 MODUL, SPRIG SMSTR 2015 2016 MACHIS AD THIR LAGUAGS ASWRS Time llowed TWO hours Cndidtes my omplete the front over of their nswer ook nd sign their

More information

Total score: /100 points

Total score: /100 points Points misse: Stuent's Nme: Totl sore: /100 points Est Tennessee Stte University Deprtment of Computer n Informtion Sienes CSCI 2710 (Trnoff) Disrete Strutures TEST 2 for Fll Semester, 2004 Re this efore

More information

Now we must transform the original model so we can use the new parameters. = S max. Recruits

Now we must transform the original model so we can use the new parameters. = S max. Recruits MODEL FOR VARIABLE RECRUITMENT (ontinue) Alterntive Prmeteriztions of the pwner-reruit Moels We n write ny moel in numerous ifferent ut equivlent forms. Uner ertin irumstnes it is onvenient to work with

More information

Section 6: Area, Volume, and Average Value

Section 6: Area, Volume, and Average Value Chpter The Integrl Applied Clculus Section 6: Are, Volume, nd Averge Vlue Are We hve lredy used integrls to find the re etween the grph of function nd the horizontl xis. Integrls cn lso e used to find

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

Lesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem.

Lesson 2: The Pythagorean Theorem and Similar Triangles. A Brief Review of the Pythagorean Theorem. 27 Lesson 2: The Pythgoren Theorem nd Similr Tringles A Brief Review of the Pythgoren Theorem. Rell tht n ngle whih mesures 90º is lled right ngle. If one of the ngles of tringle is right ngle, then we

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

Lecture 11 Binary Decision Diagrams (BDDs)

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

More information

Algorithm Design and Analysis

Algorithm Design and Analysis Algorithm Design nd Anlysis LECTURE 8 Mx. lteness ont d Optiml Ching Adm Smith 9/12/2008 A. Smith; sed on slides y E. Demine, C. Leiserson, S. Rskhodnikov, K. Wyne Sheduling to Minimizing Lteness Minimizing

More information

Compression of Palindromes and Regularity.

Compression of Palindromes and Regularity. Compression of Plinromes n Regulrity. Kyoko Shikishim-Tsuji Center for Lierl Arts Eution n Reserh Tenri University 1 Introution In [1], property of likstrem t t view of tse is isusse n it is shown tht

More information

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

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

More information

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

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

More information

Lecture 2: Cayley Graphs

Lecture 2: Cayley Graphs Mth 137B Professor: Pri Brtlett Leture 2: Cyley Grphs Week 3 UCSB 2014 (Relevnt soure mteril: Setion VIII.1 of Bollos s Moern Grph Theory; 3.7 of Gosil n Royle s Algeri Grph Theory; vrious ppers I ve re

More information

Fast Frequent Free Tree Mining in Graph Databases

Fast Frequent Free Tree Mining in Graph Databases The Chinese University of Hong Kong Fst Frequent Free Tree Mining in Grph Dtses Peixing Zho Jeffrey Xu Yu The Chinese University of Hong Kong Decemer 18 th, 2006 ICDM Workshop MCD06 Synopsis Introduction

More information

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

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

More information

Nondeterministic Finite Automata

Nondeterministic Finite Automata Nondeterministi Finite utomt The Power of Guessing Tuesdy, Otoer 4, 2 Reding: Sipser.2 (first prt); Stoughton 3.3 3.5 S235 Lnguges nd utomt eprtment of omputer Siene Wellesley ollege Finite utomton (F)

More information

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

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

More information

Minimal DFA. minimal DFA for L starting from any other

Minimal DFA. minimal DFA for L starting from any other Miniml DFA Among the mny DFAs ccepting the sme regulr lnguge L, there is exctly one (up to renming of sttes) which hs the smllest possile numer of sttes. Moreover, it is possile to otin tht miniml DFA

More information

p-adic Egyptian Fractions

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

More information

CARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005

CARLETON UNIVERSITY. 1.0 Problems and Most Solutions, Sect B, 2005 RLETON UNIVERSIT eprtment of Eletronis ELE 2607 Swithing iruits erury 28, 05; 0 pm.0 Prolems n Most Solutions, Set, 2005 Jn. 2, #8 n #0; Simplify, Prove Prolem. #8 Simplify + + + Reue to four letters (literls).

More information

Intermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths

Intermediate Math Circles Wednesday 17 October 2012 Geometry II: Side Lengths Intermedite Mth Cirles Wednesdy 17 Otoer 01 Geometry II: Side Lengths Lst week we disussed vrious ngle properties. As we progressed through the evening, we proved mny results. This week, we will look t

More information

APPENDIX. Precalculus Review D.1. Real Numbers and the Real Number Line

APPENDIX. Precalculus Review D.1. Real Numbers and the Real Number Line APPENDIX D Preclculus Review APPENDIX D.1 Rel Numers n the Rel Numer Line Rel Numers n the Rel Numer Line Orer n Inequlities Asolute Vlue n Distnce Rel Numers n the Rel Numer Line Rel numers cn e represente

More information

Linear Inequalities. Work Sheet 1

Linear Inequalities. Work Sheet 1 Work Sheet 1 Liner Inequlities Rent--Hep, cr rentl compny,chrges $ 15 per week plus $ 0.0 per mile to rent one of their crs. Suppose you re limited y how much money you cn spend for the week : You cn spend

More information

Review of Gaussian Quadrature method

Review of Gaussian Quadrature method Review of Gussin Qudrture method Nsser M. Asi Spring 006 compiled on Sundy Decemer 1, 017 t 09:1 PM 1 The prolem To find numericl vlue for the integrl of rel vlued function of rel vrile over specific rnge

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

Instructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting.

Instructions. An 8.5 x 11 Cheat Sheet may also be used as an aid for this test. MUST be original handwriting. ID: B CSE 2021 Computer Orgniztion Midterm Test (Fll 2009) Instrutions This is losed ook, 80 minutes exm. The MIPS referene sheet my e used s n id for this test. An 8.5 x 11 Chet Sheet my lso e used s

More information

Outline Data Structures and Algorithms. Data compression. Data compression. Lossy vs. Lossless. Data Compression

Outline Data Structures and Algorithms. Data compression. Data compression. Lossy vs. Lossless. Data Compression 5-2 Dt Strutures n Algorithms Dt Compression n Huffmn s Algorithm th Fe 2003 Rjshekr Rey Outline Dt ompression Lossy n lossless Exmples Forml view Coes Definition Fixe length vs. vrile length Huffmn s

More information

6.5 Improper integrals

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

More information

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

Equivalent fractions have the same value but they have different denominators. This means they have been divided into a different number of parts.

Equivalent fractions have the same value but they have different denominators. This means they have been divided into a different number of parts. Frtions equivlent frtions Equivlent frtions hve the sme vlue ut they hve ifferent enomintors. This mens they hve een ivie into ifferent numer of prts. Use the wll to fin the equivlent frtions: Wht frtions

More information

Generalization of 2-Corner Frequency Source Models Used in SMSIM

Generalization of 2-Corner Frequency Source Models Used in SMSIM Generliztion o 2-Corner Frequeny Soure Models Used in SMSIM Dvid M. Boore 26 Mrh 213, orreted Figure 1 nd 2 legends on 5 April 213, dditionl smll orretions on 29 My 213 Mny o the soure spetr models ville

More information

Implication Graphs and Logic Testing

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

More information

Identifying and Classifying 2-D Shapes

Identifying and Classifying 2-D Shapes Ientifying n Clssifying -D Shpes Wht is your sign? The shpe n olour of trffi signs let motorists know importnt informtion suh s: when to stop onstrution res. Some si shpes use in trffi signs re illustrte

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

CS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata

CS103B Handout 18 Winter 2007 February 28, 2007 Finite Automata CS103B ndout 18 Winter 2007 Ferury 28, 2007 Finite Automt Initil text y Mggie Johnson. Introduction Severl childrens gmes fit the following description: Pieces re set up on plying ord; dice re thrown or

More information

Momentum and Energy Review

Momentum and Energy Review Momentum n Energy Review Nme: Dte: 1. A 0.0600-kilogrm ll trveling t 60.0 meters per seon hits onrete wll. Wht spee must 0.0100-kilogrm ullet hve in orer to hit the wll with the sme mgnitue of momentum

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

10. AREAS BETWEEN CURVES

10. AREAS BETWEEN CURVES . AREAS BETWEEN CURVES.. Ares etween curves So res ove the x-xis re positive nd res elow re negtive, right? Wrong! We lied! Well, when you first lern out integrtion it s convenient fiction tht s true in

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

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

If the numbering is a,b,c,d 1,2,3,4, then the matrix representation is as follows:

If the numbering is a,b,c,d 1,2,3,4, then the matrix representation is as follows: Reltions. Solutions 1. ) true; ) true; ) flse; ) true; e) flse; f) true; g) flse; h) true; 2. 2 A B 3. Consier ll reltions tht o not inlue the given pir s n element. Oviously, the rest of the reltions

More information

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

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

More information

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

CS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS

CS 310 (sec 20) - Winter Final Exam (solutions) SOLUTIONS CS 310 (sec 20) - Winter 2003 - Finl Exm (solutions) SOLUTIONS 1. (Logic) Use truth tles to prove the following logicl equivlences: () p q (p p) (q q) () p q (p q) (p q) () p q p q p p q q (q q) (p p)

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

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

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

2.4 Linear Inequalities and Interval Notation

2.4 Linear Inequalities and Interval Notation .4 Liner Inequlities nd Intervl Nottion We wnt to solve equtions tht hve n inequlity symol insted of n equl sign. There re four inequlity symols tht we will look t: Less thn , Less thn or

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

Nondeterministic Automata vs Deterministic Automata

Nondeterministic Automata vs Deterministic Automata Nondeterministi Automt vs Deterministi Automt We lerned tht NFA is onvenient model for showing the reltionships mong regulr grmmrs, FA, nd regulr expressions, nd designing them. However, we know tht n

More information

GNFA GNFA GNFA GNFA GNFA

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

More information

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

Common intervals of genomes. Mathieu Raffinot CNRS LIAFA

Common intervals of genomes. Mathieu Raffinot CNRS LIAFA Common intervls of genomes Mthieu Rffinot CNRS LIF Context: omprtive genomis. set of genomes prtilly/totlly nnotte Informtive group of genes or omins? Ex: COG tse Mny iffiulties! iology Wht re two similr

More information

CS241 Week 6 Tutorial Solutions

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

More information

A Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version

A Lower Bound for the Length of a Partial Transversal in a Latin Square, Revised Version A Lower Bound for the Length of Prtil Trnsversl in Ltin Squre, Revised Version Pooy Htmi nd Peter W. Shor Deprtment of Mthemtil Sienes, Shrif University of Tehnology, P.O.Bo 11365-9415, Tehrn, Irn Deprtment

More information

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3 2 The Prllel Circuit Electric Circuits: Figure 2- elow show ttery nd multiple resistors rrnged in prllel. Ech resistor receives portion of the current from the ttery sed on its resistnce. The split is

More information

CS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University

CS415 Compilers. Lexical Analysis and. These slides are based on slides copyrighted by Keith Cooper, Ken Kennedy & Linda Torczon at Rice University CS415 Compilers Lexicl Anlysis nd These slides re sed on slides copyrighted y Keith Cooper, Ken Kennedy & Lind Torczon t Rice University First Progrmming Project Instruction Scheduling Project hs een posted

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

Eigenvectors and Eigenvalues

Eigenvectors and Eigenvalues MTB 050 1 ORIGIN 1 Eigenvets n Eigenvlues This wksheet esries the lger use to lulte "prinipl" "hrteristi" iretions lle Eigenvets n the "prinipl" "hrteristi" vlues lle Eigenvlues ssoite with these iretions.

More information

Trigonometry Revision Sheet Q5 of Paper 2

Trigonometry Revision Sheet Q5 of Paper 2 Trigonometry Revision Sheet Q of Pper The Bsis - The Trigonometry setion is ll out tringles. We will normlly e given some of the sides or ngles of tringle nd we use formule nd rules to find the others.

More information

A Study on the Properties of Rational Triangles

A Study on the Properties of Rational Triangles Interntionl Journl of Mthemtis Reserh. ISSN 0976-5840 Volume 6, Numer (04), pp. 8-9 Interntionl Reserh Pulition House http://www.irphouse.om Study on the Properties of Rtionl Tringles M. Q. lm, M.R. Hssn

More information

CSC2542 State-Space Planning

CSC2542 State-Space Planning CSC2542 Stte-Spe Plnning Sheil MIlrith Deprtment of Computer Siene University of Toronto Fll 2010 1 Aknowlegements Some the slies use in this ourse re moifitions of Dn Nu s leture slies for the textook

More information

On a Class of Planar Graphs with Straight-Line Grid Drawings on Linear Area

On a Class of Planar Graphs with Straight-Line Grid Drawings on Linear Area Journl of Grph Algorithms n Applitions http://jg.info/ vol. 13, no. 2, pp. 153 177 (2009) On Clss of Plnr Grphs with Stright-Line Gri Drwings on Liner Are M. Rezul Krim 1,2 M. Siur Rhmn 1 1 Deprtment of

More information

Logarithms LOGARITHMS.

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

More information

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University

Farey Fractions. Rickard Fernström. U.U.D.M. Project Report 2017:24. Department of Mathematics Uppsala University U.U.D.M. Project Report 07:4 Frey Frctions Rickrd Fernström Exmensrete i mtemtik, 5 hp Hledre: Andres Strömergsson Exmintor: Jörgen Östensson Juni 07 Deprtment of Mthemtics Uppsl University Frey Frctions

More information

Homework 3 Solutions

Homework 3 Solutions CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.

More information

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O

The area under the graph of f and above the x-axis between a and b is denoted by. f(x) dx. π O 1 Section 5. The Definite Integrl Suppose tht function f is continuous nd positive over n intervl [, ]. y = f(x) x The re under the grph of f nd ove the x-xis etween nd is denoted y f(x) dx nd clled the

More information

Automata and Regular Languages

Automata and Regular Languages Chpter 9 Automt n Regulr Lnguges 9. Introution This hpter looks t mthemtil moels of omputtion n lnguges tht esrie them. The moel-lnguge reltionship hs multiple levels. We shll explore the simplest level,

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

Individual Contest. English Version. Time limit: 90 minutes. Instructions:

Individual Contest. English Version. Time limit: 90 minutes. Instructions: Elementry Mthemtics Interntionl Contest Instructions: Individul Contest Time limit: 90 minutes Do not turn to the first pge until you re told to do so. Write down your nme, your contestnt numer nd your

More information

= state, a = reading and q j

= state, a = reading and q j 4 Finite Automt CHAPTER 2 Finite Automt (FA) (i) Derterministi Finite Automt (DFA) A DFA, M Q, q,, F, Where, Q = set of sttes (finite) q Q = the strt/initil stte = input lphet (finite) (use only those

More information

Solutions to Problem Set #1

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

More information

Before we can begin Ch. 3 on Radicals, we need to be familiar with perfect squares, cubes, etc. Try and do as many as you can without a calculator!!!

Before we can begin Ch. 3 on Radicals, we need to be familiar with perfect squares, cubes, etc. Try and do as many as you can without a calculator!!! Nme: Algebr II Honors Pre-Chpter Homework Before we cn begin Ch on Rdicls, we need to be fmilir with perfect squres, cubes, etc Try nd do s mny s you cn without clcultor!!! n The nth root of n n Be ble

More information

On-Line Construction of Compact Directed Acyclic Word Graphs

On-Line Construction of Compact Directed Acyclic Word Graphs On-Line Constrution of Compt Direte Ayli Wor Grphs Shunsuke neng, Hiroms Hoshino, Ayumi Shinohr, Msyuki Tke,SetsuoArikw, Ginrlo Muri 2, n Giulio Pvesi 2 Dept. of nformtis, Kyushu University, Jpn {s-ine,hoshino,yumi,tke,rikw}@i.kyushu-u..jp

More information