Recent advances in analysis of evolutionary transpositions

Size: px
Start display at page:

Download "Recent advances in analysis of evolutionary transpositions"

Transcription

1 Reent vnes in nlysis of evolutionry trnspositions Mx Alekseyev Deprtment of Mthemtis / Computtionl Biology Institute George Wshington University 2015

2 Genome Rerrngements Mouse X hromosome unknown nestor ~ 80 M yers go Humn X hromosome

3 Genome Rerrngements Shuffle Genomes unknown nestor ~ 80 M yers go Wht is the evolutionry senrio for trnsforming one genome into the other? Wht is the orgniztion of the nestrl genome?

4 Algorithmi Bkgroun: Genome Rerrngements n Brekpoint Grphs

5

6 Multihromosoml Genomes: Genomi Distne Genomi Distne etween two genomes is the minimum numer of reversls, trnslotions, fusions, n fissions require to trnsform one genome into the other. Hnnenhlli n Pevzner (STOC 1995) extene their lgorithm for omputing the reversl istne to omputing the genomi istne. (с) These lgorithms were followe y mny improvements: Kpln et l. 1999, Ber et l. 2001, Tesler 2002, Ozery-Flto & Shmir 2003, Tnnier & Sgot 2004, Bergeron , et.

7 HP Theory Is Rther Complite: Is There Simpler Alterntive? HP theory is key tool in most genome rerrngement stuies. However, it is rther omplite tht mkes it iffiult to pply in omplex setups. To stuy genome rerrngements in multiple genomes, we use 2-rek rerrngements, lso known s DouleCut-n-Join, DCJ rerrngements (Ynopoulus et l., Bioinformtis 2005).

8 Simplifying HP Theory: Swith from Liner to Cirulr Chromosomes A hromosome n e represente s yle with irete re n unirete lk eges, where: re eges enoe loks n their iretions; jent loks re onnete with lk eges.

9 Reversls on Cirulr Chromosomes reversl Reversls reple two lk eges with two other lk eges

10 Fissions fission Fissions split single yle (hromosome) into two. Fissions reple two lk eges with two other lk eges.

11 Trnslotions / Fusions fusion Trnslotions/Fusions trnsform two yles (hromosomes) into single one. They lso reple two lk eges with two other lk eges.

12 2-Breks 2-rek 2-Brek reples ny pir of lk eges with nother pir forming mthing on the sme 4 verties. Reversls, trnslotions, fusions, n fissions represent ll possile types of 2-reks.

13 2-Brek Distne The 2-rek istne 2(P,Q) etween genomes P n Q is the minimum numer of 2-reks require to trnsform P into Q. In ontrst to the genomi istne, the 2-rek istne is esy to ompute.

14 Two Genomes s Blk-Re n Green-Re Cyles P Q

15 Rerrnging P in the Q orer P Q

16 Brekpoint Grph = Superposition of Genome Grphs: Gluing Re Eges with the Sme Lels P Brekpoint Grph Q G(P,Q) (Bfn & Pevzner, FOCS 1994)

17 Blk-Green Cyles Blk n green eges represent perfet mthings in the rekpoint grph. Therefore, together these eges form olletion of lk-green lternting yles (where the olor of eges lternte). The numer of lk-green yles (P,Q) in the rekpoint grph G(P,Q) plys entrl role in omputing the 2rek istne etween P n Q.

18 Rerrngements Chnge Cyles Trnsforming genome P into genome Q y 2-reks orrespons to trnsforming the rekpoint grph G(P,Q) into the rekpoint grph G(Q,Q). G(P,Q) (P,Q) = 2 G(P',Q) (P',Q) = 3 G(Q,Q) trivil yles (Q,Q) = 4 = P = Q

19 Trnsforming P into Q y 2-reks 2-reks P=P0 P1... P= Q G(P,Q) G(P1,Q)... G(Q,Q) (P,Q) yles... P = Q yles # of lk-green yles inrese y P - (P,Q) How muh eh 2-rek n ontriute to this inrese?

20 2-Brek Distne Any 2-rek n inrese the numer of yles y t most one (Δ 1) Any non-trivil yle n e split into two yles with 2-rek (Δ = 1) Every sorting y 2-rek must inrese the numer of yles y P (P,Q) The 2-Brek Distne etween genomes P n Q (Ynopoulos et l., 2005; Bergeron et l., 2006): 2(P,Q) = P (P,Q) The formul implies tht 2(P,Q) P 1.

21 Prolem: Anlysis of Complex Rerrngements

22 Complex Rerrngements: Trnspositions (с)

23 Sorting y Trnspositions Sorting y Trnspositions Prolem: Given two genomes, fin the shortest sequene of trnspositions trnsforming one genome into the other. First 1.5-pproximtion lgorithm ws given y Bfn n Pevzner (SODA 1995). Best hievement: pproximtion lgorithm ue to Elis n Hrtmn (WABI 2005). Prove to e NP-omplete y Bulteu, Fertin, n Rusu (ICALP 2011).

24 Trnspositions trnsposition Trnspositions ut off segment of one hromosome n insert it t some position in the sme or nother hromosome

25 Trnspositions Are 3-Breks 3-rek 3-Brek reples ny triple of lk eges with nother triple forming mthing on the sme 6 verties. Trnspositions re 3-Breks.

26 3-Brek Distne: Fous on O Cyles A 3-rek n inrese the numer of o yles (i.e., yles with o numer of lk eges) y t most 2 (Δo 2) A non-trivil o yle n e split into three o yles with 3rek (Δo = 2) An even yle n e split into two o yles with 3-rek (Δo = 2) The 3-rek Distne etween genomes P n Q is: 3(P,Q) = ½ ( P o(p,q) )

27 Complition: Trnspositions re Powerful ut Rre When the rerrngement moel llows trnspositions, they ten to pper in lrge proportion in ny shortest trnsformtion. However, in relity, trnspositions re very rre s ompre to reversl-like rerrngements.

28 Purporte Solution: Weighte Genomi Distne

29 Intuition Suggests to Consier Weighte Rerrngements To oun the proportion of trnspositions in trnsformtion, one's intuition my suggest to ssign to trnspositions reltive weight α > 1. It seems nturl to expet tht the lrger is α, the smller is the proportion of trnspositions in the minimum-weight trnsformtions.

30 Weight of Trnsformtion For trnsformtion t, we efine: n2(t) s the numer of reversl-like rerrngements (tht mke 2 rekges) in t; n n3(t) s the numer of trnsposition-like rerrngements (tht mke 3 rekges) in t. Then the weight of t is Wα(t) = 1 n2(t) + α n3(t)

31 Weighte Genomi Distne Weighte genomi istne etween genomes P n Q s the miniml possile weight of trnsformtion etween them, i.e.: α(p,q) = mint Wα(t) where minimum is tken over ll trnsformtions t etween P n Q.

32 Weighte Genomi Distne: Exmples Rell tht the weight of trnsformtion t is: Wα(t) = n2(t) + α n3(t) For α = 1, W1(t) = n2(t) + n3(t) represents the length of the trnsformtion t. For α = ³ ₂, W³ ₂(t) = n2(t) + ³ ₂ n3(t) = ½ (2 n2(t) + 3 n3(t)) represents the hlve numer of rekges in t.

33 Previous results The omplexity of omputing weighte genomi istne remins unknown. Brer n Ohleush, 2007, evelope 1.5-pproximtion lgorithm for omputing the weighte genomi istne for α [1,2]. Eriksen, 2001, propose (1+ε)-pproximtion lgorithm for omputing the weighte genomi istne for α = 2, n ny ε > 0. Blnhette et l, 1995, empirilly oserve tht for α (1,2), typil trnsformtion still inlues lrge proportion of trnspositions.

34 Counterexmple: Anlysis of Minimum-Weight Trnsformtions

35 Shortest n Optiml Trnsformtions A trnsformtion is shortest if it minimizes W1(t). A trnsformtion is optiml if it simultneously minimizes W1(t) n W³ ₂(t). Optiml trnsformtions exist (MA & P. Pevzner, PloS Comput. Biol., 2007) By efinition, ny optiml trnsformtion is lso shortest. However, not every shortest trnsformtion is optiml.

36 Chrteriztion of Shortest Trnsformtions Theorem 1. A trnsformtion t etween two genomes is shortest if n only if for ny rerrngement r t, ro = 2 n: if r is 2-rek, then reven = 1; if r is 3-rek, then reven = 0 or reven = 2. even even o o A 3-rek r with ro = 2 n reven = 2.

37 Chrteriztion of Optiml Trnsformtions Theorem 2. A trnsformtion t etween two genomes is optiml if n only if for ny rerrngement r t, ro = 2 n: if r is 2-rek, then reven = 1; if r is 3-rek, then reven = 0 or reven = 2. Corollry 1. An optiml trnsformtion hs no rerrngements with reven = 2.

38 Numer of 2- n 3-Breks in Optiml Trnsformtions Theorem 3. A trnsformtion t etween genomes P n Q is optiml if n only if, the numer of 2-reks n 3-reks in t is n2(t) = even(p,q) n3(t) = ½ ( P o(p,q)) even(p,q)

39 Min Theorem Theorem 4. For α (1,2], mint Wα(t) = Wα(t0), where t goes over ll trnsformtions etween two genomes n t0 is ny optiml trnsformtion etween them. Tht is, for ny α (1,2], the weighte genomi istne etween two genomes equls the weight of ny optiml trnsformtion etween them.

40 Min Theorem: Proof We lssify 2- n 3-reks r epening on how they ffet the numer of even n o yles: By efinition, for the trnsformtion t we hve: For the optiml trnsformtion t0, we erive from Theorem 3:

41 Min Theorem: Proof Now, we n ompute Wα(t) Wα(t0) s follows: All oeffiients of x's n y's in the this formul re nonnegtive, implying tht Wα(t) Wα(t0) 0. Q.E.D.

42 Trnsformtions Consisting of Trnspositions For n optiml trnsformtion t etween genomes P n Q, we hve: n2(t) = even(p,q) n3(t) = ½ ( P o(p,q)) even(p,q) (Theorem 3) For ny α (1,2], the trnsformtion t is minimum-weight trnsformtion etween P n Q. (Theorem 4) Corollry 2. If even(p,q) = 0, then ny optiml trnsformtion hs minimum weight for ny α (1,2] n onsists entirely of 3-reks (trnspositions).

43 Conlusion: Intuition File We prove tht for α (1,2], the minimum-weight trnsformtions inlue the optiml trnsformtions tht my entirely onsist of trnsposition-like rerrngements. Thus, the weighte genomi istne oes not tully impose ny oun on the proportion of trnspositions.

44 Prolem: Reognition of Evolutionry Trnspositions uner the 2-Brek Moel

45 Trnspositions s Pirs of 2-Breks A trnsposition n e moele s two 2-reks: trnsposition 2- re α k k e r 2- β 2-Brek β opertes on the ege rete y α. We sy tht β epens on α.

46 Depenent vs Inepenent 2-Breks In this senrio, we hve three pirs of epenent 2-reks: (β1,β3), (β2,β3), n (β2,β4). The other pirs of 2-reks re inepenent. We n swp the orer of jent inepenent 2reks, suh s (β1,β2) or (β3,β4).

47 Trnspositions My Be Cpture y 2-Breks The 2-rek moel oes iretly not ount for trnspositions. However, evolutionry trnspositions my impliitly pper in shortest 2-rek senrios s pirs of epenent 2-reks. Cn one reover trnspositions from given shortest 2-rek senrio?

48 Reovering Trnspositions From Shortest 2-Brek Senrio One n reple every pir of jent epenent 2-reks with trnsposition (3-rek). Complition: the orer of 2-reks in shortest senrio is not unique; inepenent 2-rek my e shuffle n pper in ny orer. In prtiulr, epenent 2-reks forming trnsposition my e seprte y other 2-reks. So, we nee to sort the given senrio efore reovering trnspositions.

49 Impliit Trnspositions In 2-rek senrio t=(α1,α2,...,αn), pir of epenent 2-reks (αi,αj) forms n impliit trnsposition if they n e me jent with numer of swps of inepenent 2-reks. After mking suh 2-reks jent, we n reple them with single trnsposition. We refer to suh trnsposition s reovere from t. How mny trnspositions n e simultneously reovere from given shortest 2-rek senrio t?

50 Disjoint Impliit Trnspositions Two istint impliit trnspositions in senrio t my shre 2-rek. So, the mximum numer of trnspositions tht n e reovere from t my e smller thn the numer of impliit trnspositions in t. We therefore re intereste in (pirwise) isjoint impliit trnspositions, whih o not shre ny 2reks etween them. Let DIT(t) e the mximum numer of isjoint impliit trnspositions in t.

51 Depeneny Grph We onstrut the epeneny grph DG(t), where verties re lele with 2-reks of senrio t n there is n r (α,β) whenever β epens on α. Impliit trnspositions in 2-rek senrio t orrespon to the rs in DG(t).

52 Properties of Depeneny Grph Theorem 1. Let t e shortest 2-rek senrio etween genomes P n Q of size n. Then: the numer of rs in DG(t) is n 2 (P,Q) + 1(P,Q); oth inegree n outegree of eh vertex in DG(t) re t most 2; t represents topologil orering of DG(t). Sho et l further prove tht DG(t)* is forest (* enotes n unirete version of grph).

53 Depeneny Grph Is Invrint Theorem 2. Let t1 n t2 e shortest 2-rek senrios etween the sme genomes. Then t1 n e otine from t2 with swps of jent inepenent 2-reks if n only if DG(t1)=DG(t2). In other wors, in this se t1 n t2 represent topologil orerings of the sme epeneny grph.

54 Impliit Trnspositions s Mthings Theorem 3. Let G e irete grph suh tht G* is forest. Then for ny mthing M in G, there exists topologil orering t' of G suh tht for ny r (α,β) M, verties α n β re jent in t'. Theorem 3 implies tht DIT(t) orrespons to mximl mthing in DG(t) n ll impliit trnspositions from DIT(t) n e simultneously reovere: For suh mximl mthing M, we n fin topologil orering t' mking jent enpoints of every r from M. By Theorem 2, t' n e otine from t with swps of inepenent 2-reks.

55 Universl Lower Boun for DIT(t) Theorem 4. Let t e shortest 2-rek senrio etween genomes P n Q of size n. Then DIT(t) TL(P,Q), where TL(P,Q) = (n 2 (P,Q) + 1(P,Q)) / 4.

56 Proof of Lower Boun for DIT(t) By Theorem 3, DIT(t) M for ny mthing M in DG(t). We onstrut mthing M itertively. Initilly let G = DG(t)* n M =. If G ontins t lest one ege, it ontins lef α. We its only inient ege (α,β) to M n remove ll eges inient to β from G. Repet. By Theorem 1, t eh itertion t most 4 eges re remove, implying tht eventully we hve M TL(P,Q). QED

57 Universl Upper Boun for DIT(t) Theorem 5. Let t e shortest 2-rek senrio etween genomes P n Q of size n. Then DIT(t) TU(P,Q), where TU(P,Q) = (n 2 (P,Q) + o(p,q)) / 2.

58 Proof of Upper Boun for DIT(t) By Theorem 3, from shortest 2-rek senrio t we n reover DIT(t) impliit trnspositions, resulting in senrio t' ompose of t 2 DIT(t) = n (P,Q) 2 DIT(t) 2-reks n DIT(t) trnspositions. The length of t' is oune elow y 3(P,Q), tht is n (P,Q) DIT(t) ( n o(p,q) ) / 2, implying tht DIT(t) TU(P,Q). QED

59 Rte of Impliit Trnspositions Agin, from shortest senrio t we n reover DIT(t) impliit trnspositions, resulting in senrio t' with t 2 DIT(t) = 2(P,Q) 2 DIT(t) 2reks n DIT(t) trnspositions. The rte of impliit trnspositions in t (i.e., the proportion of trnspositions in t') is r(t) = DIT(t) / ( 2(P,Q) DIT(t) ). As funtion of DIT(t) it monotonilly grows. Hene, TL(P,Q) / ( 2(P,Q) TL(P,Q) ) r(t) TU(P,Q) / ( 2(P,Q) TU(P,Q) ).

60 Impliit Trnspositions Between Mmmlin Genomes Estimtion for the rte of impliit trnspositions etween pirs of genomes mong mouse (M), rt (R), og (D), mque (Q), humn (H), n himpnzee (C).

61 Prolem: Sttistil Estimtion for the Rte of Evolutionry Trnspositions

62 Evolution s Mrkov Proess Let us ssume tht the evolution represents isrete Mrkov proess, where ifferent types of genome rerrngements (2-reks n 3-reks) our inepenently with fixe proilities. Let p n 1 p e the rte (proility) of 3-reks n 2-reks, respetively. For ny two given genomes resulte from this proess, our gol is to estimte the vlue of p.

63 Evolution s Mrkov Proess Let the evolution proess strt from lk genome P n result in re genome Q. It n e viewe s trnsformtion of the rekpoint grph G(P,P) (where re eges re prllel to lk eges n form trivil yles) into the rekpoint grph G(P,Q) with 2-reks n 3reks operting on re eges.

64 Frgile Brekge Moel We ssume the Frgile Brekge Moel, whih postultes tht genomes re mosis of frgile n soli regions, where only the former n e roken y genome rerrngements. Eh frgile region my or my not e roken (y hne) in the ourse of evolution. Only roken (tive) frgile regions n e oserve in the resulting genomes s rekpoints. Unroken (intive) frgile regions nnot e istinguishe from soli regions n thus the totl numer of frgile regions is unoservle.

65 Oservle Prmeters ℓ = ℓ(P,Q), the numer of ℓ-yles in G(P,Q) (for ny ℓ 2); = (P,Q) = Σℓ 2 ℓ ℓ, the numer of tive (roken) frgile regions etween P n Q, lso equl the numer of synteny loks, n the hlve totl length of ll non-trivil yles in G(P,Q); = 2(P,Q), the 2-rek istne etween P n Q.

66 Hien Prmeters n = n(p,q) = Σℓ 1 ℓ ℓ, the numer of (tive n intive) frgile regions in P (or Q), lso equl the numer of soli regions (loks); 1 = 1(P,Q), the numer 1-yles in G(P,Q), lso equl the intive frgile regions; k2, the numer of 2-reks etween P n Q, k3, the numer of 3-reks etween P n Q. Our gol is to estimte the vlue p = k3 / ( k2 + k3 ).

67 Proility for n Ege to Remin Intt Fin the proility tht re ege ws never roken in the ourse of evolution etween P n Q: An ege is not roken y single 2-rek with the proility (1-2/n) n y single 3-rek with the proility (1-3/n). So, the proility for n ege to remin intt uring the whole proess of k2 2-reks n k3 3reks is (1-2/n)k2 (1-3/n)k3 e γ, where γ = (2k2 + 3k3) / n.

68 First Eqution: Numer of 1-Cyles For ny fixe ℓ, the numer of ℓ-yles resulting from osionl splitting of longer yles is negligile (of orer / n2). Hene, the numer of 1-yles n e pproximte s the numer of re eges tht were never roken y rerrngements, whih is n e γ. On the other hn, the numer of 1-yles in G(P,Q) simply equls n, the numer of shre lok jenies etween P n Q. Tht is, 1 = n n e γ.

69 Seon Eqution: Numer of 2-Cyles Similrly, 2-yles mostly result from 2-reks tht merge pirs of 1-yles. The proility for re ege to e involve in extly one 2-rek is 2k2/n (1-1/n)2k2+3k3-1. The proility tht nother re ege ws involve in the sme 2-rek is 1/n (1-1/n)2k2+3k3-1. Sine the totl numer of ege pirs is n(n-1)/2, we hve the following pproximte equlity for the numer of 2-yles: 2 k2 e 2γ.

70 Thir Eqution: Numer of 3-Cyles Similrly, 3-yles mostly result from either 3reks tht merge three 1-yles, or 2-reks tht merge 1-yle n 2-yle. By nlogous nlysis, we get the following pproximte equlity: 3 (k3 + 2k22/n) e 3γ.

71 Empiril vs Anlytil Curves numer of 2- n 3-yles verge over 100 simultions on n = 400 loks with p = 0.3

72 System of Approximte Equtions We solve numerilly the system of equtions: n n e γ, 2 k2 e 2γ, 3 (k3 + 2k22/n) e 3γ, to otin nest, k2est, k3est n ompute pest = k3est / ( k2est + k3est ).

73 Simultions Boxplot for simultion with n = 1800 n vrile prmeters p n γ emonstrtes tht our estimtion pest is quite urte with the solute error elow 0.1 in 90% of oservtions.

74 Mmmlin Genomes We nlyze pirs of genomes of rt, mque, n humn represente s sequenes of 1,360 synteny loks: These results re onsistent n roust with respet to the evolutionry istne. The rte of trnspositions for ll pirs is lose to Simultions suggest tht the 95% onfiene intervl for suh pest is [0.1, 0,4].

75 Aknowlegments Shui Jing, University of South Crolin Nikit Alexeev, George Wshington University Ntionl Siene Fountion grnt no. IIS

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

Combinatorial Problems and Algorithms in Comparative Genomics. Max Alekseyev

Combinatorial Problems and Algorithms in Comparative Genomics. Max Alekseyev Comintoril Prolems n Algorithms in Comprtive Genomis Mx Alekseyev Dept. Computer Siene, University of South Crolin, Columi, SC, U.S.A. Algorithmi Biology L, Aemi University, Sint Petersurg, Russi 2011

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

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

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

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

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

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

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

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

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

More information

Genome Rearrangements:

Genome Rearrangements: Genome Rerrngements: from Biologicl Prolem to Comintoril Algorithms (nd ck) Pvel Pevzner Deprtment of Computer Science, University of Cliforni t Sn Diego Genome Rerrngements Mouse X chromosome Unknown

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

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

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

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

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

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

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

Exercise sheet 6: Solutions

Exercise sheet 6: Solutions Eerise sheet 6: Solutions Cvet emptor: These re merel etended hints, rther thn omplete solutions. 1. If grph G hs hromti numer k > 1, prove tht its verte set n e prtitioned into two nonempt sets V 1 nd

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

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

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

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

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

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

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

CS261: A Second Course in Algorithms Lecture #5: Minimum-Cost Bipartite Matching

CS261: A Second Course in Algorithms Lecture #5: Minimum-Cost Bipartite Matching CS261: A Seon Course in Algorithms Leture #5: Minimum-Cost Biprtite Mthing Tim Roughgren Jnury 19, 2016 1 Preliminries Figure 1: Exmple of iprtite grph. The eges {, } n {, } onstitute mthing. Lst leture

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

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

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

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

PAIR OF LINEAR EQUATIONS IN TWO VARIABLES

PAIR OF LINEAR EQUATIONS IN TWO VARIABLES PAIR OF LINEAR EQUATIONS IN TWO VARIABLES. Two liner equtions in the sme two vriles re lled pir of liner equtions in two vriles. The most generl form of pir of liner equtions is x + y + 0 x + y + 0 where,,,,,,

More information

Lecture 4: Graph Theory and the Four-Color Theorem

Lecture 4: Graph Theory and the Four-Color Theorem CCS Disrete II Professor: Pri Brtlett Leture 4: Grph Theory n the Four-Color Theorem Week 4 UCSB 2015 Through the rest of this lss, we re going to refer frequently to things lle grphs! If you hen t seen

More information

On the Spectra of Bipartite Directed Subgraphs of K 4

On the Spectra of Bipartite Directed Subgraphs of K 4 On the Spetr of Biprtite Direte Sugrphs of K 4 R. C. Bunge, 1 S. I. El-Znti, 1, H. J. Fry, 1 K. S. Kruss, 2 D. P. Roerts, 3 C. A. Sullivn, 4 A. A. Unsiker, 5 N. E. Witt 6 1 Illinois Stte University, Norml,

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

The vertex leafage of chordal graphs

The vertex leafage of chordal graphs The vertex lefge of horl grphs Steven Chplik, Jurj Stho b Deprtment of Physis n Computer Siene, Wilfri Lurier University, 75 University Ave. West, Wterloo, Ontrio N2L 3C5, Cn b DIMAP n Mthemtis Institute,

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

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

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

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

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

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

Introduction to Graphical Models

Introduction to Graphical Models Introution to Grhil Moels Kenji Fukumizu The Institute of Sttistil Mthemtis Comuttionl Methoology in Sttistil Inferene II Introution n Review 2 Grhil Moels Rough Sketh Grhil moels Grh: G V E V: the set

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

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

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

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

Comparing the Pre-image and Image of a Dilation

Comparing the Pre-image and Image of a Dilation hpter Summry Key Terms Postultes nd Theorems similr tringles (.1) inluded ngle (.2) inluded side (.2) geometri men (.) indiret mesurement (.6) ngle-ngle Similrity Theorem (.2) Side-Side-Side Similrity

More information

arxiv: v2 [math.co] 31 Oct 2016

arxiv: v2 [math.co] 31 Oct 2016 On exlue minors of onnetivity 2 for the lss of frme mtrois rxiv:1502.06896v2 [mth.co] 31 Ot 2016 Mtt DeVos Dryl Funk Irene Pivotto Astrt We investigte the set of exlue minors of onnetivity 2 for the lss

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

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

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

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

Discrete Structures Lecture 11

Discrete Structures Lecture 11 Introdution Good morning. In this setion we study funtions. A funtion is mpping from one set to nother set or, perhps, from one set to itself. We study the properties of funtions. A mpping my not e funtion.

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

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

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

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

Part 4. Integration (with Proofs)

Part 4. Integration (with Proofs) Prt 4. Integrtion (with Proofs) 4.1 Definition Definition A prtition P of [, b] is finite set of points {x 0, x 1,..., x n } with = x 0 < x 1

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

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

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

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

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

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

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

Activities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions

Activities. 4.1 Pythagoras' Theorem 4.2 Spirals 4.3 Clinometers 4.4 Radar 4.5 Posting Parcels 4.6 Interlocking Pipes 4.7 Sine Rule Notes and Solutions MEP: Demonstrtion Projet UNIT 4: Trigonometry UNIT 4 Trigonometry tivities tivities 4. Pythgors' Theorem 4.2 Spirls 4.3 linometers 4.4 Rdr 4.5 Posting Prels 4.6 Interloking Pipes 4.7 Sine Rule Notes nd

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

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

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

Green s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e

Green s Theorem. (2x e y ) da. (2x e y ) dx dy. x 2 xe y. (1 e y ) dy. y=1. = y e y. y=0. = 2 e Green s Theorem. Let be the boundry of the unit squre, y, oriented ounterlokwise, nd let F be the vetor field F, y e y +, 2 y. Find F d r. Solution. Let s write P, y e y + nd Q, y 2 y, so tht F P, Q. Let

More information

y = c 2 MULTIPLE CHOICE QUESTIONS (MCQ's) (Each question carries one mark) is...

y = c 2 MULTIPLE CHOICE QUESTIONS (MCQ's) (Each question carries one mark) is... . Liner Equtions in Two Vriles C h p t e r t G l n e. Generl form of liner eqution in two vriles is x + y + 0, where 0. When we onsier system of two liner equtions in two vriles, then suh equtions re lle

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

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

Separable discrete functions: recognition and sufficient conditions

Separable discrete functions: recognition and sufficient conditions Seprle isrete funtions: reognition n suffiient onitions Enre Boros Onřej Čepek Vlimir Gurvih Novemer 21, 217 rxiv:1711.6772v1 [mth.co] 17 Nov 217 Astrt A isrete funtion of n vriles is mpping g : X 1...

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

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

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

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

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

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

Connectivity in Graphs. CS311H: Discrete Mathematics. Graph Theory II. Example. Paths. Connectedness. Example

Connectivity in Graphs. CS311H: Discrete Mathematics. Graph Theory II. Example. Paths. Connectedness. Example Connetiit in Grphs CSH: Disrete Mthemtis Grph Theor II Instrtor: Işıl Dillig Tpil qestion: Is it possile to get from some noe to nother noe? Emple: Trin netork if there is pth from to, possile to tke trin

More information

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

Graph States EPIT Mehdi Mhalla (Calgary, Canada) Simon Perdrix (Grenoble, France) Grph Sttes EPIT 2005 Mehdi Mhll (Clgry, Cnd) Simon Perdrix (Grenole, Frne) simon.perdrix@img.fr Grph Stte: Introdution A grph-sed representtion of the entnglement of some (lrge) quntum stte. Verties: quits

More information

Maximum size of a minimum watching system and the graphs achieving the bound

Maximum size of a minimum watching system and the graphs achieving the bound Mximum size of minimum wthing system n the grphs hieving the oun Tille mximum un système e ontrôle minimum et les grphes tteignnt l orne Dvi Auger Irène Chron Olivier Hury Antoine Lostein 00D0 Mrs 00 Déprtement

More information

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as

If we have a function f(x) which is well-defined for some a x b, its integral over those two values is defined as Y. D. Chong (26) MH28: Complex Methos for the Sciences 2. Integrls If we hve function f(x) which is well-efine for some x, its integrl over those two vlues is efine s N ( ) f(x) = lim x f(x n ) where x

More information

Introduction to Olympiad Inequalities

Introduction to Olympiad Inequalities Introdution to Olympid Inequlities Edutionl Studies Progrm HSSP Msshusetts Institute of Tehnology Snj Simonovikj Spring 207 Contents Wrm up nd Am-Gm inequlity 2. Elementry inequlities......................

More information

Can one hear the shape of a drum?

Can one hear the shape of a drum? Cn one her the shpe of drum? After M. K, C. Gordon, D. We, nd S. Wolpert Corentin Lén Università Degli Studi di Torino Diprtimento di Mtemti Giuseppe Peno UNITO Mthemtis Ph.D Seminrs Mondy 23 My 2016 Motivtion:

More information

HS Pre-Algebra Notes Unit 9: Roots, Real Numbers and The Pythagorean Theorem

HS Pre-Algebra Notes Unit 9: Roots, Real Numbers and The Pythagorean Theorem HS Pre-Alger Notes Unit 9: Roots, Rel Numers nd The Pythgoren Theorem Roots nd Cue Roots Syllus Ojetive 5.4: The student will find or pproximte squre roots of numers to 4. CCSS 8.EE.-: Evlute squre roots

More information

Symmetrical Components 1

Symmetrical Components 1 Symmetril Components. Introdution These notes should e red together with Setion. of your text. When performing stedy-stte nlysis of high voltge trnsmission systems, we mke use of the per-phse equivlent

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

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

First Midterm Examination

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

More information

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

Section 2.3. Matrix Inverses

Section 2.3. Matrix Inverses Mtri lger Mtri nverses Setion.. Mtri nverses hree si opertions on mtries, ition, multiplition, n sutrtion, re nlogues for mtries of the sme opertions for numers. n this setion we introue the mtri nlogue

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

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

AP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals

AP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into

More information

Section 4.4. Green s Theorem

Section 4.4. Green s Theorem The Clulus of Funtions of Severl Vriles Setion 4.4 Green s Theorem Green s theorem is n exmple from fmily of theorems whih onnet line integrls (nd their higher-dimensionl nlogues) with the definite integrls

More information

Directed acyclic graphs with the unique dipath property

Directed acyclic graphs with the unique dipath property Direte yli grphs with the unique ipth property Jen-Clue Bermon, Mihel Cosnr, Stéphne érennes To ite this version: Jen-Clue Bermon, Mihel Cosnr, Stéphne érennes. Direte yli grphs with the unique ipth property.

More information