MOLECULAR biologists need to carry out reconciliation

Size: px
Start display at page:

Download "MOLECULAR biologists need to carry out reconciliation"

Transcription

1 Proeeings of the Interntionl MultiConferene of Engineers n Computer Sientists 3 Vol I,, Mrh 3-5, 3, Hong Kong Distriute Moifie Extreml Optimiztion for Reuing Crossovers in Reonilition Grph Keiihi Tmur, Hjime Kitkmi, n Akihiro Nk Astrt To etermine the mehnism of moleulr evolution, reonilition grph is onstrute from two heterogeneous trees, whih re referre to s orere trees. In the reonilition grph, the lef noes of the two orere trees fe eh other. Furthermore, lef noes with the sme lel nme re onnete to eh other y n ege. To rry out reonilition work effiiently, it is neessry to fin the stte with the minimum numer of rossovers of eges etween lef noes. Reuing rossovers in reonilition grph is omintoril optimiztion prolem. In this pper, we propose novel io-inspire lgorithm lle istriute moifie extreml optimiztion (). This lgorithm is hyri of popultion-se moifie extreml optimiztion () n the istriute geneti lgorithm moel tht is use for reuing rossovers in reonilition grph. We hve evlute using tul t sets. shows etter performne ompre with. Inex Terms extreml optimiztion, istriute geneti lgorithm, evolutionry omputtion, reonilition grph I. INTRODUCTION MOLECULAR iologists nee to rry out reonilition work [], [2], [3], [4] in orer to etermine the mehnism of moleulr evolution. In reonilition work, the reltion etween two heterogeneous phylogeneti trees n the reltion etween phylogeneti tree n txonomi tree re ompre. To ompre two trees, we onstrut grph lle reonilition grph tht onsists of two phylogeneti trees or phylogeneti tree n txonomi tree. Phylogeneti trees n txonomi trees in reonilition grph re referre to s orere trees. The lef noes of these orere trees fe eh other. Moreover, lef noes with the sme lel nme re onnete to eh other y n ege. To rry out reonilition work effiiently, it is neessry to fin the stte with the minimum numer of rossovers of eges etween lef noes in the reonilition grph. In Fig., phylogeneti tree n phylogeneti tree 2 re inferre from ifferent moleulr sequenes with four ientil speies,,, n. The lef noes of phylogeneti tree n those of phylogeneti tree 2 fe eh other. Lef noes representing the sme speies re onnete to eh other. The reonilition grph shown in Fig. () hs two rossovers. If we reue rossovers in the reonilition grph, we n otin the reonilition grph shown in Fig. (), whih hs no rossovers. Reuing rossovers in reonilition grph is omintoril optimiztion prolem. The numer of omintions inreses exponentilly s the numer of lef noes inreses. There re some heuristis [5], [6] tht n e use for reuing rossovers in reonilition grph, n K.Tmur, H.Kitkmi, n A.Nk re with Grute Shool of Informtion Sienes, Hiroshim City University, 3-4-, Ozuk- Higshi, As-Minmi-Ku, Hiroshim Jpn, orresponing e-mil: (ktmur@hiroshim-u..jp). 3 2 phylogeneti tree phylogeneti tree 2 () Reonilition grph with two rossovers. 3 2 phylogeneti tree phylogeneti tree 2 () Reonilition grph with no rossovers. Fig.. Exmples of reonilition grphs (() shows reonilition grph tht hs two rossovers, n () shows reonilition grph tht hs no rossovers). they use geneti lgorithm(ga)[7], extreml optimiztion (EO) [8], [9], [], n moifie EO (MEO)[]. In our previous stuy[2], we propose popultion-se moifie extreml optimiztion (), whih is omintion of popultion-se pproh n MEO. shows etter performne ompre with MEO. However, it is iffiult to mintin iversity t the en of lterntion of genertions. To overome this iffiulty, this pper proposes novel extreml optimiztion moel lle istriute moifie extreml optimiztion () for reuing rossovers in reonilition grph. is hyri of n the istriute geneti lgorithm (DGA) moel [3], [4]. In the DGA moel, we ivie popultion into two or more su-popultions n eh su-popultion evolves iniviully. Therefore, n mintin iversity t the en of lterntion of genertions. The min ontriutions of this stuy re s follows: Distriute moifie extreml optimiztion () is propose. is hyri io-inspire lgorithm tht omine n DGA. Mny stuies [8], [9], [], [5], [6], [7], [8] hve pplie EO to omintoril optimiztion prolems suh s the trveling slesmn prolem, grph prtitioning prolem, n imge rsteriztion. Reently, some stuies [9], [] hve fouse on integrting popultion-se pproh in EO. To the est of our knowlege, there is no stuy on popultion-se EO involving the use of the istriute geneti lgorithm moel. To evlute the propose, we implemente u u v v w w

2 Proeeings of the Interntionl MultiConferene of Engineers n Computer Sientists 3 Vol I,, Mrh 3-5, 3, Hong Kong Fig. 2. v 4 v 24 v v 2 3 v 2 v 5 v v w 2 v 3 v 23 v v 6 v 26 u v 7 v 27 phylogeneti tree phylogeneti tree 2 Prolem efinition. CM = MDEO for reuing rossovers in reonilition grph. Moreover, we evlute using two tul t sets for experiments. Experimentl results shows tht outperforms. The rest of the pper is orgnize s follows. Setion II presents the prolem efinition. Setion III explins. Setion IV proposes. Setion V presents experimentl results, n Setion VI onlues the pper. II. PROBLEM DEFINITION A reonilition grph (RG) onsists of two orere trees, OT = (V,E ) n OT 2 = (V 2,E 2 ), where V n V 2 re finite sets of noes n E n E 2 re finite sets of eges. A noe tht hs no hil noes is lef noe. The lef noe sets of OT n OT 2 re enote y L V n L 2 V 2, respetively. If the numer of speies is n, the numer of lef noes is n. A lef noe hs lel nme, whih is speies nme. The lel nme set is enote y L lef. In the reonilition grph, OT n OT 2 re lote fe to fe. If lef noe of OT hs the sme lel nme s tht of OT 2, then the two lef noes re onnete to eh other. In Fig.2, phylogeneti tree is OT n phylogeneti tree 2 is OT 2. The lef noe set L hs four noes, v 4, v 5, v 6, n v 7. Similrly, L 2 hs four noes, v 24, v 25, v 26, n v 27. There re four lel nmes in L lef,,,, n. Two lef noes v 4 n v 24 re onnete euse they hve the sme lel nme. Let OL n OL 2 e the orer lists of lef noes: OL = [ol,,ol,2,,ol,n ](ol,i L,L(ol,i ) L lef ), OL 2 = [ol 2,,ol 2,2,,ol 2,n ](ol 2,i L 2,L(ol 2,i ) L lef ), where funtion L returns the lel nme of n input noe. The funtion C(M) returns the numer of rossovers: C(M)= m j,β m k,α [ j < k n, α < β n], () where m i,j is (i,j)th-element of the onnetion mtrix M tht is efine s { if L(ol,i ) = L(ol m i,j = 2,j ), (2) otherwise. In Fig. 2, OL is given y OL = [v 4,v 5,v 6,v 7 ]. Similrly, there re four lef noes in phylogeneti tree 2, ol 2, = v 24, ol 2,2 = v 25, ol 2,3 = v 26, n ol 2,4 = v 27. Therefore OL 2 is given y OL 2 = [v 24,v 25,v 26,v 27 ]. Fig. 2 lso shows M. For exmple, the (,)th-element m, is eusel(v 4 ) equlsl(v 24 ). Similrly, the(,)th-element m, is euse L(v 5 ) oes not equl L(v 25 ). The tsk of reuing rossovers in the reonilition grph is efine s follows: min : C(M), sujet to : () M is the onnetion mtrix of the RG, (2) There re no rossovers on eges etween non-lef noes in the RG. There shoul e no rossovers on eges etween non-lef noes in the reonilition grph. For this onstrint, we nee to hnge orer of lef noes y hnging the orer of hil noes in intermeite noes. We nnot hnge the orer etween v 5 n v 7 (Fig. 2) euse it will le to the presene of rossovers on eges etween non-lef noes. If we wnt to hnge the orer etween v 5 n v 7, it is neessry to reple v 5 n v 3, whih re hil noes of v 2. If we reple v 5 n v 3, the numer of rossovers in the reonilition grph eomes zero, n OL is hnge to OL = [v 4,v 6,v 7,v 5 ]. III. POPULATION-BASED MODIFIED EXTREMAL OPTIMIZATION EO[8], [9], [] follows the spirit of the Bk-Sneppen moel, upting vriles tht hve one of the worst vlues in solution n repling them y rnom vlues without ever expliitly improving them. EO ivies n iniviul I into n omponentso i ( i n). Letλ i e the fitness vlue ofo i. First, EO selets O worst, whih hs the worst fitness vlue. Seon, the stte of omponento worst is hnge t rnom. Heneforth, seletion n hnge stte of omponent re repete. The omponent with the worst fitness vlue hs high possiility tht the fitness vlue of it will eome etter y hnging stte. Consequently, the fitness vlue of the iniviul lso gets etter euse the fitness vlue of the omponent with worst fitness vlue gets etter. Moifie EO (MEO) [] genertes two or more neighor iniviuls s nites for the next genertion iniviul. The est neighor iniviul mong the nites is selete s the next genertion iniviul. Moreover, MEO uses roulette seletion to selet omponent. First, MEO selets O selete with roulette seletion. The seletion rtes of roulette seletion re reiprols of fitness vlues with omponents. Seon, MEO genertes new iniviuli from I y hnging the stte of O selete. Thir, the generte I is store into Cnites. Finlly, MEO selets the est iniviul from Cnites. Popultion-se MEO () [2] involves popultion-se pproh. There re two or more iniviuls in popultion. Alterntion of genertion is repetely performe for every iniviul y using MEO. To improve the serh effiieny, iniviuls opy sustruture of n iniviul tht hs goo su-strutures t eh lterntion of genertions. This opertion resemles the rossover opertion in geneti progrming (GP). However, one sie only opies su-struture of nother sie. Copying of goo su-strutures les to high proility of genertion of goo iniviul. As result, effiient serh n e performe y mintining iversity. IV. DISTRIBUTED MODIFIED EXTREMAL OPTIMIZATION This setion explins the min onept of n the lgorithm of for reuing rossovers in reonilition grph.

3 Proeeings of the Interntionl MultiConferene of Engineers n Computer Sientists 3 Vol I,, Mrh 3-5, 3, Hong Kong A. Min Conept is hyri of n DGA moel. ivies the entire popultion into two or more su-popultions. A su-popultion evolves iniviully y. Moreover, from eh su-popultion, some iniviuls re selete n trnsferre to nother su-popultion. In return, the sme numer of migrnts re reeive from nother supopultion. repets the following two steps: () Su-popultions shoul e me to evolve through one or more genertions y using. (2) Some iniviuls of su-popultion re migrte to nother su-popultion. Eh su-popultion evolves iniviully. Eh supopultion onverges to the seprte est solution. Therefore, n mintin iversity t the en of lterntion of genertions. B. Definition of Iniviul n Component A reonilition grph is efine s n iniviul. A omponent of n iniviul is efine s pir of lef noes with the sme lel nme: O i = {ol,i,ol 2,δ(i) } (L(ol,i ) = L(ol 2,δ(i) )). (3) Let ol,i e lef noe of OL n ol 2,δ(i) e lef noe of OL 2. The funtion δ(i) returns the susript numer of n element of OL 2 whose lel nme is the sme s the lel nme of ol,i. To hnge the stte of O i, it is neessry to hnge the orer of hil noes of nestor noes of ol,i or ol 2,δ(i). Here, AS(T,lnme) is set of nestor noes of lef noe in T tht hs the lel nme lnme. The numer of rossovers etween ol,i n ol 2,δ(i) is enote y C(M, i). The following re the efinitions of C(M,i) n the fitness vlue λ i of O i : λ i = C(M) C(M,i), (4) C(M) δ(i) n m l,m i n m l,m C(M,i) = (5) l=i+ m= l= m=δ(i)+ In Fig. 2, there re four omponents, O = {ol,,ol 2, }(= {v 4,v 24 }), O 2 = {ol,2,ol 2,4 }(= {v 5,v 27 }), O 3 = {ol,3,ol 2,2 }(= {v 6,v 25 }), n O 4 = {ol,4,ol 2,3 }(= {v 7,v 26 }), with δ() =, δ(2) = 4, δ(3) = 2, n δ(4) = 3. The fitness vlues of the omponents re λ =, λ 2 = /2, λ 3 = 3/4, n λ 4 = 3/4. C. Algorithm The lgorithm of for reuing rossovers in reonilition grph onsists of two steps: () Evolution Step n (2) Migrtion Step (Algorithm ). First, n initil popultion ivie to p su-popultions (p is the numer of su-popultions). In the Evolution Step (step 5), ll su-popultions re me to evolve through m genertions y using the funtion (SuP i,m) (m is migrtion intervl). In Migrtion Step (step 6), some iniviuls of su-popultion re migrte to nother su-popultion. Finlly, the est iniviul from ll su-popultions (step 7 n step 8). Algorithm : Generte initil popultion P init t rnom. 2: I est BEST(P init ) 3: Divie P init into p su-popultions SuP i. 4: for i = to mx genertions/m o 5: (Evolution Step) For ll su-popultions, supopultion SuP i shoul e me to evolve through m genertions y using the funtion (SuP i,m). 6: (Migrtion Step) For ll su-popultions, migrte some iniviuls of su-popultion to nother supopultion. 7: if F(BEST(SuP SuP p )) > F(I est ) then 8: I est BEST(SuP SuP p ) 9: en if : en for Algorithm 2 (P, m) : for i = to m o 2: for ll I P o 3: Evlute fitness vlue λ i of eh omponent O i of I. 4: C φ 5: n 6: while n < num of nites o 7: Selet O selete y roulette seletion (seletion rtes re the reiprol of fitness vlues with omponents). 8: C C GNI(I,O selete ) 9: n n+ : en while : I BEST(C) 2: en for 3: CSS(P) 4: en for D. Evolution Step In the Evolution Step, ll su-popultions re me to evolve throughmgenertions y using the funtion (Algorithm 2). First, for eh iniviul, the stte of the iniviuls in P is hnge y using MEO. Seon, the funtion CSS opies goo su-struture of n iniviul to nother iniviul. In the MEO steps, for eh iniviul, the following steps re exeute. Initilly, the funtion evlutes the fitness vlue λ i (step 3). Next, the following three steps re repete while n is less thn num of nites. First, omponent O selete in I is selete y using the roulette seletion (step 7). Seon, the funtion genertes n neighor iniviul from I with the funtion GNI. The funtion GNI genertes neighor iniviul y hnging the stte of omponent O selete. Thir, the neighor iniviul is store in C (step 8). Finlly, the est iniviul in C is selete n I is reple y it (step ). The stte of O selete is hnge y hnging the orer of hil noes in n intermeite noe tht is n nestor noe of O selete. The proessing steps of GNI re s follows. First, the outputs of AS(T,L(O selete )) or AS(T 2,L(O selete )) re store in the set Anestors. Then,

4 Proeeings of the Interntionl MultiConferene of Engineers n Computer Sientists 3 Vol I,, Mrh 3-5, 3, Hong Kong TABLE I DATA SETS Txonomi tree Phylogeneti tree Numer of noes Numer of lef noes Numer of noes Numer of lef noes Housekeeping Moss Algorithm 3 CSS(P) : Selet iniviul SI P y roulette seletion (seletion rtes re the fitness vlues of omponents). 2: for ll I P,I SI o 3: for i = to n o 4: Clulte the ifferene iff i etween the fitness vlue of O i in SI n the fitness vlue of O j in I, where O i n O j hve the sme lel nme. 5: en for 6: Selet O selete y roulette seletion (seletion rtes re iff i ). 7: A AS(T,L(O selete )) or AS(T 2,L(O selete )) 8: C φ 9: for ll A o : Generte new iniviul I from I y hnging the orer of hil noes in. : C C I 2: en for 3: I BEST(C) 4: en for noe is selete t rnom from A. Finlly, the orer of the hil noes in is hnge. Suppose tht the selete omponent is O 2 in Fig. 2. The funtion AS(T,L(O 2 )) returns {v 2,v } n AS(T 2,L(L 2 )) returns {v 22,v 2 }. If Anestors = {v 2,v } n v 2 is selete s, the orer of hil noes in v 2 is hnge. In this se, orer of noe v 5 n v 3 re hnge. As result, new iniviul I is otine y the hnge of stte. Algorithm 3 shows the funtion CSS. At the eginning, n iniviul SI in P is selete y roulette seletion (step ). Eh iniviul of P opies su-struture of SI y the following steps. First, the funtion lultes the ifferene iff i etween the fitness vlue of O i of SI n the fitness vlue of O j of I, where O i n O j hve the sme lel nme (steps 3, 4, n 5). Seon, O selete is selete y roulette seletion (step 6). Next, AS(T,L(O selete )) or AS(T 2,L(O selete )) is store in A (step 7). Then, for ll A, new iniviul I is generte from I y hnging the orer of hil noes in, n I is store in C (steps 9,,, n 2). Finlly, the funtion selets the est iniviul from C (step 3). E. Migrtion Step In the Migrtion Step, some iniviuls of supopultion re migrte to nother su-popultion. The istriute geneti lgorithm moel requires numer of su popultions, migrtion rte, migrtion intervl, n migrtion moel. The first three items re usergiven prmeters. The lst item onsists of two things: seletion metho n topology. The metho use for the seletion of iniviuls for migrtion is referre s seletion metho. The struture of the migrtion of iniviuls etween su-popultions is referre s topology. In this stuy, we use uniform rnom seletion s the seletion metho. Moreover, the propose lgorithm uses the rnom ring migrtion topology. The most si migrtion topology is the ring migrtion topology. In this topology, iniviuls re trnsferre etween iretionlly jent su-popultions. In the rnom ring migrtion topology, n rrivl su-popultion to whih iniviuls re to e migrte is eie t rnom. V. PERFORMANCE EVALUATION We performe four experiments for evluting the performne of. In the experiments, the two t sets liste in Tle I re use. The Housekeeping t set onsists of phylogeneti tree of the housekeeping gene n its txonomi tree. The Moss t set onsists of phylogeneti tree of the rps4 gene n its txonomi tree. The numer of speies in the Housekeeping t set is 4 n tht in the Moss t set is 7. Experiment mesure the numer of rossovers of the est iniviul t eh genertion to ompre n. Experiment 2 lso mesure the numer of rossovers of the est iniviul t eh elpse time to ompre n. Experiment 3 mesure frequeny of the numer of rossovers of est iniviuls in fixe genertions. Experiment 4 mesure the numer of rossovers of the est iniviul t eh genertion y hnging the numer of su-popultions. In n, the numer of iniviuls in the popultion ws set to. The user prmeter num of nites ws set to n m ws set to in. In, the user prmeter num of nites, migrtion intervl(m), numer of su popultions(p), n migrtion rte were set to e,, 5 n.5, respetively. The numer of iniviuls in su-popultion is. The numer of rossovers ws the verge of three trils. Experiment In Experiment, we mesure the numer of rossovers of the est iniviul in eh genertion. Figure3() n Figure3() show the numer of rossovers (vertil xis: the numer of rossovers, horizontl xis: genertions). Fig. 3() n Fig. 3() show tht the numer of rossovers of in eh genertion ws smller thn tht in the se of. showe etter performne ompre with. The numer of rossovers in is onverging into roun when we use M oss t set. On the other hn, in, the numer of rossovers is onverging into roun 2. The iversity of is smll, euse the numer of su-popultions is one. Therefore, the fitness

5 Proeeings of the Interntionl MultiConferene of Engineers n Computer Sientists 3 Vol I,, Mrh 3-5, 3, Hong Kong f rossovers Numer of f rossovers Numer of Genertions. Proessing time(se) () Housekeeping t set () Housekeeping t set f rossovers Numer of f rossovers Numer of Genertions Proessing time(se) () Moss t set () Moss t set Fig. 3. Experiment (() n () shows the numer of rossovers of the est iniviul). Fig. 4. Experiment 2 (() n () shows the numer of rossovers of the est iniviul). vlue of iniviul will not e improve in the en of lterntion of genertions. Experiment 2 In Experiment 2, we mesure the numer of rossovers of the est iniviul t ifferent time instnts. The omputtion time of ws longer thn tht in the se of euse the former inlue the Migrtion Step. Therefore, it ws neessry to ompre the numer of rossovers for the sme omputtion time. Fig. 4() n Fig. 4() show the numer of rossovers t ifferent time instnts (vertil xis: the numer of rossovers, horizontl xis: proessing time). The numer of rossovers of eomes smller thn tht of t the en of lterntion of genertions. Experiment 3 The numer of rossovers of the est iniviul ws mesure times for the,th lterntion genertion. Figure5() n Figure5() show frequeny of the numer of rossovers when Housekeeping t set is use. The numer of rossovers of the optiml solution of Housekeeping t set is 9. Both of them n otin the est solution y %. Fig. 6() n Fig. 6() show the frequeny of the numer of rossovers for the Moss t set. In, ll the numers of rossovers of optiml solutions were etween n 299. On the other hn, they were istriute etween n 4 for. Aove ll, lthough 9% of optiml solutions were etween n 249 in the se of, only few optiml solutions were otine etween n 249 in the se of MEO. Experiment 4 In Experiment 4, we hnge the numer of supopultions in. Fig. 7 shows the results of Experiment 4 using Moss t set. When the numer of su-popultins is four, it hs fllen into the lol optiml solutions. On the other hn, when the numer of su-poupltions is five or ten, onvergene is not erly. Therefore, they n otin etter solutions. VI. CONCLUSION This pper proposes istriute moifie extreml optimiztion () for reuing rossovers in reonilition grph. The propose lgorithm is io-inspire lgorithm of popultion-se moifie extreml optimiztion () n the istriute geneti lgorithm moel. We hve evlute y using tul t sets. Experimentl results show tht is etter performne ompre with. In the future work, we will evelop extene for mking it pplile to other omintion optimiztion prolems. ACKNOWLEDGMENT This work ws supporte in prt y Grnt-in-Ai for Young Reserh (B) (No.23724) from the Ministry of Eution, Culture, Sports, Siene n Tehnology in Jpn n Grnt-in-Ai for Sientifi Reserh (C) (2) (No.37) from the Jpnese Soiety for the Promotion of Siene, Jpn. REFERENCES [] M. Goomn, J. Czelusnik, G. Moore, A. Romero-Herrer, n G. Mtsu, Fitting the gene linege into its speies linege, prsimony strtegy illustrte ylogrms onstrute from gloin sequenes, Systemti Zoology, vol. 28, pp , 979.

6 Proeeings of the Interntionl MultiConferene of Engineers n Computer Sientists 3 Vol I,, Mrh 3-5, 3, Hong Kong Fig. 5. Fig. 6. Frequeny Frequeny Numer of rossovers () Numer of rossovers () Experiment 3 (Housekeeping t set). Freq queny Freq queny Numer of rossovers () Numer of rossovers () Experiment 3 (Moss t set)..% %.%.% %.%.% %.% % Cumultive frequeny Cumultive frequeny ve Frequeny Cumultiv ve Frequeny Cumultiv Fig. 7. Numer of rossovers p=4 p=5 p= Genertions Experiment 4 (Moss t set). [6] H. Kitkmi n Y. Mori, Reuing rossovers in reonilition grphs using the oupling luster exhnge metho with geneti lgorithm, Ative Mining, IOS press, vol. 79, pp , 2. [7] D. E. Golerg, Geneti Algorithms in Serh, Optimiztion, n Mhine Lerning. Aison-Wesley Professionl, Jnury 989. [8] S. Boetther n A. G. Perus, Extreml optimiztion: Methos erive from o-evolution, in Proeeings of GECCO 999, 999, pp [9] S. Boetther n A. Perus, Nture s wy of optimizing, Artifiil Intelligene, vol. 9, no. -2, pp ,. [] S. Boetther, Extreml optimiztion: heuristis vi oevolutionry vlnhes, Computing in Siene n Engineering, vol. 2, no. 6, pp ,. [] K. Tmur, Y. Mori, n H. Kitkmi, Reuing rossovers in reonilition grphs with extreml optimiztion (in jpnese), Trnstions of Informtion Proessing Soiety of Jpn, vol. 49, no. 4(TOM ), pp. 5 6, 8. [2] N. Hr, K. Tmur, n H. Kitkmi, Moifie eo-se evolutionry lgorithm for reuing rossovers of reonilition grph, in Proeeings of NBIC,, pp [3] R. Tnese, Distriute geneti lgorithms, in Proeeings of the 3r Interntionl Conferene on Geneti Algorithms, 989, pp [4] T. C. Beling, The istriute geneti lgorithm revisite, in Proeeings of the 6th Interntionl Conferene on Geneti Algorithms, 995, pp [5] S. Meshoul n M. Btouhe, Roust point orresponene for imge registrtion using optimiztion with extreml ynmis, in Proeeings of DAGM-Symposium 2, 2, pp [6] S. Boetther n A. G. Perus, Extreml optimiztion t the phse trnsition of the 3-oloring prolem, Physil Review E, vol. 69, 6673, 4. [7] T. Zhou, W.-J. Bi, L.-J. Cheng, n B.-H. Wng, Continuous extreml optimiztion for lennr-jones lusters, Physil Review E, vol. 72, 672, 5. [8] J. Duh n A. Arens, Community etetion in omplex networks using extreml optimiztion, Physil Review E, vol. 72, 274, 5. [9] Y. Chen, K. Zhng, n X. Zou, A popultion-se hyri extreml optimiztion lgorithm, in Proeeings of the 7th interntionl onferene on Intelligent Computing: io-inspire omputing n pplitions,, pp [] M.-R. Chen, Y.-Z. Lu, n G. Yng, Multiojetive optimiztion using popultion-se extreml optimiztion, Neurl Comput. Appl., vol. 7, no. 2, pp. 9, 8. [2] R. Pge, Mps etween trees n listi nlysis of historil ssoitions mong genes, orgnisms, n res, Systemti Biology, vol. 43, pp , 994. [3] R. D. M. Pge n M. A. Chrleston, Reonile trees n inongruent gene n speies trees, Disrete Mthmetis n Theoretil Computer Siene, vol. 37, pp. 57 7, 997. [4] R. D. M. Pge, Genetree: ompring gene n speies phylogenies using reonile trees, Bioinformtis, vol. 4, no. 9, pp. 89 8, 998. [5] H. Kitkmi n M. Nishimoto, Constrint stisftion for reoniling heterogeneous tree tses, in Proeeings of DEXA,, pp

PHYLOGENETIC trees and taxonomic trees are evolutionary

PHYLOGENETIC trees and taxonomic trees are evolutionary Isln-Moel-se Distriute Moifie Extreml Optimiztion with Tu Lists for Reuing Crossovers in Reonilition Grph Keiihi Tmur, Hjime Kitkmi Astrt Moleulr iologists nee to revel the ifferene etween two heterogeneous

More information

MOLECULAR biologists need to carry out reconciliation

MOLECULAR biologists need to carry out reconciliation Distrite Moifie Extreml Optimiztion sing Isln Moel for Reing Crossoers in Reonilition Grph Keiihi Tmr, Hjime Kitkmi, n Akihiro Nk Astrt To etermine the mehnism of molelr eoltion, molelr iologists nee to

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

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

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

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

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

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

A Similarity-based Cellular Selection Mechanisim for Genetic algorithms to Solve Assignment Problems

A Similarity-based Cellular Selection Mechanisim for Genetic algorithms to Solve Assignment Problems A Similrity-se Cellulr Seletion Mehnisim for Geneti lgorithms to Solve Assignment Prolems Hossein Rjlipour Cheshmehgz Universiti Teknologi Mlysis, UTM, Skui JB, Mlysi hr.pour@yhoo.om Hiollh Bin Hron Universiti

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

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

Technology Mapping Method for Low Power Consumption and High Performance in General-Synchronous Framework

Technology Mapping Method for Low Power Consumption and High Performance in General-Synchronous Framework R-17 SASIMI 015 Proeeings Tehnology Mpping Metho for Low Power Consumption n High Performne in Generl-Synhronous Frmework Junki Kwguhi Yukihie Kohir Shool of Computer Siene, the University of Aizu Aizu-Wkmtsu

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

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

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

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

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

ANALYSIS AND MODELLING OF RAINFALL EVENTS

ANALYSIS AND MODELLING OF RAINFALL EVENTS Proeedings of the 14 th Interntionl Conferene on Environmentl Siene nd Tehnology Athens, Greee, 3-5 Septemer 215 ANALYSIS AND MODELLING OF RAINFALL EVENTS IOANNIDIS K., KARAGRIGORIOU A. nd LEKKAS D.F.

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

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

The Stirling Engine: The Heat Engine

The Stirling Engine: The Heat Engine Memoril University of Newfounln Deprtment of Physis n Physil Oenogrphy Physis 2053 Lortory he Stirling Engine: he Het Engine Do not ttempt to operte the engine without supervision. Introution Het engines

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

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

Laboratory for Foundations of Computer Science. An Unfolding Approach. University of Edinburgh. Model Checking. Javier Esparza

Laboratory for Foundations of Computer Science. An Unfolding Approach. University of Edinburgh. Model Checking. Javier Esparza An Unfoling Approh to Moel Cheking Jvier Esprz Lbortory for Fountions of Computer Siene University of Einburgh Conurrent progrms Progrm: tuple P T 1 T n of finite lbelle trnsition systems T i A i S i i

More 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

Lecture 8: Abstract Algebra

Lecture 8: Abstract Algebra Mth 94 Professor: Pri Brtlett Leture 8: Astrt Alger Week 8 UCSB 2015 This is the eighth week of the Mthemtis Sujet Test GRE prep ourse; here, we run very rough-n-tumle review of strt lger! As lwys, this

More 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

Computing all-terminal reliability of stochastic networks with Binary Decision Diagrams

Computing all-terminal reliability of stochastic networks with Binary Decision Diagrams Computing ll-terminl reliility of stohsti networks with Binry Deision Digrms Gry Hry 1, Corinne Luet 1, n Nikolos Limnios 2 1 LRIA, FRE 2733, 5 rue u Moulin Neuf 80000 AMIENS emil:(orinne.luet, gry.hry)@u-pirie.fr

More information

Phylogenies via Quartets

Phylogenies via Quartets Phylogenies vi Qurtets Dvi Brynt rynt@mth.mgill. LIRMM, Frne CRM, U. e M. U. Cnterury MGill University Bite-size trees There is only one unroote tree for one, two or three tx... But there re four unroote

More information

Analysis of Temporal Interactions with Link Streams and Stream Graphs

Analysis of Temporal Interactions with Link Streams and Stream Graphs Anlysis of Temporl Intertions with n Strem Grphs, Tiphine Vir, Clémene Mgnien http:// ltpy@ LIP6 CNRS n Soronne Université Pris, Frne 1/23 intertions over time 0 2 4 6 8,,, n for 10 time units time 2/23

More information

Let s divide up the interval [ ab, ] into n subintervals with the same length, so we have

Let s divide up the interval [ ab, ] into n subintervals with the same length, so we have III. INTEGRATION Eonomists seem muh more intereste in mrginl effets n ifferentition thn in integrtion. Integrtion is importnt for fining the epete vlue n vrine of rnom vriles, whih is use in eonometris

More information

Lesson 2.1 Inductive Reasoning

Lesson 2.1 Inductive Reasoning Lesson 2.1 Inutive Resoning Nme Perio Dte For Eerises 1 7, use inutive resoning to fin the net two terms in eh sequene. 1. 4, 8, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,

More information

Engr354: Digital Logic Circuits

Engr354: Digital Logic Circuits Engr354: Digitl Logi Ciruits Chpter 4: Logi Optimiztion Curtis Nelson Logi Optimiztion In hpter 4 you will lern out: Synthesis of logi funtions; Anlysis of logi iruits; Tehniques for deriving minimum-ost

More information

Computing the Quartet Distance between Evolutionary Trees in Time O(n log n)

Computing the Quartet Distance between Evolutionary Trees in Time O(n log n) Computing the Qurtet Distne etween Evolutionry Trees in Time O(n log n) Gerth Stølting Brol, Rolf Fgererg Christin N. S. Peersen Mrh 3, 2003 Astrt Evolutionry trees esriing the reltionship for set of speies

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

SOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVEX STOCHASTIC PROCESSES ON THE CO-ORDINATES

SOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVEX STOCHASTIC PROCESSES ON THE CO-ORDINATES Avne Mth Moels & Applitions Vol3 No 8 pp63-75 SOME INTEGRAL INEQUALITIES FOR HARMONICALLY CONVE STOCHASTIC PROCESSES ON THE CO-ORDINATES Nurgül Okur * Imt Işn Yusuf Ust 3 3 Giresun University Deprtment

More information

COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE

COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE M. STISSING, C. N. S. PEDERSEN, T. MAILUND AND G. S. BRODAL Bioinformtis Reserh Center, n Dept. of Computer Siene, University

More information

Monochromatic Plane Matchings in Bicolored Point Set

Monochromatic Plane Matchings in Bicolored Point Set CCCG 2017, Ottw, Ontrio, July 26 28, 2017 Monohromti Plne Mthings in Biolore Point Set A. Krim Au-Affsh Sujoy Bhore Pz Crmi Astrt Motivte y networks interply, we stuy the prolem of omputing monohromti

More 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

Learning Partially Observable Markov Models from First Passage Times

Learning Partially Observable Markov Models from First Passage Times Lerning Prtilly Oservle Mrkov s from First Pssge s Jérôme Cllut nd Pierre Dupont Europen Conferene on Mhine Lerning (ECML) 8 Septemer 7 Outline. FPT in models nd sequenes. Prtilly Oservle Mrkov s (POMMs).

More information

Metaheuristics for the Asymmetric Hamiltonian Path Problem

Metaheuristics for the Asymmetric Hamiltonian Path Problem Metheuristis for the Asymmetri Hmiltonin Pth Prolem João Pero PEDROSO INESC - Porto n DCC - Fule e Ciênis, Universie o Porto, Portugl jpp@f.up.pt Astrt. One of the most importnt pplitions of the Asymmetri

More information

A Disambiguation Algorithm for Finite Automata and Functional Transducers

A Disambiguation Algorithm for Finite Automata and Functional Transducers A Dismigution Algorithm for Finite Automt n Funtionl Trnsuers Mehryr Mohri Cournt Institute of Mthemtil Sienes n Google Reserh 51 Merer Street, New York, NY 1001, USA Astrt. We present new ismigution lgorithm

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

U Q W The First Law of Thermodynamics. Efficiency. Closed cycle steam power plant. First page of S. Carnot s paper. Sadi Carnot ( )

U Q W The First Law of Thermodynamics. Efficiency. Closed cycle steam power plant. First page of S. Carnot s paper. Sadi Carnot ( ) 0-9-0 he First Lw of hermoynmis Effiieny When severl lterntive proesses involving het n work re ville to hnge system from n initil stte hrterize y given vlues of the mrosopi prmeters (pressure p i, temperture

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

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

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

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

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap

Particle Physics. Michaelmas Term 2011 Prof Mark Thomson. Handout 3 : Interaction by Particle Exchange and QED. Recap Prtile Physis Mihelms Term 2011 Prof Mrk Thomson g X g X g g Hnout 3 : Intertion y Prtile Exhnge n QED Prof. M.A. Thomson Mihelms 2011 101 Rep Working towrs proper lultion of ey n sttering proesses lnitilly

More information

New centroid index for ordering fuzzy numbers

New centroid index for ordering fuzzy numbers Interntionl Sientifi Journl Journl of Mmtis http://mmtissientifi-journlom New entroi inex for orering numers Tyee Hjjri Deprtment of Mmtis, Firoozkooh Brnh, Islmi z University, Firoozkooh, Irn Emil: tyeehjjri@yhooom

More information

Lesson 2.1 Inductive Reasoning

Lesson 2.1 Inductive Reasoning Lesson 2.1 Inutive Resoning Nme Perio Dte For Eerises 1 7, use inutive resoning to fin the net two terms in eh sequene. 1. 4, 8, 12, 16,, 2. 400, 200, 100, 50, 25,, 3. 1 8, 2 7, 1 2, 4, 5, 4. 5, 3, 2,

More information

APPLICATION OF STRASSEN S ALGORITHM IN RHOTRIX ROW-COLUMN MULTIPLICATION

APPLICATION OF STRASSEN S ALGORITHM IN RHOTRIX ROW-COLUMN MULTIPLICATION Informtion Tehnology for People-entre Development (ITePED ) APPLIATION OF STRASSEN S ALGORITHM IN RHOTRIX ROW-OLUMN MULTIPLIATION Ezugwu E. Aslom 1, Aullhi M., Sni B. 3 n Juniu B. Shlu 4 Deprtment of Mthemtis,

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

Unit 4. Combinational Circuits

Unit 4. Combinational Circuits Unit 4. Comintionl Ciruits Digitl Eletroni Ciruits (Ciruitos Eletrónios Digitles) E.T.S.I. Informáti Universidd de Sevill 5/10/2012 Jorge Jun 2010, 2011, 2012 You re free to opy, distriute

More information

Lecture Notes No. 10

Lecture Notes No. 10 2.6 System Identifition, Estimtion, nd Lerning Leture otes o. Mrh 3, 26 6 Model Struture of Liner ime Invrint Systems 6. Model Struture In representing dynmil system, the first step is to find n pproprite

More information

Mining Frequent Web Access Patterns with Partial Enumeration

Mining Frequent Web Access Patterns with Partial Enumeration 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 72204 Mrkus P. Turki Deprtment of Computer

More information

COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE

COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE COMPUTING THE QUARTET DISTANCE BETWEEN EVOLUTIONARY TREES OF BOUNDED DEGREE M. STISSING, C. N. S. PEDERSEN, T. MAILUND AND G. S. BRODAL Bioinformtis Reserh Center, n Dept. of Computer Siene, University

More information

Ranking Generalized Fuzzy Numbers using centroid of centroids

Ranking Generalized Fuzzy Numbers using centroid of centroids Interntionl Journl of Fuzzy Logi Systems (IJFLS) Vol. No. July ning Generlize Fuzzy Numers using entroi of entrois S.Suresh u Y.L.P. Thorni N.vi Shnr Dept. of pplie Mthemtis GIS GITM University Vishptnm

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

A Primer on Continuous-time Economic Dynamics

A Primer on Continuous-time Economic Dynamics Eonomis 205A Fll 2008 K Kletzer A Primer on Continuous-time Eonomi Dnmis A Liner Differentil Eqution Sstems (i) Simplest se We egin with the simple liner first-orer ifferentil eqution The generl solution

More information

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

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

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

Algebra 2 Semester 1 Practice Final

Algebra 2 Semester 1 Practice Final Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers

More 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

UNCORRECTED SAMPLE PAGES. surds NUMBER AND ALGEBRA

UNCORRECTED SAMPLE PAGES. surds NUMBER AND ALGEBRA Chpter Wht you will lern A Irrtionl numers n surs (0A) B Aing n sutrting surs (0A) C Multiplying n iviing surs (0A) D Binomil prouts (0A) E Rtionlising the enomintor (0A) F Review of inex lws (Consoliting)

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

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

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P.

(a) A partition P of [a, b] is a finite subset of [a, b] containing a and b. If Q is another partition and P Q, then Q is a refinement of P. Chpter 7: The Riemnn Integrl When the derivtive is introdued, it is not hrd to see tht the it of the differene quotient should be equl to the slope of the tngent line, or when the horizontl xis is time

More information

Composite Pattern Matching in Time Series

Composite Pattern Matching in Time Series Composite Pttern Mthing in Time Series Asif Slekin, 1 M. Mustfizur Rhmn, 1 n Rihnul Islm 1 1 Deprtment of Computer Siene n Engineering, Bnglesh University of Engineering n Tehnology Dhk-1000, Bnglesh slekin@gmil.om

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

Arrow s Impossibility Theorem

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

More information

MATH 1080: Calculus of One Variable II Spring 2018 Textbook: Single Variable Calculus: Early Transcendentals, 7e, by James Stewart.

MATH 1080: Calculus of One Variable II Spring 2018 Textbook: Single Variable Calculus: Early Transcendentals, 7e, by James Stewart. MATH 1080: Clulus of One Vrile II Spring 2018 Textook: Single Vrile Clulus: Erly Trnsenentls, 7e, y Jmes Stewrt Unit 2 Skill Set Importnt: Stuents shoul expet test questions tht require synthesis of these

More information

Graph Algorithms. Vertex set = { a,b,c,d } Edge set = { {a,c}, {b,c}, {c,d}, {b,d}} Figure 1: An example for a simple graph

Graph Algorithms. Vertex set = { a,b,c,d } Edge set = { {a,c}, {b,c}, {c,d}, {b,d}} Figure 1: An example for a simple graph Inin Institute of Informtion Tehnology Design n Mnufturing, Knheepurm, Chenni 00, Ini An Autonomous Institute uner MHRD, Govt of Ini http://www.iiitm..in COM 0T Design n Anlysis of Algorithms -Leture Notes

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

Lesson 55 - Inverse of Matrices & Determinants

Lesson 55 - Inverse of Matrices & Determinants // () Review Lesson - nverse of Mtries & Determinnts Mth Honors - Sntowski - t this stge of stuying mtries, we know how to, subtrt n multiply mtries i.e. if Then evlute: () + B (b) - () B () B (e) B n

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

University of Sioux Falls. MAT204/205 Calculus I/II

University of Sioux Falls. MAT204/205 Calculus I/II University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques

More information

A Short Introduction to Self-similar Groups

A Short Introduction to Self-similar Groups A Short Introution to Self-similr Groups Murry Eler* Asi Pifi Mthemtis Newsletter Astrt. Self-similr groups re fsinting re of urrent reserh. Here we give short, n hopefully essile, introution to them.

More information

Arrow s Impossibility Theorem

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

More information

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

( x) ( ) takes at the right end of each interval to approximate its value on that

( x) ( ) takes at the right end of each interval to approximate its value on that III. INTEGRATION Economists seem much more intereste in mrginl effects n ifferentition thn in integrtion. Integrtion is importnt for fining the expecte vlue n vrince of rnom vriles, which is use in econometrics

More information

Probability The Language of Chance P(A) Mathletics Instant Workbooks. Copyright

Probability The Language of Chance P(A) Mathletics Instant Workbooks. Copyright Proility The Lnguge of Chne Stuent Book - Series L-1 P(A) Mthletis Instnt Workooks Copyright Proility The Lnguge of Chne Stuent Book - Series L Contents Topis Topi 1 - Lnguge of proility Topi 2 - Smple

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

Exam Review. John Knight Electronics Department, Carleton University March 2, 2009 ELEC 2607 A MIDTERM

Exam Review. John Knight Electronics Department, Carleton University March 2, 2009 ELEC 2607 A MIDTERM riting Exms: Exm Review riting Exms += riting Exms synhronous iruits Res, yles n Stte ssignment Synhronous iruits Stte-Grph onstrution n Smll Prolems lso Multiple Outputs, n Hrer omintionl Prolem riting

More information

Solids of Revolution

Solids of Revolution Solis of Revolution Solis of revolution re rete tking n re n revolving it roun n is of rottion. There re two methos to etermine the volume of the soli of revolution: the isk metho n the shell metho. Disk

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

A STUDY OF Q-CONTIGUOUS FUNCTION RELATIONS

A STUDY OF Q-CONTIGUOUS FUNCTION RELATIONS Commun. Koren Mth. So. 31 016, No. 1, pp. 65 94 http://dx.doi.org/10.4134/ckms.016.31.1.065 A STUDY OF Q-CONTIGUOUS FUNCTION RELATIONS Hrsh Vrdhn Hrsh, Yong Sup Kim, Medht Ahmed Rkh, nd Arjun Kumr Rthie

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

MCH T 111 Handout Triangle Review Page 1 of 3

MCH T 111 Handout Triangle Review Page 1 of 3 Hnout Tringle Review Pge of 3 In the stuy of sttis, it is importnt tht you e le to solve lgeri equtions n tringle prolems using trigonometry. The following is review of trigonometry sis. Right Tringle:

More information

CHEM1611 Answers to Problem Sheet 9

CHEM1611 Answers to Problem Sheet 9 CEM1611 Answers to Prolem Sheet 9 1. Tutomers re struturl isomers whih re relte y migrtion of hyrogen tom n the exhnge of single on n jent oule on. Compoun Tutomer 2 2 2 2 2 2 2 2 2 2 2 2. () Whih pir

More information

SIMPLE NONLINEAR GRAPHS

SIMPLE NONLINEAR GRAPHS S i m p l e N o n l i n e r G r p h s SIMPLE NONLINEAR GRAPHS www.mthletis.om.u Simple SIMPLE Nonliner NONLINEAR Grphs GRAPHS Liner equtions hve the form = m+ where the power of (n ) is lws. The re lle

More information

Coding Techniques. Manjunatha. P. Professor Dept. of ECE. June 28, J.N.N. College of Engineering, Shimoga.

Coding Techniques. Manjunatha. P. Professor Dept. of ECE. June 28, J.N.N. College of Engineering, Shimoga. Coing Tehniques Mnjunth. P mnjup.jnne@gmil.om Professor Dept. of ECE J.N.N. College of Engineering, Shimog June 8, 3 Overview Convolutionl Enoing Mnjunth. P (JNNCE) Coing Tehniques June 8, 3 / 8 Overview

More information

SEMI-EXCIRCLE OF QUADRILATERAL

SEMI-EXCIRCLE OF QUADRILATERAL JP Journl of Mthemtil Sienes Volume 5, Issue &, 05, Pges - 05 Ishn Pulishing House This pper is ville online t http://wwwiphsiom SEMI-EXCIRCLE OF QUADRILATERAL MASHADI, SRI GEMAWATI, HASRIATI AND HESY

More information

SOME COPLANAR POINTS IN TETRAHEDRON

SOME COPLANAR POINTS IN TETRAHEDRON Journl of Pure n Applie Mthemtis: Avnes n Applitions Volume 16, Numer 2, 2016, Pges 109-114 Aville t http://sientifivnes.o.in DOI: http://x.oi.org/10.18642/jpm_7100121752 SOME COPLANAR POINTS IN TETRAHEDRON

More 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

Throughput-Smoothness Trade-offs in Multicasting of an Ordered Packet Stream

Throughput-Smoothness Trade-offs in Multicasting of an Ordered Packet Stream Throughput-Smoothness Tre-offs in Multisting of n Orere Pket Strem Guri Joshi EECS Dept., MIT Cmrige, MA 02139, USA Emil: guri@mit.eu Yuvl Kohmn Shool of CSE, HUJI Jeruslem, Isrel Emil: yuvlko@s.huji..il

More information

ILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS

ILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS ILLUSTRATING THE EXTENSION OF A SPECIAL PROPERTY OF CUBIC POLYNOMIALS TO NTH DEGREE POLYNOMIALS Dvid Miller West Virgini University P.O. BOX 6310 30 Armstrong Hll Morgntown, WV 6506 millerd@mth.wvu.edu

More information