Recursive neural networks for object detection

Size: px
Start display at page:

Download "Recursive neural networks for object detection"

Transcription

1 Rursiv nurl ntworks for ojt ttion M. inhini, M. Mggini, L. Srti,. Srslli iprtimnto i Inggnri ll Informzion Univrsità gli Stui i Sin Vi Rom, Sin (Itly) -mil: {moni,mggini,srti,frno}@ii.unisi.it strt In this ppr, nw rursiv nurl ntwork mol, l to pross irt yli grphs with ll gs, is introu, in orr to rss th prolm of ojt ttion in imgs. In ft, th ttion is prliminry stp in ny ojt rognition systm. Th propos mtho ssums grph s rprsnttion of imgs, tht omins oth sptil n visul fturs. In prtiulr, ftr sgmnttion, n g twn two nos stns for th jny rltionship of two homognous rgions, th g ll ollts informtion on thir rltiv positions, whrs no lls ontin visul n gomtri informtion on h rgion (r, olor, txtur, t.). Suh grphs r thn pross y th rursiv mol in orr to trmin th vntul prsn n th position of ojts insi th img. Som xprimnts on f ttion, rri out on sns quir y n inoor mr, r rport, showing vry promising rsults. Th propos thniqu is gnrl n n ppli in iffrnt ojt ttion systms, sin it os not inlu ny priori knowlg on th prtiulr prolm. I. INTROUTION Rntly, thr hs n growth of intrst in ojt ttion mols, whih must inhrntly roust to th wi vritions tht r osrv in nturl imgs. In ft, th gnrl prolm of ojt ttion is vry hllnging tsk, sin th ojt ttion systm is rquir to istinguish prtiulr lss of ojts from ll othr ojts rprsnt in th imgs. Th iffiulty of this tsk lis in th finition of gnrl mol of th ojt lss to tt, whih hs high intr lss n low intr lss vriility. n ojt ttion systm shoul l to loliz ojts whih n vry thir pprn w.r.t. light onitions, orinttion, n imnsion. urthrmor, th ojts n prtilly olu or n lnt in with th kgroun. Ojt ttion mthos n lssifi in four min tgoris [1]: Knowlg s; tur invrint; Tmplt mthing; pprn s. Knowlg s mthos xploit th humn knowlg on th srh ojts n us som ruls in orr to sri th ojt mols. Thos ruls r thn us to tt n loliz ojts tht mth th prfin mols. Inst, th im of ftur invrint pprohs [2], [3] is to fin st of fturs tht r invrint w.r.t. ojt orinttion, light onitions, imnsion, t. Tmplt mthing mthos stor svrl pttrns of ojts n sri h pttrn y visul n gomtril fturs. Th orrltion mong n input img n th stor pttrns is omput for tting ojts [4]. inlly, in pprn s mthos, mhin lrning thniqus r xploit to lrn tmplts y xmpls [5], [6], [7]. In this ppr w prsnt nw pprn s mtho tht uss Rursiv Nurl Ntworks (RNNs). Th novlty of th pproh onsists in rprsnting imgs y grphs with ll gs. Suh grphs r thn trnsform into forsts of trs n pross y nw RNN mol l to l with struturs with ll gs. Th propos mtho os not us ny priori or huristi informtion on th ojt mols n n usful to tt ojts unr ny illumintion, orinttion, n position. Th ppr is orgniz s follows. In th nxt stion, som nottion is introu. Th nw RNN mol is prsnt in Stion III, whil Stion IV sris th grph s rprsnttion of imgs. In Stion V som xprimntl rsults on f ttion tsk r rport, n, finlly, Stion VI ollts som onlusions. II. NOTTION Lt G = (V,, L) irt grph, whr V is th st of nos, V V rprsnts th st of rs, n L : V L v is lling funtion, ing L v R m finit st of lls. Givn ny no v V, p[v] is th st of th prnts of v, whil h[v] rprsnts th st of its hilrn. Th outgr of v, o[v], is th rinlity of h[v], n o = mx v o[v] is th mximum outgr. h no stors st of omin vrils into ll. Th prsn of n g (v, w) in ll grph stns for th xistn of usl link twn th lls of v n w. Morovr, for rursiv prossing, G shoul hv suprsour, i.. no s V with no inoming gs, n from whih ny othr no in V n rh. Th suprsour s my vntully following th lgorithm in [8]. In this ppr, w onsir th lss of irt yli Grphs (Gs), whr prtil orring n fin on, suh tht v w if v is onnt to w y irt pth. irt Positionl yli Grphs (PGs), for whih rursiv ntworks wr originlly fin, r sulss of Gs, whr n injtiv funtion o v : h[v] {1,..., o} ssigns position o v () to h hil of no v. Thrfor, PG is rprsnt y th tupl (V,, L, O), whr O =

2 {o 1,..., o V } is th st of funtions fining th position of th hilrn for h no. inlly, th finition of th lss of Gs with Ll gs (Gs L) rquirs th introution of n itionl g lling funtion, suh tht G = (V,, L, ), whr : L, n L is finit sust of R k. Th prsn of n g ll introus som smntil ontnts into th link twn two nos. III. RURSIV NURL NTWORKS OR PROSSING GS L Rursiv nurl ntworks wr originlly propos to pross PGs [9], [10], [8]. In this s, th stt trnsition funtion f, omput y n RNN, pns on th orr of th hilrn of h no, sin th stt of h hil oupis prtiulr position in th list of th rgumnts of f. In orr to ovrom suh limittion, in [11], wight shring pproh ws sri, l to rlx th orr onstrint, n to vis nurl ntwork rhittur suit for Gs with oun outgr. In ft, th wight shring thniqu nnot ppli to Gs with lrg outgr o, u to th ftoril growth in th ntwork prmtrs w.r.t. o. vn if th mximum outgr n oun, for instn y pruning thos onntions tht r huristilly lssifi s lss informtiv, nvrthlss som importnt informtion my isr in suh prprossing phs. On th othr hn, oth th orring onstrint n th oun on th mximum outgr n rmov whn onsiring Gs L [12]. In ft, for Gs L, stt trnsition funtion f n fin whih hs not prfin numr of rgumnts n tht os not pn on thir orr. Th iffrnt ontriution of h hil pns on th ll tth to th orrsponing g. t h no v, th totl ontriution X(h[v]) R p of th stt of its hilrn is omput s X(h[v]) = 1 h[v] k j L (j) h[v] (v,h i[v]) X hi[v] j=1 (1) whr L (v,hi[v]) R k is th ll tth to th g (v, h i [v]), n R p,n,k is th wight mtrix. In prtiulr, j R p,n is th j th lyr of mtrix n L (j) (v,h i[v]) is th j th omponnt of th g ll. inlly, th stt t no v is omput y two lyr prptron with linr outputs, s X v = f(x(h[v]), U v, θ f ) = V σ(x(h[v])+u v +)+ (2) whr θ f ollts R q,p, R q,m, R q, R n, n V R n,q, ing q th numr of hin units. t th suprsour, lso n output funtion is vlut y fforwr ntwork, Y s = g(x s, θ s ) = W σ(x s + ) + G with R q,n, R q, G R r, n W R r,q. Strting from qs. (1) n (2), n MLP implmnttion of th rursiv ntwork n riv, simply rwriting q. (1) Rursiv Ntwork for Gs L g f W 1 V 2 G k r nurons q nurons n nurons q nurons p nurons ig. 1. n MLP implmnttion of th rursiv ntwork. Gry lyrs r sigmoil, whrs whit lyrs r linr in oth th fforwr ntworks. s X(h[v]) = 1 h[v] k j=1 j h[v] L (j) (v,h X i[v]) h i[v] (3) Thrfor, q. (3) suggsts tht th ontriution of th hilrn of h no to its stt n omput using thr lyr prptron with k inputs h[v] L (j) (v,h X i[v]) h i[v], j = 1,..., k, n with j s input to hin wight mtris. Th son hin lyr n th output lyr rmin unhng n thir ontriution to th lultion is sri y q. (2) (s ig. 1). Rmrk: In th mor gnrl s, X(h[v]) my omput using nonlinr funtion φ : R (n+k) R p, pning on st of prmtrs θ φ : X(h[v]) = 1 h[v] h[v] φ(x hi[v], L (v,hi[v]), θ φ ) Morovr, it is worth noting tht, vn if th g lls inrs th smntil ontnt tth to th links, thy n lso us to oify th orr rltionship. In ft, h PG n rprsnt y G L. In prtiulr, in [13], it ws prov tht for ny PG G n ny stnr rursiv nurl ntwork RNN with trnsition funtion f, thr xists G L L n n RNN L, with trnsition funtion f suh tht f(g) = f(l). s irt onsqun, th novl rursiv rhittur mintins th univrsl pproximtion pilitis on th st of PGs. inlly, sin ny G n rprsnt with PG, y ssigning n ritrry position to h hil, th ov pproximtion proprty n lso xtn to Gs. IV. T GRP S RPRSNTTION O IMGS Our ojt ttion mtho ssums grph-s rprsnttion of imgs. Thus, in orr to sri our pproh, w n to introu th prprossing phs tht llow us to rprsnt h img y G L.

3 irst of ll, h img is sgmnt in orr to otin st of istint rgions. h rgion hs homognous ontnt w.r.t. som visul fturs. Th sgmnttion mtho w us is s on olor informtion. Th fftivnss of olor s sgmnttion pprohs ws lry shown in [14], [15]. W ssum tht imgs r rprsnt in th RG (R, Grn, lu) olor sp. Our sgmnttion lgorithm prforms K mns lustring in this sp on th pixls longing to th imgs, s on th ulin istn. t th n of th lustring, rgion growing prour is rri out to ru th numr of rgions. suitl hoi of th K initil pixls whih orrspon to th ntrois of th initil lustrs, n n pproprit rgion growing poliy, llow to otin n invrint st of rgions w.r.t. oth rottion n trnsltion. Th sgmnttion pross yils st of rgions. h rgion n sri y vtor of rl vlu fturs whih ollt gomtril n visul informtion. On th othr hn, th struturl informtion rlt to th jny rltionship mong rgions n o y n unirt grph with ll gs. Stritly spking, th Rgion jny Grph with Ll gs (RG L) is xtrt from th sgmnt img y: () () () () ig. 2. Th originl img (), th sgmnt img (), n th xtrt RG L (,). 1) ssoiting no to h rgion. Th rl vtor of fturs rprsnts th no ll; 2) Linking th nos ssoit to jnt rgions with unirt gs; 3) tthing rl vtor of fturs to h g of th grph. Th vtor sris th mutul position of th two jnt rgions. In orr to st up lrning nvironmnt, trgt qul to 1 is tth to h no of RGs L tht orrspon to prt of th ojt in whih w r intrst, whrs trgt qul to 0 is tth othrwis. In ig. 2, th RG L xtrtion is summriz. In this xmpl, w wnt to loliz th r toy r. Th lk nos orrspon to prts of th toy r n hv trgt 1, whil whit nos orrspon to prts of othr ojts n hv trgt 0. Our ojt ttion softwr provis visul intrf to tg th rgions tht orrspon to th ojt or not (s ig. 3). Sin th RNN mol sri in Stion III n pross only Gs L, h RG L must trnsform into irt yli grph. Th trnsformtion prour tks RG L R, long with slt no n, s input, n prous tr T hving n s its root. Th mtho must rpt for h no of th RG L, or, mor prtilly, for rnom st of nos. It n prov tht th forst of trs uilt from R is rursiv quivlnt to R, tht is th RNN hvior is th sm ithr if th ntwork prosss R or if it prosss th forst of trs [16], [17]. Th first stp of th prour is prprossing phs tht trnsforms R into irt RG L G, y ssuming tht pir of irt rs rpls h unirt g. h r in th pir is ssign th sm ll s th originl unirt g. G is unfol into T y th following lgorithm: ig. 3. Th visul intrf us to rt th lrning nvironmnt. 1) Insrt opy of n in T ; 2) Visit G, strting from n, using rth first strtgy; for h visit no v, insrt opy of v into T, link v to its prnt no prsrving th informtion tth to h r; 3) Rpt stp 2 until prfin stop ritrion is stisfi, n, howvr, until ll rs hv n visit t lst on. 4) tth th trgt ssoit to n to th root no of t. If th rth first visit is hlt whn ll th rs hv n visit on, th miniml rursiv quivlnt tr is otin (Miniml Unfoling s ig 4()). owvr, iffrnt stop ritri n hosn. or xmpl, h r n visit

4 () Miniml Unfoling RG L () Proilisti Unfoling irt RG L () Rnom Unfoling ig. 4. Th trnsformtion from RG L to rursiv quivlnt tr. Th imnsion of th rursiv quivlnt tr pns on th stop ritrion hosn uring th unfoling of th irt RG L. on, thn stp 2 is rpt until stohsti vril x oms tru (Proilisti Unfoling s ig. 4()). Othrwis, th rth first visit n rpl with rnom visit (Rnom Unfoling s ig. 4()). nywy, h r must visit t lst on, in orr to gurnt th rursiv quivln twn R n T. V. XPRIMNTL RSULTS s s stuy, th xprimnttion prform to vlut th fftivnss of our pproh hs n fous on tting fs in imgs. owvr, Th propos mtho os not xploit ny priori informtion out th prtiulr ojt mol n, thrfor, is inpnnt of th prolm t hn. Th xprimntl tst ontins 500 imgs n 384 fs (h img ontins t most on f) n ws quir y n inoor mr, whih ws pl in front of oor. prson t tim wnt in through th oor n wlk until h/sh ws out of th mr y. h img orrspons to frm of th quir sn. W r intrst only in tting th f position, whrs no trking of th fs ws prform n no informtion riv y th movmnt of th ojt ws xploit. Th fs ppr in iffrnt orinttions n imnsions (s ig. V). Th imgs wr ivi in thr sts: trining st, ross vlition st, n tst st. oth th trining n th ross vlition sts ontin 100 imgs, whrs 300 imgs (199 fs) onstitut th tst st. h img ws sgmnt, prouing RG L. h no in th RG L stors ll tht sris som visul fturs (vrg olor, ouning ox oorints, ryntr ig. 5. Vriility of th f pprn in th tst. s vry w.r.t. imnsion n pos n n prtilly olu. Th imgs us to prform th xprimnttion wr provi y LSG S.p..; ll th imgs wr us stritly for rsrh purpos n r pulish unr lins of th rprou prsons. oorints, r, primtr, n momntum). Th mutul sptil position of two jnt rgions is rprsnt y th ll tth to th orrsponing g. Givn pir of jnt rgions i n j, th ll of th g (i, j) is rprsnt y th vtor [,,, ] (s ig. 6), whr: rprsnts th istn twn th two ryntrs; msurs th ngl twn th two prinipl inrtil xs; is th ngl twn th intrstion of th prinipl inrtil xis of i n th lin onnting th ryntrs; is th ngl twn th intrstion of th prinipl inrtil xis of j n th lin onnting th ryntrs. Susquntly, h RG L ws unfol using th Proilisti Unfoling Strtgy sri in Stion IV, whih ws mpirilly shown in th pst to th mor promising on [18]. Th irt RGs L wr otin omposing th lls tth to h g in th following wy: th ll [,, ] ws tth to th g from i to j; th ll [,, ] ws tth to th g from j to i. inlly, th RNN ws trin to prit whthr h no in th trs longs to f or not. Thn, using th trin RNN, fs wr loliz in givn img, prforming th following stps: 1) Th img is sgmnt n th orrsponing RG L is uilt; 2) Th RG L is unfol, prouing forst of trs; 3) h tr is pross y th trin RNN. Th ntwork prits whthr th root no of h tr is prt of f or not; 4) jnt rgions prit s prt of f r mrg togthr in orr to omput th minimum ouning oxs tht ontin th fs. 5) f is rogniz if th prit ouning ox quls th tru ouning ox. Noti tht, in th gnrl s of ojt ttion, if th numr of istint ojts whih must tt is qul to n, thn n RNNs must trin. h RNN is trin to loliz prts of singl ojt.

5 ig. 6. Rgion j Rgion i turs stor into th g ll. RNN RNN Rll Prision rhittur ury Rt on lyr 5 stt nurons 77.29% 85.22% 78.23% on lyr 10 stt nurons 83.62% 90.88% 85.33% on lyr 15 stt nurons 73.22% 79.85% 72.18% TL I RSULTS OTIN Y T PROPOS RSULT, VRYING T RNN RITTUR uring th xprimnttion, svrl rursiv nurl ntworks wr trin with th im of trmining th st rhittur. Th prformn hiv y som trin nurl ntworks r rport in Tl V. Th ury rt is th numr of rgions orrtly lssifi (s prt of f or not) ivi y th whol numr of rgions in th tst st, whil th rll n th prision rt r omput onsiring tt fs. f is onsir tt if, givn th prit n th orrsponing orrt ouning ox, th rtio omput iviing th intrstion of th ouning oxs y thir union is smllr thn prfin thrshol. In our xprimnts, this thrshol ws st to 90%. Gnrlly, th rll n th prision rt r grtr thn th ury rt. In ft, f n orrtly loliz vn if som prts of it r not orrtly lssifi. on lyr RNN with 10 stt nurons yils th st prformns. Th otin rsults n furthrly improv onsiring tht som fls fs orrspon to vry smll ouning oxs. ssuming tht f, or in gnrl n ojt, n not smllr thn prfin thrshol, this kin of rronous ttion n oun. owvr, this kin of post prossing ws not introu, in orr to vlut th gnrlity of our pproh. VI. ONLUSIONS In this ppr, w propos nw pprn s mtho for tting ojts in imgs, whih r rprsnt y Gs L. This pproh is invrint unr img trnsltions n rottions, u to th invrin of th grphil rprsnttion us. Th mtho lolizs th prts tht onstitut th ojts, using th lrning pility of nw rursiv nurl ntwork mol, l to l with Gs L. urthrmor, th ttion is prform without ny huristis or priori informtion on th spifi ojt mol. Th xprimntl rsults vlit th fftivnss of th propos pproh. KNOWLGMNT This rsrh ws rri out in ollortion with lsg S.p.. Gno Itly. RRNS [1] M.-. Yng, J. Krigmn, n N. huj, tting fs in imgs: survy, I Trnstions on Pttrn nlysis n Mhin Intllign, vol. 24, no. 1, pp , Jnury [2] S. MKnn, Y. Ry, n S. Gong, Trking olour ojts using ptiv mixtur mol, Img n Vision omputing, vol. 17, no. 3/4, pp , [3] T.K. Lung, M.. url, n P. Pron, Proilisti ffin invrints for rognition, in Proings I onfrn on omputr Vision n Pttrn Rognition, 1998, pp [4] P. Shin, Prossing n Rognizing 3 forms, Ph.. thsis, Msshustts Institut of Thnology, [5]. Shnirmn n T. Kn, sttistil mtho for 3 ojt ttion ppli to fs n rs, in Proings of I onfrn on omputr Vision n Pttrn Rognition, 2000, pp [6]. Ppgorgiou, M. Orn, n T. Poggio, gnrl frmwork for ojt ttion, in Proings of th 6th I Intrntionl onfrn on omputr Vision, 1998, pp [7]. Moghm n. Pntln, Proilisti visul lrning for ojt rognition, I Trnstion on Pttrn nlysis n Mhin Intllign, vol. 19, no. 7, pp , July [8]. Spruti n. Strit, Suprvis nurl ntworks for th lssifition of struturs, I Trnstions on Nurl Ntworks, vol. 8, pp , [9] P. rsoni, M. Gori, n. Spruti, gnrl frmwork for ptiv prossing of t struturs, I Trnstions on Nurl Ntworks, vol. 9, no. 5, pp , Sptmr [10]. Kühlr n. Gollr, Inutiv lrning in symoli omins using strutur rivn rurrnt nurl ntworks, in vns in rtifiil Intllign, G. Görz n S. öllolr, s., pp Springr, rlin, [11] M. inhini, M. Gori, n. Srslli, Prossing irt yli grphs with rursiv nurl ntworks, I Trnstions on Nurl Ntworks, vol. 12, no. 6, pp , [12] M. Gori, M. Mggini, n L. Srti, rursiv nurl ntwork mol for prossing irt yli grphs with ll gs, in Proings of th Intrntionl Joint onfrn on Nurl Ntworks, 2003, pp [13] M. inhini, M. Mggini, L. Srti, n. Srslli, Rursiv nurl ntworks for prossing grphs with lll gs, in Proings of SNN 2004, rugs (lgium), pril 2004, pp [14]. Wu, Q. hn, n M. Yhi, n pplition of fuzzy thory: ttion, in Intrntionl Workshop on utomti n Gstur Rognition, Zurih (Switzrln), Jun , pp [15] Y. i n Y. Nkno, xtrtion of fil imgs from omplx kgroun using olor informtion n sgl mtris, in Intrntionl Workshop on utomti n Gstur Rognition, Zurih (Switzrln), Jun , pp [16] M. inhini, M. Gori, n. Srslli, Rursiv prossing of yli grphs, I Intrntionl Joint onfrn on Nurl Ntworks, pp , [17] M. inhini, M. Gori, L. Srti, n. Srslli, kpropgtion through yli struturs, in LNI - I*I 2003: vn in rtifiil Intllign,. pplli n. Turini, s., Pis (Itly), Sptmr 2003, pp , LNS Springr. [18] M. inhini, P. Mzzoni, L. Srti, n. Srslli, spotting in olor imgs using rursiv nurl ntworks, in IPR - T3 Intrntionl Workshop on rtifiil Nurl Ntworks in Pttrn Rognition, M. Gori n S. Mrini, s., lorn (Itly), Sptmr 2003.

Module graph.py. 1 Introduction. 2 Graph basics. 3 Module graph.py. 3.1 Objects. CS 231 Naomi Nishimura

Module 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 information

Why the Junction Tree Algorithm? The Junction Tree Algorithm. Clique Potential Representation. Overview. Chris Williams 1.

Why 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

V={A,B,C,D,E} E={ (A,D),(A,E),(B,D), (B,E),(C,D),(C,E)}

V={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 information

, each of which is a tree, and whose roots r 1. , respectively, are children of r. Data Structures & File Management

, 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 information

CSC Design and Analysis of Algorithms. Example: Change-Making Problem

CSC 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 information

V={A,B,C,D,E} E={ (A,D),(A,E),(B,D), (B,E),(C,D),(C,E)}

V={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 information

An undirected graph G = (V, E) V a set of vertices E a set of unordered edges (v,w) where v, w in V

An 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 information

CSE 373: More on graphs; DFS and BFS. Michael Lee Wednesday, Feb 14, 2018

CSE 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 information

Constructive Geometric Constraint Solving

Constructive 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 information

Math 61 : Discrete Structures Final Exam Instructor: Ciprian Manolescu. You have 180 minutes.

Math 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

Paths. Connectivity. Euler and Hamilton Paths. Planar graphs.

Paths. 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 information

COMPLEXITY OF COUNTING PLANAR TILINGS BY TWO BARS

COMPLEXITY 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 information

CS61B Lecture #33. Administrivia: Autograder will run this evening. Today s Readings: Graph Structures: DSIJ, Chapter 12

CS61B 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 information

Exam 1 Solution. CS 542 Advanced Data Structures and Algorithms 2/14/2013

Exam 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 information

Algorithmic and NP-Completeness Aspects of a Total Lict Domination Number of a Graph

Algorithmic 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 information

Section 10.4 Connectivity (up to paths and isomorphism, not including)

Section 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 information

Graph 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

Graph 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 information

Similarity Search. The Binary Branch Distance. Nikolaus Augsten.

Similarity 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 information

Planar Upward Drawings

Planar 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 information

b. How many ternary words of length 23 with eight 0 s, nine 1 s and six 2 s?

b. 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

12/3/12. Outline. Part 10. Graphs. Circuits. Euler paths/circuits. Euler s bridge problem (Bridges of Konigsberg Problem)

12/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 information

5/9/13. Part 10. Graphs. Outline. Circuits. Introduction Terminology Implementing Graphs

5/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 information

0.1. Exercise 1: the distances between four points in a graph

0.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 information

CS200: Graphs. Graphs. Directed Graphs. Graphs/Networks Around Us. What can this represent? Sometimes we want to represent directionality:

CS200: 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 information

Outline. 1 Introduction. 2 Min-Cost Spanning Trees. 4 Example

Outline. 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 information

CS 461, Lecture 17. Today s Outline. Example Run

CS 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 information

Garnir Polynomial and their Properties

Garnir 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 information

12. Traffic engineering

12. 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 information

Using the Printable Sticker Function. Using the Edit Screen. Computer. Tablet. ScanNCutCanvas

Using 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 information

The University of Sydney MATH2969/2069. Graph Theory Tutorial 5 (Week 12) Solutions 2008

The 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 information

Present state Next state Q + M N

Present 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 information

(2) If we multiplied a row of B by λ, then the value is also multiplied by λ(here lambda could be 0). namely

(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 information

CS 241 Analysis of Algorithms

CS 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

QUESTIONS BEGIN HERE!

QUESTIONS 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 information

CSE 373: AVL trees. Warmup: Warmup. Interlude: Exploring the balance invariant. AVL Trees: Invariants. AVL tree invariants review

CSE 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 information

Cycles and Simple Cycles. Paths and Simple Paths. Trees. Problem: There is No Completely Standard Terminology!

Cycles 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 information

Outline. Computer Science 331. Computation of Min-Cost Spanning Trees. Costs of Spanning Trees in Weighted Graphs

Outline. 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 information

Numbering Boundary Nodes

Numbering 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 information

# 1 ' 10 ' 100. Decimal point = 4 hundred. = 6 tens (or sixty) = 5 ones (or five) = 2 tenths. = 7 hundredths.

# 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 information

1 Introduction to Modulo 7 Arithmetic

1 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 information

Register Allocation. Register Allocation. Principle Phases. Principle Phases. Example: Build. Spills 11/14/2012

Register 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 information

CSE 373. Graphs 1: Concepts, Depth/Breadth-First Search reading: Weiss Ch. 9. slides created by Marty Stepp

CSE 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 information

MULTIPLE-LEVEL LOGIC OPTIMIZATION II

MULTIPLE-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

Analysis for Balloon Modeling Structure based on Graph Theory

Analysis 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 information

Announcements. Not graphs. These are Graphs. Applications of Graphs. Graph Definitions. Graphs & Graph Algorithms. A6 released today: Risk

Announcements. 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 information

learning objectives learn what graphs are in mathematical terms learn how to represent graphs in computers learn about typical graph algorithms

learning objectives learn what graphs are in mathematical terms learn how to represent graphs in computers learn about typical graph algorithms rp loritms lrnin ojtivs loritms your sotwr systm sotwr rwr lrn wt rps r in mtmtil trms lrn ow to rprsnt rps in omputrs lrn out typil rp loritms wy rps? intuitivly, rp is orm y vrtis n s twn vrtis rps r

More information

Problem solving by search

Problem 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 information

Outline. Circuits. Euler paths/circuits 4/25/12. Part 10. Graphs. Euler s bridge problem (Bridges of Konigsberg Problem)

Outline. 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 information

Solutions 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 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 information

Graphs. CSC 1300 Discrete Structures Villanova University. Villanova CSC Dr Papalaskari

Graphs. 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 information

CS September 2018

CS 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 information

A Simple Code Generator. Code generation Algorithm. Register and Address Descriptors. Example 3/31/2008. Code Generation

A 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 information

QUESTIONS BEGIN HERE!

QUESTIONS 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 information

Graphs. Graphs. Graphs: Basic Terminology. Directed Graphs. Dr Papalaskari 1

Graphs. 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 information

Trees as operads. Lecture A formalism of trees

Trees 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 information

Computational Biology, Phylogenetic Trees. Consensus methods

Computational 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 information

Multipoint Alternate Marking method for passive and hybrid performance monitoring

Multipoint 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 information

(a) v 1. v a. v i. v s. (b)

(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 information

A 4-state solution to the Firing Squad Synchronization Problem based on hybrid rule 60 and 102 cellular automata

A 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 information

Page 1. Question 19.1b Electric Charge II Question 19.2a Conductors I. ConcepTest Clicker Questions Chapter 19. Physics, 4 th Edition James S.

Page 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 information

The Plan. Honey, I Shrunk the Data. Why Compress. Data Compression Concepts. Braille Example. Braille. x y xˆ

The 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 information

Designing A Concrete Arch Bridge

Designing 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 information

ECE 407 Computer Aided Design for Electronic Systems. Circuit Modeling and Basic Graph Concepts/Algorithms. Instructor: Maria K. Michael.

ECE 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

Chapter 9. Graphs. 9.1 Graphs

Chapter 9. Graphs. 9.1 Graphs Chptr 9 Grphs Grphs r vry gnrl lss of ojt, us to formliz wi vrity of prtil prolms in omputr sin. In this hptr, w ll s th sis of (finit) unirt grphs, inluing grph isomorphism, onntivity, n grph oloring.

More information

ECE COMBINATIONAL BUILDING BLOCKS - INVEST 13 DECODERS AND ENCODERS

ECE 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 information

Outline. Binary Tree

Outline. 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 information

COMP108 Algorithmic Foundations

COMP108 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 information

Expert System. Knowledge-Based Systems. Page 1. Development of KB Systems. Knowledge base. Expert system = Structured computer program

Expert System. Knowledge-Based Systems. Page 1. Development of KB Systems. Knowledge base. Expert system = Structured computer program Knowlg-Bs Systms Exprt Systm Anrw Kusik 2139 Smns Cntr Iow City, Iow 52242-1527 nrw-kusik@uiow.u http://www.in.uiow.u/~nkusik Tl: 319-335 5934 Fx: 319-335 5669 Knowlg s Infrn Engin Dt Exprt systm = Strutur

More information

Nefertiti. Echoes of. Regal components evoke visions of the past MULTIPLE STITCHES. designed by Helena Tang-Lim

Nefertiti. Echoes of. Regal components evoke visions of the past MULTIPLE STITCHES. designed by Helena Tang-Lim MULTIPLE STITCHES Nrtiti Ehos o Rgl omponnts vok visions o th pst sign y Hln Tng-Lim Us vrity o stiths to rt this rgl yt wrl sign. Prt sping llows squr s to mk roun omponnts tht rp utiully. FCT-SC-030617-07

More information

Walk Like a Mathematician Learning Task:

Walk 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 information

Greedy Algorithms, Activity Selection, Minimum Spanning Trees Scribes: Logan Short (2015), Virginia Date: May 18, 2016

Greedy Algorithms, Activity Selection, Minimum Spanning Trees Scribes: Logan Short (2015), Virginia Date: May 18, 2016 Ltur 4 Gry Algorithms, Ativity Sltion, Minimum Spnning Trs Sris: Logn Short (5), Virgini Dt: My, Gry Algorithms Suppos w wnt to solv prolm, n w r l to om up with som rursiv ormultion o th prolm tht woul

More information

Sybil Attacks and Defenses

Sybil Attacks and Defenses CPSC 426/526 Syil Attks n Dfnss Ennn Zhi Computr Sin Dprtmnt Yl Univrsity Rll: L-5 Rputtion systms: - Why w n rputtion/trust systms - Wht is glol rputtion mol - Wht is prsonliz rputtion mol - Cs stuis:

More information

A comparison of routing sets for robust network design

A 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 information

Module 2 Motion Instructions

Module 2 Motion Instructions Moul 2 Motion Instrutions CAUTION: Bor you strt this xprimnt, unrstn tht you r xpt to ollow irtions EXPLICITLY! Tk your tim n r th irtions or h stp n or h prt o th xprimnt. You will rquir to ntr t in prtiulr

More information

WORKSHOP 6 BRIDGE TRUSS

WORKSHOP 6 BRIDGE TRUSS WORKSHOP 6 BRIDGE TRUSS WS6-2 Workshop Ojtivs Lrn to msh lin gomtry to gnrt CBAR lmnts Bom fmilir with stting up th CBAR orinttion vtor n stion proprtis Lrn to st up multipl lo ss Lrn to viw th iffrnt

More information

In order to learn which questions have been answered correctly: 1. Print these pages. 2. Answer the questions.

In order to learn which questions have been answered correctly: 1. Print these pages. 2. Answer the questions. Crystl Rports for Visul Stuio.NET In orr to lrn whih qustions hv n nswr orrtly: 1. Print ths pgs. 2. Answr th qustions. 3. Sn this ssssmnt with th nswrs vi:. FAX to (212) 967-3498. Or. Mil th nswrs to

More information

A Low Noise and Reliable CMOS I/O Buffer for Mixed Low Voltage Applications

A 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 information

DUET WITH DIAMONDS COLOR SHIFTING BRACELET By Leslie Rogalski

DUET 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 information

1. Determine whether or not the following binary relations are equivalence relations. Be sure to justify your answers.

1. Determine whether or not the following binary relations are equivalence relations. Be sure to justify your answers. Mth 0 Exm - Prti Prolm Solutions. Dtrmin whthr or not th ollowing inry rltions r quivln rltions. B sur to justiy your nswrs. () {(0,0),(0,),(0,),(,),(,),(,),(,),(,0),(,),(,),(,0),(,),(.)} on th st A =

More information

S 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 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 information

MAT3707. Tutorial letter 201/1/2017 DISCRETE MATHEMATICS: COMBINATORICS. Semester 1. Department of Mathematical Sciences MAT3707/201/1/2017

MAT3707. Tutorial letter 201/1/2017 DISCRETE MATHEMATICS: COMBINATORICS. Semester 1. Department of Mathematical Sciences MAT3707/201/1/2017 MAT3707/201/1/2017 Tutoril lttr 201/1/2017 DISCRETE MATHEMATICS: COMBINATORICS MAT3707 Smstr 1 Dprtmnt o Mtmtil Sins SOLUTIONS TO ASSIGNMENT 01 BARCODE Din tomorrow. univrsity o sout ri SOLUTIONS TO ASSIGNMENT

More information

Graph-Based Workflow Recommendation: On Improving Business Process Modeling

Graph-Based Workflow Recommendation: On Improving Business Process Modeling Grph-Bs Workflow ommntion: On Improving Businss Pross Moling Bin Co Collg of Computr Sin Zhjing Univrsity Hngzhou Chin 37 oin@zju.u.n Dongjing Wng Collg of Computr Sin Zhjing Univrsity Hngzhou Chin 37

More information

Announcements. These are Graphs. This is not a Graph. Graph Definitions. Applications of Graphs. Graphs & Graph Algorithms

Announcements. 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 information

EE1000 Project 4 Digital Volt Meter

EE1000 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 information

Section 3: Antiderivatives of Formulas

Section 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 information

Weighted graphs -- reminder. Data Structures LECTURE 15. Shortest paths algorithms. Example: weighted graph. Two basic properties of shortest paths

Weighted 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 information

This chapter covers special properties of planar graphs.

This chapter covers special properties of planar graphs. Chptr 21 Plnr Grphs This hptr ovrs spil proprtis of plnr grphs. 21.1 Plnr grphs A plnr grph is grph whih n b rwn in th pln without ny gs rossing. Som piturs of plnr grph might hv rossing gs, but it s possibl

More information

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)

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 information

Process Discovery. prof.dr.ir. Wil van der Aalst.

Process Discovery. prof.dr.ir. Wil van der Aalst. Pross Disovry prof.r.ir. Wil vn r Alst www.prossmining.org Positioning Pross Mining prformn-orint qustions, prolms n solutions pross mol nlysis (simultion, vrifition, t.) pross mining t-orint nlysis (t

More information

Register Allocation. How to assign variables to finitely many registers? What to do when it can t be done? How to do so efficiently?

Register 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 information

Journal of Solid Mechanics and Materials Engineering

Journal of Solid Mechanics and Materials Engineering n Mtrils Enginring Strss ntnsit tor of n ntrf Crk in Bon Plt unr Uni-Axil Tnsion No-Aki NODA, Yu ZHANG, Xin LAN, Ysushi TAKASE n Kzuhiro ODA Dprtmnt of Mhnil n Control Enginring, Kushu nstitut of Thnolog,

More information

Layout Decomposition for Quadruple Patterning Lithography and Beyond

Layout 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 information

Can transitive orientation make sandwich problems easier?

Can transitive orientation make sandwich problems easier? Disrt Mthmtis 07 (007) 00 04 www.lsvir.om/lot/is Cn trnsitiv orinttion mk snwih prolms sir? Mihl Hi, Dvi Klly, Emmnull Lhr,, Christoph Pul,, CNRS, LIRMM, Univrsité Montpllir II, 6 ru A, 4 9 Montpllir C,

More information

Chem 104A, Fall 2016, Midterm 1 Key

Chem 104A, Fall 2016, Midterm 1 Key hm 104A, ll 2016, Mitrm 1 Ky 1) onstruct microstt tl for p 4 configurtion. Pls numrt th ms n ml for ch lctron in ch microstt in th tl. (Us th formt ml m s. Tht is spin -½ lctron in n s oritl woul writtn

More information

arxiv: v1 [math.mg] 5 Oct 2015

arxiv: v1 [math.mg] 5 Oct 2015 onvx pntgons tht mit i-lok trnsitiv tilings sy Mnn, Jnnifr MLou-Mnn, vi Von ru rxiv:1510.01186v1 [mth.mg] 5 Ot 2015 strt Univrsity of Wshington othll Univrsity of Wshington othll Univrsity of Wshington

More information

NP-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-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 information

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs

Counting Paths Between Vertices. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs. Isomorphism of Graphs Isomorphism of Grphs Definition The simple grphs G 1 = (V 1, E 1 ) n G = (V, E ) re isomorphi if there is ijetion (n oneto-one n onto funtion) f from V 1 to V with the property tht n re jent in G 1 if

More information

N=4 L=4. Our first non-linear data structure! A graph G consists of two sets G = {V, E} A set of V vertices, or nodes f

N=4 L=4. Our first non-linear data structure! A graph G consists of two sets G = {V, E} A set of V vertices, or nodes f lulu jwtt pnlton sin towr ounrs hpl lpp lu Our irst non-linr t strutur! rph G onsists o two sts G = {V, E} st o V vrtis, or nos st o E s, rltionships twn nos surph G onsists o sust o th vrtis n s o G jnt

More information

THE evolutionary history of a set of species is usually

THE evolutionary history of a set of species is usually COMPUTATION OF HYBRIDIZATION NETWORKS FOR REALISTIC PHYLOGENETIC TREES 1 Autumn Algorithm Computtion of Hyriiztion Ntworks for Rlisti Phylognti Trs Dnil H. Huson n Simon Linz Astrt A minimum hyriiztion

More information

A PROPOSAL OF FE MODELING OF UNIDIRECTIONAL COMPOSITE CONSIDERING UNCERTAIN MICRO STRUCTURE

A PROPOSAL OF FE MODELING OF UNIDIRECTIONAL COMPOSITE CONSIDERING UNCERTAIN MICRO STRUCTURE 18 TH INTERNATIONAL CONFERENCE ON COMPOSITE MATERIALS A PROPOSAL OF FE MODELING OF UNIDIRECTIONAL COMPOSITE CONSIDERING UNCERTAIN MICRO STRUCTURE Y.Fujit 1*, T. Kurshii 1, H.Ymtsu 1, M. Zo 2 1 Dpt. o Mngmnt

More information