Aho-Corasick Automata
|
|
- Daniella Brown
- 6 years ago
- Views:
Transcription
1 Aho-Corsick Auom
2 Sring D Srucures Over he nex few dys, we're going o be exploring d srucures specificlly designed for sring processing. These d srucures nd heir vrins re frequenly used in prcice
3 Looking Forwrd Tody: Aho-Corsick Auom A fs d srucure for sring mching. Thursdy: Suffix Trees An bsurdly versile sring d srucure. Tuesdy: Suffix Arrys Suffix-ree like performnce wih rry-like spce usge.
4 Sring Serching
5 The Sring Serching Problem Consider he following problem: Given sring T nd k nonempy srings P₁,, Pₖ, find ll occurrences of P₁,, Pₖ in T. T is clled he ex sring nd P₁,, Pₖ re clled pern srings. This problem ws originlly sudied in he conex of compiling indexes, bu hs found pplicions in compuer securiy nd compuionl genomics.
6 Pern Srings b b o e b e b e d e d g g e u e b e d g e b
7 Some Terminology Le m = T, he lengh of he sring o be serched. Le n = P₁ + P₂ + + Pₖ be he ol lengh of ll he pern srings. Le Lmx be he lengh of he longes pern sring. Assume h srings re drwn from n lphbe Σ, where Σ is some consn. We'll use hese erms when lking bou he runime of he lgorihms nd d srucures we'll explore over he nex couple of dys.
8 How quickly cn we solve he sring serching problem?
9 Le's sr wih nïve pproch.
10 Pern Srings b b o u e b e b e d e d g e g e For For ech ech posiion posiion in in T: T: For For ech ech pern pern sring sring Pᵢ: Pᵢ: Check Check if if Pᵢ Pᵢ ppers ppers h h posiion. posiion. b e d g e b
11 Anlyzing Our Approch As before, le m be he lengh of he ex nd n he ol lengh of he pern srings. For ech chrcer of he ex sring T, in he wors cse, we scn over ll n ol chrcers in he perns. Time complexiy: O(mn). Is his igh bound?
12 Θ(mn) Pern Srings
13 Cn we do beer?
14 Pern Srings b b o u e b e b e d e d g e g e b e d g e
15 Prllel Serching Ide: Rher hn serching he pern srings in seril, ry serching hem in prllel. Inuiively, his should cu down on lo of he unnecessry rescnning h we're doing. Chllenge: How excly do we do his in prcice?
16 g Pern Srings b b o u e b e b e d e d g e g e o u b e b e d e d g e e This This d d srucure srucure is is clled clled rie. rie. I I comes comes from from he he word word rerievl. rerievl. I I is is no no pronounced pronounced like like rerievl. rerievl.
17 Represening Tries Ech rie node needs o sore poiners o is children. There re mny differen d srucures we could use o sore hese poiners. For ody, we'll ssume we hve n rry of Σ poiners, one per possible child. You'll explore vrins on his sregy in he problem se. c
18 Represening Tries Ech rie node needs o sore poiners o is children. There re mny differen d srucures we could use o sore hese poiners. For ody, we'll ssume we hve n rry of Σ poiners, one per possible child. You'll explore vrins on his sregy in he problem se.
19 e b b o b e b e d e d g g Pern Srings e e u b o u e b e d e d g e g e b e d g e
20 Anlyzing our New Algorihm Le's suppose we've lredy consruced he rie. How much work is required o perform he mch? For ech chrcer of T, we inspec s mos s mny chrcers s exis in he deepes brnch of he rie. Time complexiy: O(mLmx ), where L mx is he lengh of he longes pern sring. (Do you see why?) In he (resonble) cse where Lmx is much smller hn n, his is huge win over before. If L mx is objecively smll, his is prey good runime. How much ime does i ke o build he rie?
21 Building Trie Clim: Given se of srings P₁,, Pₖ of ol lengh n, i's possible o build rie for hose srings in ime Θ(n). e e b n e b n e
22 Our Sregies Following our fory ino RMQ, we'll sy h soluion o muli-sring mching runs in ime p(m, n), q(m, n) if he preprocessing ime is p(m, n) nd he mching ime is q(m, n). We now hve wo pproches: No preprocessing: O(1), O(mn). Trie serching: O(n), O(mLmx ). Cn we do beer?
23 Pern Srings r o r s s o r r o r s s o r s o r s
24 Pern Srings r o r s s o r r o r s s o r s o r s
25 Pern Srings r o r s s o r r o r s s o r s o r s This This red red link link is is clled clled suffix suffix link. link. We'll We'll lk lk bou bou hem hem more more formlly formlly in in minue. minue.
26 Pern Srings r o r s s o r r o r s s o r s o
27 Pern Srings r o r s s o r r o r s s o r s o
28 Pern Srings r o r s s o r r o r s s o r s o
29 Pern Srings r o r s s o r r o r s s o r s o
30 Pern Srings r o r s s o r r o r s s o r s o r s o r s In In generl, generl, suffix suffix links links migh migh jump jump he he red red cursor cursor forwrd forwrd more more hn hn one one sep. sep. The The number number of of seps seps ken ken is is equl equl o o he he chnge chnge of of deph deph in in he he rie. rie.
31 Pern Srings r o r s s o r r o r s s o r s o
32 Pern Srings r o r s s o r r o r s s o r s o
33 Suffix Links A suffix link (someimes clled filure link) is red edge from rie node corresponding o sring α o he rie node corresponding o sring ω such h ω is he longes proper suffix of α h is sill in he rie. Inuiion: When we hi pr of he sring where we cnno coninue o red chrcers, we fll bck by following suffix links o ry o preserve s much conex s possible. Every node in he rie, excep he roo (which corresponds o he empy sring ε), will hve suffix link ssocied wih i.
34 Why Suffix Links Mer Suffix links cn subsnilly improve he performnce of our sring serch. A ech sep, we eiher dvnce he blck (end) poiner forwrd in he rie, or dvnce he red (sr) poiner forwrd. Ech poiner cn dvnce forwrd mos O(m) imes. This reduces he moun of ime spen scnning chrcers from O(mL mx ) down o Θ(m). This is only useful if we cn compue suffix links quickly... which we'll see how o do ler.
35 A Problem wih our Opimizion
36 i n Pern Srings i i n i n s i n g i n s i n g s i n g
37 Wh Hppened? Our hevily opimized sring sercher no longer srs serching from ech posiion in he sring. As resul, we now migh forge o oupu mches in cerin cses. We need o figure ou when his hppens, nd how o correc for i.
38 i n Pern Srings i i n i n s i n g i n s i n g s i n g We We missed missed he he pern pern sring sring i i becuse becuse i's i's proper proper suffix suffix si. si.
39 i n Pern Srings i i n i n s i n g i n s i n g s i n g We missed boh in nd in We missed boh in nd in becuse becuse ech ech is is proper proper suffix suffix of of sin. sin.
40 How do we ddress his?
41 i n Pern Srings i i n i n s i n g i n s i n g This This blue blue rrow rrow is is clled clled n n oupu oupu link. link. Whenever Whenever we we visi visi his his gold gold node, node, we'll we'll oupu oupu he he sring sring represened represened by by he he node node he he end end of of he he blue blue rrow. rrow.
42 i n Pern Srings i i n i n s i n g i n s i n g By By precompuing precompuing where where we we evenully evenully need need o o end end up, up, we we cn cn insnly insnly red red off off ny ny exr exr perns perns o o emi emi his his poin. poin. As As you'll you'll see, see, we we cn cn precompue precompue hese hese links links relly relly quickly! quickly!
43 i n Pern Srings i i n i n s i n g i n s i n g Even Even nodes nodes h h hemselves hemselves correspond correspond o o re re perns perns migh migh need need oupu oupu links links if if oher oher perns perns lso lso end end he he corresponding corresponding sring. sring.
44 i n Pern Srings i i n i n s i n g i n s i n g Noice Noice h h he he blue blue edges edges here here form form linked linked lis. lis. If If we we visi visi his his node, node, we we need need o o oupu oupu everyhing everyhing in in he he chin, chin, no no jus jus he he in in node node we're we're immediely immediely poining poining..
45 The Finl Mching Algorihm Sr he roo node in he rie. For ech chrcer c in he sring: While here is no edge lbeled c: If you're he roo, brek ou of his loop. Oherwise, follow suffix link. If here is n edge lbeled c, follow i. If he curren node corresponds o pern, oupu h pern. Oupu ll words in he chin of oupu links origining his node.
46 The Runime Impc
47 Pern Srings
48 The Runime In he wors cse, we my hve o spend huge moun of ime lising off ll he mches in he sring. This isn' he ful of he lgorihm ny lgorihm h mches srings his wy would hve o spend he ime reporing mches. To ccoun for his, le z denoe he number of mches repored by our lgorihm. The runime of he mch phse is hen Θ(m + z), wih he m erm coming from he sring scnning nd he z erm coming from he mches. You someimes her lgorihms whose runime depends on how much oupu is genered referred o s oupu-sensiive lgorihms.
49 Where We Are Given he mching uomon (which is clled n Aho-Corsick uomon or n AC uomon), we cn find ll occurrences of he pern srings in ny ex of lengh m in ime Θ(m+z). To see wheher his is worhwhile, we need o see how quickly we cn build he uomon.
50 Time-Ou for Announcemens!
51 Problem Se One As friendly reminder, Problem Se One is due his Thursdy 3:00PM. All soluions mus be submied elecroniclly hrough GrdeScope. We srongly recommend leving few hours' buffer ime so h you cn ge everyhing se up properly. If you hven' sred ye... you probbly should go nd do h. We've go office hours hroughou he week if you hve quesions nd you're welcome o sk quesions on Pizz.
52 HckOverflow Snford WiCS is hosing HckOverflow, hckhon for progrmmers of ll skill levels. I's coming up on Surdy, April 16 from 10AM 10PM. Everyone is welcome! Highly recommended! If you've never been o hckhon before, his is one of he bes plces o sr. Wn o end? RSVP using his link. Wn o voluneer he even or serve s menor? RSVP his link.
53 ostem Mixer Snford's chper of ostem (Ou in STEM) is hosing mixer even omorrow, April 6, 6PM he LGBT-CRC. Ineresed in ending? Wn o ge involved in ostem ledership? Feel free o sop on by! Everyone is welcome. If you'd like o RSVP, you cn use his link.
54 Bck o CS166!
55 Building he Aho-Corsick Auomon
56 Building he Auomon To consruc he Aho-Corsick uomon, we need o consruc he rie, consruc suffix links, nd consruc oupu links. We know we cn build he rie in ime Θ(n) using our logic from before. How quickly cn we consruc suffix nd oupu links?
57 Consrucing Suffix Links
58 An Iniil Algorihm Here is simple, brue-force pproch for compuing suffix links: For ech node in he rie: Le α be he sring h his priculr node corresponds o. For ech proper suffix ω of α: Look up ω in he rie. If he serch ends up some rie node, poin he suffix link here nd sop. This pproch is no very efficien h doublynesed loop is excly he sor of hing we're rying o void. Cn we do beer?
59 e Pern Srings e c o s s o c o s s o
60 Fs Suffix Link Consrucion
61 Consrucing Suffix Links Key insigh: Suppose we know he suffix link for node lbeled w. Afer following rie edge lbeled, here re wo possibiliies. Cse 1: x exiss. w w w x x x
62 Consrucing Suffix Links Key insigh: Suppose we know he suffix link for node lbeled w. Afer following rie edge lbeled, here re wo possibiliies. Cse 2: x does no exis. w w x w x y y y
63 Consrucing Suffix Links Key insigh: Suppose we know he suffix link for node lbeled w. Afer following rie edge lbeled, here re wo possibiliies. Cse 2: x does no exis. w w w x x y z z z y
64 Consrucing Suffix Links To consruc he suffix link for node w: Follow w's suffix link o node x. If node x exiss, w hs suffix link o x. Oherwise, follow x's suffix link nd repe. If you need o follow bckwrds from he roo, hen w's suffix link poins o he roo. Observion 1: Suffix links poin from longer srings o shorer srings. Observion 2: If we precompue suffix links for nodes in scending order of sring lengh, ll of he informion needed for he bove pproch will be vilble he ime we need i.
65 Consrucing Suffix Links Do bredh-firs serch of he rie, performing he following operions: If he node is he roo, i hs no suffix link. If he node is one hop wy from he roo, is suffix link poins o he roo. Oherwise, he node corresponds o some sring w. Le x be he node poined by w's suffix link. Then, do he following: If he node x exiss, w's suffix link poins o x. Oherwise, if x is he roo node, w's suffix link poins o he roo. Oherwise, se x o he node poined by x's suffix link nd repe.
66 Anlyzing Efficiency How much ime does i ke o cully build ll he suffix links? When filling in ny individul suffix link, we migh hve o keep wlking bckwrds in he rie following suffix links repeedly while serching for plce o exend. Inuiively, i seems like i should be qudric in he lengh of he longes sring in he rie. Is h bound igh?
67 Anlyzing Efficiency Clim: The previously-described lgorihm for compuing suffix links kes ime O(n). Inuiion: Focus on ny one word in he rie. As you dd suffix links, keep rck of he deph of he node poined by he curren node's suffix link.
68 e c o s s o
69 Consrucion Efficiency Focus on he ime o fill in he suffix links for single pern of lengh h. The gold node (where he previous suffix link poins) begins he roo. A ech sep, he gold node kes some number of seps bckwrd, hen kes mos one sep forwrd. The gold node cnno ke more seps bckwrd hn forwrd. Therefore, cross he enire consrucion, he gold node kes mos h seps bckwrd. Tol ime required o consruc suffix links for pern of lengh h: O(h). Tol ime required o consruc ll suffix links: O(n).
70 Compuing Oupu Links
71 The Ide Some rie nodes represen srings h hve pern sring s proper suffix. Our gol is o inroduce oupu links so h, when hese nodes re visied, he uomon oupus ll he suffixes h end here.
72 Oupu Links, Formlly The oupu link node corresponding o sring w poins o he node corresponding o he longes proper suffix of w h is pern, or null if no such suffix exiss. By lwys poining o he node corresponding o he longes such word, we ensure h we chin ogeher ll he perns using oupu links.
73 i n Pern Srings i i n i n s i n g i n s i n g We We wn wn he he gold gold node node o o poin poin o o he he firs firs node node rechble rechble by by suffix suffix links links h's h's lso lso pern. pern. The The blue blue node node ( ( he he end end of of he he suffix suffix link) link) isn' isn' pern, pern, bu bu i i knows knows where where he he firs firs pern pern is. is. We We se se he he gold gold node's node's oupu oupu link link o o equl equl he he blue blue node's node's oupu oupu link. link.
74 i n Pern Srings i i n i n s i n g i n s i n g We We hve hve he he gold gold node node poin poin o o he he blue blue node node becuse becuse he he blue blue node node corresponds corresponds o o word. word.
75 Filling In Oupu Links Iniilly, se every node's oupu link o be null poiner. While doing he BFS o fill in suffix links, se he oupu link of he curren node v s follows: Le u be he node poined by v's suffix link. If u corresponds o pern, se v's oupu link o u iself. Oherwise, se v's oupu link o u's oupu link. Time complexiy of building ll oupu links: O(n).
76 The Ne Complexiy Our preprocessing ime is Θ(n) work o build he rie, O(n) work o fill in suffix links, nd O(n) work o fill in oupu links. Tol preprocessing ime: Θ(n).
77 The Finl Tols We now hve muli-sring serch d srucure wih ime complexiy O(n), O(m + z). In oher words, his is excepionlly good in he cse where here re fixed se of perns nd vrible sring o serch.
78 Where We're Going A powerful d srucure clled he suffix ree les us solve his problem in O(m), O(n + z). In oher words, i excels when here's fixed sring o serch nd vrible se of perns.
79 More o Explore There re number of oher pproches o solving his problem, nd here's ofen lrge gp beween heory nd prcice! The Boyer-Moore lgorihm serches for single pern in lrge ex. I cn cully run in subliner ime if he sring serched for isn' presen, bu runs in qudric cse if mch exiss. The Commenz-Wlz lgorihm generlizes Boyer-Moore for muliple srings nd hs similr ime gurnees, bu is fser in prcice. The Knuh-Morris-Pr lgorihm is specil cse of he Aho-Corsick lgorihm when here is jus one pern. You'll explore i on he upcoming problem se (fer he TAs confirm i's no oo difficul o derive i. )
80 Nex Time Suffix Trees A highly versile, flexible, powerful d srucure for sring processing. Prici Tries Shrinking down rie spce usge. Applicions of RMQ Geing some milege ou of Fischer-Heun.
4.8 Improper Integrals
4.8 Improper Inegrls Well you ve mde i hrough ll he inegrion echniques. Congrs! Unforunely for us, we sill need o cover one more inegrl. They re clled Improper Inegrls. A his poin, we ve only del wih inegrls
More informationMotion. Part 2: Constant Acceleration. Acceleration. October Lab Physics. Ms. Levine 1. Acceleration. Acceleration. Units for Acceleration.
Moion Accelerion Pr : Consn Accelerion Accelerion Accelerion Accelerion is he re of chnge of velociy. = v - vo = Δv Δ ccelerion = = v - vo chnge of velociy elpsed ime Accelerion is vecor, lhough in one-dimensionl
More informatione t dt e t dt = lim e t dt T (1 e T ) = 1
Improper Inegrls There re wo ypes of improper inegrls - hose wih infinie limis of inegrion, nd hose wih inegrnds h pproch some poin wihin he limis of inegrion. Firs we will consider inegrls wih infinie
More informationChapter 2: Evaluative Feedback
Chper 2: Evluive Feedbck Evluing cions vs. insrucing by giving correc cions Pure evluive feedbck depends olly on he cion ken. Pure insrucive feedbck depends no ll on he cion ken. Supervised lerning is
More informationThe solution is often represented as a vector: 2xI + 4X2 + 2X3 + 4X4 + 2X5 = 4 2xI + 4X2 + 3X3 + 3X4 + 3X5 = 4. 3xI + 6X2 + 6X3 + 3X4 + 6X5 = 6.
[~ o o :- o o ill] i 1. Mrices, Vecors, nd Guss-Jordn Eliminion 1 x y = = - z= The soluion is ofen represened s vecor: n his exmple, he process of eliminion works very smoohly. We cn elimine ll enries
More informationMinimum Squared Error
Minimum Squred Error LDF: Minimum Squred-Error Procedures Ide: conver o esier nd eer undersood prolem Percepron y i > 0 for ll smples y i solve sysem of liner inequliies MSE procedure y i i for ll smples
More informationMinimum Squared Error
Minimum Squred Error LDF: Minimum Squred-Error Procedures Ide: conver o esier nd eer undersood prolem Percepron y i > for ll smples y i solve sysem of liner inequliies MSE procedure y i = i for ll smples
More informationf t f a f x dx By Lin McMullin f x dx= f b f a. 2
Accumulion: Thoughs On () By Lin McMullin f f f d = + The gols of he AP* Clculus progrm include he semen, Sudens should undersnd he definie inegrl s he ne ccumulion of chnge. 1 The Topicl Ouline includes
More information5.1-The Initial-Value Problems For Ordinary Differential Equations
5.-The Iniil-Vlue Problems For Ordinry Differenil Equions Consider solving iniil-vlue problems for ordinry differenil equions: (*) y f, y, b, y. If we know he generl soluion y of he ordinry differenil
More informationContraction Mapping Principle Approach to Differential Equations
epl Journl of Science echnology 0 (009) 49-53 Conrcion pping Principle pproch o Differenil Equions Bishnu P. Dhungn Deprmen of hemics, hendr Rn Cmpus ribhuvn Universiy, Khmu epl bsrc Using n eension of
More informationAn integral having either an infinite limit of integration or an unbounded integrand is called improper. Here are two examples.
Improper Inegrls To his poin we hve only considered inegrls f(x) wih he is of inegrion nd b finie nd he inegrnd f(x) bounded (nd in fc coninuous excep possibly for finiely mny jump disconinuiies) An inegrl
More informationSome basic notation and terminology. Deterministic Finite Automata. COMP218: Decision, Computation and Language Note 1
COMP28: Decision, Compuion nd Lnguge Noe These noes re inended minly s supplemen o he lecures nd exooks; hey will e useful for reminders ou noion nd erminology. Some sic noion nd erminology An lphe is
More informationA Kalman filtering simulation
A Klmn filering simulion The performnce of Klmn filering hs been esed on he bsis of wo differen dynmicl models, ssuming eiher moion wih consn elociy or wih consn ccelerion. The former is epeced o beer
More information(b) 10 yr. (b) 13 m. 1.6 m s, m s m s (c) 13.1 s. 32. (a) 20.0 s (b) No, the minimum distance to stop = 1.00 km. 1.
Answers o Een Numbered Problems Chper. () 7 m s, 6 m s (b) 8 5 yr 4.. m ih 6. () 5. m s (b).5 m s (c).5 m s (d) 3.33 m s (e) 8. ().3 min (b) 64 mi..3 h. ().3 s (b) 3 m 4..8 mi wes of he flgpole 6. (b)
More informationENGR 1990 Engineering Mathematics The Integral of a Function as a Function
ENGR 1990 Engineering Mhemics The Inegrl of Funcion s Funcion Previously, we lerned how o esime he inegrl of funcion f( ) over some inervl y dding he res of finie se of rpezoids h represen he re under
More information0 for t < 0 1 for t > 0
8.0 Sep nd del funcions Auhor: Jeremy Orloff The uni Sep Funcion We define he uni sep funcion by u() = 0 for < 0 for > 0 I is clled he uni sep funcion becuse i kes uni sep = 0. I is someimes clled he Heviside
More informationREAL ANALYSIS I HOMEWORK 3. Chapter 1
REAL ANALYSIS I HOMEWORK 3 CİHAN BAHRAN The quesions re from Sein nd Shkrchi s e. Chper 1 18. Prove he following sserion: Every mesurble funcion is he limi.e. of sequence of coninuous funcions. We firs
More informationAverage & instantaneous velocity and acceleration Motion with constant acceleration
Physics 7: Lecure Reminders Discussion nd Lb secions sr meeing ne week Fill ou Pink dd/drop form if you need o swich o differen secion h is FULL. Do i TODAY. Homework Ch. : 5, 7,, 3,, nd 6 Ch.: 6,, 3 Submission
More informationSeptember 20 Homework Solutions
College of Engineering nd Compuer Science Mechnicl Engineering Deprmen Mechnicl Engineering A Seminr in Engineering Anlysis Fll 7 Number 66 Insrucor: Lrry Creo Sepember Homework Soluions Find he specrum
More informationLongest Common Prefixes
Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,
More informationLecture 2-1 Kinematics in One Dimension Displacement, Velocity and Acceleration Everything in the world is moving. Nothing stays still.
Lecure - Kinemaics in One Dimension Displacemen, Velociy and Acceleraion Everyhing in he world is moving. Nohing says sill. Moion occurs a all scales of he universe, saring from he moion of elecrons in
More informationTraversal of a subtree is slow, which affects prefix and range queries.
Compac Tries Tries suffer from a large number nodes, Ω( R ) in he wors case. The space requiremen is large, since each node needs much more space han a single symbol. Traversal of a subree is slow, which
More informationPHYSICS 1210 Exam 1 University of Wyoming 14 February points
PHYSICS 1210 Em 1 Uniersiy of Wyoming 14 Februry 2013 150 poins This es is open-noe nd closed-book. Clculors re permied bu compuers re no. No collborion, consulion, or communicion wih oher people (oher
More informationPhysics 2A HW #3 Solutions
Chper 3 Focus on Conceps: 3, 4, 6, 9 Problems: 9, 9, 3, 41, 66, 7, 75, 77 Phsics A HW #3 Soluions Focus On Conceps 3-3 (c) The ccelerion due o grvi is he sme for boh blls, despie he fc h he hve differen
More informationA 1.3 m 2.5 m 2.8 m. x = m m = 8400 m. y = 4900 m 3200 m = 1700 m
PHYS : Soluions o Chper 3 Home Work. SSM REASONING The displcemen is ecor drwn from he iniil posiion o he finl posiion. The mgniude of he displcemen is he shores disnce beween he posiions. Noe h i is onl
More informationProperties of Logarithms. Solving Exponential and Logarithmic Equations. Properties of Logarithms. Properties of Logarithms. ( x)
Properies of Logrihms Solving Eponenil nd Logrihmic Equions Properies of Logrihms Produc Rule ( ) log mn = log m + log n ( ) log = log + log Properies of Logrihms Quoien Rule log m = logm logn n log7 =
More information( ) ( ) ( ) ( ) ( ) ( y )
8. Lengh of Plne Curve The mos fmous heorem in ll of mhemics is he Pyhgoren Theorem. I s formulion s he disnce formul is used o find he lenghs of line segmens in he coordine plne. In his secion you ll
More informationSolutions to Problems from Chapter 2
Soluions o Problems rom Chper Problem. The signls u() :5sgn(), u () :5sgn(), nd u h () :5sgn() re ploed respecively in Figures.,b,c. Noe h u h () :5sgn() :5; 8 including, bu u () :5sgn() is undeined..5
More informationChapter 7: Solving Trig Equations
Haberman MTH Secion I: The Trigonomeric Funcions Chaper 7: Solving Trig Equaions Le s sar by solving a couple of equaions ha involve he sine funcion EXAMPLE a: Solve he equaion sin( ) The inverse funcions
More information1. Consider a PSA initially at rest in the beginning of the left-hand end of a long ISS corridor. Assume xo = 0 on the left end of the ISS corridor.
In Eercise 1, use sndrd recngulr Cresin coordine sysem. Le ime be represened long he horizonl is. Assume ll ccelerions nd decelerions re consn. 1. Consider PSA iniilly res in he beginning of he lef-hnd
More informationINTEGRALS. Exercise 1. Let f : [a, b] R be bounded, and let P and Q be partitions of [a, b]. Prove that if P Q then U(P ) U(Q) and L(P ) L(Q).
INTEGRALS JOHN QUIGG Eercise. Le f : [, b] R be bounded, nd le P nd Q be priions of [, b]. Prove h if P Q hen U(P ) U(Q) nd L(P ) L(Q). Soluion: Le P = {,..., n }. Since Q is obined from P by dding finiely
More information1 jordan.mcd Eigenvalue-eigenvector approach to solving first order ODEs. -- Jordan normal (canonical) form. Instructor: Nam Sun Wang
jordnmcd Eigenvlue-eigenvecor pproch o solving firs order ODEs -- ordn norml (cnonicl) form Insrucor: Nm Sun Wng Consider he following se of coupled firs order ODEs d d x x 5 x x d d x d d x x x 5 x x
More informationP441 Analytical Mechanics - I. Coupled Oscillators. c Alex R. Dzierba
Lecure 3 Mondy - Deceber 5, 005 Wrien or ls upded: Deceber 3, 005 P44 Anlyicl Mechnics - I oupled Oscillors c Alex R. Dzierb oupled oscillors - rix echnique In Figure we show n exple of wo coupled oscillors,
More informationModule 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 informationModule 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 informationInventory Analysis and Management. Multi-Period Stochastic Models: Optimality of (s, S) Policy for K-Convex Objective Functions
Muli-Period Sochasic Models: Opimali of (s, S) Polic for -Convex Objecive Funcions Consider a seing similar o he N-sage newsvendor problem excep ha now here is a fixed re-ordering cos (> 0) for each (re-)order.
More informationSolutions for Assignment 2
Faculy of rs and Science Universiy of Torono CSC 358 - Inroducion o Compuer Neworks, Winer 218 Soluions for ssignmen 2 Quesion 1 (2 Poins): Go-ack n RQ In his quesion, we review how Go-ack n RQ can be
More informationFlow Networks Alon Efrat Slides courtesy of Charles Leiserson with small changes by Carola Wenk. Flow networks. Flow networks CS 445
CS 445 Flow Nework lon Efr Slide corey of Chrle Leieron wih mll chnge by Crol Wenk Flow nework Definiion. flow nework i direced grph G = (V, E) wih wo diingihed erice: orce nd ink. Ech edge (, ) E h nonnegie
More informationECE Microwave Engineering. Fall Prof. David R. Jackson Dept. of ECE. Notes 10. Waveguides Part 7: Transverse Equivalent Network (TEN)
EE 537-635 Microwve Engineering Fll 7 Prof. Dvid R. Jcson Dep. of EE Noes Wveguides Pr 7: Trnsverse Equivlen Newor (N) Wveguide Trnsmission Line Model Our gol is o come up wih rnsmission line model for
More informationChapter 2. Motion along a straight line. 9/9/2015 Physics 218
Chper Moion long srigh line 9/9/05 Physics 8 Gols for Chper How o describe srigh line moion in erms of displcemen nd erge elociy. The mening of insnneous elociy nd speed. Aerge elociy/insnneous elociy
More informationexact matching: topics
Exc Mching exc mching: pics exc mching serch pern P in ex T (P,T srings) Knuh Mrris Pr preprcessing pern P Ah Crsick pern f severl srings P = { P 1,, P r } Suffix Trees preprcessing ex T r severl exs dse
More information1.0 Electrical Systems
. Elecricl Sysems The ypes of dynmicl sysems we will e sudying cn e modeled in erms of lgeric equions, differenil equions, or inegrl equions. We will egin y looking fmilir mhemicl models of idel resisors,
More informationgraph of unit step function t
.5 Piecewie coninuou forcing funcion...e.g. urning he forcing on nd off. The following Lplce rnform meril i ueful in yem where we urn forcing funcion on nd off, nd when we hve righ hnd ide "forcing funcion"
More informationMATH 124 AND 125 FINAL EXAM REVIEW PACKET (Revised spring 2008)
MATH 14 AND 15 FINAL EXAM REVIEW PACKET (Revised spring 8) The following quesions cn be used s review for Mh 14/ 15 These quesions re no cul smples of quesions h will pper on he finl em, bu hey will provide
More informationForms of Energy. Mass = Energy. Page 1. SPH4U: Introduction to Work. Work & Energy. Particle Physics:
SPH4U: Inroducion o ork ork & Energy ork & Energy Discussion Definiion Do Produc ork of consn force ork/kineic energy heore ork of uliple consn forces Coens One of he os iporn conceps in physics Alernive
More informationMagnetostatics Bar Magnet. Magnetostatics Oersted s Experiment
Mgneosics Br Mgne As fr bck s 4500 yers go, he Chinese discovered h cerin ypes of iron ore could rc ech oher nd cerin mels. Iron filings "mp" of br mgne s field Crefully suspended slivers of his mel were
More informationQuestion Details Int Vocab 1 [ ] Question Details Int Vocab 2 [ ]
/3/5 Assignmen Previewer 3 Bsic: Definie Inegrls (67795) Due: Wed Apr 5 5 9: AM MDT Quesion 3 5 6 7 8 9 3 5 6 7 8 9 3 5 6 Insrucions Red ody's Noes nd Lerning Gols. Quesion Deils In Vocb [37897] The chnge
More information3. Renewal Limit Theorems
Virul Lborories > 14. Renewl Processes > 1 2 3 3. Renewl Limi Theorems In he inroducion o renewl processes, we noed h he rrivl ime process nd he couning process re inverses, in sens The rrivl ime process
More informationReinforcement Learning
Reiforceme Corol lerig Corol polices h choose opiml cios Q lerig Covergece Chper 13 Reiforceme 1 Corol Cosider lerig o choose cios, e.g., Robo lerig o dock o bery chrger o choose cios o opimize fcory oupu
More informationLecture 3: 1-D Kinematics. This Week s Announcements: Class Webpage: visit regularly
Lecure 3: 1-D Kinemics This Week s Announcemens: Clss Webpge: hp://kesrel.nm.edu/~dmeier/phys121/phys121.hml isi regulrly Our TA is Lorrine Bowmn Week 2 Reding: Chper 2 - Gincoli Week 2 Assignmens: Due:
More informationBiol. 356 Lab 8. Mortality, Recruitment, and Migration Rates
Biol. 356 Lab 8. Moraliy, Recruimen, and Migraion Raes (modified from Cox, 00, General Ecology Lab Manual, McGraw Hill) Las week we esimaed populaion size hrough several mehods. One assumpion of all hese
More informationMath 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities:
Mah 4 Eam Review Problems Problem. Calculae he 3rd Taylor polynomial for arcsin a =. Soluion. Le f() = arcsin. For his problem, we use he formula f() + f () + f ()! + f () 3! for he 3rd Taylor polynomial
More informationRobotics I. April 11, The kinematics of a 3R spatial robot is specified by the Denavit-Hartenberg parameters in Tab. 1.
Roboics I April 11, 017 Exercise 1 he kinemaics of a 3R spaial robo is specified by he Denavi-Harenberg parameers in ab 1 i α i d i a i θ i 1 π/ L 1 0 1 0 0 L 3 0 0 L 3 3 able 1: able of DH parameers of
More informationMathematics 805 Final Examination Answers
. 5 poins Se he Weiersrss M-es. Mhemics 85 Finl Eminion Answers Answer: Suppose h A R, nd f n : A R. Suppose furher h f n M n for ll A, nd h Mn converges. Then f n converges uniformly on A.. 5 poins Se
More information1 Review of Zero-Sum Games
COS 5: heoreical Machine Learning Lecurer: Rob Schapire Lecure #23 Scribe: Eugene Brevdo April 30, 2008 Review of Zero-Sum Games Las ime we inroduced a mahemaical model for wo player zero-sum games. Any
More informationWritten HW 9 Sol. CS 188 Fall Introduction to Artificial Intelligence
CS 188 Fall 2018 Inroducion o Arificial Inelligence Wrien HW 9 Sol. Self-assessmen due: Tuesday 11/13/2018 a 11:59pm (submi via Gradescope) For he self assessmen, fill in he self assessmen boxes in your
More informationMatlab and Python programming: how to get started
Malab and Pyhon programming: how o ge sared Equipping readers he skills o wrie programs o explore complex sysems and discover ineresing paerns from big daa is one of he main goals of his book. In his chaper,
More informationA new model for limit order book dynamics
Anewmodelforlimiorderbookdynmics JeffreyR.Russell UniversiyofChicgo,GrdueSchoolofBusiness TejinKim UniversiyofChicgo,DeprmenofSisics Absrc:Thispperproposesnewmodelforlimiorderbookdynmics.Thelimiorderbookconsiss
More informationSome Inequalities variations on a common theme Lecture I, UL 2007
Some Inequliies vriions on common heme Lecure I, UL 2007 Finbrr Hollnd, Deprmen of Mhemics, Universiy College Cork, fhollnd@uccie; July 2, 2007 Three Problems Problem Assume i, b i, c i, i =, 2, 3 re rel
More informationNotes for Lecture 17-18
U.C. Berkeley CS278: Compuaional Complexiy Handou N7-8 Professor Luca Trevisan April 3-8, 2008 Noes for Lecure 7-8 In hese wo lecures we prove he firs half of he PCP Theorem, he Amplificaion Lemma, up
More informationExact Minimization of # of Joins
A Quer Rewriing Algorihm: Ec Minimizion of # of Joins Emple (movie bse) selec.irecor from movie, movie, movie m3, scheule, scheule s2 where.irecor =.irecor n.cor = m3.cor n.ile =.ile n m3.ile = s2.ile
More informationPhysic 231 Lecture 4. Mi it ftd l t. Main points of today s lecture: Example: addition of velocities Trajectories of objects in 2 = =
Mi i fd l Phsic 3 Lecure 4 Min poins of od s lecure: Emple: ddiion of elociies Trjecories of objecs in dimensions: dimensions: g 9.8m/s downwrds ( ) g o g g Emple: A foobll pler runs he pern gien in he
More information3 Motion with constant acceleration: Linear and projectile motion
3 Moion wih consn ccelerion: Liner nd projecile moion cons, In he precedin Lecure we he considered moion wih consn ccelerion lon he is: Noe h,, cn be posiie nd neie h leds o rie of behiors. Clerl similr
More informationCMU-Q Lecture 3: Search algorithms: Informed. Teacher: Gianni A. Di Caro
CMU-Q 5-38 Lecure 3: Search algorihms: Informed Teacher: Gianni A. Di Caro UNINFORMED VS. INFORMED SEARCH Sraegy How desirable is o be in a cerain inermediae sae for he sake of (effecively) reaching a
More informationf(x) dx with An integral having either an infinite limit of integration or an unbounded integrand is called improper. Here are two examples dx x x 2
Impope Inegls To his poin we hve only consideed inegls f() wih he is of inegion nd b finie nd he inegnd f() bounded (nd in fc coninuous ecep possibly fo finiely mny jump disconinuiies) An inegl hving eihe
More informationTemperature Rise of the Earth
Avilble online www.sciencedirec.com ScienceDirec Procedi - Socil nd Behviorl Scien ce s 88 ( 2013 ) 220 224 Socil nd Behviorl Sciences Symposium, 4 h Inernionl Science, Socil Science, Engineering nd Energy
More informationESSLLI 2007 COURSE READER. ESSLLI is the Annual Summer School of FoLLI, The Association for Logic, Language and Information
ESSLLI 2007 19h Europen Summer School in Logic, Lnguge nd Inormion Augus 6-17, 2007 hp://www.cs.cd.ie/esslli2007 Triniy College Dulin Irelnd COURSE READER ESSLLI is he Annul Summer School o FoLLI, The
More information= ( ) ) or a system of differential equations with continuous parametrization (T = R
XIII. DIFFERENCE AND DIFFERENTIAL EQUATIONS Ofen funcions, or a sysem of funcion, are paramerized in erms of some variable, usually denoed as and inerpreed as ime. The variable is wrien as a funcion of
More informationRetrieval Models. Boolean and Vector Space Retrieval Models. Common Preprocessing Steps. Boolean Model. Boolean Retrieval Model
1 Boolean and Vecor Space Rerieval Models Many slides in his secion are adaped from Prof. Joydeep Ghosh (UT ECE) who in urn adaped hem from Prof. Dik Lee (Univ. of Science and Tech, Hong Kong) Rerieval
More informationVersion 001 test-1 swinney (57010) 1. is constant at m/s.
Version 001 es-1 swinne (57010) 1 This prin-ou should hve 20 quesions. Muliple-choice quesions m coninue on he nex column or pge find ll choices before nswering. CubeUniVec1x76 001 10.0 poins Acubeis1.4fee
More informationTwo Coupled Oscillators / Normal Modes
Lecure 3 Phys 3750 Two Coupled Oscillaors / Normal Modes Overview and Moivaion: Today we ake a small, bu significan, sep owards wave moion. We will no ye observe waves, bu his sep is imporan in is own
More informationChapter 2. First Order Scalar Equations
Chaper. Firs Order Scalar Equaions We sar our sudy of differenial equaions in he same way he pioneers in his field did. We show paricular echniques o solve paricular ypes of firs order differenial equaions.
More information1. Find a basis for the row space of each of the following matrices. Your basis should consist of rows of the original matrix.
Mh 7 Exm - Prcice Prolem Solions. Find sis for he row spce of ech of he following mrices. Yor sis shold consis of rows of he originl mrix. 4 () 7 7 8 () Since we wn sis for he row spce consising of rows
More informationChristos Papadimitriou & Luca Trevisan November 22, 2016
U.C. Bereley CS170: Algorihms Handou LN-11-22 Chrisos Papadimiriou & Luca Trevisan November 22, 2016 Sreaming algorihms In his lecure and he nex one we sudy memory-efficien algorihms ha process a sream
More information( ) a system of differential equations with continuous parametrization ( T = R + These look like, respectively:
XIII. DIFFERENCE AND DIFFERENTIAL EQUATIONS Ofen funcions, or a sysem of funcion, are paramerized in erms of some variable, usually denoed as and inerpreed as ime. The variable is wrien as a funcion of
More informationMath 333 Problem Set #2 Solution 14 February 2003
Mah 333 Problem Se #2 Soluion 14 February 2003 A1. Solve he iniial value problem dy dx = x2 + e 3x ; 2y 4 y(0) = 1. Soluion: This is separable; we wrie 2y 4 dy = x 2 + e x dx and inegrae o ge The iniial
More informationEXISTENCE AND UNIQUENESS OF SOLUTIONS FOR A SECOND-ORDER ITERATIVE BOUNDARY-VALUE PROBLEM
Elecronic Journl of Differenil Equions, Vol. 208 (208), No. 50, pp. 6. ISSN: 072-669. URL: hp://ejde.mh.xse.edu or hp://ejde.mh.un.edu EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR A SECOND-ORDER ITERATIVE
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
More informationSeminar 4: Hotelling 2
Seminar 4: Hoelling 2 November 3, 211 1 Exercise Par 1 Iso-elasic demand A non renewable resource of a known sock S can be exraced a zero cos. Demand for he resource is of he form: D(p ) = p ε ε > A a
More informationLogic in computer science
Logic in compuer science Logic plays an imporan role in compuer science Logic is ofen called he calculus of compuer science Logic plays a similar role in compuer science o ha played by calculus in he physical
More informationMAT 266 Calculus for Engineers II Notes on Chapter 6 Professor: John Quigg Semester: spring 2017
MAT 66 Clculus for Engineers II Noes on Chper 6 Professor: John Quigg Semeser: spring 7 Secion 6.: Inegrion by prs The Produc Rule is d d f()g() = f()g () + f ()g() Tking indefinie inegrls gives [f()g
More informationChapter Direct Method of Interpolation
Chper 5. Direc Mehod of Inerpolion Afer reding his chper, you should be ble o:. pply he direc mehod of inerpolion,. sole problems using he direc mehod of inerpolion, nd. use he direc mehod inerpolns o
More informationChapter 3 Boundary Value Problem
Chaper 3 Boundary Value Problem A boundary value problem (BVP) is a problem, ypically an ODE or a PDE, which has values assigned on he physical boundary of he domain in which he problem is specified. Le
More informationAssignment 6. Tyler Shendruk December 6, 2010
Assignmen 6 Tyler Shendruk December 6, 1 1 Harden Problem 1 Le K be he coupling and h he exernal field in a 1D Ising model. From he lecures hese can be ransformed ino effecive coupling and fields K and
More informationStationary Distribution. Design and Analysis of Algorithms Andrei Bulatov
Saionary Disribuion Design and Analysis of Algorihms Andrei Bulaov Algorihms Markov Chains 34-2 Classificaion of Saes k By P we denoe he (i,j)-enry of i, j Sae is accessible from sae if 0 for some k 0
More informationMath 426: Probability Final Exam Practice
Mth 46: Probbility Finl Exm Prctice. Computtionl problems 4. Let T k (n) denote the number of prtitions of the set {,..., n} into k nonempty subsets, where k n. Argue tht T k (n) kt k (n ) + T k (n ) by
More informationSupplement for Stochastic Convex Optimization: Faster Local Growth Implies Faster Global Convergence
Supplemen for Sochasic Convex Opimizaion: Faser Local Growh Implies Faser Global Convergence Yi Xu Qihang Lin ianbao Yang Proof of heorem heorem Suppose Assumpion holds and F (w) obeys he LGC (6) Given
More information2D Motion WS. A horizontally launched projectile s initial vertical velocity is zero. Solve the following problems with this information.
Nme D Moion WS The equions of moion h rele o projeciles were discussed in he Projecile Moion Anlsis Acii. ou found h projecile moes wih consn eloci in he horizonl direcion nd consn ccelerion in he ericl
More informationSelf assessment due: Monday 4/29/2019 at 11:59pm (submit via Gradescope)
CS 188 Spring 2019 Inroducion o Arificial Inelligence Wrien HW 10 Due: Monday 4/22/2019 a 11:59pm (submi via Gradescope). Leave self assessmen boxes blank for his due dae. Self assessmen due: Monday 4/29/2019
More informationT-Match: Matching Techniques For Driving Yagi-Uda Antennas: T-Match. 2a s. Z in. (Sections 9.5 & 9.7 of Balanis)
3/0/018 _mch.doc Pge 1 of 6 T-Mch: Mching Techniques For Driving Ygi-Ud Anenns: T-Mch (Secions 9.5 & 9.7 of Blnis) l s l / l / in The T-Mch is shun-mching echnique h cn be used o feed he driven elemen
More informationDynamic Programming 11/8/2009. Weighted Interval Scheduling. Weighted Interval Scheduling. Unweighted Interval Scheduling: Review
//9 Algorihms Dynamic Programming - Weighed Ineral Scheduling Dynamic Programming Weighed ineral scheduling problem. Insance A se of n jobs. Job j sars a s j, finishes a f j, and has weigh or alue j. Two
More informationLet us start with a two dimensional case. We consider a vector ( x,
Roaion marices We consider now roaion marices in wo and hree dimensions. We sar wih wo dimensions since wo dimensions are easier han hree o undersand, and one dimension is a lile oo simple. However, our
More informationPhys 110. Answers to even numbered problems on Midterm Map
Phys Answers o een numbered problems on Miderm Mp. REASONING The word per indices rio, so.35 mm per dy mens.35 mm/d, which is o be epressed s re in f/cenury. These unis differ from he gien unis in boh
More informationEchocardiography Project and Finite Fourier Series
Echocardiography Projec and Finie Fourier Series 1 U M An echocardiagram is a plo of how a porion of he hear moves as he funcion of ime over he one or more hearbea cycles If he hearbea repeas iself every
More informationMath 10B: Mock Mid II. April 13, 2016
Name: Soluions Mah 10B: Mock Mid II April 13, 016 1. ( poins) Sae, wih jusificaion, wheher he following saemens are rue or false. (a) If a 3 3 marix A saisfies A 3 A = 0, hen i canno be inverible. True.
More informationFrom Complex Fourier Series to Fourier Transforms
Topic From Complex Fourier Series o Fourier Transforms. Inroducion In he previous lecure you saw ha complex Fourier Series and is coeciens were dened by as f ( = n= C ne in! where C n = T T = T = f (e
More information3D Transformations. Computer Graphics COMP 770 (236) Spring Instructor: Brandon Lloyd 1/26/07 1
D Trnsformions Compuer Grphics COMP 770 (6) Spring 007 Insrucor: Brndon Lloyd /6/07 Geomery Geomeric eniies, such s poins in spce, exis wihou numers. Coordines re nming scheme. The sme poin cn e descried
More informationGuest Lectures for Dr. MacFarlane s EE3350 Part Deux
Gues Lecures for Dr. MacFarlane s EE3350 Par Deux Michael Plane Mon., 08-30-2010 Wrie name in corner. Poin ou his is a review, so I will go faser. Remind hem o go lisen o online lecure abou geing an A
More informationSome Basic Information about M-S-D Systems
Some Basic Informaion abou M-S-D Sysems 1 Inroducion We wan o give some summary of he facs concerning unforced (homogeneous) and forced (non-homogeneous) models for linear oscillaors governed by second-order,
More informationSolutions from Chapter 9.1 and 9.2
Soluions from Chaper 9 and 92 Secion 9 Problem # This basically boils down o an exercise in he chain rule from calculus We are looking for soluions of he form: u( x) = f( k x c) where k x R 3 and k is
More information