Introduction to Bioinformatics

Size: px
Start display at page:

Download "Introduction to Bioinformatics"

Transcription

1 Introdution to Bioinformtis

2 Outline } Method without onsidering bkground distribution } Generl pproh onsidering bkground distribution } Wys to speed up the lgorithm

3 Trnsription Ftor Binding Sites (TFBSs) 3 7/20/17

4 Trnsription Ftor Binding Sites } DNA sequene segments tht trnsription ftors (TF) bind to re lled trnsription ftorbinding sites (TFBSs). (TFBSs) } TF intert with their TFBS using ombintion of eletrostti nd Vn der Wls fores. } Most of the TFs bind DNA in motif speifi mnner, i.e. TFs n bind to list of similr DNA sequene segments.

5 Trnsription Ftor Binding Sites } Trnsription ftor binding sites re usully short (round 5-15 bp) } They re frequently degenerte sequene motifs o The sequene degenery onfers different levels of regultion } Given genome, the predition of TFBSs is diffiult nd risky tsk. (TFBSs)

6 Identifition of TFBSs } Experiment methods o Trditionl methods o o o o Foot-printing methods Nitroellulose binding ssys Gel-shift nlysis Southwestern blotting } TFBSs in silio o o Aim: to identify more ndidte trget TFBS. Degenerte onsensus sequenes. (Drwbk: does not ontin preise likelihood informtion) } High-throughput method o o Finding high-ffinity binding sequene in vitro (SELEX) High-throughput method in vivo: ChIP-hip o Position weighted mtrix (PWM) or PSSM (position speifi mtrix) is ommon pproh to this problem.

7 Position Weight Mtries (PWMs) 7 7/20/17

8 Position weight mtrix (PWM)/ Positionspeifi weight mtrix(pssm) PWM is ommonly used representtion of motifs(ptterns) in biologil sequenes. Imgine two experimentlly determined TF binding sites for onetf: Seq1: ATTGAGTCGCAGTGACTCAAG Seq2: CTTGAGTCAGGCAGGCTCAAT Constrution of Position Weight Mtrix (PWM): PWM of "better qulity": Construted using 33 TF binding sites for one TF

9 } Length of PWM (number of olumns): Definitions: M f f * i, j i, j ' = o o bsolute PWM (ount mtrix): Î N with i Î{ A, T, C, G} nd reltive PWM (frequeny mtrix): * fi, j * å fk, j kî{ A, T, C, G} j Î[ 0, M -1] A T C G

10 A simple TFBS mthing tool 10 7/20/17

11 Nïve method without onsidering bkground distribution MATCH TM : tool for serhing trnsription ftor binding sites in DNA sequenes (A.E. Kel et l. 2003) } Input: (1) DNA sequenes ontining potentil TF binding sites (2) PWM Output: A list of found potentil sites. } Two types of sores re lulted o o Core Similrity Sore (CSS) : only lulted for the first five onseutive onserved region. Mtrix Similrity Sore (MSS): lulted for ll the positions

12 Nïve method without onsidering bkground distribution MATCH TM : tool for serhing trnsription ftor binding sites in DNA sequenes (A.E. Kel et l. 2003) MSS( CSS ) = Current - Min Mx - Min MSS ( CSS ) Î[0,1] = å - Current j= L = å - Mx j= 1 0 L 1 0 I( j) I( j) f mx j f nu ( j), j ' f f i, j ' mx j = f * i, j = mx{ f i nu(j) refers to the nuleotide with index j. å * fk, j kî{ A, T, C, G} * i, j } å * fk, j kî{ A, T, C, G} (highest frequeny of nuleotide in position j in the mtrix) Min : L å - i= 1 0 I( j) f min j f min j = min{ f i * i, j } å * fk, j kî{ A, T, C, G} (lowest frequeny of nuleotide in position j in the mtrix) I( j) = å iî{ A, T, G, C} fi, j ln(4 fi, j ) j = 1,2,..., L Informtion vetor

13 } Two utoffs re kept for CSS nd MSS sores respetively. Proedure: } A window onsisting of five nuleotides is moving long the sequene. } CSS (ore similrity sore) is lulted. } For eh CSS higher thn CSS utoff, the sequene nd is prolonged t both ends to fit the mtrix length. Then the MSS sore is lulted } If two sores re both higher thn ut-offs, then output s yes instne ATCGTACTAGCTACGATCAA TCGA Clulte CSS sore Chek if the sore is bove the CSS threshold Prolong ATCGTACTAGCTACGATCAA TCGA Clulte MSS sore Chek if the sore is bove MSS threshold

14 Inorporting the bkground 14 7/20/17

15 Bkground model: } Some nuleotides in the PWM ount more thn others Nuleotide ontents (nonoding), C. effiiens Nuleotide ontents (totl), C. effiiens Nuleotide ontents (oding), C. effiiens

16 } Length of PWM (number of olumns): o Bkground model: p Î[0,1] with i Î{ A, T, C, G} i Definitions: with M å p i = 1 i A T C G o bsolute PWM (ount mtrix): f * i, j f à i, j ' f Î N with o = o p i, j i Î{ A, T, C, G} reltive PWM (frequeny mtrix): * fi, j * å fk, j kî{ A, T, C, G} Pseudo-ounts per olumn (void overfitting): e.g. = f * i, j + p i à f i, j = nd p fi, j p å fk, j kî{ A, T, C, G} j Î[ 0, M -1] = A T C G

17 } Soring funtion (log-odds sore): where nu(j) = nuleotide with index j Mthing proedure: Definitions: S strtidx endidx f = å, endidx ln p j= strtidx nu( j), j nu( j) Seq = A G C A A T T A A A T T G G A T A A C.. PWM = S } Clulte sore for every position of the sliding window 0, M -1 S M > th } Report every mth with (th is the threshold of being signl) But how to set good threshold vlue? 0, -1

18 Sore distribution: l B (X ) } sore distribution of the PWM lulted with rndom sequenes ording to bkground model. l T (X ) } sore distribution lulted with rndom sequenes ording to PWM model. P Z ( X = s) } probbility of observing sore s under distribution Z. We re interested in: P Z ( X ³ s) } probbility of observing t lest sore s. with P Z ( X ³ s) = mx å i= s P Z ( X = i)

19 pvlue: p = P B ( X å x= s Probbility of observing t lest sore s by hne ³ s) = mx P B ( X = x) à Set th = s, with P B ( X ³ s) = p for given p (pitures: ssuming stndrd norml distribution) Set equl flse positive nd flse negtive errors: - Set s, where P ( X ³ s) = P ( X s) B T

20 pvlue: p = P B ( X å x= s Probbility of observing t lest sore s by hne ³ s) = mx P B ( X = x) à Set th = s, with P B ( X ³ s) = p for given p (pitures: ssuming stndrd norml distribution) Set equl flse positive nd flse negtive errors: - Set s, where P ( X ³ s) = P ( X s) B T

21 Methods to speed up generl mthing pproh } The generl mthing pproh ims for finding binding site by moving the window of length M long sequene of length N. } The time omplexity of stright-forwrd implementtion is O(MN) } Severl methods were implemented to speed up the PWM/PSSM o o o o Lookhed lgorithm Permutted lookhed lgorithm Suffix tree Enhned suffix rry

22 Let s speed it up! Kirk: How muh time to you need, Sotty? Sotty: Gimme 20 minutes. Kirk: You got 10. Sotty: OK. I ll do in in 5. Two minutes lter 22 7/20/17

23 Lookhed lgorithm } The motivtion: given segment of sequene, we wnt to know whether we n rejet its probbility of being signl s erly s possible. o o For given sequene segment of length M, we hve the sore funtion: S M å - 1 0, M - 1 = ln( f nu ( j), j p nu( j) ) j= 0 ---(1) We define the minimum nd mximum sore for given PWM: S M å - 1 min( 0, M - 1) = min {ln( f, j p )} Î{ A, T, G, C} j= 0 ---(2) S M å - 1 mx( 0, M - 1) = mx {ln( f, j p )} Î{ A, T, G, C} j= 0 ---(3)

24 Lookhed lgorithm 0 d M -1 o For ny, we lso define the prefix sore of depth d: pfxs d = S d 0, d = åln( fnu( j), j p nu( j) ) j= 0 ---(4) s d = S o And the mximl sore in the lst M-d -1 positions of the PWM: M å - 1 mx( d + 1, M -1) = mx {ln( f, j p )} Î{ A, T, G, C} j= d (5) o Finlly, we n lulte the intermedite threshold t position d: th d = th-s d ----(6)

25 Lookhed lgorithm } Therefore, the following sttements re equivlent: pfxs Û S d 0, M -1 ³ th ³ th d for ll d(0 d M -1) } Bsilly, when prefix hs sore so low tht even if the rest of the segment hieves mximl sore, still the sore for whole segment is below the threshold, then we must rejet it. ATGCGCTTAAGTCTGTGGTCAAATGCTAGCTACGTACGATCGAT C pfxs (prefix sore) (mx sore) d s d Chek if bove th d for every position, if not, then rejet it.

26 Permutted lookhed lgorithm } With the lookhed lgorithm, the sooner we rejet segment, the better running time we hve. } Therefore, it mkes sense to hek the positions in PWM tht is more likely to be rejeted by lookhed lgorithm. We implement this ide by permuttion of PWM: } Eh olumn of PWM hs highest sore: M j = S mx( j, j) = mx {ln( f, Î{ A, T, G, C} j p )} } nd n expettion of the sore if the residue is generted by bkground model: E j = å å S A T G C j p = f A T G C j p Î{,,, }, ln( Î{,,, }, ) p

27 Permutted lookhed lgorithm } We fous on the differene between M j nd E j. If the expettion for olumn is omprtively low to the highest sore, then it is more likely the segment is rejeted t this olumn. } Therefore, we order the mtrix by (M j - E j ), nd ompute the most dngerous olumn first. Position Differene Permutte Order by differene A T G C G A T C G A G T G T C A G C A T G C G A T C G A G T G T C A G C pfxs d s d

28 1. Suffix tree is dt struture tht presents ll the suffixes of given string. 2. A suffix tree for string w, is tree whose edges re lbeled with substrings. Eh suffix of w orresponds to extly one pth from the tree s root to lef. Suffix tree 3. Suffix tree is speil dt struture tht llows number of string opertions to be rried out in n effiient wy Suffix tree for the string. Substring termintes with. The 12 pths from the root to lef orrespond to the 12 suffixes.

29 Number Substring 0 1 Suffix tree

30 Suffix tree Key fetures of suffix tree T for string w[0, m-1] is rooted tree with : 1. m leves numbered from 0 to m-1 2. At lest two hildren for eh internl node (exept root) 3. Eh lbel represents substring of w (nonempty) 4. No two edges out of the sme node begin with sme hrter

31 Applitions of Suffix tree } One of the simplest pplition of suffix tree is to hek whether string P of length m is substring of the given string w in O(m) time. } Construt the suffix tree T of string w. And mth string P long from the root to lef } If there exists omplete mth, then P is substring of w, otherwise, not. Chek if is substring of

32 Applitions of Suffix tree } Besides, there re mny other pplitions of suffix tree. Given suffix tree of string w of length n, 1. Find the first ourrene of the ptterns P 1,,P q, of totl length m in O(m) time. 2. Serh for regulr expression in P in time expeted subliner in n. 3. Find the longest ommon substrings of string w i nd w j in Θ(n i +n j ) time. 4. Find the longest repeted substring in Θ(n) time. 5.

33 How to grow suffix tree (nïve method) } The running time for nïve onstrution of suffix tree is O(n 2 ) ( n: text size) } For exmple, we wnt to onstrut suffix tree of string xbx xbx 0 1. Strt with the whole string (lef number 1) nd onnet the root with the lef

34 How to grow suffix tree (nïve method) 2. Generte suffixes w[1 n-1], w[2 n-1],, w[n-1], nd push them into the tree one by one. Suffixes: - bx - bx - x xbx 0

35 How to grow suffix tree (nïve method) 3. To insert Sfx i = w[i n-1], follow the pth from the root, mthing hrters of Sfx i until the first mismth t the hrter Sfx i [j]. There re two ses: Insert seond nd third suffixes xbx 0 bx i. If the mthing nnot ontinue from node (whih mens mismth hppens to be t the beginning of next edge), then rete new node. Lbel the edge to its orresponding substring. bx 1 2

36 How to grow suffix tree (nïve method) ii. If the mismth ours in the middle of n edge e = (u,v), then denote the edge to be 0, l-1. Insertion of x uses first edge to split bx 0 Let the mismth our t k, then rete new node w, nd reple edge e by edges (u,w) nd (w,v), lbeled by 1,, k-1, nd k l-1. x bx 3 Then rete nother new node to store the rest of the newly inserted suffix. bx 1 2

37 How to grow suffix tree (nïve method) Sme thing hppens when inserting bx 0 After inserting, nd, the suffix tree is omplete Finlly, in both ses, new lef is reted,numbered i. x bx bx 6 2

38 PWM/PSSM using suffix tree Suppose we hve } How n suffix tree elerte the proess of mthing? (1) We first find the proper length of trget sequene segment. The length n be deided bsed on memory size. (2) Then we onstrut suffix trees from the trget sequene.

39 PWM/PSSM using suffix tree (3) Then depth-first trversl of the tree is performed, lulted ll the prefix sores ( pfxs d ) for edge lbels. Suppose we hve the sore funtions like the following: S 1, S 3 S, 3 S,, = 2, 0 =, 1 =, 0 = for given threshold: th = 6 We hve intermedite thresholds: th 0 =3, th 1 =6 Afterwrds, we lulte ll the prefix sores for edge lbels

40 PWM/PSSM using suffix tree Red zone in the figure shows the brnhes hving sore below intermedite threshold (4) Finlly nlyze the sores, hek if either of the two ses hppens: i. Any sore t some node in the tree rehes the threshold, then ll of its substrings represented by tree rehes the threshold s well. ii. Similrly, hek if ny of the sores fll below the intermedite threshold, then the whole substring brnh n be ignored. 1 3 Green zone in the figure shows the brnhes hving sores bove intermedite threshold

41 Suffix tree à Suffix rry 41 7/20/17

42 Enhned suffix rry } Min fetures: } M. Bekstette et l. (2006) brought forwrd PWM-bsed serhing method using enhned suffix rrys. } In their study, they foused on the improvement of spe effiieny when serhing with PWM. Their method is similr to the suffix tree disussed in the previous slides. Three rrys re kept for different usges: 1. suf rry suf rry speifies the first indies of eh suffix. 2. lp rry lp rry stores the length of the longest ommon prefix of two djent suffixes ording to lef numbers. 3. skp rry Sorry, little bit omplex, tlk bout it in the following slides.

43 Enhned suffix rry (rry suf ) suf rry speifies the first indies of eh suffix.. S suf [0], S suf [1],, S suf [n-1] is the sequene of suffixes of S in first index position sending order, where S suf [i]=s suf[i] = [i... n-1]. i à index if ordered lexiogrphilly i suf[i] S suf [i]

44 Enhned suffix rry (rry lp ) Arry lp is n rry rnge from 0 to n with the following fetures. (1) lp[0] = 0 (2) lp[i] stores the length of the longest ommon prefix of S suf [i- 1] nd S suf [i]. The ommon prefix of nd is, so lp[1] = 3 The ommon prefix of nd is, so lp[3] = 1 i lp[i] S suf [i]

45 Enhned suffix rry (rry skp ) Arry skp is in rnge 0 to n suh tht skp [ i] = min({ n + 1} È{ j Î[ i + 1, n] lp[ i] > lp[ j]}) Geometrilly, skp[i] denotes the next lef tht does not our in substree below the brnhing node orresponding to the longest ommon prefix of S suf [i-1] nd S suf [i]. à skp[i] is the next index j where where lp[j] < lp[i] i lp[i] skp[i] S suf [i]

46 Enhned suffix rry (rry skp ) Longest ommon prefix of nd is, so lp[3] = The red edge indites the ommon prefix

47 Enhned suffix rry (rry skp ) 0 Similrly, we n find out tht lp[4] = lp[5] = 2 The red edge indites the ommon prefix

48 Enhned suffix rry (rry skp ) We nnot find ommon prefix between nd, so lp[6]= Therefore, skp[3] = skp[4] = skp[5]= 6. In the grph, we n esily tell S suf [6] is the first node (olored in green) not ourring in brnh of S suf [3], S suf [4] nd S suf [5] (olored in purple)

49 Enhned suffix rry (rry skp ) Strting from no node ours in nother brnh (brnh not involved with the urrent suffix). Therefore, skp[6]=

50 Referenes } A.E. Kel et l. MATCHTM: tool for serhing trnsription ftor binding sites in DNA sequenes. (2003) Nulei Aids Reserh Vol. 31 No. 13 } M. Bekstette et l. PoSSuMserh: Fst nd Sensitive Mthing of Position Speifi Soring Mtries using Enhnes Suffix Arrys (2004) } M. Bekstette et l. Fst Index bsed lgorithms nd softwre for mthing position speifi soring mtries. (2006) BMC Bioinformtis } S. Rhmnn et l. On the Power of Profiles for Trnsription Ftor Biding Site Detetion. (2003) Sttistil Applitions in Genetis nd Moleulr Biology } B. Dorohonenu et l. Aelerting Protein Clssifition Using Suffix Trees. (2000)

51 Thnk you! 51 7/20/17

52 Suffix rrys/trees nd PWM mthing 52 7/20/17

53 } Definition (1): prefix sore for sequene w pfxs d d w) = åln( f w ( j), j / w( j) ) j= 0 Enhned suffix rry ( p w ( j) Î{ A, T, G, C} for ll j where w is sequene segment, w(j) is the hrter of w t index j. Denote l i = min{m, S suf [i] }-1. } Definition (2): d i s the lrgest depth of the suffix tht stisfies the intermedite threshold d = mx({ -1} È{ d Î[0, l ] pfxs ( S [ i]) ³ i i d suf th d }) } Definition (3): C i [d] is the prefix sore of S suf [i] with depth d Ci [ d] = pfxs d ( Ssuf [ i]) for ll d Î[0,di ]

54 Enhned suffix rry Notie tht, for eh S suf [i], the following sttements re equivlent: d i = M 1 pfxs M 1 (S suf [i]) = C i [M 1] th M 1 M is the length of PWM We will show the lgorithm by n exmple. Suppose we hve following sore funtions : S i,j Index 0 Index Index 2 Tht is, S suf [i] stisfies the threshold iff the lrgest depth stisfying the intermedite threshold equls to the length of the PWM Suppose we hve following threshold: th = 7 Intermedite thresholds: th 0 = 2, th 1 = 5, th 2 = 7.

55 Algorithm: 1. First ompute C 0 nd d 0 to see if the first suffix stisfies the threshold For the S suf [0] =, we hve C 0 [0] = pfxs 0 (S suf [0]) = 1, below the threshold. d = mx({ -1} È{ d Î[0, l0] pfxs d ( Ssuf [0]) ³ th 0 d Hene we hve d 0 = -1, mening no prefix stisfies threshold. Enhned suffix rry Below th 0 })

56 Enhned suffix rry By following the rules below: 2. Afterwrds, it s the VERY triky prt. Bsed on the skp rry, we n utlly JUMP over some suffixes. For eh S suf [i] stisfying/not stisfying the threshold, we try to find the first k tht d i +1 >= lp[k], by the following jumping sde: let k 0 = i+1, k 1 = skp[k 0 ], k m = skp[k m-1 ] suh tht, d i +1 < lp[k 1 ], d i +1 < lp[k 2 ],, d i +1 < lp[k m-1 ] nd d i +1>= lp[k m ] k m is the k we wnt. And ny suffixes within the jump rnge stisfy/do not stisfy the threshold s S suf [i] stisfies/does not stisfy the threshold

57 Enhned suffix rry i. In the first step, we hve d 0 = -1 ii. We try to find first k suh tht d 0 +1=0 >= lp[k]. iii. By mking three jumps bsed on skp rry, we find k 3 = 6 stisfying our se. First jump: k 1 = skp[k 0 =0+1=1] = 2 d 0 +1=0< lp[k 1 ] = 2 Seond jump: k 2 = skp[k 1 ] = 3 d 0 +1=0< lp[k 2 ] = 1 Third jump: k 3 = skp[k 2 ] = 6 d 0 +1=0>= lp[k 3 ] = 0. YEAH, we got it!!! i lp[i] skp[i] S suf [i]

58 Below th 0 1 Enhned suffix rry Sine S suf [0] does not stisfy the threshold, S suf [1] S suf [5] nnot stisfy the threshold. i. In the first step, we hve d 0 = -1 ii. We try to find first k suh tht d 0 +1 >= lp[k]. iii. By mking three jumps bsed on skp rry, we find k 3 = 6 stisfying our se. First jump: k 1 = skp[k 0 ] = 2 d 0 +1=0< lp[k 1 ] = 2 Seond jump: k 2 = skp[k 1 ] = 3 d 0 +1=0< lp[k 2 ] = 1 Third jump: k 3 = skp[k 2 ] = 6 d 0 +1=0>= lp[k 3 ] = 0. YEAH, we got it!!!

59 Next we ompute C 6, d 6, Enhned suffix rry d = mx({ -1} È{ d Î[0, l ] pfxs ( S [ i]) ³ i i d suf th d }) Ci [ d] = pfxs d ( Ssuf [ i]) for ll d Î[0,di ] We obtin: d 6 = 2 nd C 6 [0] = 3, C 6 [1] = 6, C 6 [2] = 8, stisfying ll intermedite thresholds. Therefore, S suf [6] is signl. S i,j Index 0 Index Index 2 S suf [6]= Suppose we hve following threshold: th = 7 Intermedite thresholds: th 0 = 2, th 1 = 5, th 2 = 7.

60 Enhned suffix rry Similrly, we try to find the first k suh tht d 6 +1=3 >= lp[k]. We find tht, k 0 =6+1= Stisfying d 6 +1=2+1=3 >= lp[k 0 =7] = 2 Therefore, only S suf [6] stisfies the threshold in this round. Next we ontinue to ompute C 7 nd d 7 No JUMP here. Only moves to the next node

61 Enhned suffix rry By similr pproh, we obtin d 7 = 2 nd C 7 [0] = 3, C 7 [1] = 6, C 7 [2] = 7, stisfying ll intermedite threshold. Similrly, we try to find the first k suh tht d 7 +1=3 >= lp[k]. We find tht, k 0 =7+1=8 Stisfiying d 7 +1=2+1=3 >= lp[k 0 =8] = 3 Therefore, only S suf [7] stisfies the threshold in this round. No JUMP here. Only moves to the next node

62 Enhned suffix rry By similr pproh, we obtin S suf [8],S suf [9] stisfying the threshold; S suf [10] nd S suf [11] not stisfying the threshold (Algorithm ends)

63 Enhned suffix rry (lgorithm) 1. Compute d 0, nd C 0 [d] for ny d Î[ 0, d0] 2. Assume d i-1 nd C i-1 [d] hs been determined, then we lulte d i nd C i [d] from d i-1 nd C i-1 [d] : Sine S suf [i-1] nd S suf [i] hve ommon prefix of length lp[i], we hve, C i-1 [d]= C i [d] for ll d Î[ 0, lp[ i] -1] To lulte C i [d] for ll d Î[ 0, di] onsidered:, the following two ses need to (1) d i-1 +1 >= lp[i] Then ompute C i [d] for d i+1 >lp[i] while d<=l i nd C i [d] >= th d

64 Enhned suffix rry (lgorithm) (2) d i-1 +1< lp[i] Suppose we hve j be the minimum vlue from [i+1, n+1] suh tht ll suffixes S suf [i], S suf [i+1] S suf [j-1] hve ommon prefix of length d i Then, ording to the definition, i. if d i-1 = m-1, then there re signls t ll position S suf [r] for i<=r<=j-1 ii. If d i-1 <m-1, then no signls for ll position S suf [r] We obtin j by following hin of entries in rry skp, omputing hin of vlues : j 0 =i, j 1 = skp[j 0 ], j k = skp[j k-1 ] suh tht, d i-1 +1 < lp[j k-1 ] nd d i-1 +1>= lp[j k ]

Global alignment. Genome Rearrangements Finding preserved genes. Lecture 18

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

More information

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

Algorithms & Data Structures Homework 8 HS 18 Exercise Class (Room & TA): Submitted by: Peer Feedback by: Points: Eidgenössishe Tehnishe Hohshule Zürih Eole polytehnique fédérle de Zurih Politenio federle di Zurigo Federl Institute of Tehnology t Zurih Deprtement of Computer Siene. Novemer 0 Mrkus Püshel, Dvid Steurer

More information

Lecture 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

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

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

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

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

More information

, 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

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

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

Chapter 4 State-Space Planning

Chapter 4 State-Space Planning Leture slides for Automted Plnning: Theory nd Prtie Chpter 4 Stte-Spe Plnning Dn S. Nu CMSC 722, AI Plnning University of Mrylnd, Spring 2008 1 Motivtion Nerly ll plnning proedures re serh proedures Different

More information

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

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

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

More information

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

Finite State Automata and Determinisation

Finite State Automata and Determinisation Finite Stte Automt nd Deterministion Tim Dworn Jnury, 2016 Lnguges fs nf re df Deterministion 2 Outline 1 Lnguges 2 Finite Stte Automt (fs) 3 Non-deterministi Finite Stte Automt (nf) 4 Regulr Expressions

More information

CS 573 Automata Theory and Formal Languages

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

More information

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

Math 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1)

Math 32B Discussion Session Week 8 Notes February 28 and March 2, f(b) f(a) = f (t)dt (1) Green s Theorem Mth 3B isussion Session Week 8 Notes Februry 8 nd Mrh, 7 Very shortly fter you lerned how to integrte single-vrible funtions, you lerned the Fundmentl Theorem of lulus the wy most integrtion

More information

Prefix-Free Regular-Expression Matching

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

More information

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

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

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

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

INTEGRATION. 1 Integrals of Complex Valued functions of a REAL variable INTEGRATION NOTE: These notes re supposed to supplement Chpter 4 of the online textbook. 1 Integrls of Complex Vlued funtions of REAL vrible If I is n intervl in R (for exmple I = [, b] or I = (, b)) nd

More information

Tutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4.

Tutorial Worksheet. 1. Find all solutions to the linear system by following the given steps. x + 2y + 3z = 2 2x + 3y + z = 4. Mth 5 Tutoril Week 1 - Jnury 1 1 Nme Setion Tutoril Worksheet 1. Find ll solutions to the liner system by following the given steps x + y + z = x + y + z = 4. y + z = Step 1. Write down the rgumented mtrix

More information

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

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

More information

5. Every rational number have either terminating or repeating (recurring) decimal representation.

5. Every rational number have either terminating or repeating (recurring) decimal representation. CHAPTER NUMBER SYSTEMS Points to Rememer :. Numer used for ounting,,,,... re known s Nturl numers.. All nturl numers together with zero i.e. 0,,,,,... re known s whole numers.. All nturl numers, zero nd

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

8 THREE PHASE A.C. CIRCUITS

8 THREE PHASE A.C. CIRCUITS 8 THREE PHSE.. IRUITS The signls in hpter 7 were sinusoidl lternting voltges nd urrents of the so-lled single se type. n emf of suh type n e esily generted y rotting single loop of ondutor (or single winding),

More information

On-Line Construction. of Suffix Trees. Overview. Suffix Trees. Notations. goo. Suffix tries

On-Line Construction. of Suffix Trees. Overview. Suffix Trees. Notations. goo. Suffix tries On-Line Cnstrutin Overview Suffix tries f Suffix Trees E. Ukknen On-line nstrutin f suffix tries in qudrti time Suffix trees On-line nstrutin f suffix trees in liner time Applitins 1 2 Suffix Trees A suffix

More information

Module 9: Tries and String Matching

Module 9: Tries and String Matching Module 9: Tries nd String Mtching CS 240 - Dt Structures nd Dt Mngement Sjed Hque Veronik Irvine Tylor Smith Bsed on lecture notes by mny previous cs240 instructors Dvid R. Cheriton School of Computer

More information

Module 9: Tries and String Matching

Module 9: Tries and String Matching Module 9: Tries nd String Mtching CS 240 - Dt Structures nd Dt Mngement Sjed Hque Veronik Irvine Tylor Smith Bsed on lecture notes by mny previous cs240 instructors Dvid R. Cheriton School of Computer

More information

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

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

More information

More Properties of the Riemann Integral

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

More information

Alpha Algorithm: Limitations

Alpha Algorithm: Limitations Proess Mining: Dt Siene in Ation Alph Algorithm: Limittions prof.dr.ir. Wil vn der Alst www.proessmining.org Let L e n event log over T. α(l) is defined s follows. 1. T L = { t T σ L t σ}, 2. T I = { t

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

Data Structures and Algorithm. Xiaoqing Zheng

Data Structures and Algorithm. Xiaoqing Zheng Dt Strutures nd Algorithm Xioqing Zheng zhengxq@fudn.edu.n String mthing prolem Pttern P ours with shift s in text T (or, equivlently, tht pttern P ours eginning t position s + in text T) if T[s +... s

More information

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix

Matrices SCHOOL OF ENGINEERING & BUILT ENVIRONMENT. Mathematics (c) 1. Definition of a Matrix tries Definition of tri mtri is regulr rry of numers enlosed inside rkets SCHOOL OF ENGINEERING & UIL ENVIRONEN Emple he following re ll mtries: ), ) 9, themtis ), d) tries Definition of tri Size of tri

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

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

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

More information

(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

Ling 3701H / Psych 3371H: Lecture Notes 9 Hierarchic Sequential Prediction

Ling 3701H / Psych 3371H: Lecture Notes 9 Hierarchic Sequential Prediction Ling 3701H / Psyh 3371H: Leture Notes 9 Hierrhi Sequentil Predition Contents 9.1 Complex events.................................... 1 9.2 Reognition of omplex events using event frgments................

More information

A Study on the Properties of Rational Triangles

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

More information

Electromagnetism Notes, NYU Spring 2018

Electromagnetism Notes, NYU Spring 2018 Eletromgnetism Notes, NYU Spring 208 April 2, 208 Ation formultion of EM. Free field desription Let us first onsider the free EM field, i.e. in the bsene of ny hrges or urrents. To tret this s mehnil system

More information

Line Integrals and Entire Functions

Line Integrals and Entire Functions Line Integrls nd Entire Funtions Defining n Integrl for omplex Vlued Funtions In the following setions, our min gol is to show tht every entire funtion n be represented s n everywhere onvergent power series

More information

Maintaining Mathematical Proficiency

Maintaining Mathematical Proficiency Nme Dte hpter 9 Mintining Mthemtil Profiieny Simplify the epression. 1. 500. 189 3. 5 4. 4 3 5. 11 5 6. 8 Solve the proportion. 9 3 14 7. = 8. = 9. 1 7 5 4 = 4 10. 0 6 = 11. 7 4 10 = 1. 5 9 15 3 = 5 +

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

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

TOPIC: LINEAR ALGEBRA MATRICES

TOPIC: LINEAR ALGEBRA MATRICES Interntionl Blurete LECTUE NOTES for FUTHE MATHEMATICS Dr TOPIC: LINEA ALGEBA MATICES. DEFINITION OF A MATIX MATIX OPEATIONS.. THE DETEMINANT deta THE INVESE A -... SYSTEMS OF LINEA EQUATIONS. 8. THE AUGMENTED

More information

Table of Content. c 1 / 5

Table of Content. c 1 / 5 Tehnil Informtion - t nd t Temperture for Controlger 03-2018 en Tble of Content Introdution....................................................................... 2 Definitions for t nd t..............................................................

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

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

Chem Homework 11 due Monday, Apr. 28, 2014, 2 PM

Chem Homework 11 due Monday, Apr. 28, 2014, 2 PM Chem 44 - Homework due ondy, pr. 8, 4, P.. . Put this in eq 8.4 terms: E m = m h /m e L for L=d The degenery in the ring system nd the inresed sping per level (4x bigger) mkes the sping between the HOO

More information

April 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then.

April 8, 2017 Math 9. Geometry. Solving vector problems. Problem. Prove that if vectors and satisfy, then. pril 8, 2017 Mth 9 Geometry Solving vetor prolems Prolem Prove tht if vetors nd stisfy, then Solution 1 onsider the vetor ddition prllelogrm shown in the Figure Sine its digonls hve equl length,, the prllelogrm

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

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

Fast index for approximate string matching

Fast index for approximate string matching Fst index for pproximte string mthing Dekel Tsur Astrt We present n index tht stores text of length n suh tht given pttern of length m, ll the sustrings of the text tht re within Hmming distne (or edit

More information

1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.

1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true. York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech

More information

= state, a = reading and q j

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

More information

Linear Algebra Introduction

Linear Algebra Introduction Introdution Wht is Liner Alger out? Liner Alger is rnh of mthemtis whih emerged yers k nd ws one of the pioneer rnhes of mthemtis Though, initilly it strted with solving of the simple liner eqution x +

More information

How do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique?

How do we solve these things, especially when they get complicated? How do we know when a system has a solution, and when is it unique? XII. LINEAR ALGEBRA: SOLVING SYSTEMS OF EQUATIONS Tody we re going to tlk bout solving systems of liner equtions. These re problems tht give couple of equtions with couple of unknowns, like: 6 2 3 7 4

More information

Chapter 3. Vector Spaces. 3.1 Images and Image Arithmetic

Chapter 3. Vector Spaces. 3.1 Images and Image Arithmetic Chpter 3 Vetor Spes In Chpter 2, we sw tht the set of imges possessed numer of onvenient properties. It turns out tht ny set tht possesses similr onvenient properties n e nlyzed in similr wy. In liner

More information

Chapter 14. Matrix Representations of Linear Transformations

Chapter 14. Matrix Representations of Linear Transformations Chpter 4 Mtrix Representtions of Liner Trnsformtions When considering the Het Stte Evolution, we found tht we could describe this process using multipliction by mtrix. This ws nice becuse computers cn

More information

Logic Synthesis and Verification

Logic Synthesis and Verification Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 22 Reding: Logi Synthesis in Nutshell Setion 2 most

More information

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

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

More information

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 H 3 CH3 C. NMR spectroscopy. Different types of NMR

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 H 3 CH3 C. NMR spectroscopy. Different types of NMR 6.. Spetrosopy NMR spetrosopy Different types of NMR NMR spetrosopy involves intertion of mterils with the lowenergy rdiowve region of the eletromgneti spetrum NMR spetrosopy is the sme tehnology s tht

More information

Alpha Algorithm: A Process Discovery Algorithm

Alpha Algorithm: A Process Discovery Algorithm Proess Mining: Dt Siene in Ation Alph Algorithm: A Proess Disovery Algorithm prof.dr.ir. Wil vn der Alst www.proessmining.org Proess disovery = Ply-In Ply-In event log proess model Ply-Out Reply proess

More information

Bisimulation, Games & Hennessy Milner logic

Bisimulation, Games & Hennessy Milner logic Bisimultion, Gmes & Hennessy Milner logi Leture 1 of Modelli Mtemtii dei Proessi Conorrenti Pweł Soboiński Univeristy of Southmpton, UK Bisimultion, Gmes & Hennessy Milner logi p.1/32 Clssil lnguge theory

More information

Distance-Join: Pattern Match Query In a Large Graph Database

Distance-Join: Pattern Match Query In a Large Graph Database Distne-Join: Pttern Mth Query In Lrge Grph Dtbse Lei Zou Huzhong University of Siene nd Tehnology Wuhn, Chin zoulei@mil.hust.edu.n Lei Chen Hong Kong University of Siene nd Tehnology Hong Kong leihen@se.ust.hk

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

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 CH 3. CH 3 C a. NMR spectroscopy. Different types of NMR

6.3.2 Spectroscopy. N Goalby chemrevise.org 1 NO 2 CH 3. CH 3 C a. NMR spectroscopy. Different types of NMR 6.. Spetrosopy NMR spetrosopy Different types of NMR NMR spetrosopy involves intertion of mterils with the lowenergy rdiowve region of the eletromgneti spetrum NMR spetrosopy is the sme tehnology s tht

More information

Hyers-Ulam stability of Pielou logistic difference equation

Hyers-Ulam stability of Pielou logistic difference equation vilble online t wwwisr-publitionsom/jns J Nonliner Si ppl, 0 (207, 35 322 Reserh rtile Journl Homepge: wwwtjnsom - wwwisr-publitionsom/jns Hyers-Ulm stbility of Pielou logisti differene eqution Soon-Mo

More information

@#? Text Search ] { "!" Nondeterministic Finite Automata. Transformation NFA to DFA and Simulation of NFA. Text Search Using Automata

@#? Text Search ] { ! Nondeterministic Finite Automata. Transformation NFA to DFA and Simulation of NFA. Text Search Using Automata g Text Serh @#? ~ Mrko Berezovský Rdek Mřík PAL 0 Nondeterministi Finite Automt n Trnsformtion NFA to DFA nd Simultion of NFA f Text Serh Using Automt A B R Power of Nondeterministi Approh u j Regulr Expression

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

Lecture 1 - Introduction and Basic Facts about PDEs

Lecture 1 - Introduction and Basic Facts about PDEs * 18.15 - Introdution to PDEs, Fll 004 Prof. Gigliol Stffilni Leture 1 - Introdution nd Bsi Fts bout PDEs The Content of the Course Definition of Prtil Differentil Eqution (PDE) Liner PDEs VVVVVVVVVVVVVVVVVVVV

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

Periodic string comparison

Periodic string comparison Periodi string omprison Alexnder Tiskin Deprtment of Computer Siene University of Wrwik http://www.ds.wrwik..uk/~tiskin Alexnder Tiskin (Wrwik) Periodi string omprison 1 / 51 1 Introdution 2 Semi-lol string

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

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

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

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

More information

11/3/13. Indexing techniques. Short-read mapping software. Indexing a text (a genome, etc) Some terminologies. Hashing

11/3/13. Indexing techniques. Short-read mapping software. Indexing a text (a genome, etc) Some terminologies. Hashing I9 Introdution to Bioinformtis, 0 Indeing tehniques Yuzhen Ye (yye@indin.edu) Shool of Informtis & Computing, IUB Contents We hve seen indeing tehnique used in BLAST Applitions tht rely on n effiient indeing

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

Recitation 3: More Applications of the Derivative

Recitation 3: More Applications of the Derivative Mth 1c TA: Pdric Brtlett Recittion 3: More Applictions of the Derivtive Week 3 Cltech 2012 1 Rndom Question Question 1 A grph consists of the following: A set V of vertices. A set E of edges where ech

More information

(h+ ) = 0, (3.1) s = s 0, (3.2)

(h+ ) = 0, (3.1) s = s 0, (3.2) Chpter 3 Nozzle Flow Qusistedy idel gs flow in pipes For the lrge vlues of the Reynolds number typilly found in nozzles, the flow is idel. For stedy opertion with negligible body fores the energy nd momentum

More information

MATH Final Review

MATH Final Review MATH 1591 - Finl Review November 20, 2005 1 Evlution of Limits 1. the ε δ definition of limit. 2. properties of limits. 3. how to use the diret substitution to find limit. 4. how to use the dividing out

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

Logic Synthesis and Verification

Logic Synthesis and Verification Logi Synthesis nd Verifition SOPs nd Inompletely Speified Funtions Jie-Hong Rolnd Jing 江介宏 Deprtment of Eletril Engineering Ntionl Tiwn University Fll 2010 Reding: Logi Synthesis in Nutshell Setion 2 most

More information

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions.

T b a(f) [f ] +. P b a(f) = Conclude that if f is in AC then it is the difference of two monotone absolutely continuous functions. Rel Vribles, Fll 2014 Problem set 5 Solution suggestions Exerise 1. Let f be bsolutely ontinuous on [, b] Show tht nd T b (f) P b (f) f (x) dx [f ] +. Conlude tht if f is in AC then it is the differene

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

Applications of Definite Integral

Applications of Definite Integral Chpter 5 Applitions of Definite Integrl 5.1 Are Between Two Curves In this setion we use integrls to find res of regions tht lie between the grphs of two funtions. Consider the region tht lies between

More information

CS 275 Automata and Formal Language Theory

CS 275 Automata and Formal Language Theory CS 275 Automt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Problem (II) Chpter II.6.: Push Down Automt Remrk: This mteril is no longer tught nd not directly exm relevnt Anton Setzer (Bsed

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

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

Lossless Compression Lossy Compression

Lossless Compression Lossy Compression Administrivi CSE 39 Introdution to Dt Compression Spring 23 Leture : Introdution to Dt Compression Entropy Prefix Codes Instrutor Prof. Alexnder Mohr mohr@s.sunys.edu offie hours: TBA We http://mnl.s.sunys.edu/lss/se39/24-fll/

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

For a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then

For a, b, c, d positive if a b and. ac bd. Reciprocal relations for a and b positive. If a > b then a ab > b. then Slrs-7.2-ADV-.7 Improper Definite Integrls 27.. D.dox Pge of Improper Definite Integrls Before we strt the min topi we present relevnt lger nd it review. See Appendix J for more lger review. Inequlities:

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

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

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

More information

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

15.12 Applications of Suffix Trees

15.12 Applications of Suffix Trees 248 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, 2007 15.12 Appliations of Suffix Trees 1. Searhing for exat patterns 2. Minimal unique substrings 3. Maximum unique mathes 4. Maximum

More information

PYTHAGORAS THEOREM WHAT S IN CHAPTER 1? IN THIS CHAPTER YOU WILL:

PYTHAGORAS THEOREM WHAT S IN CHAPTER 1? IN THIS CHAPTER YOU WILL: PYTHAGORAS THEOREM 1 WHAT S IN CHAPTER 1? 1 01 Squres, squre roots nd surds 1 02 Pythgors theorem 1 03 Finding the hypotenuse 1 04 Finding shorter side 1 05 Mixed prolems 1 06 Testing for right-ngled tringles

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