Exact Template Matching Using Boolean Satisfiability
|
|
- Randolf Sullivan
- 5 years ago
- Views:
Transcription
1 2013 IEEE 43r Intrntionl Symposium on Multipl-Vlu Logi Ext Tmplt Mthing Using Booln Stisfiility Nil Assi Mthis Sokn Rort Will Rolf Drhslr Institut of Computr Sin, Univrsity of Brmn, Brmn, Grmny Cyr-Physil Systms, DFKI GmH, Brmn, Grmny Astrt Rvrsil logi is n mrging rsrh r tht hs shown promising rsults in pplitions suh s quntum omputing, low powr sign, n optil omputing. Sin th synthsis of miniml iruits is umrsom tsk, mny synthsis lgorithms pply huristis n n thrfor not provi miniml solution. As onsqun, post synthsis mthos suh s winow optimiztion n tmplt mthing r ing ppli. Tmplt mthing lgorithms xplor th iruits for gt ss tht n rpl y smllr ons using spil lss of intity iruits, so ll tmplts. Th trmintion of ss pplil for sustitution is th ottlnk of th tmplt mthing lgorithm n prolm-solving mthos hv n propos in th rnt pst. Sin ths lgorithms r s on huristis, it nnot nsur tht mthing s n lwys foun. In this ppr, w propos nw pproh tht trmins mthing ss s on Booln stisfiility n thrfor nsurs tht ths ss r lwys foun if thy xist. Exprimntl rsults monstrt tht tmplt mthing yils smllr iruits whn pplying th nw mtho for s trmintion. I. INTRODUCTION Rvrsil logi is n mrging thnology in th omin of quntum omputing [1], [2], [3], low powr sign [4], [5], optil omuting [6], s wll s nnothnologis [7]. In rvrsil iruits, ll omputtions r prform in n invrt mnnr whih provis nw promising nhnmnts for omputtion thnologis. Motivt y th nfits rought y ths iruits, rsrhrs strt to vlop nw sign mthos. Svrl synthsis pprohs hv n propos to trmin iruit rliztion for givn funtion. Signifint improvmnts n hivmnts [8], [9], [10], [11] hv n m sin th truth tl s pproh hs tking pl. Howvr, th mjority of th synthsis pprohs o not gurnt optiml rliztions, in ft, th lgorithms tht o gurnt n optiml solution (.g. [12]) r only pplil to smll iruits of out 4 to 6 lins. As rsult, svrl post synthsis optimiztion pprohs [9], [13] hv n propos to minimiz givn iruit ftr it hs n synthsiz. Th tmplt mthing lgorithm xplin in [9] is on of ths optimiztion thniqus. Givn st of tmplts whih is spil lss of intity iruits, th lgorithm tris to trmin su-iruits tht mth prt of tmplt. In this s, th trmin su-iruit n rpl with th invrt rmining prt of th tmplt u to rvrsiility. If th rmining prt is smllr, th ovrll iruit siz n ru. Th ffiiny of th tmplt mthing lgorithm highly pns on th strtgy us for mthing th tmplt in iruit. Sin th onsir srh sp tht shoul inspt in orr to fin mth for tmplt is usully vry lrg, mny huristi pprohs hv n invstigt tht work ffiintly ut nnot gurnt tht mthing suiruit n foun if it xists. To ovrom this limittion, w propos nw pproh tht xploits Booln stisfiility thniqus llowing n xhustiv ut yt ffiint trmintion of ss oring to givn st of tmplts. For this purpos, th srh for s is formult s ision prolm n no s Booln formul tht is ftrwrs solv using n SMT solvr. If th instn is stisfil, th mthing s n rpl y th son hlf of th tmplt. Othrwis, it n onlu tht th tmplt nnot us to furthr ru of th iruit ost. W hv implmnt th lgorithm n ompr it to th srh mtho prsnt in [9]. Exprimntl rsults show tht ost rutions of up to out 60% ompr with rspt to th initil iruit n up to 28% with rspt to th mtho in [9] n hiv. Th rminr of th ppr is orgniz s follows. Stion II introus th sis of rvrsil logi, th tmplt mthing lgorithm, n SMT. In Stion III th gnrl strutur of our pproh is xplin, whil tils on th SMT noing r provi in Stion IV. Exprimntl rsults r givn in Stion V n th ppr is onlu in Stion VI. II. BACKGROUND A. Rvrsil Ciruits A Booln funtion is rvrsil if it mps h input ssignmnt to istint output ssignmnt. As rsult, suh funtion must hv th sm numr of input n output vrils X := {x 1,...,x n }. A iruit rlizing rvrsil funtion is s of rvrsil gts. In th litrtur, svrl typs of rvrsil gts hv n introu. Bsis th Frkin gt [14] n th Prs gt [15], multipl ontroll X/13 $ IEEE DOI /ISMVL
2 () Rvrsil gt Fig. 1. Rvrsil iruitry () Rvrsil iruit Toffoli gts [16] r wily us. In this ppr w onsir only Toffoli gt iruits. A Toffoli gt hs th form T(C, t) with st of ontrol lins C = {x i1,,x ik } X n trgt lin t X \ C. C my mpty. Th trgt lin t is invrt if n only if ll ontrol lins r ssign 1, i.. gt mps n input ssignmnt (x 1,...,t = x j,...,x n ) to (x 1,...,x i1 x i2 x ik x j,...,x n ). Quntum ost r oftn us to msur th ost of rvrsil gt. Evry rvrsil gt n trnsform into squn of lmntry quntum gts [17] whr h lmntry gt hs quntum ost of on. Exmpl 1: Fig. 1() shows Toffoli gt with two ontrol lins. Th ontrol lins r not y, whil th trgt lin is not y. Th nnott vlus monstrt th omputtion of th gt for givn input ssignmnt. Fig.1() shows iffrnt Toffoli gts in s forming rvrsil iruit. B. Tmplt Mthing Prour Tmplts hv initilly n propos in [9] n thir finition hs n just svrl tims in th pst. Th urrnt wily pt finition stts tht tmplt is n intity iruit with m gts suh tht h su-iruit of siz lss thn m 2 nnot ru y nothr tmplt. Furthrmor, tmplt onsists of two iffrnt lin typs whih w ll C-lins n T-lins n whih shoul not mistkn for ontrol lins n trgt lins of gt (f. Fig. 2). A C-lin of tmplt is lin in whih ll gts only hv ontrol lins ut no trgt lins, ll othr lins r T-lins. This sprtion is of us sin ny C-lin n uplit, rmov, or rpl without hnging th funtionlity of th iruit. This is illustrt y mns of Figs. 3(), 3(), n 3(), rsptivly. Furthr, th orr of th gts n rott ing wrpp t th iruit ounris, gin without hnging th funtionlity. This is illustrt in Fig. 3(). () Duplition () Rmovl Fig. 3. () Rplmnt () Rottion Tmplt isposition Sin tmplt is n intity iruit it n split nywhr in th mil n th lft prt quls th invrs of th right prt n vi vrs. Th tmplt mthing lgorithm is ppli in orr to ru th iruit siz or its osts. It tks iruit n tris to fin su-iruits in it tht mth prt of tmplt. If tht prt is longr or mor xpnsiv thn th rmining prt th su-iruit is rpl y th invrs of it. Th mthing prour tris to fin th first gt n thn susquntly looks for th othr gts whih o not n to nssrily jnt. Using th moving rul, gts n mov in th iruit without hnging th iruit s funtionlity [9]. Exmpl 2: Fig. 4 illustrts th si tmplt mthing lgorithm. It shows tmplt in th lowr lft ornr with lft n right prt. A su-iruit mthing th lft prt of th tmplt is foun in th originl iruit, hn, this suiruit n rpl with th invrs of th right prt of th tmplt yiling smllr simplifi iruit of lss ost. Th gr of optimiztion in tmplt mthing pns on th onsir tmplts tht r us in th pross n th srh mtho for fining mthing su-iruits. Th lttr tsk is th most omplx prt in th tmplt mthing lgorithm n not fsil whn ing ppli in n xhustiv mnnr. In orr to trmin mthing tmplts, th iruit is rrrng y pplying th tim onsuming moving rul. As onsqun, huristis r us to fin su-squns Originl Ciruit Simplifition Simplifi iruit F Mpping C-lins T-lins F F 1 Rpling F with F 1 Fig. 2. Originl tmplt Fig. 4. Tmplt mthing
3 Ciruit k 5 Tmplt Fig. 5. Enoing k k 1 Itrtiv hk Unstisfil Solvr Stisfil Rplmnt Simplifi iruit Enoing th srh mtho s n SMT instn tht o not gurnt tht su-iruit is foun if it xists. For xmpl, som of thm tk iruit n try to mth its gts to th tmplt from th input to th output si of tht iruit, othr ons pply th srh itionlly in th rvrs irtion in orr to inrs th hns of mthing th tmplt in th iruit. C. Stisfiility Moulo Thoris Booln stisfiility (SAT) is ision prolm tht trmins if th vrils of givn propositionl formul n ssign in suh wy tht th formul vluts to tru. Eqully importnt is to trmin whthr no suh ssignmnts xist, whih woul imply tht th formul is th ontrition. In th lttr s, th funtion is si to unstisfil, othrwis it is stisfil. Most morn SAT solvrs rquir th formul to in onjuntiv norml form, i.. onjuntion of luss whih in turn r isjuntions of litrls. Stisfiility Moulo Thoris (SMT) is lso ision prolm ut with mor omplx thoris rthr thn only propositionl logi. A til introution is givn in [18]. SMT is is out hking th stisfiility of first-orr formuls ontining oprtions from vrious thoris suh s th Boolns, it-vtors, rithmti, rrys, n rursiv t-typs. SMT solvrs r vill tht hnl omplx formuls suh s Z3 [19], MthSAT [20], Booltor [21], n SWORD [22]. III. GENERAL IDEA In this work, w r proposing nw srh mtho tht trmins mthing su-iruits in iruit givn tmplt whil kping th gnrl onpts for tmplt mthing s thy hv n xplin in [9]. Inst of pplying huristis for th srh, w suggst n xt n ffiint tmplt mthing lgorithm s on SMT whih llows to xhustivly xplor th full srh sp n thrfor gurnts tht mthing su-iruit is foun if it xists. Fig. 5 outlins th propos pproh. Givn tmplt with m gts n th originl iruit, th propos lgorithm rts Booln formul noing th ision prolm () Ciruit () Tmplt Fig. 6. Rvrsil iruit n tmplt whthr thr xists su-iruit in th originl iruit tht mths th first k gts of th givn tmplt. Whil initilly stting k m, k is rmnt y 1 s long s th Booln formul is unstisfil. If th formul is stisfil th mthing su-iruit n xtrt from th stisfying ssignmnt tht is rturn from th SMT solvr. Th tmplt lngth k is only rs s long s th lft prt of th tmplt is lrgr in ost thn th right on. IV. ENCODING USING SMT This stion sris th propos pproh in til. Th noing s ision prolm is xplin y listing ll onstrints tht r nssry for srhing orrt mth of givn tmplt in iruit. A. Dision Prolm Th ovrll ision prolm n stt s follows. Lt G = g 1 g iruit of n lins n T = g 1 g tmplt of n lins with g j =(C j,t j ) n g i =(C i,t i ) for j = 1,..., n i = 1,...,, rsptivly. Th onsir lins r fin ovr th vrils {x 1,...,x n } n {x 1,...,x n }, rsptivly. Cn th first k gts of th tmplt T mth in G, i.. n positions m 1,...,m k in G foun suh tht th gts n mov togthr n rsml th first k gts of T. Noti tht lso th orr of lins in th tmplt os not nssrily n to mth th originl orr of lins in th iruit. As rsult, sis th mthing positions m 1,...,m k lso lin rorring l 1,...,l n is prt of th solution, if th tmplt n mth. Exmpl 3: Figs. 6() n 6() show iruit n tmplt, rsptivly. Th first k =4gts of th tmplt n mth to th gts in th iruit t positions m 1 =3, m 2 =4, m 3 =5, n m 4 =6whn lin mpping l 1 = 1, l 2 = 3, l 3 = 2, n l 4 = 4, i.. x 1 x 1, x 2 x 3, x 3 x 2, n x 4 x 4. B. Gt Positions n Lin Mpping Th vrils m 1,...,m k n l 1,...,l n rprsnt gt n lin inxs in th intrvls [1,] n [1,n ], rsptivly. A on-hot noing is us for ll ths vrils, i.. n m i IB for i =1,...,k lj IB n for j =1,...,n
4 1 = t 1 = = t 2 = = t 3 = = t 4 = Fig. 7. Ciruit noing 0 = = = = t 1 = = t 2 = = t 3 = = t 4 = Fig. 8. Tmplt noing suh tht ν m 1 = = ν m k = ν l j = = ν l n =1, whr th siwys sum ν nots th numr of ll 1 its in itvtor. Th singl it tht is st in th vtors nots th rsptiv inx. Two onstrints r suffiint to nfor oth th orring of th positions m i n gurnt th on-hot noing, i.. n 0 < m i < m i+1 for i =1,...,k 1 ( m i m j =0) νm = k i j with M = k i=1 m i ing th it-msk ontining ll position inxs. Th lin mpping vrils o not hv to follow n orr, howvr ll it-vtors n to on-hot no n thy must ll iffr, i.. ( l i l j =0) lj 0 lj =1...1 }{{}. i j j=1 j=1 n tims C. Ciruits n Tmplts In orr to rprsnt iruits, w r mking us of two iffrnt noings whih r oth us ltr for onstrining th mpping. Thy oth shr th proprty tht ontrol lins n trgts r sprtly rprsnt s it-msk, howvr on in vrtil n on in horizontl orinttion. For th iruit s lins, w r following th horizontl shm, i.. for h ontrol lin n for h trgt lin w it-vtors n n n i IB with i [j] x i j t i IB with t i [j] x i = t j for i =1,...,n n j =1,...,. Not tht th it-vtor inis strt from 1. Exmpl 4: Th no it-vtors for th iruit lins of th initil iruit from Fig. 6() r illustrt in Fig. 7. For th tmplts w r using slightly iffrnt noing tht pturs th iffrnt moifition possiilitis tht xists for tmplts n hv n illustrt in Fig. 3. Furthr, for th noing w ssum tht th tmplt n xtn to t most n lins suh tht it fits th iruit. Also, lt us ssum tht th tmplt hs τ T-lins. Thn th first n τ iruit lins for th tmplt r fin s n i IB k with i = t i IB k n τ j=0 j (i n τ) with t i =0...0 (i n τ) with { j IB k if j =0, with j [l] x j l othrwis. Tht is, thr r no trgts on ths lins n ontrol lin n ithr on of ll possil C-lins (no s >0 )or lso (no s 0 ) initing tht th lin is not us y th tmplt. Th lins for i>n τ r no in th xt sm mnnr s for th originl iruit lins. Exmpl 5: Th no it-vtors for th iruit lins of th tmplt from Fig. 6() r illustrt in Fig. 8. Noti tht th orr of th C-lins s it is givn in Fig. 6() os not mttr nymor n is npsult in th j vrils. From th it-vtors i n t i w r riving nw itmsks č j n ť j tht sri th iruit in vrtil orinttion, i.. h it-vtor orrspons to gt inst of lin. Ths r it-vtors n č j IB n with č j [i] = i [j] ť j IB n with ť j [i] = t i [j]. D. Mpping Givn ll it-vtor noings from ov, w n fin th onstrints tht mp tmplt gts to iruit gts with rspt to lin mpping. For this purpos, w mk us of th n IB n IB ) 0 whr, IB n. W r using th funtion only in ss whr is on-hot no, hn, th funtion vluts to tru if n only if th on it tht is st in is lso st in. Givn tht, w n formliz th most importnt mpping for th noing whih mps tmplt gts to iruit gts, xprss s č l i = m j n ť li = m j with i =1,...,n n j =1,...,k. Tking th ontrol lins, tht is th formul on th lft hn si, it mns th following. Assuming thr is ontrol lin in th j th gt of th tmplt t th lin whr lin i mps to. Thn, thr must lso ontrol lin in th j th gt hosn y th mpping m j in th originl iruit t lin i n vi vrs. Th sm pplis for trgt lins. Noti tht th ft tht w hv vrtil n horizontl noings for tmplt n iruit gts plys ky rol in this noing
5 Fig. 9. E. Moving Rul 5 Moving rul grph for iruit in Fig. 6() Th noings givn so fr r not suffiint yt, sin t th urrnt stt ritrry gts in th originl iruits n mth lthough it might not possil to mov thm togthr. As onsqun, th moving rul ns to no into th SMT instn s wll. In orr to hv forml rprsnttion of th moving rul, w r mking us of th moving rul grph tht hs n introu in [23]. In moving rul grph h vrtx rprsnts gt of th iruit n two gts r onnt y n g if n only if th gts nnot intrhng y moving. Exmpl 6: Th moving rul grph for th iruit in Fig. 6() is pit in Fig. 9. W writ g i < g j if g j nnot mov for g i n gt g i nnot mov pst g j. Sin th moving rul is trnsitiv, g i <g j if n only if thr xists pth twn th vrtx rprsnting g i n th vrtx rprsnting g j in th moving rul grph. This ls to th finl onstrint whih nsurs th moving pilitis. For ll 0 <i<j<k suh tht g i < < g j <g k n thr is no j suh tht g i <g j <g k, th onstrint M[i] M[k] M[j]. Ths onstrints n sily gnrt with th hlp of th moving rul grph. Exmpl 7: Givn th moving rul grph in Fig. 9, th xtrt onstrints r s follows: M[1] M[7] M[2] M[1] M[7] M[5] M[1] M[7] M[6] M[1] M[6] M[4] M[1] M[4] M[3] M[3] M[7] M[6] M[3] M[6] M[4] M[4] M[7] M[6] V. EXPERIMENTAL RESULTS Th propos pproh hs n implmnt in C++. In orr to r th rvrsil iruits s wll s th tmplts, w us th opn sour toolkit for rvrsil iruit sign RvKit [24]. Th SMT prolm, i.. th tmplt mthing prolm is no using th mtsmt [25] frmwork whih provis th us of SAT n SMT solvrs irtly ovr its API through th lngug. Diffrnt solvrs n us within th mtsmt frmwork, for our xprimnts th Booltor [21] SMT solvr turns out to th most ffiint on. Th pproh hs n vlut on Dul-Cor AMD Prossor with 4 GB of min mmory. W us iruits provi in RvLi [26] s nhmrks. W hv ompr our pproh to th on propos in [9] n us th sm st of tmplts tht is prsnt in th work. Tl I summrizs th otin rsults for th onut xprimnts. Th first thr olumns giv th nm of th initil not optimiz iruits s wll s its numr of gts n quntum ost (QC). In th following olumns, th otin rsults for th huristi tmplt mthing pproh n th propos pproh r prsnt. For h th rsulting numr of gts, th quntum ost, th run-tim, n th improvmnt ompr to th initil iruit is givn (Impr/IC). For th propos pproh itionlly th improvmnt ompr to th huristi pproh is list (Impr/HTM). Consiring quntum ost, for most of th iruits signifint ost rution n sn whn pplying th nw pproh. Applying th huristi pproh rus th quntum osts y roun 29.14% whn onsiring ll iruits. It is lrly osrv tht ths rsults n improv whn pplying th pproh s on Booln stisfiility. Th propos pproh ls to n itionl ost rutions of 11.42% on vrg n 27.46% in th st s. Th rsults lrly onfirm th impt of th xhustiv srh to th iruit osts. Th fft is in prtiulr osrvl for lrg iruits. Huristi tmplt mthing is lry tim onsuming pross. Howvr, s it is shown, th nw pproh ns n normous omputtion tim ompr to th huristi mtho. This is xpt u to th ft tht th mth is trmin xhustivly y th SAT solvr, whih ns highr run-tim to provi th orrsponing nswr. VI. CONCLUSION In this ppr, nw srh mtho for pplying tmplts in th tmplt mthing lgorithm hs n propos. Inst of using huristis for mthing gts, th prolm is no into n instn of Booln stisfiility n thrfor nsurs n xhustiv xmintion of th srh sp. Th propos pproh ls to improvmnts in trms of iruit osts ompr to th huristi tmplt mthing pproh. Exprimntl rsults lrly onfirm ths improvmnts. REFERENCES [1] M. Nilsn n I. Chung, Quntum Computtion n Quntum Informtion. Cmrig Univ. Prss, [2] P. W. Shor, Algorithms for quntum omputtion: isrt logrithms n ftoring, Fountions of Computr Sin, pp , [3] L. M. K. Vnrsypn, M. Stffn, G. Bryt, C. S. Ynnoni, M. H. Shrwoo, n I. L. Chung, Exprimntl rliztion of Shor s quntum ftoring lgorithm using nulr mgnti rsonn, Ntur, vol. 414, p. 883, [4] R. Lnur, Irrvrsiility n ht gnrtion in th omputing pross, IBM J. Rs. Dv., vol. 5, p. 183, [5] C. H. Bnntt, Logil rvrsiility of omputtion, IBM J. Rs. Dv, vol. 17, no. 6, pp , [6] R. Cuyknll n D. R. Anrsn, Rvrsil optil omputing iruits, Optis Lttrs, vol. 12, no. 7, pp , [7] R. C. Mrkl, Rvrsil ltroni logi using swiths, Nnothnology, vol. 4, pp ,
6 TABLE I EXPERIMENTAL RESULTS Huristi Tmplt Mthing (HTM, [9]) SMT Bs Tmplt Mthing Bnh Gts QC Gts QC Tim Impr/IC Gts QC Tim Impr/IC Impr/HTM gt mo5mils gt j hw x hw mini-lu wr hw C sym hw sym hw C C hw m mx m m m hw m m m [8] K. Fzl, M. A. Thornton, n J. E. Ri, ESOP-s Toffoli gt s gnrtion, in IEEE Pifi Rim Confrn on Communitions, Computrs n Signl Prossing, 2007, pp [9] D. M. Millr, D. Mslov, n G. W. Duk, A trnsformtion s lgorithm for rvrsil logi synthsis, in Dsign Automtion Conf., 2003, pp [10] R. Will n R. Drhslr, BDD-s synthsis of rvrsil logi for lrg funtions, in Dsign Automtion Conf., 2009, pp [11] M. Sokn, R. Will, C. Ottrstt, n R. Drhslr, A synthsis flow for squntil rvrsil iruits, in Int l Symp. on Multi-Vlu Logi, 2012, pp [12] R. Will n D. Groß, Fst xt Toffoli ntwork synthsis of rvrsil logi, in Int l Conf. on CAD, 2007, pp [13] M. Sokn, R. Will, G. W. Duk, n R. Drhslr, Winow optimiztion of rvrsil n quntum iruits, in IEEE Symp. on Dsign n Dignostis of Eltroni Ciruits n Systms, 2010, pp [14] E. F. Frkin n T. Toffoli, Consrvtiv logi, Intrntionl Journl of Thortil Physis, vol. 21, no. 3/4, pp , [15] A. Prs, Rvrsil logi n quntum omputrs, Phys. Rv. A, no. 32, pp , [16] T. Toffoli, Rvrsil omputing, in Automt, Lngugs n Progrmming, W. Bkkr n J. vn Luwn, Es. Springr, 1980, p. 632, thnil Mmo MIT/LCS/TM-151, MIT L. for Comput. Si. [17] A. Brno, C. H. Bnntt, R. Clv, D. DiVinhnzo, N. Mrgolus, P. Shor, T. Sltor, J. Smolin, n H. Winfurtr, Elmntry gts for quntum omputtion, Th Amrin Physil Soity, vol. 52, pp , [18] C. W. Brrtt, R. Sstini, S. A. Sshi, n C. Tinlli, Stisfiility moulo thoris, in Hnook of Stisfiility, 2009, pp [19] L. M. Mour n N. Bjørnr, Z3: An ffiint SMT solvr, in Tools n Algorithms for th Constrution n Anlysis of Systms, 2008, pp [20] R. Bruttomsso, A. Cimtti, A. Frnzén, A. Griggio, n R. Sstini, Th MthSAT 4 SMT solvr, in Computr Ai Vrifition, 2008, pp [21] R. Brummyr n A. Bir, Booltor: An ffiint SMT solvr for it-vtors n rrys, in Tools n Algorithms for th Constrution n Anlysis of Systms, 2009, pp [22] R. Will, G. Fy, D. Groß, S. Eggrsglüß, n R. Drhslr, SWORD: A SAT lik provr using wor lvl informtion, in VLSI of Systmon-Chip, 2007, pp [23] N. Sott, G. Duk, n D. Mslov, Improving tmplt mthing for minimizing rvrsil toffoli ss, in Int l R-Mullr Workshop, [24] M. Sokn, S. Frhs, R. Will, n R. Drhslr, RvKit: An Opn Sour Toolkit for th Dsign of Rvrsil Ciruits, in Rvrsil Computtion 2011, sr. Ltur Nots in Computr Sin, vol. 7165, 2012, pp , RvKit is vill t [25] F. Hik, S. Frhs, G. Fy, D. Groß, n R. Drhslr, mtsmt: Fous on Your Applition not on Solvr Intgrtion, in Int l Workshop on Dsign n Implmnttion of Forml Tools n Systms, [26] R. Will, D. Groß, L. Tur, G. W. Duk, n R. Drhslr, RvLi: n onlin rsour for rvrsil funtions n rvrsil iruits, in Int l Symp. on Multi-Vlu Logi, 2008, pp , RvLi is vill t
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines
Ruing th Dpth of Quntum Ciruits Using Aitionl Ciruit Lins Nil Assi 1, Rort Will 1,2, Mthis Sokn 1,2, n Rolf Drhslr 1,2 1 Institut of Computr Sin, Univrsity of Brmn Group of Computr Arhittur, D-28359 Brmn,
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 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 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 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 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 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 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 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 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 informationCOMPLEXITY OF COUNTING PLANAR TILINGS BY TWO BARS
OMPLXITY O OUNTING PLNR TILINGS Y TWO RS KYL MYR strt. W show tht th prolm o trmining th numr o wys o tiling plnr igur with horizontl n vrtil r is #P-omplt. W uil o o th rsults o uquir, Nivt, Rmil, n Roson
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 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 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 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 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 information12. Traffic engineering
lt2.ppt S-38. Introution to Tltrffi Thory Spring 200 2 Topology Pths A tlommunition ntwork onsists of nos n links Lt N not th st of nos in with n Lt J not th st of nos in with j N = {,,,,} J = {,2,3,,2}
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 information0.1. Exercise 1: the distances between four points in a graph
Mth 707 Spring 2017 (Drij Grinrg): mitrm 3 pg 1 Mth 707 Spring 2017 (Drij Grinrg): mitrm 3 u: W, 3 My 2017, in lss or y mil (grinr@umn.u) or lss S th wsit or rlvnt mtril. Rsults provn in th nots, or in
More informationRegister Allocation. Register Allocation. Principle Phases. Principle Phases. Example: Build. Spills 11/14/2012
Rgistr Allotion W now r l to o rgistr llotion on our intrfrn grph. W wnt to l with two typs of onstrints: 1. Two vlus r liv t ovrlpping points (intrfrn grph) 2. A vlu must or must not in prtiulr rhitturl
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 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 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 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 informationSection 10.4 Connectivity (up to paths and isomorphism, not including)
Toy w will isuss two stions: Stion 10.3 Rprsnting Grphs n Grph Isomorphism Stion 10.4 Conntivity (up to pths n isomorphism, not inluing) 1 10.3 Rprsnting Grphs n Grph Isomorphism Whn w r working on n lgorithm
More informationSimilarity Search. The Binary Branch Distance. Nikolaus Augsten.
Similrity Srh Th Binry Brnh Distn Nikolus Augstn nikolus.ugstn@sg..t Dpt. of Computr Sins Univrsity of Slzurg http://rsrh.uni-slzurg.t Vrsion Jnury 11, 2017 Wintrsmstr 2016/2017 Augstn (Univ. Slzurg) Similrity
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 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 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 informationCS 461, Lecture 17. Today s Outline. Example Run
Prim s Algorithm CS 461, Ltur 17 Jr Si Univrsity o Nw Mxio In Prim s lgorithm, th st A mintin y th lgorithm orms singl tr. Th tr strts rom n ritrry root vrtx n grows until it spns ll th vrtis in V At h
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 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 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 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 informationThe University of Sydney MATH2969/2069. Graph Theory Tutorial 5 (Week 12) Solutions 2008
Th Univrsity o Syny MATH2969/2069 Grph Thory Tutoril 5 (Wk 12) Solutions 2008 1. (i) Lt G th isonnt plnr grph shown. Drw its ul G, n th ul o th ul (G ). (ii) Show tht i G is isonnt plnr grph, thn G is
More informationNumbering Boundary Nodes
Numring Bounry Nos Lh MBri Empori Stt Univrsity August 10, 2001 1 Introution Th purpos of this ppr is to xplor how numring ltril rsistor ntworks ffts thir rspons mtrix, Λ. Morovr, wht n lrn from Λ out
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 informationQUESTIONS BEGIN HERE!
Points miss: Stunt's Nm: Totl sor: /100 points Est Tnnss Stt Univrsity Dprtmnt of Computr n Informtion Sins CSCI 710 (Trnoff) Disrt Struturs TEST for Fll Smstr, 00 R this for strtin! This tst is los ook
More informationDesign Optimization Based on Diagnosis Techniques
Dsign Optimiztion Bs on Dignosis Thniqus Anrs Vnris Mgy S. Air Irhim N. Hjj Univrsity of Toronto Motorol Univrsity of Illinois ECE Dprtmnt 77 W. Prmr ECE Dprtmnt n CSL Toronto, ON M5S 34 Austin, T 78729
More informationCycles and Simple Cycles. Paths and Simple Paths. Trees. Problem: There is No Completely Standard Terminology!
Outlin Computr Sin 331, Spnnin, n Surphs Mik Joson Dprtmnt o Computr Sin Univrsity o Clry Ltur #30 1 Introution 2 3 Dinition 4 Spnnin 5 6 Mik Joson (Univrsity o Clry) Computr Sin 331 Ltur #30 1 / 20 Mik
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 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 informationNew challenges on Independent Gate FinFET Transistor Network Generation
Nw hllngs on Inpnnt Gt FinFET Trnsistor Ntwork Gnrtion Viniius N. Possni, Anré I. Ris, Rnto P. Ris, Flip S. Mrqus, Lomr S. Ros Junior Thnology Dvlopmnt Cntr, Frl Univrsity o Plots, Plots, Brzil Institut
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 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 informationPlanar Upward Drawings
C.S. 252 Pro. Rorto Tmssi Computtionl Gomtry Sm. II, 1992 1993 Dt: My 3, 1993 Sri: Shmsi Moussvi Plnr Upwr Drwings 1 Thorm: G is yli i n only i it hs upwr rwing. Proo: 1. An upwr rwing is yli. Follow th
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 informationA 4-state solution to the Firing Squad Synchronization Problem based on hybrid rule 60 and 102 cellular automata
A 4-stt solution to th Firing Squ Synhroniztion Prolm s on hyri rul 60 n 102 llulr utomt LI Ning 1, LIANG Shi-li 1*, CUI Shung 1, XU Mi-ling 1, ZHANG Ling 2 (1. Dprtmnt o Physis, Northst Norml Univrsity,
More informationUsing the Printable Sticker Function. Using the Edit Screen. Computer. Tablet. ScanNCutCanvas
SnNCutCnvs Using th Printl Stikr Funtion On-o--kin stikrs n sily rt y using your inkjt printr n th Dirt Cut untion o th SnNCut mhin. For inormtion on si oprtions o th SnNCutCnvs, rr to th Hlp. To viw th
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 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 informationAnnouncements. Not graphs. These are Graphs. Applications of Graphs. Graph Definitions. Graphs & Graph Algorithms. A6 released today: Risk
Grphs & Grph Algorithms Ltur CS Spring 6 Announmnts A6 rls toy: Risk Strt signing with your prtnr sp Prlim usy Not grphs hs r Grphs K 5 K, =...not th kin w mn, nywy Applitions o Grphs Communition ntworks
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 informationAnalysis for Balloon Modeling Structure based on Graph Theory
Anlysis for lloon Moling Strutur bs on Grph Thory Abstrt Mshiro Ur* Msshi Ym** Mmoru no** Shiny Miyzki** Tkmi Ysu* *Grut Shool of Informtion Sin, Ngoy Univrsity **Shool of Informtion Sin n Thnology, hukyo
More informationA Low Noise and Reliable CMOS I/O Buffer for Mixed Low Voltage Applications
Proings of th 6th WSEAS Intrntionl Confrn on Miroltronis, Nnoltronis, Optoltronis, Istnul, Turky, My 27-29, 27 32 A Low Nois n Rlil CMOS I/O Buffr for Mix Low Voltg Applitions HWANG-CHERNG CHOW n YOU-GANG
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 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 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 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 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 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 informationQUESTIONS BEGIN HERE!
Points miss: Stunt's Nm: Totl sor: /100 points Est Tnnss Stt Univrsity Dprtmnt o Computr n Inormtion Sins CSCI 2710 (Trno) Disrt Struturs TEST or Sprin Smstr, 2005 R this or strtin! This tst is los ook
More informationProperties of Hexagonal Tile local and XYZ-local Series
1 Proprtis o Hxgonl Til lol n XYZ-lol Sris Jy Arhm 1, Anith P. 2, Drsnmik K. S. 3 1 Dprtmnt o Bsi Sin n Humnitis, Rjgiri Shool o Enginring n, Thnology, Kkkn, Ernkulm, Krl, Ini. jyjos1977@gmil.om 2 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 informationTrees as operads. Lecture A formalism of trees
Ltur 2 rs s oprs In this ltur, w introu onvnint tgoris o trs tht will us or th inition o nroil sts. hs tgoris r gnrliztions o th simpliil tgory us to in simpliil sts. First w onsir th s o plnr trs n thn
More informationPage 1. Question 19.1b Electric Charge II Question 19.2a Conductors I. ConcepTest Clicker Questions Chapter 19. Physics, 4 th Edition James S.
ConTst Clikr ustions Chtr 19 Physis, 4 th Eition Jms S. Wlkr ustion 19.1 Two hrg blls r rlling h othr s thy hng from th iling. Wht n you sy bout thir hrgs? Eltri Chrg I on is ositiv, th othr is ngtiv both
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 informationECE 407 Computer Aided Design for Electronic Systems. Circuit Modeling and Basic Graph Concepts/Algorithms. Instructor: Maria K. Michael.
0 Computr i Dsign or Eltroni Systms Ciruit Moling n si Grph Conptslgorithms Instrutor: Mri K. Mihl MKM - Ovrviw hviorl vs. Struturl mols Extrnl vs. Intrnl rprsnttions Funtionl moling t Logi lvl Struturl
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 informationThe Plan. Honey, I Shrunk the Data. Why Compress. Data Compression Concepts. Braille Example. Braille. x y xˆ
h ln ony, hrunk th t ihr nr omputr in n nginring nivrsity of shington t omprssion onpts ossy t omprssion osslss t omprssion rfix os uffmn os th y 24 2 t omprssion onpts originl omprss o x y xˆ nor or omprss
More informationDesigning A Concrete Arch Bridge
This is th mous Shwnh ri in Switzrln, sin y Rort Millrt in 1933. It spns 37.4 mtrs (122 t) n ws sin usin th sm rphil mths tht will monstrt in this lsson. To pro with this lsson, lik on th Nxt utton hr
More informationWalk Like a Mathematician Learning Task:
Gori Dprtmnt of Euction Wlk Lik Mthmticin Lrnin Tsk: Mtrics llow us to prform mny usful mthmticl tsks which orinrily rquir lr numbr of computtions. Som typs of problms which cn b on fficintly with mtrics
More informationA Graph-Based Synthesis Algorithm for AND/XOR Networks 1. Yibin Ye Kaushik Roy. a minimum ESOP of a function except for those with
A Grph-Bs Synthsis Algorithm or AND/XOR Ntworks Yibin Y Kushik Roy Shool o Eltril n Computr Enginring Puru Univrsity, Wst Lytt, IN 4797-285, USA Abstrt In this ppr, w introu Shr Multipl Root XORbs Domposition
More informationClustering for Processing Rate Optimization
Clustring for Prossing Rt Optimiztion Chun Lin, Ji Wng, n Hi Zhou Eltril n Computr Enginring Northwstrn Univrsity Evnston, IL 60208 Astrt Clustring (or prtitioning) is ruil stp twn logi synthsis n physil
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 information16.unified Introduction to Computers and Programming. SOLUTIONS to Examination 4/30/04 9:05am - 10:00am
16.unii Introution to Computrs n Prormmin SOLUTIONS to Exmintion /30/0 9:05m - 10:00m Pro. I. Kristin Lunqvist Sprin 00 Grin Stion: Qustion 1 (5) Qustion (15) Qustion 3 (10) Qustion (35) Qustion 5 (10)
More informationNP-Completeness. CS3230 (Algorithm) Traveling Salesperson Problem. What s the Big Deal? Given a Problem. What s the Big Deal? What s the Big Deal?
NP-Compltnss 1. Polynomil tim lgorithm 2. Polynomil tim rution 3.P vs NP 4.NP-ompltnss (som slis y P.T. Um Univrsity o Txs t Dlls r us) Trvling Slsprson Prolm Fin minimum lngth tour tht visits h ity on
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 informationA comparison of routing sets for robust network design
A omprison of routing sts for roust ntwork sign Mihl Poss Astrt Dsigning ntwork l to rout st of non-simultnous mn vtors is n importnt prolm rising in tlommunitions. Th prolm n sn two-stg roust progrm whr
More informationFundamental Algorithms for System Modeling, Analysis, and Optimization
Fundmntl Algorithms for Sstm Modling, Anlsis, nd Optimiztion Edwrd A. L, Jijt Rohowdhur, Snjit A. Sshi UC Brkl EECS 144/244 Fll 2011 Copright 2010-11, E. A. L, J. Rohowdhur, S. A. Sshi, All rights rsrvd
More informationRegister Allocation. How to assign variables to finitely many registers? What to do when it can t be done? How to do so efficiently?
Rgistr Allotion Rgistr Allotion How to ssign vrils to initly mny rgistrs? Wht to o whn it n t on? How to o so iintly? Mony, Jun 3, 13 Mmory Wll Disprity twn CPU sp n mmory ss sp improvmnt Mony, Jun 3,
More informationEfficient Broadcast in MANETs Using Network Coding and Directional Antennas
Effiint Brost in MANETs Using Ntwork Coing n Dirtionl Antnns Shuhui Yng Dprtmnt of Computr Sin Rnsslr Polythni Institut Troy, NY 28 Ji Wu n Mihl Cri Dprtmnt of Computr Sin n Enginring Flori Atlnti Univrsity
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 informationDUET WITH DIAMONDS COLOR SHIFTING BRACELET By Leslie Rogalski
Dut with Dimons Brlt DUET WITH DIAMONDS COLOR SHIFTING BRACELET By Lsli Roglski Photo y Anrw Wirth Supruo DUETS TM from BSmith rt olor shifting fft tht mks your work tk on lif of its own s you mov! This
More informationLayout Decomposition for Quadruple Patterning Lithography and Beyond
Lyout Domposition for Qurupl Pttrning Lithogrphy n Byon Bi Yu ECE Dprtmnt Univrsity of Txs t Austin, Austin, TX i@r.utxs.u Dvi Z. Pn ECE Dprtmnt Univrsity of Txs t Austin, Austin, TX pn@.utxs.u ABSTRACT
More informationOutline. Binary Tree
Outlin Similrity Srh Th Binry Brnh Distn Nikolus Austn nikolus.ustn@s..t Dpt. o Computr Sins Univrsity o Slzur http://rsrh.uni-slzur.t 1 Binry Brnh Distn Binry Rprsnttion o Tr Binry Brnhs Lowr Boun or
More informationMulti-Way VLSI Circuit Partitioning Based on Dual Net Representation
Multi-Wy VLSI Ciruit Prtitioning Bs on Dul Nt Rprsnttion Json Cong Dprtmnt of Computr Sin Univrsity of Cliforni, Los Angls, CA 90024 Wilurt Lio n Nrynn Shivkumr Dprtmnt of Computr Sin Stnfor Univrsity,
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 information5/7/13. Part 10. Graphs. Theorem Theorem Graphs Describing Precedence. Outline. Theorem 10-1: The Handshaking Theorem
Thorm 10-1: Th Hnshkin Thorm Lt G=(V,E) n unirt rph. Thn Prt 10. Grphs CS 200 Alorithms n Dt Struturs v V (v) = 2 E How mny s r thr in rph with 10 vrtis h of r six? 10 * 6 /2= 30 1 Thorm 10-2 An unirt
More informationComputational Biology, Phylogenetic Trees. Consensus methods
Computtionl Biology, Phylognti Trs Consnsus mthos Asgr Bruun & Bo Simonsn Th 16th of Jnury 2008 Dprtmnt of Computr Sin Th univrsity of Copnhgn 0 Motivtion Givn olltion of Trs Τ = { T 0,..., T n } W wnt
More informationAquauno Video 6 Plus Page 1
Connt th timr to th tp. Aquuno Vio 6 Plus Pg 1 Usr mnul 3 lik! For Aquuno Vio 6 (p/n): 8456 For Aquuno Vio 6 Plus (p/n): 8413 Opn th timr unit y prssing th two uttons on th sis, n fit 9V lklin ttry. Whn
More informationtemporally share the same FPGA Large circuit PI s micro-cycle one user cycle PO s
Ciruit Prtitioning for Dynmilly Rongurl FPGAs Huiqun Liu n D. F. Wong Dprtmnt of Computr Sins Unirsity of Txs t Austin Austin, T 787 Emil: fhqliu, wongg@s.utxs.u Astrt Dynmilly rongurl FPGAs h th potntil
More informationGraph Contraction and Connectivity
Chptr 17 Grph Contrtion n Conntivity So r w hv mostly ovr thniqus or solving prolms on grphs tht wr vlop in th ontxt o squntil lgorithms. Som o thm r sy to prllliz whil othrs r not. For xmpl, w sw tht
More informationMultipoint Alternate Marking method for passive and hybrid performance monitoring
Multipoint Altrnt Mrkin mtho or pssiv n hyri prormn monitorin rt-iool-ippm-multipoint-lt-mrk-00 Pru, Jul 2017, IETF 99 Giuspp Fiool (Tlom Itli) Muro Coilio (Tlom Itli) Amo Spio (Politnio i Torino) Riro
More informationMore Foundations. Undirected Graphs. Degree. A Theorem. Graphs, Products, & Relations
Mr Funtins Grphs, Pruts, & Rltins Unirt Grphs An unirt grph is pir f 1. A st f ns 2. A st f gs (whr n g is st f tw ns*) Friy, Sptmr 2, 2011 Ring: Sipsr 0.2 ginning f 0.4; Stughtn 1.1.5 ({,,,,}, {{,}, {,},
More informationa 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 informationAnnouncements. These are Graphs. This is not a Graph. Graph Definitions. Applications of Graphs. Graphs & Graph Algorithms
Grphs & Grph Algorithms Ltur CS Fll 5 Announmnts Upoming tlk h Mny Crrs o Computr Sintist Or how Computr Sin gr mpowrs you to o muh mor thn o Dn Huttnlohr, Prossor in th Dprtmnt o Computr Sin n Johnson
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 informationOn the Protection of Multicast Trees in All Optical Networks Using the NEPC Strategy
On th rottion of Multist Trs in All Optil Ntworks Using th NEC Strtgy Miklós Molnár To it this vrsion: Miklós Molnár. On th rottion of Multist Trs in All Optil Ntworks Using th NEC Strtgy. RR-11022, 2011.
More informationPartitioning Algorithms. UCLA Department of Computer Science, Los Angeles, CA y Cadence Design Systems, Inc., San Jose, CA 95134
On Implmnttion Chois for Itrtiv Improvmnt Prtitioning Algorithms Lrs W. Hgn y, Dnnis J.-H. Hung n Anrw B. Khng UCLA Dprtmnt of Computr Sin, Los Angls, CA 90024-1596 y Cn Dsign Systms, In., Sn Jos, CA 95134
More information