Fundamental Algorithms for System Modeling, Analysis, and Optimization
|
|
- Dennis Flynn
- 6 years ago
- Views:
Transcription
1 Fundmntl Algorithms for Sstm Modling, Anlsis, nd Optimiztion Edwrd A. L, Jijt Rohowdhur, Snjit A. Sshi UC Brkl EECS 144/244 Fll 2011 Copright , E. A. L, J. Rohowdhur, S. A. Sshi, All rights rsrvd L 11: Booln Algr nd Logi Optimiztion- 2 Thnks to S. Dvds, K. Kutzr, S. Mlik, R. Rutnr for svrl slids Multi-lvl Logi Optimiztion: Outlin Ovrviw of Multi-lvl Optimiztion: An Empl Cor Conpts: Booln Funtion Domposition Booln nd Algri Division Idntifing Divisors EECS 144/244, UC Brkl: 2
2 Rprsnttion: Booln Ntwork Nods lld with SOP prssions + EECS 144/244, UC Brkl: 3 Booln Ntwork, Eplind It s grph: Primr inputs (vrils) Primr outputs Intrmdit nods (in SOP form in trms of its inputs) Qulit of ntwork: r, dl, msurd in trms of #(litrls), dpth, EECS 144/244, UC Brkl: 4
3 Th.-Indpndnt Multi-Lvl Optimiztion: Oprtions on Booln Ntwork Involvs prforming th following oprtions itrtivl until good nough rsult is otind: 1. Simplifition Minimizing two-lvl logi funtion (SOP for singl nod) 2. Elimintion Sustituting on prssion into nothr. 3. Domposition Eprssing singl SOP with 2 or mor simplr forms 4. Etrtion Finding & pulling out suprssions ommon to mn nods 5. Sustitution Lik trtion, ut nods in th ntwork r r-usd EECS 144/244, UC Brkl: 5 Empl (du to G. D Mihli) d v = d + d + d + p = + d r = p + s = r + t = + d + + d + w q = + u = q + q + q z #litrls = 33, dpth = 3 EECS 144/244, UC Brkl: 6
4 Empl: Elimintion d v = d + d + d + p = + d r = p + s = r + t = + d + + d + w q = + u = q + q + q z #litrls = 33, dpth = 3 EECS 144/244, UC Brkl: 7 Empl: Elimint nod r d v = d + d + d + p = + d s = p + + t = + d + + d + w q = + u = q + q + q z #litrls = 32, dpth = 2 EECS 144/244, UC Brkl: 8
5 Empl: Simplifition d v = d + d + d + p = + d s = p + + t = + d + + d + w q = + u = q + q + q z #litrls = 32, dpth = 2 EECS 144/244, UC Brkl: 9 Empl: Simplifing nod u d v = d + d + d + p = + d s = p + + t = + d + + d + w q = + u = q + z #litrls = 28, dpth = 2 EECS 144/244, UC Brkl: 10
6 Empl: Domposition d v = d + d + d + p = + d s = p + + t = + d + + d + w q = + u = q + z #litrls = 28, dpth = 2 EECS 144/244, UC Brkl: 11 Empl: Domposing nod v j = + + v = jd + w d p = + d s = p + + t = + d + + d + q = + u = q + z #litrls = 27, dpth = 2 EECS 144/244, UC Brkl: 12
7 Empl: Etrtion j = + + v = jd + w d p = + d s = p + + t = + d + + d + q = + u = q + z #litrls = 27, dpth = 2 EECS 144/244, UC Brkl: 13 Empl: Etrting from p nd t j = + + v = jd + w p = k s = p + + d k = + d t = k + k + q = + u = q + z #litrls = 23, dpth = 3 EECS 144/244, UC Brkl: 14
8 Empl: Wht nt? Cn w improv furthr? j = + + v = jd + w p = k s = p + + d k = + d t = k + k + q = + u = q + z #litrls = 23, dpth = 3 EECS 144/244, UC Brkl: 15 Whih Oprtions Do W Know How to Do? 1. Simplifition Minimizing two-lvl logi funtion (SOP for singl nod) 2. Elimintion Sustituting on prssion into nothr. 3. Domposition Eprssing singl SOP with 2 or mor simplr forms 4. Etrtion Finding & pulling out suprssions ommon to mn nods 5. Sustitution Lik trtion, ut nods in th ntwork r r-usd EECS 144/244, UC Brkl: 16
9 Domposition Ftoring/Division Strting with SOP Form f = + d + + d + W wnt to gnrt n quivlnt Ftord form f = ( + ) ( + d) + Rson: Ftord forms r nturl multi-lvl rprsnttions tr-lik prssions To do ftoring, w nd to Idntif divisors Prform division EECS 144/244, UC Brkl: 17 Divisors nd Domposition Givn Booln funtion F, w wnt to writ it s F = D. Q + R whr D Divisor, Q Quotint, R Rmindr Domposition: Srhing for divisors whih r ommon to mn funtions in th ntwork idntif divisors whih r ommon to svrl funtions introdu ommon divisor s nw nod r-prss isting nods using th nw divisor EECS 144/244, UC Brkl: 18
10 Topis Wht is division? Booln vs. Algri How to prform division How to idntif divisors EECS 144/244, UC Brkl: 19 Booln Division Givn Booln funtion F, w wnt to writ it s F = D. Q + R Dfinition: D is Booln divisor of F if Q nd R ist suh tht F = DQ + R, DQ 0. (F 0) D is sid to ftor of F if, D is divisor of F nd in ddition, R = 0; i.., F = DQ. EECS 144/244, UC Brkl: 20
11 Booln Division: K Rsults D is ftor of F iff F. D = 0 ON-SET(D) ontins ON-SET(F) F. D!= 0 iff D is divisor of F How mn possil ftors D n thr for givn F? EECS 144/244, UC Brkl: 21 Booln Division: Proof Ids D is ftor of F iff F. D = 0 (onl if prt): F = DQ, so F.D = 0 (if prt): Givn tht F.D = 0, F D, so F = DF, or F =D(F+X) whr X.D = 0. Thus, F = DH for som H. F. D!= 0 iff D is divisor of F (if): F = DQ + R, FD = DQ + DR, sin DQ!= 0, FD!= 0 (onl if): FD!= 0 nd F = FD + FD, tk Q=F+d, R=FD, whr dd = 0. How mn possil ftors D n thr for givn F? Doul ponntil in numr of vrils EECS 144/244, UC Brkl: 22
12 Algri Modl Id: Prform division using onl th ruls (ioms) of rl numrs, not ll of Booln lgr Rl Numrs. =. + = +.(.) = (.). +(+) = (+)+.(+) = =.0 = 0 +0 = Booln Algr. =. + = +.(.) = (.). +(+) = (+)+.(+) = =.0 = 0 +0 = +(.) = (+). (+) + = 1. = 0. = += +1 = 1 + =.(+) = EECS 144/244, UC Brkl: 23 Algri Division A litrl nd its omplmnt r trtd s unrltd Eh litrl s frsh vril E.g. f = + + s f = + d + Trt SOP prssion s polnomil Division/ftoring thn oms polnomil division/ftoring Booln idntitis r ignord o Ept in pr-prossing o Simpl lol simplifitions lik + prformd EECS 144/244, UC Brkl: 24
13 Algri vs. Booln ftoriztion f = Algri ftoriztion produs f = ( + ) + ( + ) + + Booln ftoriztion produs f = ( + + )( + + ) EECS 144/244, UC Brkl: 25 Algri Division Empl F = + d + + d + Wnt to gt Q, R, whr F = D Q + R 1. D = + for 2. D = EECS 144/244, UC Brkl: 26
14 Algri Division Algorithm Wht w wnt: Givn F, D, find Q, R F, D prssd s sts of us (sm for Q, R) Approh: For h u C in D { lt B = {us in F ontind in C} if (B is mpt) rturn Q = { }, R = F lt B = {us in B with vrils in C rmovd} if (C is th first u in D w r looking t) lt Q = B; ls Q = Q B; } Complit? R = F \ (Q D); EECS 144/244, UC Brkl: 27 Tking Stok Wht w know: How to prform Algri division givn divisor D Wht w don t How to find divisor D? Rll wht w wntd to do: Givn 2 funtions F nd G, find ommon divisor D nd ftoriz thm s F = D Q1 + R1 G = D Q2 + R2 EECS 144/244, UC Brkl: 28
15 Nw Trminolog: Krnls A krnl of Booln prssion F is u-fr prssion tht rsults whn ou divid F singl u Tht singl u is lld o-krnl Cu-fr prssion: Cnnot ftor out singl u tht lvs hind no rmindr Empls: Whih r u-fr? F1 = + F2 = + d EECS 144/244, UC Brkl: 29 Krnls: Empls F = + + d + K(f) Krnl Co-krnl {,,d} {,}?? {,,d,}? Not: n viw krnls s sts of us EECS 144/244, UC Brkl: 30
16 Wh r Krnls Usful? Multi-lvl logi optimizr wnts to find ommon divisors of two (or mor) funtions f nd g Thorm: [Brton & MMulln] f nd g hv non-trivil (multipl-u) ommon divisor d if nd onl if thr ist krnls k f K( f ), k g K( g ) suh tht k f k g is non-trivil, i.., not u (hr st intrstion is pplid to th sts of us in k f nd k g ) n us krnls of f nd g to lot ommon divisors EECS 144/244, UC Brkl: 31 Thorm, Skthd Informll F = D1. K1 + R1 G = D2. K2 + R2 K1 = (X + Y + ) + stuff1 K2 = (X + Y + ) + stuff2 Thn, F = (X + Y + ) D1 + stuff3 G = (X + Y + ) D2 + stuff4 So, if w find krnls nd intrst thm, th intrstion givs us our ommon divisor EECS 144/244, UC Brkl: 32
17 Krnl Intrstion: Empl F = + + d + G = d + + d + + K(f) Krnl Co-krnl {,,d} {,} {,} {,,d,} 1 K(g) Krnl Co-krnl {,} d or {d,} or {d,,} {d,,d,,} 1 EECS 144/244, UC Brkl: 33 How do w find Krnls? Ovrviw: Givn funtion F 1. Pik vril ppring in F, nd us it s divisor 2. Find th orrsponding krnl K if on ists (t lst 2 us in F ontin ) If not, go k to (1) nd pik nothr vril 3. Us K in pl of F nd rurs to find krnls of K F = K + R nd K = M + S F = M + Add krnls of K to thos of F 4. Go k to (1) nd pik nothr vril to kp finding krnls EECS 144/244, UC Brkl: 34
18 Finding Krnls: Empl F = + d + d + d + d + d + d + EECS 144/244, UC Brkl: 35 Finding Krnls: Empl F = + d + d + d + d + d & d oth ontin. Intrstion is. Rurs on F/ = +d + Tk intrstion of ll us ontining vril EECS 144/244, UC Brkl: 36
19 Krnl Finding Algorithm FindKrnls(F) { K = { }; for (h vril in F) { if (F hs t lst 2 us ontining ) { lt S = {us in F ontining }; lt = u rsulting from intrstion of ll us in S K = K FindKrnls(F/); //rursion } } K = K F ; rturn K; } EECS 144/244, UC Brkl: 37 Strong (or Booln) Division [optionl rding] Givn funtion f to strong dividd g Add n tr input to f orrsponding to g, nml G nd otin funtion h s follows Inputs to f tht h DC = Gg+ G g nnot our h ON = f ON h DC = f ON. h DC h OFF f ON h DC Gt: h = Q G + R Minimiz h using two-lvl minimizr EECS 144/244, UC Brkl: 38
20 Rding R. Brton, G. Hhtl, A. Sngiovnni-Vinntlli, Multilvl Logi Snthsis, Prodings of th IEEE, F 90. EECS 144/244, UC Brkl: 39
a b v a v b v c v = a d + bd +c d +ae r = p + a 0 s = r + b 0 4 ac + ad + bc + bd + e 5 = a + b = q 0 c + qc 0 + qc (a) s v (b)
Outlin MULTIPLE-LEVEL LOGIC OPTIMIZATION Gionni D Mihli Stnfor Unirsit Rprsnttions. Tonom of optimition mthos: { Gols: r/l. { Algorithms: lgri/booln. { Rul-s mthos. Empls of trnsformtions. Booln n lgri
More informationIntegration Continued. Integration by Parts Solving Definite Integrals: Area Under a Curve Improper Integrals
Intgrtion Continud Intgrtion y Prts Solving Dinit Intgrls: Ar Undr Curv Impropr Intgrls Intgrtion y Prts Prticulrly usul whn you r trying to tk th intgrl o som unction tht is th product o n lgric prssion
More informationINTEGRALS. Chapter 7. d dx. 7.1 Overview Let d dx F (x) = f (x). Then, we write f ( x)
Chptr 7 INTEGRALS 7. Ovrviw 7.. Lt d d F () f (). Thn, w writ f ( ) d F () + C. Ths intgrls r clld indfinit intgrls or gnrl intgrls, C is clld constnt of intgrtion. All ths intgrls diffr y constnt. 7..
More informationHIGHER ORDER DIFFERENTIAL EQUATIONS
Prof Enriqu Mtus Nivs PhD in Mthmtis Edution IGER ORDER DIFFERENTIAL EQUATIONS omognous linr qutions with onstnt offiints of ordr two highr Appl rdution mthod to dtrmin solution of th nonhomognous qution
More informationLast time: introduced our first computational model the DFA.
Lctur 7 Homwork #7: 2.2.1, 2.2.2, 2.2.3 (hnd in c nd d), Misc: Givn: M, NFA Prov: (q,xy) * (p,y) iff (q,x) * (p,) (follow proof don in clss tody) Lst tim: introducd our first computtionl modl th DFA. Tody
More informationCOMP108 Algorithmic Foundations
Grdy mthods Prudn Wong http://www.s.liv..uk/~pwong/thing/omp108/01617 Coin Chng Prolm Suppos w hv 3 typs of oins 10p 0p 50p Minimum numr of oins to mk 0.8, 1.0, 1.? Grdy mthod Lrning outoms Undrstnd wht
More informationCSE 373: More on graphs; DFS and BFS. Michael Lee Wednesday, Feb 14, 2018
CSE 373: Mor on grphs; DFS n BFS Mihl L Wnsy, F 14, 2018 1 Wrmup Wrmup: Disuss with your nighor: Rmin your nighor: wht is simpl grph? Suppos w hv simpl, irt grph with x nos. Wht is th mximum numr of gs
More informationFSA. CmSc 365 Theory of Computation. Finite State Automata and Regular Expressions (Chapter 2, Section 2.3) ALPHABET operations: U, concatenation, *
CmSc 365 Thory of Computtion Finit Stt Automt nd Rgulr Exprssions (Chptr 2, Sction 2.3) ALPHABET oprtions: U, conctntion, * otin otin Strings Form Rgulr xprssions dscri Closd undr U, conctntion nd * (if
More informationECE COMBINATIONAL BUILDING BLOCKS - INVEST 13 DECODERS AND ENCODERS
C 24 - COMBINATIONAL BUILDING BLOCKS - INVST 3 DCODS AND NCODS FALL 23 AP FLZ To o "wll" on this invstition you must not only t th riht nswrs ut must lso o nt, omplt n onis writups tht mk ovious wht h
More informationCIVL 8/ D Boundary Value Problems - Rectangular Elements 1/7
CIVL / -D Boundr Vlu Prolms - Rctngulr Elmnts / RECANGULAR ELEMENS - In som pplictions, it m mor dsirl to us n lmntl rprsnttion of th domin tht hs four sids, ithr rctngulr or qudriltrl in shp. Considr
More informationTOPIC 5: INTEGRATION
TOPIC 5: INTEGRATION. Th indfinit intgrl In mny rspcts, th oprtion of intgrtion tht w r studying hr is th invrs oprtion of drivtion. Dfinition.. Th function F is n ntidrivtiv (or primitiv) of th function
More information12/3/12. Outline. Part 10. Graphs. Circuits. Euler paths/circuits. Euler s bridge problem (Bridges of Konigsberg Problem)
12/3/12 Outlin Prt 10. Grphs CS 200 Algorithms n Dt Struturs Introution Trminology Implmnting Grphs Grph Trvrsls Topologil Sorting Shortst Pths Spnning Trs Minimum Spnning Trs Ciruits 1 Ciruits Cyl 2 Eulr
More information5/9/13. Part 10. Graphs. Outline. Circuits. Introduction Terminology Implementing Graphs
Prt 10. Grphs CS 200 Algorithms n Dt Struturs 1 Introution Trminology Implmnting Grphs Outlin Grph Trvrsls Topologil Sorting Shortst Pths Spnning Trs Minimum Spnning Trs Ciruits 2 Ciruits Cyl A spil yl
More informationWhy the Junction Tree Algorithm? The Junction Tree Algorithm. Clique Potential Representation. Overview. Chris Williams 1.
Why th Juntion Tr lgorithm? Th Juntion Tr lgorithm hris Willims 1 Shool of Informtis, Univrsity of Einurgh Otor 2009 Th JT is gnrl-purpos lgorithm for omputing (onitionl) mrginls on grphs. It os this y
More informationPaths. Connectivity. Euler and Hamilton Paths. Planar graphs.
Pths.. Eulr n Hmilton Pths.. Pth D. A pth rom s to t is squn o gs {x 0, x 1 }, {x 1, x 2 },... {x n 1, x n }, whr x 0 = s, n x n = t. D. Th lngth o pth is th numr o gs in it. {, } {, } {, } {, } {, } {,
More informationCSE303 - Introduction to the Theory of Computing Sample Solutions for Exercises on Finite Automata
CSE303 - Introduction to th Thory of Computing Smpl Solutions for Exrciss on Finit Automt Exrcis 2.1.1 A dtrministic finit utomton M ccpts th mpty string (i.., L(M)) if nd only if its initil stt is finl
More informationSection 3: Antiderivatives of Formulas
Chptr Th Intgrl Appli Clculus 96 Sction : Antirivtivs of Formuls Now w cn put th is of rs n ntirivtivs togthr to gt wy of vluting finit intgrls tht is ct n oftn sy. To vlut finit intgrl f(t) t, w cn fin
More informationSOLVED EXAMPLES. be the foci of an ellipse with eccentricity e. For any point P on the ellipse, prove that. tan
LOCUS 58 SOLVED EXAMPLES Empl Lt F n F th foci of n llips with ccntricit. For n point P on th llips, prov tht tn PF F tn PF F Assum th llips to, n lt P th point (, sin ). P(, sin ) F F F = (-, 0) F = (,
More informationPresent state Next state Q + M N
Qustion 1. An M-N lip-lop works s ollows: I MN=00, th nxt stt o th lip lop is 0. I MN=01, th nxt stt o th lip-lop is th sm s th prsnt stt I MN=10, th nxt stt o th lip-lop is th omplmnt o th prsnt stt I
More informationS i m p l i f y i n g A l g e b r a SIMPLIFYING ALGEBRA.
S i m p l i y i n g A l g r SIMPLIFYING ALGEBRA www.mthltis.o.nz Simpliying SIMPLIFYING Algr ALGEBRA Algr is mthmtis with mor thn just numrs. Numrs hv ix vlu, ut lgr introus vrils whos vlus n hng. Ths
More informationConstructive Geometric Constraint Solving
Construtiv Gomtri Constrint Solving Antoni Soto i Rir Dprtmnt Llngutgs i Sistms Inormàtis Univrsitt Politèni Ctluny Brlon, Sptmr 2002 CGCS p.1/37 Prliminris CGCS p.2/37 Gomtri onstrint prolm C 2 D L BC
More informationMULTIPLE-LEVEL LOGIC OPTIMIZATION II
MUTIPE-EVE OGIC OPTIMIZATION II Booln mthos Eploit Booln proprtis Giovnni D Mihli Don t r onitions Stnfor Univrsit Minimition of th lol funtions Slowr lgorithms, ttr qulit rsults Etrnl on t r onitions
More informationLogarithms. Secondary Mathematics 3 Page 164 Jordan School District
Logarithms Sondary Mathmatis Pag 6 Jordan Shool Distrit Unit Clustr 6 (F.LE. and F.BF.): Logarithms Clustr 6: Logarithms.6 For ponntial modls, prss as a arithm th solution to a and d ar numrs and th as
More information1 Introduction to Modulo 7 Arithmetic
1 Introution to Moulo 7 Arithmti Bor w try our hn t solvin som hr Moulr KnKns, lt s tk los look t on moulr rithmti, mo 7 rithmti. You ll s in this sminr tht rithmti moulo prim is quit irnt rom th ons w
More informationGarnir Polynomial and their Properties
Univrsity of Cliforni, Dvis Dprtmnt of Mthmtis Grnir Polynomil n thir Proprtis Author: Yu Wng Suprvisor: Prof. Gorsky Eugny My 8, 07 Grnir Polynomil n thir Proprtis Yu Wng mil: uywng@uvis.u. In this ppr,
More informationMath 61 : Discrete Structures Final Exam Instructor: Ciprian Manolescu. You have 180 minutes.
Nm: UCA ID Numr: Stion lttr: th 61 : Disrt Struturs Finl Exm Instrutor: Ciprin nolsu You hv 180 minuts. No ooks, nots or lultors r llow. Do not us your own srth ppr. 1. (2 points h) Tru/Fls: Cirl th right
More information(a) v 1. v a. v i. v s. (b)
Outlin RETIMING Struturl optimiztion mthods. Gionni D Mihli Stnford Unirsity Rtiming. { Modling. { Rtiming for minimum dly. { Rtiming for minimum r. Synhronous Logi Ntwork Synhronous Logi Ntwork Synhronous
More informationModule graph.py. 1 Introduction. 2 Graph basics. 3 Module graph.py. 3.1 Objects. CS 231 Naomi Nishimura
Moul grph.py CS 231 Nomi Nishimur 1 Introution Just lik th Python list n th Python itionry provi wys of storing, ssing, n moifying t, grph n viw s wy of storing, ssing, n moifying t. Bus Python os not
More informationBinomials and Pascal s Triangle
Binomils n Psl s Tringl Binomils n Psl s Tringl Curriulum R AC: 0, 0, 08 ACS: 00 www.mthltis.om Binomils n Psl s Tringl Bsis 0. Intif th prts of th polnomil: 8. (i) Th gr. Th gr is. (Sin is th highst
More informationSeven-Segment Display Driver
7-Smnt Disply Drivr, Ron s in 7-Smnt Disply Drivr, Ron s in Prolm 62. 00 0 0 00 0000 000 00 000 0 000 00 0 00 00 0 0 0 000 00 0 00 BCD Diits in inry Dsin Drivr Loi 4 inputs, 7 outputs 7 mps, h with 6 on
More informationSolutions for HW11. Exercise 34. (a) Use the recurrence relation t(g) = t(g e) + t(g/e) to count the number of spanning trees of v 1
Solutions for HW Exris. () Us th rurrn rltion t(g) = t(g ) + t(g/) to ount th numr of spnning trs of v v v u u u Rmmr to kp multipl gs!! First rrw G so tht non of th gs ross: v u v Rursing on = (v, u ):
More informationa b c cat CAT A B C Aa Bb Cc cat cat Lesson 1 (Part 1) Verbal lesson: Capital Letters Make The Same Sound Lesson 1 (Part 1) continued...
Progrssiv Printing T.M. CPITLS g 4½+ Th sy, fun (n FR!) wy to tch cpitl lttrs. ook : C o - For Kinrgrtn or First Gr (not for pr-school). - Tchs tht cpitl lttrs mk th sm souns s th littl lttrs. - Tchs th
More informationOutline. Circuits. Euler paths/circuits 4/25/12. Part 10. Graphs. Euler s bridge problem (Bridges of Konigsberg Problem)
4/25/12 Outlin Prt 10. Grphs CS 200 Algorithms n Dt Struturs Introution Trminology Implmnting Grphs Grph Trvrsls Topologil Sorting Shortst Pths Spnning Trs Minimum Spnning Trs Ciruits 1 2 Eulr s rig prolm
More informationLimits Indeterminate Forms and L Hospital s Rule
Limits Indtrmint Forms nd L Hospitl s Rul I Indtrmint Form o th Tp W hv prviousl studid its with th indtrmint orm s shown in th ollowin mpls: Empl : Empl : tn [Not: W us th ivn it ] Empl : 8 h 8 [Not:
More informationOutline. 1 Introduction. 2 Min-Cost Spanning Trees. 4 Example
Outlin Computr Sin 33 Computtion o Minimum-Cost Spnnin Trs Prim's Alorithm Introution Mik Joson Dprtmnt o Computr Sin Univrsity o Clry Ltur #33 3 Alorithm Gnrl Constrution Mik Joson (Univrsity o Clry)
More informationChapter 16. 1) is a particular point on the graph of the function. 1. y, where x y 1
Prctic qustions W now tht th prmtr p is dirctl rltd to th mplitud; thrfor, w cn find tht p. cos d [ sin ] sin sin Not: Evn though ou might not now how to find th prmtr in prt, it is lws dvisl to procd
More informationECE 407 Computer Aided Design for Electronic Systems. Instructor: Maria K. Michael. Overview. CAD tools for multi-level logic synthesis:
407 Computr Aidd Dsign for Elctronic Systms Multi-lvl Logic Synthsis Instructor: Maria K. Michal 1 Ovrviw Major Synthsis Phass Logic Synthsis: 2-lvl Multi-lvl FSM CAD tools for multi-lvl logic synthsis:
More information, each of which is a tree, and whose roots r 1. , respectively, are children of r. Data Structures & File Management
nrl tr T is init st o on or mor nos suh tht thr is on sint no r, ll th root o T, n th rminin nos r prtition into n isjoint susts T, T,, T n, h o whih is tr, n whos roots r, r,, r n, rsptivly, r hilrn o
More informationGraphs. CSC 1300 Discrete Structures Villanova University. Villanova CSC Dr Papalaskari
Grphs CSC 1300 Disrt Struturs Villnov Univrsity Grphs Grphs r isrt struturs onsis?ng of vr?s n gs tht onnt ths vr?s. Grphs n us to mol: omputr systms/ntworks mthm?l rl?ons logi iruit lyout jos/prosss f
More informationInstructions for Section 1
Instructions for Sction 1 Choos th rspons tht is corrct for th qustion. A corrct nswr scors 1, n incorrct nswr scors 0. Mrks will not b dductd for incorrct nswrs. You should ttmpt vry qustion. No mrks
More informationAlgorithmic and NP-Completeness Aspects of a Total Lict Domination Number of a Graph
Intrntionl J.Mth. Comin. Vol.1(2014), 80-86 Algorithmi n NP-Compltnss Aspts of Totl Lit Domintion Numr of Grph Girish.V.R. (PES Institut of Thnology(South Cmpus), Bnglor, Krntk Stt, Ini) P.Ush (Dprtmnt
More informationFormal Concept Analysis
Forml Conpt Anlysis Conpt intnts s losd sts Closur Systms nd Implitions 4 Closur Systms 0.06.005 Nxt-Closur ws dvlopd y B. Gntr (984). Lt M = {,..., n}. A M is ltilly smllr thn B M, if B A if th smllst
More informationCSE 373. Graphs 1: Concepts, Depth/Breadth-First Search reading: Weiss Ch. 9. slides created by Marty Stepp
CSE 373 Grphs 1: Conpts, Dpth/Brth-First Srh ring: Wiss Ch. 9 slis rt y Mrty Stpp http://www.s.wshington.u/373/ Univrsity o Wshington, ll rights rsrv. 1 Wht is grph? 56 Tokyo Sttl Soul 128 16 30 181 140
More informationOutline. Computer Science 331. Computation of Min-Cost Spanning Trees. Costs of Spanning Trees in Weighted Graphs
Outlin Computr Sin 33 Computtion o Minimum-Cost Spnnin Trs Prim s Mik Joson Dprtmnt o Computr Sin Univrsity o Clry Ltur #34 Introution Min-Cost Spnnin Trs 3 Gnrl Constrution 4 5 Trmintion n Eiiny 6 Aitionl
More informationu r du = ur+1 r + 1 du = ln u + C u sin u du = cos u + C cos u du = sin u + C sec u tan u du = sec u + C e u du = e u + C
Tchniqus of Intgration c Donald Kridr and Dwight Lahr In this sction w ar going to introduc th first approachs to valuating an indfinit intgral whos intgrand dos not hav an immdiat antidrivativ. W bgin
More informationA Simple Code Generator. Code generation Algorithm. Register and Address Descriptors. Example 3/31/2008. Code Generation
A Simpl Co Gnrtor Co Gnrtion Chptr 8 II Gnrt o for singl si lok How to us rgistrs? In most mhin rhitturs, som or ll of th oprnsmust in rgistrs Rgistrs mk goo tmporris Hol vlus tht r omput in on si lok
More informationMinimum Spanning Trees
Minimum Spnning Trs Minimum Spnning Trs Problm A town hs st of houss nd st of rods A rod conncts nd only houss A rod conncting houss u nd v hs rpir cost w(u, v) Gol: Rpir nough (nd no mor) rods such tht:
More informationCSE 373: AVL trees. Warmup: Warmup. Interlude: Exploring the balance invariant. AVL Trees: Invariants. AVL tree invariants review
rmup CSE 7: AVL trs rmup: ht is n invrint? Mihl L Friy, Jn 9, 0 ht r th AVL tr invrints, xtly? Disuss with your nighor. AVL Trs: Invrints Intrlu: Exploring th ln invrint Cor i: xtr invrint to BSTs tht
More informationProblem solving by search
Prolm solving y srh Tomáš voo Dprtmnt o Cyrntis, Vision or Roots n Autonomous ystms Mrh 5, 208 / 3 Outlin rh prolm. tt sp grphs. rh trs. trtgis, whih tr rnhs to hoos? trtgy/algorithm proprtis? Progrmming
More informationSingle Correct Type. cos z + k, then the value of k equals. dx = 2 dz. (a) 1 (b) 0 (c)1 (d) 2 (code-v2t3paq10) l (c) ( l ) x.
IIT JEE/AIEEE MATHS y SUHAAG SIR Bhopl, Ph. (755)3 www.kolsss.om Qusion. & Soluion. In. Cl. Pg: of 6 TOPIC = INTEGRAL CALCULUS Singl Corr Typ 3 3 3 Qu.. L f () = sin + sin + + sin + hn h primiiv of f()
More informationCSC Design and Analysis of Algorithms. Example: Change-Making Problem
CSC 801- Dsign n Anlysis of Algorithms Ltur 11 Gry Thniqu Exmpl: Chng-Mking Prolm Givn unlimit mounts of oins of nomintions 1 > > m, giv hng for mount n with th lst numr of oins Exmpl: 1 = 25, 2 =10, =
More informationThis Week. Computer Graphics. Introduction. Introduction. Graphics Maths by Example. Graphics Maths by Example
This Wk Computr Grphics Vctors nd Oprtions Vctor Arithmtic Gomtric Concpts Points, Lins nd Plns Eploiting Dot Products CSC 470 Computr Grphics 1 CSC 470 Computr Grphics 2 Introduction Introduction Wh do
More informationWeighted graphs -- reminder. Data Structures LECTURE 15. Shortest paths algorithms. Example: weighted graph. Two basic properties of shortest paths
Dt Strutur LECTURE Shortt pth lgorithm Proprti of hortt pth Bllmn-For lgorithm Dijktr lgorithm Chptr in th txtook (pp ). Wight grph -- rminr A wight grph i grph in whih g hv wight (ot) w(v i, v j ) >.
More informationExam 1 Solution. CS 542 Advanced Data Structures and Algorithms 2/14/2013
CS Avn Dt Struturs n Algorithms Exm Solution Jon Turnr //. ( points) Suppos you r givn grph G=(V,E) with g wights w() n minimum spnning tr T o G. Now, suppos nw g {u,v} is to G. Dsri (in wors) mtho or
More informationConstruction 11: Book I, Proposition 42
Th Visul Construtions of Euli Constrution #11 73 Constrution 11: Book I, Proposition 42 To onstrut, in givn rtilinl ngl, prlllogrm qul to givn tringl. Not: Equl hr mns qul in r. 74 Constrution # 11 Th
More information, between the vertical lines x a and x b. Given a demand curve, having price as a function of quantity, p f (x) at height k is the curve f ( x,
Clculus for Businss nd Socil Scincs - Prof D Yun Finl Em Rviw vrsion 5/9/7 Chck wbsit for ny postd typos nd updts Pls rport ny typos This rviw sht contins summris of nw topics only (This rviw sht dos hv
More information# 1 ' 10 ' 100. Decimal point = 4 hundred. = 6 tens (or sixty) = 5 ones (or five) = 2 tenths. = 7 hundredths.
How os it work? Pl vlu o imls rprsnt prts o whol numr or ojt # 0 000 Tns o thousns # 000 # 00 Thousns Hunrs Tns Ons # 0 Diml point st iml pl: ' 0 # 0 on tnth n iml pl: ' 0 # 00 on hunrth r iml pl: ' 0
More informationBasic Polyhedral theory
Basic Polyhdral thory Th st P = { A b} is calld a polyhdron. Lmma 1. Eithr th systm A = b, b 0, 0 has a solution or thr is a vctorπ such that π A 0, πb < 0 Thr cass, if solution in top row dos not ist
More informationV={A,B,C,D,E} E={ (A,D),(A,E),(B,D), (B,E),(C,D),(C,E)}
Introution Computr Sin & Enginring 423/823 Dsign n Anlysis of Algorithms Ltur 03 Elmntry Grph Algorithms (Chptr 22) Stphn Sott (Apt from Vinohnrn N. Vriym) I Grphs r strt t typs tht r pplil to numrous
More informationGraphs. Graphs. Graphs: Basic Terminology. Directed Graphs. Dr Papalaskari 1
CSC 00 Disrt Struturs : Introuon to Grph Thory Grphs Grphs CSC 00 Disrt Struturs Villnov Univrsity Grphs r isrt struturs onsisng o vrs n gs tht onnt ths vrs. Grphs n us to mol: omputr systms/ntworks mthml
More informationu x v x dx u x v x v x u x dx d u x v x u x v x dx u x v x dx Integration by Parts Formula
7. Intgration by Parts Each drivativ formula givs ris to a corrsponding intgral formula, as w v sn many tims. Th drivativ product rul yilds a vry usful intgration tchniqu calld intgration by parts. Starting
More informationAn undirected graph G = (V, E) V a set of vertices E a set of unordered edges (v,w) where v, w in V
Unirt Grphs An unirt grph G = (V, E) V st o vrtis E st o unorr gs (v,w) whr v, w in V USE: to mol symmtri rltionships twn ntitis vrtis v n w r jnt i thr is n g (v,w) [or (w,v)] th g (v,w) is inint upon
More informationb. How many ternary words of length 23 with eight 0 s, nine 1 s and six 2 s?
MATH 3012 Finl Exm, My 4, 2006, WTT Stunt Nm n ID Numr 1. All our prts o this prolm r onrn with trnry strings o lngth n, i.., wors o lngth n with lttrs rom th lpht {0, 1, 2}.. How mny trnry wors o lngth
More information( ) Differential Equations. Unit-7. Exact Differential Equations: M d x + N d y = 0. Verify the condition
Diffrntial Equations Unit-7 Eat Diffrntial Equations: M d N d 0 Vrif th ondition M N Thn intgrat M d with rspt to as if wr onstants, thn intgrat th trms in N d whih do not ontain trms in and quat sum of
More informationAP Calculus BC Chapter 8: Integration Techniques, L Hopital s Rule and Improper Integrals
AP Clulus BC Chpter 8: Integrtion Tehniques, L Hopitl s Rule nd Improper Integrls 8. Bsi Integrtion Rules In this setion we will review vrious integrtion strtegies. Strtegies: I. Seprte the integrnd into
More informationEE1000 Project 4 Digital Volt Meter
Ovrviw EE1000 Projt 4 Diitl Volt Mtr In this projt, w mk vi tht n msur volts in th rn o 0 to 4 Volts with on iit o ury. Th input is n nlo volt n th output is sinl 7-smnt iit tht tlls us wht tht input s
More informationGraph Isomorphism. Graphs - II. Cayley s Formula. Planar Graphs. Outline. Is K 5 planar? The number of labeled trees on n nodes is n n-2
Grt Thortil Is In Computr Sin Vitor Amhik CS 15-251 Ltur 9 Grphs - II Crngi Mllon Univrsity Grph Isomorphism finition. Two simpl grphs G n H r isomorphi G H if thr is vrtx ijtion V H ->V G tht prsrvs jny
More informationCONTINUITY AND DIFFERENTIABILITY
MCD CONTINUITY AND DIFFERENTIABILITY NCERT Solvd mpls upto th sction 5 (Introduction) nd 5 (Continuity) : Empl : Chck th continuity of th function f givn by f() = + t = Empl : Emin whthr th function f
More informationMulti-Section Coupled Line Couplers
/0/009 MultiSction Coupld Lin Couplrs /8 Multi-Sction Coupld Lin Couplrs W cn dd multipl coupld lins in sris to incrs couplr ndwidth. Figur 7.5 (p. 6) An N-sction coupld lin l W typiclly dsign th couplr
More informationCS61B Lecture #33. Administrivia: Autograder will run this evening. Today s Readings: Graph Structures: DSIJ, Chapter 12
Aministrivi: CS61B Ltur #33 Autogrr will run this vning. Toy s Rings: Grph Struturs: DSIJ, Chptr 12 Lst moifi: W Nov 8 00:39:28 2017 CS61B: Ltur #33 1 Why Grphs? For xprssing non-hirrhilly rlt itms Exmpls:
More informationVTU NOTES QUESTION PAPERS NEWS RESULTS FORUMS
Diffrntial Equations Unit-7 Eat Diffrntial Equations: M d N d 0 Vrif th ondition M N Thn intgrat M d with rspt to as if wr onstants, thn intgrat th trms in N d whih do not ontain trms in and quat sum of
More informationCS200: Graphs. Graphs. Directed Graphs. Graphs/Networks Around Us. What can this represent? Sometimes we want to represent directionality:
CS2: Grphs Prihr Ch. 4 Rosn Ch. Grphs A olltion of nos n gs Wht n this rprsnt? n A omputr ntwork n Astrtion of mp n Soil ntwork CS2 - Hsh Tls 2 Dirt Grphs Grphs/Ntworks Aroun Us A olltion of nos n irt
More informationCh 1.2: Solutions of Some Differential Equations
Ch 1.2: Solutions of Som Diffrntil Equtions Rcll th fr fll nd owl/mic diffrntil qutions: v 9.8.2v, p.5 p 45 Ths qutions hv th gnrl form y' = y - b W cn us mthods of clculus to solv diffrntil qutions of
More informationCS September 2018
Loil los Distriut Systms 06. Loil los Assin squn numrs to msss All ooprtin prosss n r on orr o vnts vs. physil los: rport tim o y Assum no ntrl tim sour Eh systm mintins its own lol lo No totl orrin o
More informationFourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.
Lur 7 Fourir Transforms and th Wav Euation Ovrviw and Motivation: W first discuss a fw faturs of th Fourir transform (FT), and thn w solv th initial-valu problm for th wav uation using th Fourir transform
More information8Algebraic UNCORRECTED SAMPLE PAGES. techniques. What you will learn. Australian curriculum. Chapter 8A 8B 8C 8D 8E 8F
8A 8B 8C 8D 8E 8F 8G 8H 8I 8J 8K Chptr Wht you will lrn 8Algri thniqus Epning inomil prouts Prt squrs n irn o prt squrs Ftorising lgri prssions Ftorising th irn o two squrs Ftoristion y grouping Ftorising
More informationExercise 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 informationPH427/PH527: Periodic systems Spring Overview of the PH427 website (syllabus, assignments etc.) 2. Coupled oscillations.
Dy : Mondy 5 inuts. Ovrviw of th PH47 wsit (syllus, ssignnts tc.). Coupld oscilltions W gin with sss coupld y Hook's Lw springs nd find th possil longitudinl) otion of such syst. W ll xtnd this to finit
More information( ) Geometric Operations and Morphing. Geometric Transformation. Forward v.s. Inverse Mapping. I (x,y ) Image Processing - Lesson 4 IDC-CG 1
Img Procssing - Lsson 4 Gomtric Oprtions nd Morphing Gomtric Trnsformtion Oprtions dpnd on Pil s Coordints. Contt fr. Indpndnt of pil vlus. f f (, ) (, ) ( f (, ), f ( ) ) I(, ) I', (,) (, ) I(,) I (,
More information(2) If we multiplied a row of B by λ, then the value is also multiplied by λ(here lambda could be 0). namely
. DETERMINANT.. Dtrminnt. Introution:I you think row vtor o mtrix s oorint o vtors in sp, thn th gomtri mning o th rnk o th mtrix is th imnsion o th prlllppi spnn y thm. But w r not only r out th imnsion,
More informationIntegration by Parts
Intgration by Parts Intgration by parts is a tchniqu primarily for valuating intgrals whos intgrand is th product of two functions whr substitution dosn t work. For ampl, sin d or d. Th rul is: u ( ) v'(
More informationAP Calculus BC Problem Drill 16: Indeterminate Forms, L Hopital s Rule, & Improper Intergals
AP Calulus BC Problm Drill 6: Indtrminat Forms, L Hopital s Rul, & Impropr Intrgals Qustion No. of Instrutions: () Rad th problm and answr hois arfully () Work th problms on papr as ndd () Pik th answr
More informationINTEGRATION BY PARTS
Mathmatics Rvision Guids Intgration by Parts Pag of 7 MK HOME TUITION Mathmatics Rvision Guids Lvl: AS / A Lvl AQA : C Edcl: C OCR: C OCR MEI: C INTEGRATION BY PARTS Vrsion : Dat: --5 Eampls - 6 ar copyrightd
More informationAlgebra 2 Semester 1 Practice Final
Alger 2 Semester Prtie Finl Multiple Choie Ientify the hoie tht est ompletes the sttement or nswers the question. To whih set of numers oes the numer elong?. 2 5 integers rtionl numers irrtionl numers
More informationMATHEMATICS FOR MANAGEMENT BBMP1103
Objctivs: TOPIC : EXPONENTIAL AND LOGARITHM FUNCTIONS. Idntif pnntils nd lgrithmic functins. Idntif th grph f n pnntil nd lgrithmic functins. Clcult qutins using prprtis f pnntils. Clcult qutins using
More informationMor Tutorial at www.dumblittldoctor.com Work th problms without a calculator, but us a calculator to chck rsults. And try diffrntiating your answrs in part III as a usful chck. I. Applications of Intgration
More informationUNCORRECTED SAMPLE PAGES 4-1. Naming fractions KEY IDEAS. 1 Each shape represents ONE whole. a i ii. b i ii
- Nming frtions Chptr Frtions Eh shp rprsnts ONE whol. i ii Wht frtion is shdd? Writ s frtion nd in words. Wht frtion is not shdd? Writ s frtion nd in words. i ii i ii Writ s mny diffrnt frtions s you
More informationV={A,B,C,D,E} E={ (A,D),(A,E),(B,D), (B,E),(C,D),(C,E)}
s s of s Computr Sin & Enginring 423/823 Dsign n Anlysis of Ltur 03 (Chptr 22) Stphn Sott (Apt from Vinohnrn N. Vriym) s of s s r strt t typs tht r pplil to numrous prolms Cn ptur ntitis, rltionships twn
More informationCOHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.
MTH rviw part b Lucian Mitroiu Th LOG and EXP functions Th ponntial function p : R, dfind as Proprtis: lim > lim p Eponntial function Y 8 6 - -8-6 - - X Th natural logarithm function ln in US- log: function
More informationThe Theory of Small Reflections
Jim Stils Th Univ. of Knss Dt. of EECS 4//9 Th Thory of Smll Rflctions /9 Th Thory of Smll Rflctions Rcll tht w nlyzd qurtr-wv trnsformr usg th multil rflction viw ot. V ( z) = + β ( z + ) V ( z) = = R
More information10. Limits involving infinity
. Limits involving infinity It is known from th it ruls for fundamntal arithmtic oprations (+,-,, ) that if two functions hav finit its at a (finit or infinit) point, that is, thy ar convrgnt, th it of
More informationCalculus Module C21. Areas by Integration. Copyright This publication The Northern Alberta Institute of Technology All Rights Reserved.
Clculus Module C Ares Integrtion Copright This puliction The Northern Alert Institute of Technolog 7. All Rights Reserved. LAST REVISED Mrch, 9 Introduction to Ares Integrtion Sttement of Prerequisite
More informationUniversity of Sioux Falls. MAT204/205 Calculus I/II
University of Sioux Flls MAT204/205 Clulus I/II Conepts ddressed: Clulus Textook: Thoms Clulus, 11 th ed., Weir, Hss, Giordno 1. Use stndrd differentition nd integrtion tehniques. Differentition tehniques
More information1 Finite Automata and Regular Expressions
1 Fini Auom nd Rgulr Exprion Moivion: Givn prn (rgulr xprion) for ring rching, w migh wn o convr i ino drminiic fini uomon or nondrminiic fini uomon o mk ring rching mor fficin; drminiic uomon only h o
More informationSection 11.6: Directional Derivatives and the Gradient Vector
Sction.6: Dirctional Drivativs and th Gradint Vctor Practic HW rom Stwart Ttbook not to hand in p. 778 # -4 p. 799 # 4-5 7 9 9 35 37 odd Th Dirctional Drivativ Rcall that a b Slop o th tangnt lin to th
More informationCalculus Revision A2 Level
alculus Rvision A Lvl Tabl of drivativs a n sin cos tan d an sc n cos sin Fro AS * NB sc cos sc cos hain rul othrwis known as th function of a function or coposit rul. d d Eapl (i) (ii) Obtain th drivativ
More informationIIT JEE MATHS MATRICES AND DETERMINANTS
IIT JEE MTHS MTRICES ND DETERMINNTS THIRUMURUGN.K PGT Mths IIT Trir 978757 Pg. Lt = 5, th () =, = () = -, = () =, = - (d) = -, = -. Lt sw smmtri mtri of odd th quls () () () - (d) o of ths. Th vlu of th
More informationSECTION A STUDENT MATERIAL. Part 1. What and Why.?
SECTION A STUDENT MATERIAL Prt Wht nd Wh.? Student Mteril Prt Prolem n > 0 n > 0 Is the onverse true? Prolem If n is even then n is even. If n is even then n is even. Wht nd Wh? Eploring Pure Mths Are
More informationNote If the candidate believes that e x = 0 solves to x = 0 or gives an extra solution of x = 0, then withhold the final accuracy mark.
. (a) Eithr y = or ( 0, ) (b) Whn =, y = ( 0 + ) = 0 = 0 ( + ) = 0 ( )( ) = 0 Eithr = (for possibly abov) or = A 3. Not If th candidat blivs that = 0 solvs to = 0 or givs an tra solution of = 0, thn withhold
More informationCS 241 Analysis of Algorithms
CS 241 Anlysis o Algorithms Prossor Eri Aron Ltur T Th 9:00m Ltur Mting Lotion: OLB 205 Businss HW6 u lry HW7 out tr Thnksgiving Ring: Ch. 22.1-22.3 1 Grphs (S S. B.4) Grphs ommonly rprsnt onntions mong
More information