15

neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

"!#$%&')(+*,-!#./ $02143/563'87,9;:#< ') >=?@(ACB

DFE)GIH8JLKCMNHO QPRTSVUXWYZR[9V\P]YS^\Z_a`UXSVbXcdebfS^YghR\RijS^QRkV\lV\Tm`PQSLn&keUXbfRQk]k$opQR;bXRTSVV\Tm`PQm/[)]bXP]/miq RQkrskeUfbXRkeP[)bfS^]YkecQVUISVS^ePSVbXc$V\pQVSVbXQkdtubXRPQUX`mbXR\SVbX_CUvkV_C\T\SV]RQkVkwRmx]bf]Y\emQ)\yV\zTbf_CS^bf\R|~RS^]bXkpQdt[6bXRTcQkVSVbXSVakecQVUbf_Cp\VSVRTSP\_C\RQRTS^k$\y&S^]CUXbfPS^bf\R\ySV]bXkS^]\eWS^\S^]lkV\UX`SVbX\R\yIVPS^bfPUe\oUXQ_k|N~R.VSVbXPQ`UXdt+[&lUX\T\SSV]rPQ\RkeS^e`PSVbX\R\yIkeUfbXRrkePQktmbfkVPQ`kek)op\`RmVWPQ\RmbXSVbX\Rkw\cQ q RbXSVm\_bXRt RmxzT_bfR$S^]6ijkeUXbfRPQ\UfUX\TPS^bf\R_S^ebXzghbXcTbfRRT`_CebXPQUIQc bfmQRP$S^]S)bfS)zT]bfobXSVkwzTPQUfUXQR SkepQPSVVUIV\pQVSVbXQkdnV|

e HJLaMNHh UfkekVbfPUv`RbfcdebXS^keUXbfRyh`RPSVbX\Rkr]cs[&QUXUfijkeS^oUXbfkV]mxRmYmkeecmZUfPQbXRYSV]VQs\ymSV q S^iS^bfRt \_CS^ebfPr_C\TmUfbXR\yvP`ecQkdtRm.RT`_CebXPQUkV\UX`S^bf\R.\yv\embfReWCmbfpQVQR SVbXUT`SVbX\Rk|vbfcLVbfSVkeUXbfRQkg T bXQPQ[)bXkeCp\UXWTR\_bfUfk\cQ$eS^bfS^bf\Rk\y&UXRm\_CbfRkdn&]cCUfkV\xyh\`Rm_RTWUXbfPiS^bf\Rkd|r~RVSVbXPQ`UftSV] q RbXSVQUXQ_CRTSr_CSV]\TmRmQ\_CSVVbfPa_C\TmQUXbfR.\y8kV`VyhPkbfRP\_`S^QlbXmQmQ\_CSVVbfPCmkebfR;]cCS^embXSVbX\RUfUXW_mC`kes\y6obXcdVbfSVkeUfbXRkgkVQ + Rm- + n^|C~R_C\keS\y6S^]keUXbfPS^bf\RktLbfPQ[)bfkV\UfW R\_CbXUXk\yUf\[mVQ$gbfPQ[)bXkeP\RkVSVRTSRmbfPQ[)bXkeUXbfRQnV6eyheemm`aS^\sS^]bfrkebX_CUfbXPQbXSWZRmZe\o`kVSVRkek|8 r\[6ct yh\wPQeS^bXRxUXbfPS^bf\Rkr]bX]r\em)\UfWTR\_CbfUfkweRQPkekeeW\)mcdRTS^\`kt bXRYRQVUIopQP`kVke_C\ \S^]Rkek)bXklVQ `bXem¡gT ¢ IP\Ryh\e_bfR q RbfS^aUf_CRTS^k\s\_QS^ebXPZmQkVbfRt[)]QVxke_\T\S^]RQkVksPQR£oYPebXSVbXPQUnr\sopQP`kVx]bf]s\emQsp\UXWTR\_bfUfkCRoUfoS^SVwe\zTbX_CSVbX\R.Rmt k)Ceke`UfSLt _CbfS)\kekVbfoUfSV\CmV_CS^bfPUXUfWem`P$S^]$RT`_opQw\yUf_CRTS^kbfRZCVSVbXSVbX\RgkV`P]Zk)S^]RT`_opQ)\yS^ebXRUfkbfRxSVVbfR`UfSVbX\Rn^|¤ QeS[6\.bfkrRSV`eUNkeS^VSVbXRp\bXRTSlkVbfRPbXSlbfcQka¥a¦rkV_C\T\SV]Rkekt[)]bfP]Ybfklke`§CPbfRTSryh\l_CR WUXbfPS^bf\RktT[)]bfUfQbfRsS^]bXRPekemxPQ\_CUfzTbXSWS^\s_CbfRbf_a`_|6¨SVbXUfU©tS^]kVSVYyhe\_ªmVQ\RSV\S[6\.bfk]bX]UXWYR\RTS^ebXcTbfURm]k$oR/_a`P]/kVSV`mbfmteke`UfS^bfRZbXR/R `_QV\`kkVSVVS^bXQkryh\PQ\RkeS^e`PQS^bfRke_\T\S^]YbfPQ[)bfkV\UfWTR\_CbfUfkd|kebXmS^]aPUfkekVbfPUvS^QRkV\we\Tm`PSrkVUfbfRktu[)]bfP]Ye`ke`UfUfWbfUXUfijkV`bfS^Qmyh\l[&\VTbfRC\RYR\RijVQPS^R`UX6m\_CbfRkrRmxyh\lmS^bfc_Cke]Qkdt_\kVSrP`eVQRTS)_QS^]\TmkeokVQmZ\RbfPQ[)bfkV$\UfW R\_CbXUXk)\RSVVbfR`UfSVbX\Rk\yS^]$m\_bXR|«rRyh\VSV`RSVUfW tTyh\)UX\[¬mVQkag ­ n^tVQT`bXebfRSUfkVS¥a¦P\RTS^bfR `bXSWbfk8T`bXSV)e\]bfobfS^bfc6bXRCS^]SS^])eke`UfS^bfR$kVUXbfRk8V6S^\T\$ebXbXmRmmmbXSVbX\RUfUXWa_Wke`pQyhV\_®UX\[¯e\zTbX_CSVbX\RsT`UfbXSWT|°\Qz _CUXTtmkebfS^$_a`P]\eSLt ePQbXkereke`UfS^k\RV\zTbf_i

±³²N´Lµ·¶I¸µº¹¼»d½-¾¿ÀÁ´ÃÂÄj¸ÅdÆuÇs²v´dµ¶I¸µº¹¼»d½9Èu¸É6Æd¿»QÊQÇCËÌsÍ8Ìl¶I¸eάÏÐjÑÐÇC¾.ÒÓ2ÐjÔTÕ×ÖØÇÓVµº¿ÀÁÀÙ¼µQÇsÚ$ÛÝÜÞØjÖßÕ×ÖÖÑÐÇàQáVâpã×äá^åàQæeçèéeàQêáëºâìãÁíeê^åãî ²N´Lµ·¶I¸µº¹¼»d½-¾¿ÀÁ´ÃÂÄj¸ÅdÆuÇs²v´dµ¶I¸µº¹¼»d½9Èu¸É6Æd¿»QÊQÇCËÌsÍ8Ìl¶I¸eάÏÐjÑÐÇC¾.ÒÓ2ÐjÔTÕ×ÖØÇÓVµº¿ÀÁÀÙ¼µQÇsÚ$ÛÝÜÞØjÖßÕ×ÖÖÑÐÇäæVâdëeáïuãháuãfìêVâdðeêeçéeàQêáëºâìãíeê^åãñ Èuµº»ÀµºÄ&òX¸ÄÈT¸»dójÀÁÄjÅdôºÀÁ¹¼õµwÛÆdÆdĸeι¼É¿ÀÁ¹¼¸»ÇTöµºÆd¿ÄjÀÁɵº»QÀ&¸òv¾¿À´dµºÉ¿ÀÁ¹¼ôºóÇT÷¿»dødµºÄjùd¹¼Ù¼Àú»L¹¼õµ^Äój¹¼ÀhÊQÇ û¿ó´Qõ¹¼Ù¼Ù¼µQÇ ²vûüÏÐjÖßÑÇâQáæ^åè³ýéVåLæeè³þpãfÿæVâäáeç³àdëeïeèãá³äeýpã ÓVÅLÆdÆ+¸ÄjÀÁµ^øùQÊwû)ÓsÅd»dødµºÄN½Äj¿»À6ÈvÈÕ×ÑÖÑßØÐjß)¿»døl²N´Lµ8¶I¸Qµº¹¼»d½aÈT¸ÉÆd¿»ÊQÌ

Page 2: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

S^bf\R;e\eS^bfk\yr¥a¦T`mVS^bfP tPQ`obfP tIRm; `eS^bfPbXQP[)bfke\UfWTR\_CbfUfk$\R;eobXSVVVWYSVVbfR`UfSVbX\RkeUfPTbXRtT_CTbfRCbXSl`RUfbXUfW.SV]SwSV]WZPRxopQP\_C`kVQyh`UNbfRYUXbfPS^bf\Rk|\PbfeP`_cRTSS^]kembf§iP`UXSVbXQkdt\Rr`ke`UfUfWeke\eS^k&S^\bfS^]Q6]bX]&mVQr\UfW R\_CbXUXk$ghke`P].kSV]l[6UfUfiTR\[)RsT`bfRTS^bfPlQUXQ_QRTS ³ n&\$S^\ZbfPQ[)bXkeCp\UXWTR\_CbXUXk\R SVVbfR`UfSVbX\Rkdt\oS^bXRmoTWYe q RbXRZxbfcQRS^ebXR`UXS^bf\RoTW·mbfcTbXmbXR·P]£SVVbfRUXYbfRTS^\ke`oSVVbfRUfk|)][6UfUfiTR\[)R T`meSVbXP8\[6UfUfi¨obfRF + Rm-PQ`obfP Uf\`]i\TP] ³ QUXQ_QRTS^k)e$PUfkekVbfPUzT_CUfk)\yke`P]ZkVUfbfRkVPQkd| RUXSVeRSVbXcwS^\aS^]o\c)ke\ijPUXUfmC_CPQV\iQUXQ_QRTS8kVP]Q_CkSV]S&]k&opQRUXVUfWabfR\VQmoTWCS^]UXbfm;_CSV]_CSVbXPQkRmQRbfRQVbfRZP\__`RbfSW tbfkokVQm/\R/SV]sP\RPQS$\y6ZobXcdebfS^ikeUfbXR |~RS^]bXke\P]t\RCm q RQkZkeS\yPQ\_CPQS^UfWke`\eS^mke_C\ \S^];yh`RPQS^bf\RktIPQUfUXQm/ijkVUfbfRktRm/`kekS^]_ÃSV\PQ\RkeS^e`PS6akeUfbXRkeP |6RP\RkVSVV`PS^bf\RbXReS^bfP`UX$ + PQUX\kVQUXWCVUXUfUfk6S^embfS^bf\RUpkeUfbXRS^]\eWZbXR\RacdVbfoUf |)~SrUfmkrS^\.kePQ\y8keUfbXRayh`RPQS^bf\Rk[)]bfP]e tbXR/QReUtu\S^bf_CUfUXWZkV_C\T\SV]g kVUXbfRkr\yNmee\yNPQUXkVk¥ ¦nRmx]c\SVbX_CUvV\zTbf_S^bf\RV\pQVSVbXQkd|)]keS^SVVPSVbXcS^]Q\eSVbXPQUV\pQVSVbXQklbfRTcTbXSVaS^]T`QkVSVbX\R\y [)]S^]$S^]ikeUfbXRaV\P]xPRo/ü`kVQyh`U$bXR¬VPSVbXPQUUfbfPSVbX\Rk| ~R¬SV]bfkZZ[&/VQkVQRTS.ke\_C q ekeS.keS^kbfR¬mmekekVbfRSV]bXkT`eW |l~R/eS^bfP`Uft[&UX\T\xSlSV]PQ\RkeS^e`PQS^bf\R\y kVUXbfRakePktpmbfkVPQ`kVko\`RmeWZPQ\RmbXSVbX\Rk$\crq RbfS^am\_CbfRtTRmxzT_CbfRS^]ikeUfbXR$PQ\UfUX\TPS^bf\Rx_CSVVbfz/ghbXcTbfRsRT`_CebXPQUvQcTbXmQRPSV]S)bfSwQz ]bXobfS^kzTPQUfUXQR SkepQPSVVUIV\pQVSVbXQkdnV|)]bXk\eRb"!mYkryh\UXUf\[)kd|r~RSV]RzTSlkePQS^bf\R[6amkePebXoaSV]_C\S^bfcLS^bf\Ryh\lSV]bfkl[6\evtRmsbfc)ke\_C)oPTV\`Rm_S^QVbfU|v~Rs¨PSVbX\R t+S^]wobXcdebfS^r6ijkeUXbfR)bfkm q RQmsbXRsSVe_k&\y ¤ Uf`RWP\R q `VS^bf\RktdRmbfRs¨PQS^bf\R [6wmbfkeP`kekQ§PQbXQRTS P\_`S^S^bf\Rs\y ¤ Uf`RWPQ\R q `eSVbX\Rkd|I6\`RmVWP\RmbfS^bf\RkRmP\UXUf\TPSVbX\R¡kVbfS^QkV.P\cQVQm¡bXR·S^]ZkV`okVQT`RTSaS[6\kePQS^bf\Rk|Y~RüS^] q RUkePQS^bf\Rt[6ekeRTSkV\_CQzTpQVbf_CRTS^UIVQkV`UfS^k|# $ KsM&%('JL )]UfbfPSVbX\RS^]SabfRbXSVbXS^QmS^]bfkbXRTcQkVSVbXSVbX\R;[6kaS^]kV\UX`SVbX\R¡\y)bfRTS^VU T`S^bf\Rka\y)S^].keP\RmTbXRmVbfkebXRyhe\_ QUXQPSVV\_RQS^bfP&kePS^SVebXR$e\oUXQ_k|I¨`P]CT`SVbX\Rk8PRo)zTekekembXRCQReUTyh\V_k )

g+*8n-, .0/pg+*2143Nn)g"3n657389Qg"* n61:*<;>=?1 g n

[)]QV@=2bfkrke`okeSr\y8S^]UfRRm)bfkr`RTR\[)R|(6WTbfPUfUfW t

)bfkrS[6\i\rSV]eijP\_Cp\RRTS)cQPSV\t

RmA/bXkZ_CS^ebfzI|~ySV]CkV\UX`SVbX\Rbfk$zTekekVQmk$ZUXbfRQ$P\_aobfRSVbX\R\ykeUXbfRCokVbfklyh`RPSVbX\RkdtvS^]QRbfmUXUfWS^]okebXk)[6\`UXmZp\kVkekek)S^]yh\UfUX\[)bfRV\pQVSVbXQkCBg nEDN\[¯\UfWTR\_CbfUImQeg nEDN\TPUke`\eSg n¨S^obXUfbfSWg nGF6\ \TmZV\zTbf_S^bf\R\emg n¥a¦gh\)]bX]nkV_C\T\SV]Rkek

e\eS^bfkag n ­ g ne`keyh`UbXR\em)SV\QxS^]VQekeRTS^S^bf\RZ\yS^]akV\UX`SVbX\RxRmYke`okeT`QR SrPUfP`iUfS^bf\Rk&kkebX_CUflRmk&RT`_CebfPUfUfWkeS^oUXlk6p\kVkebfoUXT|He\eSWZg nv_CQRk6S^]Syh\&ke`§CPbfRTS^UfWCkV_C\T\SV]ke\Uf`S^bf\Rkt[6.zTPQSJIag4KCL6¦QnlP\RTceQRPs\y)S^]xe\z bf_CRTSkSV]eS^bfS^bf\R\ywS^]Zm\_bXR·bXkCie\ebfS^QUXWYe q Rm| le tM£mQR\SVkSV]smVQC\y6S^]skeUfbXRsRmNKbXkSV]s_Cke]kVb"!s\yS^]seS^bfS^bf\Rt[)]bfP]bXR¡SV]ikeUfbXRsPkeCV\`]UXW/_QRkaS^]skebO!Q\y6S^]UXVkeS$6ijkeUXbfRske`\eSL|0)]bXkP\R ceQRPe\eSWUfUX\[)kyh\eUfS^bfcQUXW;P\ekVQaVSVbXSVbX\R\yrS^]Zm\_CbXRP=a| kyh\Yg nVt/ke_C\ \S^]ke\Uf`SVbX\RbXk\yhSVRsRQPQkVkebXSVSVmCoTWaPQVSVbfRCUfbfPSVbX\Rk|v~RsVSVbXPQ`UftdkV_C\T\SV]skV\UX`S^bf\RCUfUX\[)k8\R)S^\a]RmUX)SV]wR\S`RPQ\_C_C\RZPkV[)]e$S^]$eRURQ bXk)]bX]UXW.kVbfR`UXd|N~RSV]ke$kVbfS^`S^bf\Rkdt bfRTS^VS^bf\Ro W.eS^kbfk)`kVQmS^\CmQUv[)bfS^]xSV]QVRQUTS kkVbfR`UXVbfSW t RmZP\RTSVbXRT`bfSWP\RmbfS^bf\Rk)V$`kemZS^\sQUXbf_CbXRS^o\`RmeWsS^QV_Ck| ePQ`ekV\S^\/S^]bfkbfRTcQkVSVbXS^bf\RbfkSV].SVP]RbXPQU6VQp\VS U t[)]QV.S^]`SV]\ekaPQ\RkebXmem¡S^]8\[6UfUXij¨obXRCokVbfk(V S^]Sbfk6S^]lokebXk6m q Rm.\RSV]8\[6UfUfi¨obfRkeUfbXS$ W+ \yIabXcRsSVVbfR`UfS^bf\RsoTWbfR SVep\UXS^bfRp\kVbfS^bf\RUIRm q ekVSVSVbXUmebXcdSVbXclcdUX`Qk)SS^]ceS^bfPQkd|H)]$eke`UXSVbXRokVbfk)yh`RPQS^bf\Rke¥a¦abfPQ[)bfkVZT`meSVbXPTt[)bXSV]·ke`\eSPQ\RkebfkVSVbXR/\ywPQ\UfUXQPSVbX\Rk\y)S^ebXRUfkke`Ve\`RmbfR/ceS^Qzv|)]Ce\eSs U bXk_CbfRUfWP\RPQVRm[)bfS^]SV]CkVPQS^eU8e\eS^bfk$\y&S^]sPQ\UfUX\TPQS^bf\R/_CS^ebfzyh\e_CmoTW

Page 3: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

S^]@8\[&QUXUfij¨obfRZokebXktTkebXRPSV]bXklkekVQRTS^bfUfUXWmS^QV_CbfRklS^]aVQUXbfobfUfbXSWRmYQpQPS^bfcQRkekw\ySV]okVbfkwbfRS^]kV\UX`S^bf\R\y6T`S^bf\R¯g n6[)bXSV]¡RbXSVeSVbXcke\UfcQd|X)]s`SV]\ek\ySV]Se\eSmbfkVPQ\cem/S^]SS^]P\RmbfS^bf\RbfRC\yS^]okebXk)PQ\UfUX\TPQS^bf\RZ_CSVVbfzbfk)_a`P]x_C\e$mRmRTS)\RxS^]P]\bfP$\ymQVbfcdS^bfccdUf`kS6S^]lceS^bfPk6S^]R.\R.SV]lP]\bfPr\yvP\UXUf\TPS^bf\R\bfRTS^k|N~RyhPQSLt S^]l`S^]\Vk6bfclzTebX_CRTSVUcTbXmRPQS^]Syh\&e\ebfS^)kePUXbfR\yImebfcLS^bfcwcdUX`QkdtS^]lPQ\RmbfS^bf\RbXRa\yIS^]lokVbfkPQ\UfUX\TPQS^bf\Rs_CS^ebXzbXk6cQVW\T\Tm|& r\[6ctTS^]eekVQcQVUv\`SVkVSVRmbXRsbfkekV`Qkd|6°bfVkeSLtUfS^]\`]YSV]a`S^]\ekwkV`UfW_CQS^]\Tmyh\kePUfbfRS^]rmQVbfcdS^bfcQk okVQms\RSV]rUf\TPUpkV]w\yISV]rSVVbfR`UfS^bf\RtS^]ewbXk6R\`eRTSV)S^]SSV]bfk&[)bfUXUokV`PQPQkVkeyh`UIyh\)VobXSVVVWCS^ebfR`UXS^bf\Rk|N°\)QzT_CUf t bfS)bXk)R\SPUf]\[ kVQRkebXSVbXcSV]$P\RmbfS^bf\RbfRCbXkS^\Uf\ PQUkV_CUXUfkeS&RUfrbfRZS^]S^ebXR`UXS^bf\R| R\S^]QbXkekV`lbfkS^]S&QcRyh\6S^]$ke`PPQkekVyh`UpkePUXbfRacdUX`QkdtS^]VQ\_C\ePQ\UfUX\TPS^bf\R/p\bXRTS^kaeeT`bfVQmyh\P];_CPQV\ZS^ebXRUf tIS^]T`kbfRPekVbfRZS^]sPQ\_CUfzTbXSW\yS^]e\oUf_tpkepQPbfUfUXWxyh\lSVVbfR`UfS^bf\Rkr[)bfS^]UfeaR `_aoekl\y S^ebXRUfk|r°bfRUXUfW tpRbXkekV`eUfSVmS^\CPQ\RmbfS^bf\RbXRbfk)S^]RT`_opQ6\yNokVbfk)yh`RPQS^bf\Rk)SV]S\ceUXSRZeobfS^eeWCp\bXRTSbXRZS^]m\_CbfR|~SbXkTR\[)RsS^]S RszTPQkVkebXc)RT`_ao&\y\cQVUfk8`kV`UXUfWVQkV`UfS^kbXR\T\ PQ\RmbXSVbX\RbXR\yS^]rokVbfk P\UXUf\TPS^bf\R_CSVVbfzv|.~R·S^]Pkes\ySV]>8\[6UfUXij¨obXR;okVbfkdtNS^]bXkS^`eRk\`SR\SSV\o.e\oUXQ_ kebXRPSV]RT`_ao\y6\cQVUfkyh\YbXcR;kV\iPQUfUXQm/_CbfPe\YS^ebXRUfsbXkZYV\[^`keSYobfS_C\esS^]RS^]bfmQU cdUf`\y&]·gS^]mbf_CRkebX\RY\y8SV]aobfcdebXS^T`meS^bfP\UfW R\_CbXUXkn^|?6`rRT`_CebXPQUzTpQVbf_CRTS^klkV`QkVSrS^]SrS^]bXklbXkekV`bfkrUfke\sR\SlP\RPQVRxyh\lS^]a `meSVbXPijkVUXbfR |&)]T`kt[)]RY`kebXRS^]QkVyh`RPQS^bf\Rklyh\rPQ\UfUX\TPQS^bf\RtuS^]eke`UXSVbXRPQ\UfUX\TPQS^bf\R_CS^ebfPk)V$RQeUXWs\S^bf_CUfUXWkVekVT|^ _ wKCJLKlH8ºM $G` G(aZb^ dc G K fe c bhKC Khgji/ lk 'aJLKH8× G)]YS[6\¡_CbfR bfRVQmbXQRTS^ksbfR-S^]Ym q RbfS^bf\R-\ylobfcdebXS^YijkVUfbfRksVxkebX_CUfz kVUXbfRk.Rm ¤ Uf`RWP\R q `VS^bf\Rkt [)]bfP]Y[&aR\[ oVbf7mWZecTbXQ[a|on;[)bfUXUekeS^ebXPQS)\`ekVQUXck)SV\S^]a `meSVbXPPQkeRmYeyhQS^]VQmQ6SV\ yh\)CmQS^bfUfmxPQP\`R S\yNS^]S^]Q\eW\ykVbf_CUXQz.keUfbXRQkd| obXcdebfS^.kVbf_CUXQzkVUfbfR.bfk/bfPQ[)bXke.\UfWTR\_CbfU&yh`RPSVbX\R·m q RQm·oTW//kVQSa\y)p\bXRTS^kbfRp(q teyheemCS^\ksrtvuxw&ghPQ\eVQkV\RmbXRUXWTtdTR\SVkVQS eyhek SV\aP\UXUfPQS^bf\Rs\yTR\S^kn^| kebX_CUfzCkeUfbXRr\ymVQ!QV\bXk$m q RQmoTWYPQ\UfUXQPSVbX\R\y&S^]eR\RijP\UXUfbfRlTR\S^kty* ¦W14*zq16*M| tkeW tpRm/bXk$kebX_CUfWYZR\e_CUfbO!QmP]VPS^QVbfkeS^bfPyh`RPQS^bf\R\y S^]SVVbfRUX[)]\keaceS^bfPQkreaSV] R\S^k|\eakePb q PQUfUXWTtbfy [6mR\S^aoTW~ g4" *8¦716*zqx16*M|TnSV]P\RkVSVRTSg T mVQ nkVbf_CUXQzkeUXbfR[)bfS^]xTR\SVk@ * ¦W14*zq14*z|t SV]R

~ g"*R * ¦ 16* q 14* | nBO8 e *8¦W16*zq16*M| 1*;ZbfR S * ¦16*Mqx14*z| t 1 *;¡ *8¦14*zq16*M| t[)]QVO" mR\S^kSV]CP\R czY]T`UfU8\y&ZkeS$\y\bfR SVkRm;bfR S"O mQR\SVkSV]CbXRTS^QVbf\|°p\SV]CkV\yPQP`ePQWRm.RT`_CQVbfPUpkeS^obXUfbfSW tbXS6bfk6bf_Cp\VSVRTSSV\e\ebfS^QUXWm q RS^]P\RkVSVRTS6kVbf_CUXQzCkVUfbfRl\RS^]op\`RmVW\y6 *8¦716*Mqx14*z| |¨Q. ] yh\)\R$kV`P]m q RbfS^bf\R|

¨bf_UXQzkeUfbXRkN\yTmVQ8eSVISV]R?!Qe\)PRR\[;o m q RQmVQP`ekebXcUfWwoTWl_CRkN\yTS^]obXPQP]UfUXbeP`VeRPQ8VQUXS^bf\R. ] |)]bfkVQP`ekVbf\RQzTVQkVkekNwkVbf_CUfz$kVUXbfRbfRaSVe_CkN\yukebf_UXQzkeUfbXRk\yu\R mVQUf\[&Qd|)]T`ktISV\YcdUf`SVsx `meSVbXPCkebX_CUfz/kVUfbfR tN\R q VkeS$zTekekVQkbXSkYP\_aobfRSVbX\R/\y&UfbfRkebX_CUfz/kVUfbfRktv[)]bXP]¡bfR¡S^`eRescdUf`S^mkP\_aobfRSVbX\Rk\yPQ\RkeS^R Skebf_UXQzkeUXbfRQkd|.~y&kVQS\yTR\SVkwbfkwmR\S^QmYoTWX£tTRmxbXSVkwPVmbXRUXbfSW.oTWJZ-tTS^]QRYS^]ePQ`eVQRP$eUfS^bf\Rxyh\)skVbf_CUXQzkeUfbXR\ymQe8E ]k)SV]yh\e_

~ g+*R £n8 ~ g"* * n61*;p q 1 g n

[)]QV$S^]R `_aoek?etT[)]bfP]mRmY\R0* tTkVS^bfkVyhW.S^]keWTkVSV_ \yNQ `S^bf\Rk 8 1 * 8*R g n

)]bfkVQP`eeRPQaeUfS^bf\RPR/opCbf_CUXQ_CRTS^Qm;bfRxRT`_CebfPUfUfWZkeSVbXkeyhPQS^\VWx_CRRtkVQY + Rm Y yh\_C\e$bXRyh\V_CS^bf\R| yh`RPSVbX\R ~ gO £nrm q Rm bXR S^]Zop\c._CRRCbfkPQUXQeUXW<!Qe\/\`S^kebXmSV]xP\RTcz]T`UXU\yrS^]TR\SVk@-|G\e\ctIbfywS^].TR\SVkV.bXRRQVU\kebXSVbX\R¬g T R\/S^]eTR\SVkaePQ\UfUXbfRdn)S^]QR·S^]

Page 4: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

1 2

4

53

1−3 4

5

1 4

5

2 3 1

5

2 3

4

d ¢¡z£2¤¥¦¨§G©&ª «¬w­E ®z¯¢Mtv?u­°±¬²t´³u¬4«xµ¬?uT°¶ utvw­t ª w­²·

kebX_CUfzkeUXbfRZbXk\S^bf_UXUfWkV_C\T\SV]|~R·VSVbXPQ`UXdt/UXbfRakebX_CUfzkeUfbXR¡ghm q RQm·oTWyh\`TR\SVkdnwbXkP\RTS^bfR `\`kxg¥d¸ nwRm·T`meSVbXPskebf_UXQz;keUfbXR/ghm q RQm·oTW q cTR\S^knbXkP\RTS^bfR `\`keUXW/mbfpQVQR SVbXoUfg¥a¦Ln^|~yNS^]$TR\SVkelR\S&bfRZReUp\kVbfS^bf\RtSV]$\em6\yP\RTSVbXRT`bfSWCbXk)mQPekVQmt+[)]bXP]VQkVQ_aoUfkS^]`RbfcdebXS^kVbfS^`S^bf\R;\y&P\UfkePRTSTR\SVkd|Z)]Cp\kVkebfobXUfbfSW\y&_\TmQUXbfRxyh`RPQS^bf\Rka[)bXSV]/mbfkeP\RTSVbXRT`bfS^bfkbfR\kebXSVbX\RU8Rm \$mebXcdS^bfcCcdUf`kbfkbX_C\eS^R SdtIk[6ske]UfU8kVQCbXR¨QPS^bf\R tvyh\bf_Cp\kVbfRxop\`RmVWP\RmbfS^bf\Rk|l°bX`V mQbfPS^k$keceUNT`meS^bfPakebf_UXQzYkVUfbfRk[)bXSV]/cdVWTbfR\emQVkl\y PQ\RTS^bfRT`bXSWxUX\R[)bfS^]xP\Vekep\RmbfR R\S^keSVkd|

)]6kVQP\RmbXRVQmbfRTSNbfRS^]&PQ\RkeS^e`PSVbX\R\ylobfcLVbfSV ikeUfbXRbfkSV] ¤ Uf`RWlPQ\R q `eSVbX\R. + | ¤ Uf`RW.P\R q `VS^bf\RZbXklsP\UXUfPQS^bf\RY\yTR\SVkVQS^klm q RmYkryh\UfUX\[)k|F6bfcQRYsp\kVbfS^bfcbfRTS^QdRmmbfkePeS^keSZQ4\yTR\SVkwbfR<p(qbfR³tv¬¹ux wuxtg IR\.yh\`wTR\S^kleP\ijPbfeP`Uf)RmYR\sS^]VQeP\UXUfbfRdnVtNSV].keSZº \yl»¶ ª tv² ut½¼R³ ª ¬w­utvXuT°«x¢³y¬4 ?¬bXkS^].yh_CbfUXW;\y)UXU&bfekZg6¾E16¿Nn61µ¾Z16¿ÀQ>1ÁG¾Â8 1E¿Ã8<6t+kV`P]sS^]S8S^]wPQbXePUf)PbfeP`_CkePebXomCS^\aS^]wSV]e)TR\SVk bfR¾¯P\R SVbfRk SV])TR\SVk¿RmR\\S^]TR\S^k6yhV\_ÄQ|H)]rTR\S^k(¿C[)bfUXUoleyhQVemCS^\k6S^]Xtvw­µ¬ux¬lTR\SVk&\yIS^]lP\R q `eSVbX\Rg6¾Z14¿vnRm;SV]sTR\SVk0¾®[)bfUXU oPQUfUXQmÅ u ª t¨«x¬²ZTR\SVkd|¶n;s[)bfUXU&mR\S^soTWƯSV]skVQS\y6UfU bfR SVebX\TR\SVkVQS^kt T SV]keS\yUfUz¿ÃÀÇQ>1E¿G86t ke`P]SV]Sag4¾Z14¿vn;Jº tTyh\)kV\_¶¾C|

~RSV]PQke?Ç8 tpP]P\R q `VS^bf\R·g6¾E16¿Nnd;º q ]kg4¾ÉÈ¿Nnl8 Rm]QRPS^]TR\S^k¾ÉÈ¿mQS^e_CbXRZT`mVS^bfPkebX_CUfzkVUfbfR |@n/sR\[ m q RZT`mVS^bfPijkVUfbfRkyh\UfUX\[)ks + |@DS¿P;<ÆRmYUXQSdÊg+¿vn(BO8˾E×g6¾Z14¿vn(;º q tuS^]SwbfkdtS^]akVQSw\yUfUNo\`RmeW.TR\S^keS^kr[)]\kePbfVPQ`_CPbfVPQUXQkwP\RTS^bfRS^]ake_C q zTmYkeSl¿Z\ybfRTS^ebf\wTR\S^kr\ykVb"!@E¿8 |&)]Ì ª x«¬4xwXÍÎ6zt¨tH¾dÏtkekV\TPQbXS^mx[)bfS^]G¿xbXkS^]yh`RPSVbX\R ¾dÏ@B"8 Ð ÑÓÒ ÏÁÔ e¾ ~ g4"¾ÕÈZ¿Nn6 g n

Ö \S^)SV]S SV])R\V_CUfb"!SVbX\RbfRg nbXk P]\keRCkV\$SV]S8SV]wP\UXUfPQS^bf\R\yikeUfbXRQk yh\e_Ck8eS^bfS^bf\RC\yp`RbXSW[)]QR¡Q 8p(q.g S^]PQ\RTcQzs]T`UXUN\y(Q bfk)UfUI\y(p(q nVtTS^]S)bfk

Ï × ¾dÏg+*8no8 1*;p q ~yGQ bfk q RbXSV t[)]bfP]s[)bXUfUopS^]lPkVwbfR_C\keSUfbXPQSVbX\Rkdt+bXS&PRoplkV]\[)RsS^]SS^]lijkVUfbfRk&kVSVbXUfUpke`_S^\C\RbXRxC[6UfUXijm q RmZkV`okVQS)\yQ |)]CP\UXUfPQS^bf\R\y ikeUfbXRktR´¾ Ï 16¿P;Æ& tS^`eRk$\`S$SV\oCokVbfk$yh\$ZkVUfbfRkePS^]SkeSVbXk q QkS^]sVQ `bXe_CRTSVkUfbfkVSVmbXR¨QPSVbX\R |~R;eS^bfP`UftS^]s6ijkeUXbfRQk]cP\_PS$ke`\eSkVbfRPQQP];bXkS^]ke`_\y) q RbfS^ZRT`_ao\yrkVbf_CUXQzkVUfbfRk| kC[&kV]UfU6kebXRü¨PQS^bf\R tRT`_CebXPQU&zTpQVbf_CRTS^kke`keS6SV]S)SV]ijkVUfbfRk)V$Ufke\eUfSVbXcUfW[6UfUvUX\TPQUfbO!Qmt VQUXS^bfcQUXWyhQ[ ijkVUXbfRk)V$R\R !QV\CSVSVbXPQ`Ufa\bfRTSabfRS^].m\_bXR|Z~RmmbXSVbX\Rt`RmQa_CbfUXmüP\RmbXSVbX\Rka\R¡S^]Q\_CSVVW;\yS^].TR\SVkdt

Page 5: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

kebX_CbfUX6SV\CS^]\kVbXRxPQUXkVkebXPQU q RbfS^$Uf_CQR S)RUfWTkVbfkt+SV]ikeUfbXRQkyh\e_® w­Å$okebXk\yS^]$keUfbXR$kePQØ q B"8keR?¾hÏ´16¿Ã;JÆ&1

bfRZSV]keRke$S^]S)yh\ ¹ÙÚJÙÉÛ tÜ¶Ý ´ÞÁÏµÏ × Ý4ß6à Ù Ý Ï × Þ½Ï´¾dÏ Ýá¨à Ù ¾ Ý ´ÞÁÏµÏ × Ý4ß6à 1âÞÁÏxµÏ × ;>ãä1

yh\akV\_sPQ\RkeS^RTS^k0¾å Üçæ |>\e\ct Ø q ]k\S^bf_U V\zTbf_CS^bf\R;\emQ. + tN[)]bfP]¡bXkambfVQPS)PQ\RkeT`QRP\ySV]yhPQSwS^]S Ø q PQ\RTS^bXRkrUfUvobfcLVbfSVT`meSVbXP$\UfWTR\_CbfUfk ³ | kw_CRTS^bf\RQmecTbf\`keUXWTtyh\TR\S^kbXRRQVU+\kebXSVbX\RtLT`meSVbXP8kebf_UXQzkeUfbXRke)¥a¦vRm]RPke\wV SV]kVke\TPbfSVmT`mVS^bfPijkVUXbfRk|Hn/[)bfUfUvmmVQkVkS^]Pke$\yeobXSVVVWsTR\Sp\kVbfS^bf\Rk)bfRx¨PQS^bf\R |n-]R[6\e bfRw[)bfS^]keUXbfR6yh`RPQS^bf\RkbfSbfkP`keS^\_VW$SV\lkVke\TPbfS^&S^]6keUXbfR6P\T§CPQbXQR SVkbXRlijkVUfbfRzTRkebX\R[)bfS^]Y]TWTkebXPQU& ut¨w¬4uxyutvw­rS^]Sw]QUXxPS^`VSV]Q\_CSVVW\yskeUfbXRP`ec$\)ke`eyhPQ |2\`RmekVSVRm]\[FSV]bfklPQRoam\Rayh\lSV]aT`meS^bfPkeUfbXRQklPQ\RkebfmemY]QVTt[6 q VkeSrRQmSV\.ePQUfUNS^]R\S^bf\Ra\yXF6VQc bfUfUX6kVbfS^T|v~R`RbfcdebXS^&kVUfbfRyh`RPSVbX\RSV]\VWTtLPQVSVbfRTR\SViceQkdtPUXUfmGF6VQc bfUfUX6kVbfS^QkdtUfWxRbf_Cp\VSVRTSV\UXT| re[&m q RZobfcdebXS^aRUf\\yF6ecTbfUXUfkVbfS^Qkd|¨`P]kebXSVkUfke\.QReUfb"!S^].yh_CbfUXbfaXè7!bfkebfS^kebXkebfRYbXR¡SV].SV]\VW/\y)0èµ!bf\UfW R\_CbXUXkam q Rm\R;SVVbfRUfk| êé ¬µ± wëCÏTtP\Veke\RmbfRZS^\YxT`mVS^bfPijkVUfbfRG¾hÏC[)bfS^]bfRTS^ebf\TR\SVk¹¿;Æ6tvbXkkebf_UXWSV]scQV\yS^]\kebfRTS^QVbf\)TR\S^kt S^]S)bXkt yh\¿G8Ç ì16í-sÀQt

ëCÏZB"8 ìG,í

)]T`ktbXRSV]C `meSVbXPPkVTtS^]F6ecTbfUXUfCkVbfS^CbfkS^]s_Cbfmp\bXRTS$\y6S^]QmCPQ\RRQPSVbXRZS^]sS[&\ZbXRTSVebX\TR\SVkdt [)]bXP]xbfk)mbXePQS)ReUfbO!QS^bf\R\yS^]`RbXcdebfS^$kebXSV`SVbX\R|F6VQcTbXUfUXkVbfS^Qk]c8kVQcQVU+Q\_CSVVbfP8e\eS^bfkveUfSVmS^\lS^]kVUfbfRkePQ Ø q |v~RVSVbXPQ`UXdtS^]e bXk\RijS^\ij\R6PQ\eVQkV\RmRPQopQS[&QRCS^]F6VQc bfUfUX)kebXSVk&RmCS^]wikeUfbXRQklghRmC]RPwUXke\$S^]wkVke\TPbfSVmikeUfbXRPQ\T§CPbfRTS^kr T pSV]P\TQ§PQbXQRTS^k)bfRSV]$VQVQkVQRTS^SVbX\R.\yNkVUfbfR$k)UXbfR)P\_aobfRSVbX\R.\yNS^]ikeUfbXRkn^| Uf\S\yS^]ke&\bfRTS^krghke6¨QPS^bf\R nbfcQk$e\`]bfm\ypS^]Uf\ PQSVbX\Ra\yS^]ikeUfbXRkbXRS^]bfcQRYm\_CbXRYkebXRPQP]xkVbfS^@ë Ï bXklSW bXPQUfUXWZkVSVVbfPSVUXWZbfRkVbfmS^]ke`\eSr\yh¾ Ï tSV]a\RUfWQz PQSVbX\RYopQbXRkepQPbfU8kebXSV`SVbX\RkebfkVbfRZyhV\_4bX_C\kebXRYop\`RmVWYPQ\RmbfS^bf\RkghSV\ZombfkeP`kekVQm/bfR¨PQS^bf\R nV|¨PQ\Rmtkeke\ PQbXS^bfRP]ZikeUfbXRPQ\T§CPbfRTSsÞÁÏ?;p bfRxS^]QzTRkebf\R

î¹B"8 Ï × ÞÁϾhÏ@; Ø q 1[)bfS^]CS^]ZF6ecTbfUXUf)kebXSVëCÏt+\R\oS^bXRkS^])keUfbXR)PQ\RTS^e\UT\bfRTS^kw¥oÏ@B"8 g+ëCÏx17ÞÁÏ nR;p(|x14¿J;>Æt[)bfS^]CRUX\\`ke\eS^bfklkrSV]aPQUXkVkebfPUNP\RTSVV\UN\bfR SVkrbfR\RacdebXoUfRmUXke\sS^]obfcdebXS^SVRke\lV\Tm`PSrkeSVS^bfR|°\$zT_CUf tbfySV]keCP\RTSVV\U\bfRTS^keaPQ\UfRS^]QR/SV]CkVUfbfRCkV`eyhPQabfS^keUfybfkUfRd|s)]bXk$yh\UfUf\[)kyhe\_ÃSV]VQkV`UXSa + SV]S)bfy)Q 8p(qTtTS^]R)

g"* n8 Ï ×)g+ëCÏn4¾hÏ g"* n61 g n

yh\UfUUXbfRQyh`RPSVbX\Rk)RmUfU&*ï;ðp(qT|)]Zo\cT`S^bf\RUXke\]\UXmkSVV`ZbfR·S^]PQke.[)]QVQ

bfk q RbXSV t6© &yh\op\`RmQmüm\_CbfRkQ t8V\cTbfmm·S^]SSV]Z R\S^kC\R·S^]Zo\`RmeW\yCQ ]c.oQRV\ebXS^UfWsUfPQm|ñ i/Jòóa)HKlH8× @ôÄe c bhKC Khgji/ lk 'aJLKH8× G°e\_ SV]ecTbX\`kkVQPSVbX\RtL[&6ke6S^]SSV]P\RkVSVV`PS^bf\R\yijkVUXbfRkeT`bfVQkPUfP`UXS^bfRrmQeQiõ ¤ Uf`iRW$P\R q `VS^bf\RkN\ySV]TR\S^keSQ;|)]T`ktQRQ§CPbfRTSUX\ebXSV]_Fyh\P\_C`S^bfR ¤ Uf`RWPQ\R q `eSVbX\Rkbfkr\RVQT`bXe_CQR Sryh\wSV]aePQS^bfPUvUXbfPS^bf\RY\y_`UXSVbXcdVbfSVikeUfbXRQkd|&)]oe`S^yh\VPQV\P]ZbXkS^\akVQeP]SV]V\`]CUXUSVVbfUfk&yhV\_öQ;t+S^]QRsP]\T\ke)S^]\kV)PQ\RTS^bXRbXRVQPbfkVQUXWsTR\S^k bfRkebXmrS^]QbX&PbfVPQ`_CiPbfePUf | UfVUfW tTSV]bfkrV\P][&\`UXmxoe\]bfobfS^bfcQUXWQzTpQRkVbfcyh\wcRZ_C\ meS^QUXWkVb"!QmxkVQS^k@QtTkVbfRPQS^]P\_CUfzTbfSW\yke`P]RUX\ebXSV]_Ãbfk?Iag6÷0|un^tu[)]e¶÷ø8GQ;|

Page 6: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

65

3

47

1

2

54

3

6

1

7

2

d ¡¨£2¤C¥ù¨§lú &û+°wü0t¨«Jw­ýE½ux¬¬4¢yut¨«t´³ uxtv w¬tv «@»¶ ª t¨²0w­¬t´³ ª w­utNû¬ ³yýwü´·

_C\e)§CPQbXQR SUf\ebfS^]_9yh\ PQ\_C`SVbXR ¤ QUX`RWaPQ\R q `eSVbX\Rk ]k opQRse\\kemCbfR/ U+ t[)]bfP]P]bXQckSV]gh\S^bf_U©nPQ\_CUfzTbfSW0Iag6÷-Uf\l÷;n^| rQVTtd[&bXc&$keSVP]\ySV])Uf\VbfS^]_ yh\S^])T`mVS^bfPPkV8 |Ó)]VQmQ6bfk)eyheem.SV\ U yh\)S^]ReUPkVRmZyh\)V\T\yhk|H)]$Uf\VbfS^]_ bXk)ePQ`VkebfcbfR.RS^`elRm.o`bXUfmkS^]lPQ\R q `eS^bf\Rk&\yvabXcRmQel`kVbfRbXRyh\e_S^bf\Rop\`S6P\R q `eSVbX\Rk\yv\RmQe Uf\[&QdtQobXRRbXRl[)bXSV]amQeo!Qe\g +SV] ¤ QUX`RWS^ebXR`UfSVbX\R\y-Qnu[)]bfP]bfk[6UfU `RmQVkeS^\T\Tmyhe\_ÃRZUX\ebXSV]_CbXP\bfR S)\yNcTbf[a|2)]UX\ebXSV]_®]k)SV]e_CbfRkeS^Qk|þ2ÿ ¥Ä¦z§ u® ª w­<wýx0»X ª t¨²w­¬t³ ª xwuxtº ¸ u­°Q;|Õ)]QVVxkeceU)§CPQbXQR S.Uf\ebfS^]_Ckyh\eyh\e_bfRSV]bfkSVkevtkVQZ ¢ 8SV]ZkV`ecQW£ |~Sabfk[6UfU6 R\[)RS^]SaSV]\S^bf_CU6P\_UXQz bfSW\y)SV]bXkPUXPQ`UfS^bf\RZbfk?Iag6÷¯Uf\l÷;n^|þ2ÿ ¥øù¨§ u® ª w­wýxû¶ ª tv²Aw¬xt³ ª w­utðuT°P xµý uT°Ãº ¸ | µ$\y@º ¸ bXkxS^]/UfRZVQibf\RFP\RkebXkeS^bfR£\yS^]·`Rbf\R2\yS^ebXRUfkYke]ebfR£ ceS^Qz9g T £ R\SLn\yEº ¸ |)]T`ktr-PQUfUbfkY\UfW \RUm\_bXRtR\SRPQkekVVbfUfW¬P\RTczv|ÝWFS^ebXR`UfSVbXR¯¯PQUXUt[6_CR P\_`S^bfR¬SV] ¤ iUf`RW S^ebfR`UXS^bf\R-\yS^];TR\SVk.m q RbfR S^];op\`RmVW \yaS^]/PUfU| ~R¬yhPSdt)SV]bXkZbfkZð utv w­¬4t¨ «¤ Uf`RW-SVVbfR`UfSVbX\R¬bfySV]PUfUbfkYR\RPQ\RTcQz-kVbfRPQ;SV]S^ebXR`UXS^bf\R¬bfkYeT`bfVQm¬S^\£ekeec;S^]o\`RmeW-\yaSV]¡PQUXU| °bf`V bfckxR Qz _CUX;\y PUfURm bfS^kYPQ\eVQkV\RmbXR ¤ Uf`RW-SVVbfRi`UXS^bf\R| 6R2S^]¡UXQyhSYbXkSV]¡PQUXUam q Rm2oTW¬TR\S tlRm2\RFS^]¡Vbf]TSYbfkYS^] ¤ Uf`RW¯S^ebfR`UXiS^bf\RtP\RkebXkeS^bfR¯\ySVVbfRUfkº BO8:x 1Á]v1 ´1 1 1Á]¨1µ 1 1 ´1 1 1 ´|ª°pV\_\`Qz _CUXTt$\RPR kVQ¡S^]SSV] ¤ Uf`RW S^ebXR`UXS^bf\R2\yCS^]·PQUXUbfcQkYS^]ükVQS\yCUfUao\`RmeW¬TR\S^keSVkP¾ yh\S^]bXRTSVebX\s R\S¿Â8 | ~R-VSVbXPQ`UXdt [&Y]cGº 8ÄÊg"¿Nn^|)]bXkbf_CUfbXQkS^]SS^]kVQSs\ybfekg4 1Á]v1 ´1 n61dg4 1 1]¨1µ n61dg4 1 1 ´1µ n61dg4 1 1 1 noUf\RkSV\º ¦ tRmbfRyhPQSaSV]SS^]QkVeUfUp\kVkebXoUXP\R q `VS^bf\Rkw[)]\keabfR SVebX\lTR\Srbfk |n/PRe\ PQQmcQVSVzxoTWZceS^QzZSV\.PQ\_CUfS^S^]P\RkeS^e`PSVbX\R\yHº ¦ |R)]eyh\VTt [&]c$VQm`PQmxS^]PQ\_C`SVSVbX\RZ\yHº ¦ SV\sPUfP`UXS^bfRsCkVQVbfk)\ydu ©tP\RkeS^ebfRm ¤ Uf`RWxS^ebXR`UfSVbX\Rk|)~S$PRopke]\[)RS^]SS^]P\_UXQz bfSWx\y SV]bfkQRTS^bfVP\_C`S^SVbX\Rbfk?Iag6÷/n otv x¬$bfR÷;tTRmZ]QRPQcRZoS^SVwSV]RxSV]$P\keS)\yP\_`S^bfRXº ¸ |þ2ÿ ¥¨§ u® ª w­>w­ýZ»¶ ª t¨²Gw­¬t³ ª xwuxtu­°Ã xµý ou­°@º ¦ |Z)]bXkUfkeS$kVSVbXkcTbfVSV`UfUfWYbXmQRTS^bfPU[)bfS^]¨SV tzTPQSaSV]SPQUfU&bfkR\[ /P\_aobfRSVbX\R¡\y)mQeQi PQ\R q `eS^bf\RkdtNkVQ; U+ | lRPQ tS^]P\_CUXQzTbXSW\ySV]bfk)kVSVxbXkrkVSVbXUfUvUfbXRQbfR÷;|

n/YQRm£S^]bfkkePQS^bf\R o Wüp\bXRTSVbXR\`SsS^]SsS^]Yop\cUX\ebXSV]_bfkUfkV\;mcLRTS^\`kCbXR£S^]SsbfSUfUf\[)k`kS^\YeUfzYke\_CC\ySV]skeke`_CS^bf\Rk$[6C_msP\RPQVRbXR ¤ Uf`RWYPQ\R q `eSVbX\Rkd|a°bXekeSLtbfSbXk\kekVbfoUfS^\]RmUfQpQPS^bfcQUXW;PkVQk[)]QVSV].TR\S^kV.R\SbfR¡QRebfPsp\kVbfS^bf\R|Z~R¡eS^bfP`Uftvbfy)S^]TR\SVklVUfUmbXkeS^bfRPQSlo`Ske`P]SV]SS^]eV_\VS^]RS^]VQPQ\ PQbXeP`UXrTR\SVkdtpSV]R;bXSbfkTR\[)RS^]SS^] ¤ Uf`RW/S^ebXR`UXS^bf\R¡\yke`P]¡TR\S^keSbfkaR\Sa`RbXT`QUXW;m q Rm|)]bXkbXkoP`keS^]QV._W;okecQVU+S^ebfR`UXS^bf\RkS^]SN_CbfRbX_Cb"!&S^]6kV_CUXUfkeSvbfR SVebX\NRUf \yuSV]SVVbfR`UfSVbX\Rt[)]bXP]tLbfRSV]RQVbfPPkVTtbXkQT`bXcdUXQR SS^\xkeWTbXRZS^]S$S^]CSVVbfR`UfS^bf\R/bXk ¤ Uf`RW |?)]T`ktbfR/SV]CR\RRebXPPkV[&PRkebX_CUfWx`kVaRTW\R\y8S^]QkVmbXeRTSrSVVbfR`UfSVbX\Rkd|&)]kV_CUXbfklS^\.SV] ¤ Uf`RWSVVbfR`UfSVbX\Rk

Page 7: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

\y&S^]CPQUfUXk$bfR;¨S^k Rm \y&S^]CUX\ebXSV]_|s\e\ctxkebX_CbfUX$e\P]PRoC`kVQm/bfySV]eCe_a`UXSVbXUfijyh\UfmxTR\SVkd|

¨PQ\RmtbfSwbfkrke\_CSVbX_CklS^\T\ekeS^ebXPQS^bfcSV\VQT`bXeS^]SwUXUP\UfUfPSVbX\Rkw\yTR\S^kl\ykVb"! q cTtu`kemYSV\m q RaT`meS^bfPkebX_CUfzxkeUXbfRQkrRmYP\RkVQ `RTS^UfWijkVUXbfRktuoakVke\TPbfSVmxS^\ ¤ Uf`RWPQ\R q `eSVbX\Rkk[&/m q Rm¯SV]_ bfR¯¨QPSVbX\R |ï)]bXkZbfk\yhS^R¬S^]/PkeQcQR-yh\ZS^ebXR`UfSVbX\RkZ T wyh\ ¤ Uf`RWP\R q `VS^bf\RkC\ySV]Uf\[&QkVSCmQeT|£°\zT_CUf t[)]QR-[&YmQkVbfeZSV\S^ebfR`UXS^x¡keSs\y$\bfRTS^kbfRR\RPQ\RTcQz/ebX\Rt ¤ Uf`RWSVVbfR`UfS^bf\R¡\y)kV`P]keS\y)\bfRTS^kC[)bXUfU6R\SRPQkekVVbfUfW_CSVP]·S^]S^ebfR`UXS^QmebX\RkebXRP$S^]QmQkw\yS^]aop\`RmVW\ySV]bfkwVQbf\R[)bXUfUvbfRZRQVUIR\S)PQ\bfRPbfm$[)bfS^]YS^]mk\yS^] ¤ Uf`RWS^ebfR`UXS^bf\R|I rRP t+yh\S^]bXk8ekV\RabfS_CWo)eyheemSV\PQ\Rkebfm> utv w­¬4t¨ «¤ Uf`RWS^ebfR`UXS^bf\RtQ[)]bfP][)bfUXU ekeec8SV]&o\`RmeWmk| kebf_bfUfNkebfS^`S^bf\R\TPPQ`ekNyh\ ¤ Uf`RWP\R q `VS^bf\Rk)\y8]bf]QwmVQktuyh\wzT_CUf[)]QR[6[)bXke]YS^\.P\RkVSVV`PQSwT`mVS^bfPkVUXbfRkePQ\cQ.R\RPQ\RTcQzebX\R=a|)]aUX\ebXSV]_ yh\\oSVbfRbXR ¤ Uf`RWxPQ\R q `eS^bf\RkrPRo`kem/bXR/S^]ke_C_CRRkopQyh\e tNzTPQSSV]S[6s_a`kVSkeS^VSbfSa\[)bfS^]YPQ\RkeS^ebfRm ¤ Uf`RWS^ebXR`UXS^bf\R\yS^]R\RP\R cz=atRmSV]RP\R SVbXRT`l[)bXSV]P\RkeS^ebfRmUf\TPU ¤ Uf`RWCSVVbfR`UfS^bf\RkbfR.¨SVk Rm \yvS^]Uf\VbfS^]_Y|

$ )KJg\i/ ×Hh GDNQSZ=®o./PUf\kem¡o\`Rmmm\_CbfRbXRp(q t[)]bfP]bfkSV].m\_CbfR\ym q RbfS^bf\R·\y)kV\_CV\zTbf_S^bf\Re\oUf_ gj ¢ vSV]V\oUf_ \ye\zTbX_CS^bfRS^]ke\Uf`S^bf\R\y RbfR SVVUNT`S^bf\R/\ q S^SVbXRZZyh`RPSVbX\Ryhe\_ÃmbfkePeS^$mS^kekV\TPQbXS^m[)bXSV]xp\bXRTS^k)bfRG=an^|2\Cm q RRe\zTbX_CSVbX\R.kePQ Ø q t [6 q VkeSRQmSV\keUfPSkVQS\yTR\S^kdQ;|&6oTc bf\`kVUfW tLSV]Pke6[)]eQ bfk8bXR q RbXSV)bXk\yS^]\eSVbXPQUTbfR SVekeS\RUfW |N~RePQS^bfPTt[6r[6RTSSV\akeUfPS& q RbXSVlkeSQ \yI R\S^k| r\[6ct[6rPRR\SUfbX_CbfS&\`VkeUfcQkSV\aTR\SVkVQS^k¹QÀP=at[)]bfP]e.bfR·RQVU&\kebfS^bf\RtoPQ`kebfR·SV]SPkVP]kVUXbfRî; Ø q RmbXSVk q VkeSeS^bfU6mebfcLS^bfcQk[)bfUXUQReUfUfWcdRbfkV]x\R=atTSV]o\`RmeW\y2=a|)]bfkwbfkwCP\RkVQT`RPQ$\yS^]yhPS)SV]Swyh\)TR\SVkwbXRxRQVbfP\kebXSVbX\RYS^]T`meS^bfPikeUfbXRkwVUX\oUfUXW/¥a¦|& rQRPTtbfyS^]QbXlkV`p\VSrbXklskV`okVQSw\yR=atuSV]WxPQRR\So`kVQmxS^\CV\zTbf_S^yh`RPQS^bf\RkwSV]S)VR\R !QV\C\R =a|)]_\kVS&kVSVVbX]TS^yh\e[6eme\P]sSV\a]RmUfbXRSV]bXk6mbf§CP`UfSWsbXk6S^\bfRPUf`mp\bXRTSVk&Qz SVebX\SV\Z=¯bfRS^]TR\S^keSLtSV]T`k$Rke`ebXRS^]zTbfkVSVRPQ\y8ikeUfbXRQk$R\SlbXmQRTS^bfPUfUfW!e\.\R=a| Ö \S^S^]SlSV]keUfbXRkePQ)ReS^QmoTWkV`P]TR\S^keSdtekeS^ebXPQS^mCSV\@=at[)bfUXUpkVSVbXUfUPQ\RTS^bXRCSV]wT`mVS^bfP6\UfWTR\_CbfUfkdt+RmCUXke\]c)S^]leS^bfS^bf\Rs\yI`RbfSWe\eSW\RX=a|kebXmrS^]l\oTcTbX\`k bfRUfRPQw\yke`P]sRse\P]tS^]eweUfke\aRT`_opQ&\yIVPSVbXPQUmbX§CP`UXSVbXQkd|°p\QzT_CUf t]\[£S^\P]\T\kewRe\ebfS^rR `_ao6RmUf\TPS^bf\R\yITR\S^k&\`SVkVbfm=-bfk6R\S&\oTcTbX\`kd| UfkV\t[&wRm.S^\aUXPwSV]lTR\S^k&kV\SV]S6S^]rke`\eS\yQP]sikeUfbXR\cQVUfk= mQT`SVUfW tI\S^]QV[)bfkeSV]sikeUfbXRsokebXkPQ\`Ufm/o\T\eUXWPQ\RmbXSVbX\RmtIkVQ + yh\xkebX_CbfUX]QR\_CQR\RbXRZS^]$PQkel\yNS^QRke\eie\Tm`PQSikeUfbXRk| R\SV]PQ\RkebXmeS^bf\RbXkSV]STR\SVkzTS^QVbf\S^\=PR¡UXQmS^\NF6VQc bfUfUXkebfS^kS^]SesUfke\YzTS^QVbf\SV\=atN[)]bXP]¡QUXbf_CbXRS^QkaSV]_ kap\S^RTSVbXUP\UXUf\TPS^bf\R\bfR SVkdtukVQRzTS)kVQPSVbX\R| opQS^SVaUXSVeRSVbXcbfkSV\ZeT`bfeSV]SXQjÀð= o`SUXUf\[ ® ª w­ zRm ut¨ ¬.TR\SVkUf\RxS^]o\`RmeW tkebX_CbfUX$S^\xS^]s`RbXcdVbfSVPQke |a°bXekVS$\okVQVcaSV]SxeS^`eoSVbX\RV`_CRTSlPQR;ops`kVQm/SV\m q R.keUXbfRkVPP\Vekep\RmbfRsS^\ZP\UfkePQR Sr\P\UfUfbXRQl R\S^k| Ö _QUXWTtpo WxeS^`eobfRZS^]TR\SVkke`P]S^]SS^]QW/VCbfR¡RebXPC\kebXSVbX\RtvPQ\RkeS^e`PQS^bfRxS^]PQ\eVQkV\RmbXRijkVUfbfRktIRmUXQS^S^bfRSV]skebO!Q\yS^]pQVSV`eoSVbX\R\S^\Ã!QV\t[)bfUfU©tbfRSV]CUXbf_CbXSdtbfcVbfkVS^\Z.PQ\UfUXQPS^bf\R/\y ijkVUXbfRkS^]S$bXR]ebXSS^]e\eS^bfkl\yikeUfbXRQklm q RQmyh\lQRebXPTR\S^k| Ö _CUfW tkV`P]UXbf_CbXSVbXRikeUfbXRQkr[)bfUXUkeS^bfUXUkV`_ SV\\RRmS^]QbXkeR[)bfUfUPQ\RTS^bXRUXU T`mVS^bfP p\UXWTR\_CbXUXk|M)]bfkyh\UfUX\[)ko W$SV]yhPSS^]SNS^]&UfbX_CbfS\yuwikeUfbXRbfkkVSVbXUfUYijkVUXbfR |0\esePQbXkeUfW tvbXy? CbfkYkeT`RPs\yTR\S^keS^k\yYbfcR q zTQm;keb"! tNP\RTcebfRS^\>£tpS^]R;S^]CUfbX_CbfSl\yS^]kebX_CUfzYkeUfbXRk ~ g4" nVtbXR;S^]mbfkeS^ebXo`S^bf\RUkeRkVTtbfk$S^]CkebX_CUfzYkeUfbXR~ g4" £n^|l~y SV]ke`\eSr\y ~ g4" £n8bfklR\RmQQReSV tS^]QRS^]PQ\RTcQVRPQbXk$bfRyhPQSlUXke\\bfRTS[)bXkeaSUfU6p\bXRTS^kC\y)P\RTSVbXRT`bfSW¡\y ~ gO £n^|/¨bfRPQ/6ijkeUXbfRbXk/ke`_ \yrkVbf_CUXQz¡kVUXbfRktbfSyh\UXUf\[)kSV]SS^]eS^`eopQmx6ijkeUXbfRQk)UfkV\]c$C[6UfUXijm q RmZUXbf_CbXSd|

~Swke]\`UfmxopaR\SVmxS^]S)S^]akVP\oS^bXRQmx`kVbfRsSV]o\c$e`_QRTS6[)bfUfUNmQpQRmY\RxS^]pQVSV`eioS^bf\RsbfRsS^]S S[&\ambXeRTS eS^`VoS^bf\RktR\_CS^SV ]\[ ke_CUfU©t+[)bXUfUbXRsRQVUWTbXQUXmsmbfeRTS ¤ Uf`RWP\R q `VS^bf\RkRm]RPQrUfke\mbfpQVQR S&kVQS^k6\yIijkVUfbfRkt+keRRbfRambfeRTSkeUfbXRlkVPQkd|N r\[6ctSV]bXkke]\`UfmsR\SP\_Cwk&kV`VebfkV)kebXRPwSV]rke_Cw]R\_QR\Rs\TPQP`ekUXke\bXR.S^]lPke)\yIPQ\RkeS^RTS RmsUfbfRkeUXbfRQkd|C°p\QzT_CUf tIbfy6S^]TR\S^kyh\V_ YVQ`Uf$UfS^SVbXPQ t ¢ bXySV]W/eYke`okeS\y&SV]sbfR SVUfS^i

Page 8: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

1−3 4−6

7−9 10−12

13

Ω13

1

3

2 4 6

5

12107

98 11

13

4

6

8

75

2

13

1214

1715

16

20 9

1110

2118

19

d ¡¨£2¤C¥¨§Gª w M¶rµt¨uw­xtv«Ãwýxµ¬y¬w ª ¬Å w­ut¨·

S^bfPÓq tSV]erVw_CR WCmbfeRTS&SVVbfR`UfSVbX\Rkdt+UfUp\oS^bXRmk&UXbf_CbXS6\yISV] ¤ Uf`RWSVVbfR`UfSVbX\Rs\yaeS^`Vom R\S^keSd|P]ske`P]S^ebXR`UfSVbX\RsbfcQkebXkerSV\mbXeRTS6kVUXbfRrkePr\yvbfPQ[)bfkVlP\RkVSVRTSkeUXbfRQkd| ¥A¦z§ DSE=®opSV].`RbXSkVT`V.bXRNp(qT|x°bX`V ghUfyhSdnwke]\[)kkebf_UXUXW\`S\y6TR\S^kbXRP=a|Ö \S^SV]S.S^]/P\eRQs R\S^keYS^ebXUXTR\S^kt&]RPQ[6`keYS^]eRT`_opQVkS^\¡UfoUlS^]Q_Y|F°p\kebf_iUfbXPQbXSWTt8[6\RUfW¡kVQUXQPS^Qmü\RZkVbf_CUXxTR\SbfRkebXmx\y=a| UXSV]\`]·R\Rx\yrS^]xTR\SVkCUXbfx\`SVkVbfmZ\y=atS^]WkeS^bfUXUrbfcZVbfkVZS^\Rüe\ebXS^kVUfbfRxkVPT|~R eS^bfP`UXdt S^]bfkskVPZP\RTS^bfRkCyh`RPQS^bf\Rk.S^]SeR\R !Qe\.UX\R.SV]Cop\`RmVWT|s\Z\oS^bfRZkeUXbfRCkePQPQ\eVQkV\RmbXR.S^\xS^]QkVTR\SVkdtPQ\Rkebfm$S^]eS^`eoSVbX\RmbfPSVm¡bfR¡°bX`V gVbf]TSdn^|X)]T`ktNS^]SV]eijyh\UfmTR\S i bfk"!j`UXUfm¡eS$#xbfRTS^\YS^]VQkeVS^CTR\SVkR `_aoem 1 1 bfRS^] q `e |¶)]smkbfR¡S^] q `esP\RTSVbfR/bfRyh\e_CSVbX\R;op\`SS^]¤ Uf`RWsPQ\R q `eSVbX\R\yS^]$eS^`eopQmx R\S^keSd|~RVSVbXPQ`UftbfyNS[6\ R\S^k)VP\RRQPS^Qm.oTWRQmTtS^]bXk$_CRkrSV]SS^]QVbXk ¤ Uf`RWPQ\R q `eSVbX\RY\y8mQeS[6\t[)]\keakeSl\y8bfRTS^ebf\rTR\S^keS^]keS[6\TR\SVkd|)]ZoUfPm\SVkbfR·SV] q `e.mbfPSS^]F6ecTbXUfUf.kebXSVkP\eekep\RmbfRS^\/S^]ZikeUfbXRkkeike\ PQbXS^Qm;[)bfS^]SV]keP\R q `VS^bf\Rk|°\zT_CUfsS^]s R\S^k Rm VCP\RRQPS^Qmo W/Rm tvkVbfRPQS^]WCewS^]rbfR SVebX\ TR\SVk\yIS^]lP\R q `eSVbX\Rklg[)]bXP].PRR\S orems\°bf`V nBg4 1 1 ´1 1 n^tg4 1 1 ´1 1 n^tg4 1 1 ´1 1 n^t8g 1 1ÁY¨1µ 1 W nVt g4 1ÁYv1 1µ 1 W nV|0)]T`ktSV].ijkVUfbfR.PQ\eiekep\RmbfRxS^\YS^]kVQS¹¿8ç 1 W bXkaS^]ke`_ \y q csR\V_CUXb"!Qm/kebX_CUfz/kVUXbfRkaP\eekep\RmbfRxS^\YS^]o\c q cCPQ\R q `eS^bf\Rkd|¹)]F6ecTbfUXUfkebfS^CkekV\TPQbXS^m/[)bXSV]/SV]bfk6ijkeUXbfRYg T SV]scQV\yTR\SVk Rm nbXkRT`_aoem ghbfRke_CUfUXQryh\RTSdn8bfRS^] q `VT|h)]ake`\eSr\y8S^]ikeUfbXRbXkS^]a`Rbf\R\y8S^]q cSVVbfRUfk0 1 1 1µ 1 1 ´1µ 1 1 ³ 1µ 1 1Y¨´1µ 1Yv1 ³ |)]T`ktIbfRS^]sUfbf_bfS^bfRYPQke tN T [)]RS^]kebO!Q\ySV]eS^`eoSVbX\Rbfkd!QV\t S^]ke`\eS\yS^]bfkwijkVUfbfR$P\bfRPQbXmQk)[)bXSV]xS^]m\_CbfRJ=a|

_C\ekVQVbf\`k)bXkekV`S^]RZSV]bfkVke`\ySV]mQpQRmRP\ySV]UfbX_CbfS^bfRkeUXbfRkePQ\RxS^]pQVSV`eioS^bf\RYbfklSV]a\kekVbfobfUXbfSWZS^]SrS^]aUfbX_CbfS^bfR.keUfbXRkVPa[)bXUfUPQ\RTS^bXRYyh`RPSVbX\RklSV]SleJ« ut¨wt ª u ª bfRS^]bXRTS^QVbf\\yH=a| ¥ù¨§ \RkVbfmQaS^]PQke\y)UfbXRkVUXbfRkP\Veke\RmbfRSV\SV].TR\S^kbXR°bf`e ghUfyhSdn^|/°\kebX_CUfbXPQbXSWTtp[&P]\ke.kebfRUfam\`oUfaTR\SrbfRS^]Uf\[&QrUfyhSP\eRQw\yo=a|w°\lSV]eS^`VoS^bf\RYke]\[)RbfR°bX`e gVbf]TSLnVt S^]QV$V$kecQR ¤ Uf`RWP\R q `VS^bf\Rk\ymVQl\RB)g 1 1Á]¨1µ nVtg4 1 1]z´1 n^tg4 1 1]z´1 n^tg4 1 1]z´1µ n^tg4 1 1 ´1µ7]¨ n^tg4 1 1 1µ7]¨nVtg 1 1 1µW]znV|?)]T`ktIS^]eV q cCmbXyhiyheRTS UfbfRikeUfbXRkkeRRbfRS^]rP\Veke\RmbfRkeUfbXRrkVPTt+[)]\kVF6VQc bfUfUXwkebfS^k&ewbfmRTS^bfPUSV\aS^]TR\SVk 1 1 1 1Á]tkV]\[)RkoUXPxm\SVkbfR°bf`e ghebf]TSLnV|~SPQRoCkVQRSV]S$klSV]eS^`Vom;TR\SVk Rm _QV tSV]ijkVUXbfRkP\Vekep\RmbfRSV\S^]<F6ecTbfUXUf.kebXSVk Rm g T bfRS^]bfkCPkVTtv[^`kVSS^]kebX_CUfzZkVUXbfRkr[)bXSV]Y R\S^kE 1 1Á]v1 wRmP 1 1Á]v1 nvopQP\_ambXkeP\RTS^bfR `\`k)UX\RsS^]amP\RRPQS^bfRS^])m\`oUX)TR\S i [)bfS^]sTR\SR].ghkebXRPQ)S^]e)PQ\UfUXbfRQ8TR\SVk8bXRs$UfbXRkVbf_CUXQzakeUfbXR)V\Tm`PQk8mbfkeP\RiS^bfRT`bfSWInV| P\RkVQ `RPQ\yS^]TR\S^ij_a`UfS^bfUfbXPQbXSWbXklS^]SwS^]ghmQkVbfemnmbfkeP\RTSVbXRT`bfSW.\ySV]keUXbfRPe\kek

Page 9: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

1−2 3

4 5

6

Ω

1 3

4 5

6

2

d ¡¨£2¤C¥%¨§Gª w M¶rµt¨uw­xtv«Ãwýxµ¬y¬w ª ¬Å w­ut¨·

d ¡¨£2¤C¥'&z§)( ý¶ÍÎ6zt¨µ¾ ¦+* ¾ |* xtv«>w­ý¬@ ª ® ¾-, ¦ ·

S^]o\`RmeW= SbXSVkUf\[6eiUfyhSlP\eRQle\S^Qktv «s=a|¨`P]mbfkVPQ\RTS^bfRT`bXSWY[)bfUfUoVQkVQRTSlbfRS^]keUfbXRk$Uf\RkS^]CijkVUfbfRaPQ\ Q§CPbfRTS^k$\yS^]o\cS[&\6ijkeUXbfRQklVmbXeRTSd|¹)] `kdtSV\`eiRTSVCS^]S\`keUfbXRskVPCP\RTS^bfRkPQ\RTS^bfRT`\`k$yh`RPS^bf\Rk\RUfW tvbXRSV]sekeRPQ\y&TR\S^ij_a`UfS^bfUfbXPQbXSVbXQkdt[6_a`keSwbfmRTSVbXyhWxS^]aikeUfbXRkr[)]\ke>F6VQc bfUfUXkebfS^klebfmRTS^bfPU©|)]SwbfkdtbfRkVSVmY\yP\RkVbfmQVbfRsS^]keikeUfbXRk$kkVQeSVayh`RPS^bf\Rkdt[6kV]\`UfmP\RkebXmQlSV]bf$kV`_4Rm/cTbXQ[ S^]bfkke`_ k$ZkVbfRUfaijkVUXbfR t[)]\kVJF6ecTbfUXUfkebXSVabfkrSV]am\`oUfaTR\S i |)]VQkV`UXSVbXR;ghm[^`kVSVmn kVUXbfRakePPQ\eVQkV\RmbXRCSV\.S^]bfcQRx R\S^kl[)bXUfUNSV]RYo tbfRYS^]bfkrQz _CUXTtuSV]keRY\yyh\`wijkVUfbfRktuUXUv\y[)]bXP]YVPQ\RTS^bfRT`\`kwbXR=atR_QUXW.S^]ijkVUfbfRk)[)]\kV0F6ecTbfUXUf$kVbfS^Qkwe i t t t RmG]|

)]bfmCzTUfbfRQmbfRxS^]ecTbf\`k)QzT_CUfSVVRkeUXS^kmbfePSVUXWS^\CS^] `meSVbXP$PkVT| ¥z§ g \RTSVbXRT`S^bf\R.\y.zT_UX n \RkebXmQ&bXRSV]Pker\yvS^]SVVbfUflTR\S i |-)]cdUf`\yaT`meS^bfPrkeUfbXRrbfR.S^]lPQ\RkebXmemkeUfbXRlkVPlS6S^]STR\S&mQpQRmk\RUXWC\R.S^]ikeUfbXRlP\T§CPQbXQR SVkdtkeWÞ ¦ RmÞ | t kekV\TPbfSVm[)bXSV]ZSV]>F6ecTbXUfUflkebXSVk Rm ghke$°bf`e n^t kebfRP$UfUI\SV])ijkVUXbfRkcdRbXke]S^]e | r\[6ct8o\SV] ijkVUXbfRkskVke\TPbfSVm·[)bfS^]£SV]keYP\T§CPQbXQR SVkdtke]\[)RübfR£°bX`V gUXQyhSLn^t&keW¾ ¦Rm¾ | tewmbfkVPQ\RTS^bfRT`\`k&Uf\RaS^]lmrP\RRQPS^bfRSV]P\RkVbfmemsSVVbfUfrTR\S[)bfS^]TR\S ghR\S^lS^]SbfR°bX`V S^]pQTkrPQ\eVQkV\RmZSV\S^]acdUf`kl\y8SV]yh`RPQS^bf\RkSlTR\SVk i nV|6 r\[6ctT\RaPRYke]\[S^]S)bfy&Þ ¦ 8ÕÞ | tTS^]QRxS^]mbfkeP\RTSVbXRT`bfSW\yS^]keUfbXRXÞ ¦ ¾ ¦ ,PÞ | ¾ | Uf\RCS^]_QRTS^bf\RQmQm$PRPQUXk)\`SL|)]T`ktkbXRzT_CUf t[&_a`keS6VQUXPlS^]$ikeUfbXRk¹¾ ¦ 17¾ | [)bfS^]kebfRUflR[¯ijkVUfbfR t¨¾/, ¦ keW t[)]bfP]bfk6SV]$kV`_®\yvSV]$S[&\mbXkeP\RTS^bfR `\`k6ikeUfbXRQkdt¨¾-, ¦ 8¾ ¦ ,¾ | |2)]¶F6ecTbfUXUfkVbfS^yh\s¾/, ¦ [)bfUXUo$S^]$ke_Ck8SV]\ke\y2¾ ¦ Rmþ | kebXRP t+bXRCSV])UXbf_CbXSVbXRPke tS^]QWae6bXmQRTS^bfPU|Hn/)PQRm\$kVbf_CbXUf!©P\RkV\UXbfmSVbX\R#

Page 10: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

1−3 4−6

7−9 10−12

13 0 0 0 0 0 0 0 00 0 0 0 0 0 0 00 0 0 0 0 0 0 00 0 0 0 0 0 0 00 0 0 0 0 0 0 00 0 0 0 0 0 0 00 0 0 0 0 0 0 00 0 0 0 0 0 0 0

1 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 11 1 1 1 1 1 1 1

2 2 2 2 2 2 2 22 2 2 2 2 2 2 22 2 2 2 2 2 2 22 2 2 2 2 2 2 22 2 2 2 2 2 2 22 2 2 2 2 2 2 22 2 2 2 2 2 2 22 2 2 2 2 2 2 2

3 3 3 3 3 3 3 33 3 3 3 3 3 3 33 3 3 3 3 3 3 33 3 3 3 3 3 3 33 3 3 3 3 3 3 33 3 3 3 3 3 3 33 3 3 3 3 3 3 3

A 4−6

7−9 10−12

13

B

C

D

d ¢¡z£H¤C¥4z§65 87 é ¬4±µ w­µsxtv«C¥a¦¶ ut¨wt ª w²¶ ut¨«w­utv ·

\yikeUfbXRk)yh\)UXUN\S^])PkVQkkekV\TPbfSVmZ[)bXSV]x_a`UfS^bfUf R\S^k|°\wzT_UXTt yhV\_ðbX`V [6$kVQS^]S[6s_a`keSbXmRTS^bfyhW/SV]F6ecTbXUfUfskVbfS^Qk Rm x:96 Rm ;96 Rm ] 9 Rm ;9 ]ZRm U;9 U t YtRm ] 9 YCRm |N°bf`es]ghUfyhSLn8kV]\[)kSV]VQkV`UXSVbXRCRQ[ F6ecTbfUXUf$kVbfS^Qkd| Ö \S^SV]S)SV]mQkVPQVbfopQmV\TPQm`e`eRTS^QkS^]SS^]skeUfbXRCkePQ Ø q © S^]skePCkVRRQm/oTWSV]sRQ[)UXWm q RQm6ijkeUXbfRQkdtbXck$ebXkeS^\¡SV]Y`ke`U)`RbXcdVbfSVZT`meS^bfPxkVUXbfRks[)]R£VQkVSVVbfPSVm S^\¡SV]Yop\`RmVW·mk| ~Rü\`seS^bfP`UXzT_UXTtkebXRPQ)S^]QV)VR\TR\S^k bfRkebXm)RTW\yS^]wyh\`op\`RmVWQmQkdt+S^])yh`RPSVbX\RkUX\R$S^]QkV)QmQke[^`keSw\embfReWT`mVS^bfPp\UXWTR\_CbXUXk| ~RYyhPSdtuS^]VQkVSVVbfPSVbX\Rx\yP]Z\yS^]\kVijkVUfbfRkwSV]Slm\sR\ScdRbfke]YbXmQRTS^bfPUfUfWUX\RsRYQmSV\S^]SwQmbfk[^`kVSl`RbfcdebXS^eRkeS^QbXRx\UfW R\_CbXU©tRmY]RPQaS^]o\`RmeWF6VQcTbXUfUX$kebXSVk)PQRxUfkV\oc bf[6mZk)SV][6UfUXijTR\[)R.0èµ!bfkVbfS^Qkd|

)]op\cijmkePebfopQmle\TPQm`e8PRobf_CUf_CRTS^QmcQVWl§CPbfRTSVUXWT|)] UX\ebXSV]_¬yh\NmQS^QV_CbfRbXR¤ Uf`RWYPQ\R q `eSVbX\RkdtmbXkeP`kekem;bXR;S^]sVQc bf\`kkePQS^bf\RtIPR;oQkebXUfW_C\Tmb q m;S^\x]RmUfs_a`UfS^bfUfghRmP\UfUfbXRQnTR\S^k| k8leke`UfSLtdSV]PSV`UTUX\ebXSV]_ m\Tktvuxw`kVTR\S^ijpQVSV`VoS^bf\RkdtQbfS8_QVQUXWSVVQSVkm\`oUfa\lS^ebXUX R\S^kklkVQeSV[)]QRbXSP\_CkrSV\.SV]bflUfoUfkto`SlkrbfmRTSVbXPQUk]TW kebfPUp\bXRTSVklbfRkePQ | k&kVbXmt+S^]rV\TPQkek8bfckVbfkV)SV\keUXbfR)kePQ)\yyh`RPQS^bf\Rk&P\R SVbXRT`\`k8bfRkVbfmwSV]wm\_CbfR=a| l\[)ictTR\S^ij_a`UfS^bfUfbXPQbXSVbXQk PRt+RmCbXRsRQVU[)bfUXUtUXke\UXQmsSV\mbXkeP\RTS^bfR `bXSVbXQkbfRsS^] q VkeS8mebfcLS^bfcQk bXRX=a|)]bfkwbfkwbfRsPQ\RkeT`QRP$\yS^]yhPSrS^]S)kV\_$\ySV]o\`RmeWikeUfbXRQkdtu[)]bXP]xV$mQkVbfRQmxS^\sombfkVPQ\RTS^bfRT`\`k PQV\kVkS^]wop\`RmVW\yM=atV¥ ¦ ijmbXkeP\RTS^bfR `\`k8bfRkebXm=a|-\P\p)[)bfS^]sSV]bfk]QR\_CQR\RtS^]wQWbXkR\S8SV\UfUX\[üeobfS^eeWP\_obfRSVbX\Rk8\ykV`P]myhPQS^bfc)ijkVUfbfRkto`S8\RUfWakepQPbfUPQ\_obXRS^bf\RkS^]S)[)bfUXUvR\SP\_V\_bfkeSV]ke_\T\S^]RQkVk\ySV]kVUXbfR |2n;bfUXUf`keS^eS^$SV]bXmC[)bXSV]YRZzT_CUf | ¥<%z§ \RkVbfmabXR;S^]kVQS^`·bXR&z _CUX |°bf`e gVbf]TSLn6Rm¡°bX`e kV]\[)kUX\S^k\yS^]aikeUfbXRkP\eekep\RmbfRsS^\SV]F6VQc bfUfUXkebfS^kbfR°bX`VZ];ghebf]TSLnVtUfoUfm Ü 17¾E1¥d1>= ghklbfklSV]aPQkebfR·°bX`e tSV]ZS^\üP\VRQabfR·SV] q `e.P\Veke\RmkS^\/S^]Zp\bXRTS Ü nV|)].Uf\SVkCbXUfUX`kVSVVS^.SV]SS^]ikeUfbXRk)e$R\Sa¥a¦tTo`Sw\RUfW¥d¸QiPQ\RTS^bfRT`\`k)Uf\RCS^]m Ü ¥a|)]bXkw_CQRkwSV]S)RxeobXSVVVWsUfbfRP\_aobfRS^bf\R¡\yke`P]¡ikeUfbXRka[)bfUfU&UXke\YkV`pQayhe\_ S^]bfkamyhPQSL|G)]T`kt[&.RQmS^\ekeS^ebfPS\`aP]\bXPQ\y8UfbfRlPQ\_aobXRS^bf\RklS^\S^]\kVS^]SlekeecSV]Z¥a¦ijP\RTSVbXRT`bfSWx\y8S^]keUfbXRT|l\.QzTUXbXRS^]bfkdtp[6a[)bfUXUS^mcdR SVa\y&\_QS^ebXPbXRTSVeVQS^S^bf\R\y S^]keUfbXRPQ\T§CPbfRTS^k$kPQ\RTS^e\U\bfRTS^kt_QRTS^bf\RQm/bfR¨QPS^bf\R |Z)]bXkbfRTS^QVeSVSVbX\RbfkkVbf_CbXUfSV\xS^]s[6UfUXijTR\[)R;Xè7!bf\bfR SVk\y6xp\UXWTR\_CbXU8bXRS^]SS^]P\RTS^e\Up\bXRTSVkwPRo`kemxS^\Cyh\e_a`UXS^$P\R SVbXRT`bfSWPQ\RmbfS^bf\Rk)\yS^]keUfbXRT| \RkebfmS^]sF6VQc bfUfUX kebfS^k Ü 1µ¾Z1¥d18=01dmR\S^S^]&P\eekep\RmbfR)ikeUfbXRQkNk(¾6?6tx¾ Ð t¾ t¾A@tQRmS^]6kVke\TPbfSVmaijkVUXbfRP\T§CPQbXQR SVk8oTWXÞB?&17Þ Ð 17Þ 1µÞB@tdekepQPSVbXcUfW | k8_CRTS^bf\RmtdSV])UfbXRQP\_aobfRS^bf\R

Þ ? ¾ ? ,PÞ Ð ¾ Ð ,PÞBd¾A<,Þ @ ¾ @bfkrbfRQReUR\S¥a¦wUf\R.S^]m Ü ¥a|~SlS^`eRk\`SrS^]SrS^]aP\RmbfS^bf\RSV]Sr`VR SVQkwS^]SrkeUfbXRbfk¥a¦rUf\R.S^]bXk$mbXk$S^]SS^]P\R SVV\U\bfRTS^ktv© NS^]\bfR SVkg Ü 1µÞB?)n61dg6¾E17Þ Ð n61Lgº¥d17Þ n61dgC=01µÞB@nd;p(| t

Page 11: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

d ¢¡z£2¤¥Dz§ Í&Î6ztv? uµw­ «7w­ý é ¬4±¶½w­l¾E1¥d18=÷

e uMt¨¬³|R)]bXk&bXk6kVP]_CSVbXPQUfUXWmbXPQS^m.bXR°bf`e]MBvSV]rke]mmebX\RCmC[^PRTS&S^\kebXSV Ü zTekekVQkS^]lPQ\RmbfS^bf\R.S^]S&SV]lyh\`6P\eekep\RmbfRP\RTS^e\U\bfRTS^kke]\`UfmolPQ\UfR|I~R.SV]bfk6QzT_CUf tS^]QVleyh\`wkV`P]PQ\UfRVbfSWPQ\RmbfS^bf\Rk)RQmmxyh\rS^]eke`UfS^bfRskVUXbfR.g sUXbfRQ)P\_aobfRS^bf\RZ\yUfUvS[&QUXcikeUfbXRknS^\Cop.¥a¦6bXRxS^]bXRTS^QVbf\)\yH=a|8°\)sRQVUp\UXWT\RUIm\_CbfRJ=atuS^]RT`_opQw\yP\UXRebfSWP\RmbfS^bf\Rk6mQpQRmk6\RSV]rRT`_opQ&\yI_a`UfS^bfUflTR\S^kt+[)]bfP]SWTbfPUXUfWmRmk\RS^]lRT`_ao6\yIPQ\eRek\y2=a|

E i/Jbb×MvKH8× KlHGF J c/H 4b4b cJI hH c G~R VQcTbX\`kkePQS^bf\RkC[6[6eZP\RPeRQm·[)bfS^] S^]xP\RkeS^e`PSVbX\R\yl/keUfbXRxkePQ\c/o\`Rmm m\i_CbfR/[)bfS^]xRT`_aoa\yS^SVVPS^bfce\eS^bfk|°`RPQS^bf\RkabXR;S^]bfkkePQCeRQVUXUfWYkV_C\T\SV]/bXQP[)bfkeT`mVS^bfPk6RmZPR.oQzTVQkVkem.kUXbfRQP\_aobfRSVbX\Rk\yvPQ\_CPS^UfWske`\eS^mZokVbfk&yh`RPSVbX\Rkd|2)]keRms\S^]`kVQyh`UpSV]\VQS^bfPUe\eS^bfk&_wSV]kewkeUfbXRQk&aVbf_CwPRmbfmSVrkS^\T\UXk&yh\ke\UfcTbXRcLVbf\`kV\zTbf_CS^bf\Re\oUf_CkteRbXRyhV\_ mS^ q SVS^bfRSV\kV\UXcTbfRVSVbXUmbfpQVQR SVbXURmsbXRTSVeUT`SVbX\Rk|~R.SV]bfk)kVQPS^bf\R[&l[)bXUfUIP\RkebXmQ&VSVbXPQ`UXSWT\yvV\zTbf_CS^bf\RsV\oUXQ_tbfRTS^QV\UfSVbX\R\ymSVt[)bXSV]RQWs\R\SVRTS^bfU UfbXPQSVbX\R;bfRS^].ex\y6kV\UXcTbfRxbXRTSVeUT`SVbX\Rk\y6S^]kVQP\Rm bfRmoTWPQ\UfUX\iPS^bf\R|6~ReS^bfP`Uftu[)]Rke\UfcTbXRsSV]abfRTS^QeUNQT`SVbX\R·g n8o WxPQ\UfUX\TPS^bf\Rt\RaS^SV_CSVklSV\kV\UXcS^]mbfkVPQVQS^b"!Qme\oUXQ_

î+g"ën-, .X/pg+ëv163n6î+g"3n45W389Qg+ën61 ë>;Kd1 g]n[)]QVLKÀ=2bfkw q RbfS^akVQSw\yS^]akV\iPQUfUXQmZPQ\UfUX\TPQS^bf\RZ\bfR SVkd|~RYS^]bXklkVQS^S^bfR[6keZske\Uf`S^bf\Rx[)]bfP]bfkYT`meSVbXPCkeUfbXRîJ; Ø q tIP\Veke\RmbfRxS^\xYbXcR;kVQS\y6 R\S^k>Q;|¶)]bfkUfmkS^\YYUfbXRkeWTkVSV_\y8QT`SVbX\Rkryh\rS^]akeUXbfRP\T§CPbfRTSVkZÞ Ï 16¿;Æ|d)]T`kt[6RQm_CQS^]\Tmyh\rP]\T\kVbfRsS^]aP\UXUf\TPS^bf\R\bfR SVkMK S^]S6`eRTSVkSV]zTbfkVSVRPQ\yC`RbXT`ke\Uf`S^bf\RZS^\gõ]n^|

~RxS^]bfkwpQ)[&$e\\ke$S^\CkVQUXQPS)SV]kVQSAKüSV\sopSV]kVQS\yS^]>F6ecTbfUXUf$kVbfS^Qkdt R_CUfWKB"8ë Ï Ï ×

)]s_C\SVbXcdS^bf\R¡yh\aS^]bfkP]\bXPQs\y6 R\S^kabXkYkePbfU&PkVC\yg nV R_CQUXW;S^]sPQkes[)]esS^]QVRQU8bXkbfmRTS^bfPUXUfWZ!Qe\t+[)]bXP]Ceke`UfS^kbfRs`e)bfR SVep\UXS^bf\R|Ó)]bfk kepQPbfUPQke)bXk`kVQyh`UkebfRPwbfS bfkTR\[)RCS^]S yh\UfekV`opPQUXkVk \yV\oUf_Ck \ySWTpg nVt+SV]wkepQPSVVUe\eS^bfk8\ySV]wmbfkVPQVQS^)e\oUXQ_ g]ne\ceRmoTW/SV]kepQPSVVU e\eS^bfk\y6SV]bfRTS^e\UfS^bf\Re\oUXQ_Y|>\VQ\ctSV]ees\T\TmVQke\RkSV\zTPQSS^]S)S^]bXRTSVep\UXS^bf\RZV\oUf_ bfkwke\UfcdoUf$[)bXSV]ZSV]e\\kemZP]\bXPQ\yKr| ~RxeS^bfP`Uft bfS)yh\UfUX\[)k)yhe\_S^].[6UfUXijTR\[)R¨P]\TRToei­n-]bXSVRW)]\VQ_ SV]SaS^]bXRTS^QV\UfSVbX\R¡e\oUf_ÝbXk`RbfT`UfW/ke\UfcdoUfbfRS^]`RbXcdebfS^PkV[)]RSV]bXRTS^QV\UfSVbX\R\bfR SVk$eP]\keRS^\.oS^]F6VQcTbXUfUXkVbfS^Qkd|l~R/S^]obfcLVbfSVPkVTtbXS$bfkR\S`RekV\RoUXS^\xzTPS$SV]S$S^]bXk_Cbf]TS$UfkV\opCS^]PQke |°bfekVSdtS^]CRT`_ao\y¹F6ecTbfUXUfkebXSVkzTPS^UfW_CSVP]kSV]CRT`_ao\ykeUfbXRCPQ\ Q§CPbfRTS^k|¨PQ\RmtIbXy6yh\UfUX\[)kyhe\_ T`SVbX\R£g n&S^]SS^]

Page 12: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

ke `elUfbXR)keWTkVSV_ )g"ëONn8î+g"ëPNNnB"8 Ï × Þ Ï ¾ Ï g"ëPNNn61RQ;0Æ&1

bfkke\UfcdoUfa[)]R)bXk$UfbXRQ| UfS^]\`]/S^]T`k$yh$Vbf\V\`kre\T\y \y S^]ke\UfcdobfUXbfSWx\y SV]CbXRTSVep\UXS^bf\R

e\oUf_ yh\leobfS^eeW.yh`RPQS^bf\Rk)bXk_CbXkekebXRtubfR¨QPS^bf\R [&aVQkVQRTSwRT`_CebXPQUNQcTbXmQRPS^]SF6ecTbfUXUf

kebXSVk)e$C\T\TmP]\bXPQ$k)P\UXUf\TPS^bf\R.\bfRTS^k|n/6e_CelSV]SS^]QReUe\oUf_2\yP]\T\kebXRre\VbfSV8P\UfUf\ PQSVbX\Rp\bXRTS^kbfk]bX]UXW$R\RTS^ebXcTbfU|°\szT_CUf t bXR U+ 8\[6UfUfi¨obfRkVUXbfRk.[&QVZ`kemt[)]bfP]üVZUfkV\ke_C\ \S^] T`meSVbXPZkeUXbfRQkdt[)bXSV]P\UXUf\TPS^bf\R¡\bfR SVkQbXSV]m_Cbfmp\bXRTSVk\aSVVbfRUX.PRTSVekd|x°p\op\S^]P]\bfPkt]\[6cQdtNS^].RT`_ao\yPQ\UfUX\TPS^bf\RZp\bXRTSVkrzTPQmkwS^]akVUfbfRmbf_CRkebX\R·g T IS^]aR `_aor\y`RTR\[)RYP\T§CPQbXQR SVkdnVtueke`UfS^bfRbfRRx\cQVmS^QV_CbfRmxkeWTkVSV_| UfkV\tuSV]a`S^]\Vkr\yS^]Sre\eS)mbfkVPQ\cemxSV]SwSV]aPQ\RmbXSVbX\RbXRs\y8S^]P\UXUf\TPS^bf\RY_CSVVbfzxmRmkmV_S^bfPUXUfW\RS^]R\V_CUXb"!S^bf\RY\y8SV]PembfRUokebfklyh`RPS^bf\RklSV]SeRS^`eUfUXW.kekV\TPbfSVm[)bXSV]ZSV]?8\[6UfUXij¨obXRkeUfbXRk|n/rRmsSV]bXkkVQPS^bf\RCoTWmbXkeP`kVkebXRSV]wPQ\RTS^bfRT`bXSW\yS^]rkVUfbfR)VQkV`UXSVbXRyhe\_9S^]rV\p\kVQmC_QS^]\Tm| k)[6 R\[¬yhe\_®¨QPS^bf\R t SV]$kVUXbfR$yh`RPQS^bf\RZS^]S)bXkCkV\UX`S^bf\R.\yNSV]$P\UfUf\ PQSVbX\R.e\oUf_®bfkt kVSVVbfPSVUXWkepQTbXRtR\Sr¥a¦Q|H)]bXk6bfkm`lS^\SV]ryhPS&S^]SbfRS^]rVQkVQRPr\yI_a`UXSVbXUfrTR\S^kt+SWTbfPUXUfWaSSV]rPQ\eRek\yuSV]6m\_CbfR@=atLlkVUfbfR&bfRaSV]6P\eekep\RmbfR)kVUXbfR6kVP Ø q bfk&¥a¦N\RUXW$bfyPQVSVbfRP\UXRebfSWlPQ\RmbfS^bf\Rk\ypS^])keUfbXR6PQ\T§CPbfRTS^k8VkeSVbXk q mYghkeA&z _CUX nV|-)]T`ktdbfyp$SVV`$¥a¦PQ\RTS^bfRT`bXSWabXk8eT`bfVQmtdSV]RCS^]RQmsS^\abX_C\kewS^]QkVrP\RmbXSVbX\RkbfkS \Tmmk&[)bXSV]S^]rkVSVVS^Wae\\kemCop\c tbfRs[)]bfP]sS^]¶F6VQcTbXUfUX)kebfS^ke$`kemxkwbfRTS^QV\UfSVbX\R PQ\UfUX\TPS^bf\R\bfRTS^k|8°p\wbfRxReUI\RPRR\So\S^]YbfRTS^QV\UfSVS)UfU&F6ecTbfUXUfkebXSVkrRmxUfkV\skeSVbXkeyhWZS^]_CQR SVbX\RmYPQ\RmbXSVbX\Rkd|()]bfkr_CRkwSV]SlbXRYSV]ekeRPQ\yTR\SVi_`UfS^bfUXbfPbfS^bfk\R]krS^\ke\Ufc uxtv w¬tv «e\oUXQ_ªkw\\kemYSV\`RPQ\RkeS^ebfRQm| °p\lzT_CUf t\RPQ\`UfmxSVS^_CSS^\_CbXRbX_Cb"!S^]mbfkVPQVQS^rUfkVS6ke `ekQVe\&S&S^]XF6VQcTbXUfUXkebXSVktke`o[^QPS6S^\S^]P\UXRebfSWPQ\RkeS^ebfRTS^k|

r\[6ctIbfR¡\`bXRbfS^bfU&zTebX_CRTSVkdtNbXR·[)]bXP]¡[6s_CeUfW/bfRTS^QV\UfSVm¡Yke_\T\S^]¡yh`RPQS^bf\RSS^]F6ecTbXUfUf6kebfS^kwgk8\p\kVQmaS^\$ke\UfcQmaS^])bXRTS^QeU T`S^bf\RYg npoTWPQ\UfUX\TPS^bf\RnVtL[&eyhebfRmyhV\_ bX_C\kebXRS^]6ke_C\T\S^]RkekP\RmbXSVbX\RkRmkV\UXcmS^]`RPQ\RkeS^ebfRQmae\oUf_ \RUfW |)]T`ktdSV]VQkV`UfS^bfRbXRTSVep\UXS^bfRke`VyhPQkdtkV`P]YkrSV]\keake]\[)RYbfRS^]RzTSlkVQPS^bf\RtueR\SrQz PSVUXW;¥a¦)UX\Rsmkl_CRS^bfRyhe\_ S^]P\VRek\y=a|¨SVbXUfUt S^]\kVlkV`eyhPQk&ewV\zTbf_S^QUXWZ¥a¦tS&UXQkeSyh\&eUfSVbXcUfWmQRkerkeS^k6\yITR\S^k|H)]bXkyh\UfUf\[)k yhV\_9SV]w\okVQVcdS^bf\RCS^]S [)]QRsbXRTS^QV\UfSVbXRkV_C\T\SV]Cyh`RPSVbX\R

)tSV]rcdUX`Qk \ySV]bXk6yh`RPQS^bf\RsS

S^]\keJF6VQcTbXUfUXakVbfS^QklSV]SlebXRTc\UXcmYbfRS^]aP\UfRVbfSWP\RmbfS^bf\RkeV\zTbf_CS^QUXWP\UXR|&)]T`kdtbfR&z _CUX tIS^]C\bfR SVk.g Ü 1

)g Ü n^n41Lg6¾E1

)g4¾n^n41Lgº¥d1

)g¥anVn61dgC=01

)gC=nVn?;Np(|Cee\zTbX_CSVUfWxP\UXRt

[)]QVZS^]Ye\zTbX_CSVbXRUfRxbfksS^]xSVRRTSCUXRZ\y)S Ü |·~Sse_CbfRkCS^\oZkeQRü[)]S^]sS^]

mQkVPQVbfopQm.kebX_CUfb q mkVSVVS^WbfkPQPS^oUXlyh\6S^]$yh`UfUP\UfUf\ PQSVbX\Re\oUf_tkepQPbfUfUXWCbfR.SV]lVQkVQRPl\yCkVbfR`UX)bXRTSVeUeRU|

S TVUZa c Ju4ò c HpKXbW c GZb×HG~R¬SV]bfkZkePQS^bf\R¯[6VQkVQR SZS^]/eke`UfS^kZyhV\_ keceUlzTpQVbf_CRTS^k|9°bXekVSdt)[6Qz ebf_QRTS^m [)bXSV]¬S[6\P\UXUfPQS^bf\Rk\ymSVkeSVkd|¹)]m\_bXR/bXR/op\S^];PkVQklbfk$S^R/S^\ZopS^]C`RbXSkVT`Vx 1 YX 1 t[)]eS^] q ekVSP\UfUfPSVbX\RsP\RkVbfkeS^k\y`Rbfyh\e_UfWmbXkeS^ebfo`S^QmkeS^k&\yz X TR\SVkdt+RmSV]rkePQ\RmCPQ\RkebXkeS^k&\yke_CbXieRm\_CUXWmbXkeS^ebfo`S^QmTR\SVkVQS^k| ke_CbXijeRm\_ TR\S^keS bfkyh\V_Cmsyhe\_ `RbXyh\V_ TR\SVkVQS oTWCUfWTbXReRm\_ÃeS^`eoSVbX\RxS^\sS^]bXRmbXcTbfm`UvTR\SVkd| VQVQkVQRTS^SVbXclQzT_CUfbXkwmbfPSVmYbfRZ°bf`e U tu[)]eke `ekmR\S^)TR\S^k8RmPQbXePUfk8mR\S^ZF6ecTbXUfUf6\bfRTS^k|.&P]\yS^])Qz ebf_QRTS^UuTR\S^keSVk8mSVe_bfRQk8keUXbfRkVPyhe\_®[)]bfP].[6lbfRTS^QV\UfSVm.SV]$yh`RPQS^bf\R

)g"*8n8·kebXRg+*v3nCZ

L[$S&SV]$P\eekep\RmbfRÃF6ecTbfUXUf

\bfR SVkd|2oUXQk g`Rbfyh\e_ÃTR\SVkdnRm ghke_CbfieRm\_®TR\S^knNUfbfkVS)SV]$VQkV`UfS^bfRCP\RmbfS^bf\RZRT`_ao)\yNS^]ikeUfbXR)P\UfUf\ PQSVbX\R_CS^ebXzvtSV]w_CzTbf_a`_ ee\8S`Rbfyh\e_9ke_CUfbXR\yp\bXRTSVkbfRsS^]wm\_CbfRtRmsS^]eS^$\yPQ\RTcQVRPQrk)SV]RT`_ao)\ybfRTS^QV\UfSVbX\R\bfRTS^k)bfkwV\zTbf_S^QUXWsm\`oUfm|~S)bfkwQc bfmQR Syhe\_S^]keVQkV`UXSVkrS^]SrSV]PQ\RmbfS^bf\RbXR.\yS^]P\UXUf\TPSVbX\Rx_S^ebXzZbfkrcQVW\T\TmtuRmYS^]aeS^\y8P\R ceQRPbfk)\RxS^].g\SVbX_CU©n\VmQ\yKx|T|

Page 13: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

d ¢¡z£H¤C¥\¨§"( 7uÃrtvuxw wL7w­ýýux¬¬4¢yut¨«t´³ é ¬4µ±syut¨wL]Z] X ] ª tv °ux¬® rtvuxw whut+°w * µ®Î6¬4xtv«ux®rµt¨uw­½w(uxt¬ ³yýw­·

QkV] Ö \|mbfkVSVbXRPQS)TR\SVk Ö \|ikeUfbXRQk \RmbfS^bf\RZR\| eV\ \RTceQRPlVS^XX Y ] | | Qi i] X ] ] ] | M | Qi ]| Y ^X ] U | | z Qi | M^Xs z ] xU | | Qi Y| _`ab ¢¥¦¨§

Ö \|mbfkVSVbXRPS)TR\SVk Ö \|ikeUfbXRk \RmbfS^bf\RxR\| eV\ \RTcQVRPQreS^Y | ]| Yi i ] | ] | i | U Y ]| ]| z i U | z ] Y ] | Y| ]i ]| W_`ab ¢¥ù¨§

~R°bX`e@Y[6mbXPQSrS^]aeke`UXSVkr\ybfRTS^QV\UfSVbXR;ghSlS^]ÃF6VQc bfUfUX\bfRTS^kn8SV]a[6UfUXijTR\[)Rx°eRyh`RPQS^bf\R \RsR\RP\R czm\_CbfR|~RseS^bfP`UXdtdSV]wm\_CbfRsbXk&S^]w`RbXS&kVT`V[)bfS^]ebX\RCVQ_\cmyhe\_ S^]lbXRTSVebX\d|N~UXUf`keS^eSVmVwSV]°eRwyh`RPQS^bf\R.\c SV]bfk6m\_CbfRRmS[&\abXRTS^QV\UfRTSVkgh\Rryh\ YeRm\_CUXWRQVS^Qm.TR\SVk)Rmx\R$yh\ xU `RbXyh\V_CUfWUfPQmxTR\SVkdnV|6` q RUwzTebX_CQR SC[6ksSV\;PQUfP`UfSVxS^]YPQ\RmbfS^bf\R£RT`_opQs\yS^]YPQ\UfUX\TPS^bf\Rü_S^ebXz·yh\ eRm\_CUXWlReS^QmlTR\S^keSVk6ghQP]$[)bfS^] q yhSWTR\SVkdnV|)]mbX_CQRkVbf\R$\y SV]ke _CSVVbfPQkv[6kve\z bf_CSVUfWcXJ tmRmbXR\R.S^]lRT`_opQ&\yvikeUfbXRQk$gR\SVlSV]S6S^]lRT`_opQ&\yvikeUfbXRQk&mRmkR\S&\RUfW\RS^]lRT`_opQ&\yI R\S^k6o`S6Ufke\a\R.S^]QbX6ePbfkerUf\ PQSVbX\Rn^|Ó)]VQkV`UfS^k6ewke]\[)RbfR0oUf |-)]lUfkeSS[6\P\UX`_RkUXbfkVSSV]_CzTbf_a`_ R `_ao\yR\R !QV\xRTSVVbfkbfRP];e\[ RmPQ\Uf`_CR/\y&SV]skVWTkeS^Q_ _CSVVbfzvtekepQPS^bfcQUXWT|~ReS^bfP`UXdtvS^]QVV.S_C\keSkecRR\Rv!e\YikeUfbXRkaSRTW/bfcR¡PQ\UfUX\TPQS^bf\R\bfRTSkebXRPQS^]a_CzTbf_a`_ RT`_aol\y8R\R !QV\sQR SVVbfklbXRYQP]Ye\[ bfk | Ö \S^aUXke\sS^]SrSV]a_CQmbXRYRT`_aol\yR\R !QV\ZV\[ RTS^ebXQk$[&k¹]x[)]bfUfSV]s_CmbfR;RT`_ao\yR\R !QV\P\UX`_CRRTSVVbfk$[6k |@)]QkVcdUf`ker\T\Tm.bfRmbfPS^bf\R\yvSV]lkeVkebXSWC\yvS^]$_CSVVbfPQk&Rm.]RPQl\yNS^]lUf\TPUfb"!SVbX\R\yNS^]$ikeUfbXRlokVbfk|

Page 14: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

d ¢¡z£H¤C¥ed¨§gf ¬ ³ytvy° ª tvw­utðû¢+°wü * Mtv¼lwM°ux¬^h:i<¬4xtv«xu® rtvuw­û¬ ³ýxwü * zt¨¼dw-°u¬jlk;mª tv °ux¬®Ärtvuxw0û µt¨w¬­ü´·

zP\Rm|R\| QRxP\Rm|R\| QmbXRPQ\Rm|R\| Ö \|e\[ Ö \|PQ\Uf`_CR | ] | Y | ]xY _`ab ¢¥n¨§

o^pOqrbsut ¢¥vH¡;¥ rÿ>wn;l[6\`Ufm.UfbfrSV\QzTVQkVk&\`6VQPbfSVbX\RS^\S^]$R\RTWT_\`keyhQVQk&yh\aSV]\e\`]Rm]Ufyh`UIecTbf[\y8SV]bfklpQd| UfkV\t[6aSV]R ¤ d|MxbfyhR^yr`\y8S^]\ QbXR \_CR WZyh\lkVQcQVUvbXRkVbf]TS^yh`UmbfkeP`kekVbf\RkeVmbXRbfRTS^QeUQT`SVbX\RkRmS^]rUXbfPS^bf\R\yS^]¹8\[&QUXUfij¨obfRCokebfkS^\kV`P]T`S^bf\Rk|-)]rS^]bXem`S^]\)S^]RTk)S^]\TbfR \_CR W.yh\)ke`\eS^bfRC]bXk)cTbfkVbfS^k|

Page 15: neamtu/papers/dgn.pdf · 2016-10-04 · g n ED N\{[¯\UfWTR \_CbfUIm Q e g n ED N\TP Uke` \eS g n ¨ S^ o bXUfbfS W g n GF 6\ \TmZ V\{zTbf_ S^bf\R \em g n ¥a¦ gh\)]bX ] {n kV_C\T\SV]

Uf\`]t O | n |ftRmx|vD6|¨\ P]tu°bXRbXSVQUXQ_QRTSlkeS^bfpRkekl_CSVVbfPQkryh\lRUfWTkVbfkw\yUXS^QkrbfRoRmibfRtbfR z|~8¢:M/b:h8V8:''e)PO$O~:>l>Qt n;Vbf]TSVi8S^S^QVke\R | °w| |ft Y] |

°pebXRtF|ftb6OP8A:O~:Q>6bat S^]Zm|ft Pm_CbXP?&VQkVkt YxY | °pVRTt O |Xtd¨PSVS^QVQmamS^rbfRTS^QV\UfSVbX\RHBMkeS^k\yke\_C6_CS^]\ mkdtCS^]| \_C| \ g Y U n^t WU ­ | F6eRmbXRTta|fto)]ZkeS^oUfZQcdUf`SVbX\Rü\yr_a`UXSVbXcdebfS^xkebX_CUfz·kVUfbfRktoS^]| \_C| ¦;\¨¦ g Y UxU nVt Y ­ | c\UfUXbft.|Xt;Ch`X8C>.c ¡¢'£A¤¥§¦f8tu°e\RTS^bfekwbfR UfbfmS^]Q_CS^bfPkt ]tT¨~ üt | ] bfPP]UfUXbt | |ft P\RkeS^e`PSVbXcse\P]/SV\'ebfRbXRTSVep\UXS^bf\RbXRNp B@`UXSVbXcdebfS^.6ijkeUXbfRQk

RmJDVRlbXRTS^QV\UfSVbX\Rt O \TPTW0\`RTS^bfR)x|S^]| ¦¨ g Y U nVt U­ Y | bfPP]UfUXbt | |Xt;';¢>c;8:.-¢¦8>MA68:C©¢VL'8X¢t ¨i Ö ¨° O bX\RU \RyheRPQ

¨QVbfk)bfR UfbfmS^]Q_S^bfPkt] t ¨~ üty]bfUXmUf]bft YY | U `UXRkVTWTt |ft Rmà | Ö Q_aSV`t6R ¤ QUX`RWPQ\R q `eSVbX\Rkdt_CRT`kePebXSL| Y Ö _S^`t |Xt`UXSVbXcdebfS^6ijkeUXbfRQkRm-SV]bf.QcdUf`SVbX\Rt&_C\eRm`_ R\| Y U t«lRbfcekebXSWü\y)[6RTS^Tt Y U ]| Ö _S^`t@ü|ft?n-]Sbfk/SV]·RS^`eUQReUfbO!QSVbX\R \ys`RbfcLVbfSVkeUXbfRQk/SV\¯]bf]Qmbf_CRkebX\RkPªLt

bfRe'8«h>|¬b®­¯B'°:±±:±t-a|-DNWTP]RmPD6|-D6|N¨P]T`_Cgmk|XnVtb²8RmeiobfUfS)«rRbfcQVkebXSW>ekekdt Ö kV]TcTbfUXUf t Ö t t ­x Y |

Ö _S^`t&ü|ft ¤ Uf`RWüP\R q `VS^bf\RkCRm-_a`UfS^bfcdebXS^YkeUXbfRQkCB ReUfbO!QS^bf\R \y$¡eke`UfSs\y| Ö | ¤ QUX`RW teRk| _C|S^]|T¨\ PT|XtuS^\Cd|

Ö _S^`tµü|ft ¤ Uf`RWlP\R q `VS^bf\RkvRm_`UXSVbXcdVbfSV kVUXbfRkB V\zTbf_CS^bf\R\VmvRmikeUfbXRktbfRxVQeSVbX\R|

8\[6UfU©tü|xI| ¤ |XtTRmÃü| |T¨obfRtbfPQ[)bfkVT`mVS^bfPle\z bf_CSVbX\Rk\RZS^ebXRUfkt VRk|S^]| ¨\yhS[6e g ng Y n^t ] ­x | ¨P]T[6½! t | O |XtCh`X88.³©´©´t Pm_CbfP¹&VQkVkt Y UU | ¨P]T`_Ct¨D6|ftzebfR`UXS^bf\R_CQS^]\TmktbfR¶µ´l¦>·P¡¡B:e;h«Y¦´¦BPTc;h:vt |´.| ]T`btzD6|D| ¨P]T`_CQdtRmx°)|u«rS^eekgmk|XnVt PQmQ_CbXP?&VQkVkt Ö [¸8\evt Y Uz t Y ­ | ] ¨QbXmUtT | i|ft8\Ufyh\V_Ck)RmSVVbfR`UfikeUfbXR$ke`eyhPQkdt bfReb:-¦A¢sP>f8:6>§¹8t¤ |ºv| ¤ `.Rm.°w| r[6RghQmkd|fn^tDPQS^`e Ö \S^Qk&¨| \_C`SL|ft txn;\eUXm¨Pb|&`oUfbXke]bfRt O bfcQ`&mTt YY t x­U ]| ºTU7è_CU©txü|ft-6RxS^] q RbXSVUf_CRTS)_CSV]\Tmt Ö `_C|SV]| ¦zù g Yx] U n^t Y ­ Y| U yl`tx|ft+Rm| ¤ Q_aoVSdt+«lkVbfRZ8\[6UfUfi¨obfRkeUfbXRk6kokebXk6yh`RPQS^bf\Rk6yh\6kVPQSVS^ebfRe\oUf_CkB R

Qz ebf_QRTS^UIkeS^`mW tP]RbXPQU O Qp\VSh'» )i­6 li x i t)]\TbfR \|ft |