May 24, 2006 - entific research documents, whether they are pub- lished or not. ...... O ptimaF5 s ap e d e sign f or e 525 iptiËÂ¥ proF365 e ms. S pringer, 1 98 2.
The Data-Dependence Graph of Adjoint Programs Laurent Hasco¨et
To cite this version: Laurent Hasco¨et. The Data-Dependence Graph of Adjoint Programs. RR-4167, INRIA. 2001.
HAL Id: inria-00072455 https://hal.inria.fr/inria-00072455 Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destin´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
The Data-Dependence Graph of Adjoint Programs Laurent Hascoët
N° 4167 Avril 2001
ISSN 0249-6399
ISRN INRIA/RR--4167--FR+ENG
THÈME 1
apport de recherche
"!# $% '&() * ,+ - . 1/ 032547698;: A@9BDCE: FGHJI)KML N OPJQRK7SUTWV K(XYQRZWQRX[HJI)KJQ \^]R_a`bK(XYF ][_EcdfeJQ OgSUchc%_E]bXiK ][K(ejGKJ]RejGKlk?m nLAoqprN s tW]Rdvu wUxUxhLyN Lzp{c|SU}EK(Q ~ (7
Uq syTX_EIMSaX[dvegdf%KJ]RKJkqXdvSaXdf_EkdvQ S=X[KJejGkhdv9TKXGSaXc3KJ][I)dXQ }EK(kKJ][SaXdf_Ek _U qbA
|?3RERU' U¡GdfejG¢e(_EI)cThX[Kg}E][SUidfKJkqXQ(£¥¤¦kMQ[eJdfKJkqX[df§|eYeJ_UIMchThXjSaX[dv_Uk¨qXGK(Q[K }E]SUihdvK(k9X[QySa][K,SM©TkiSUI)KJkqXjSUuDX[__Eu¨©_U]Y_UchXdfI)dvªJSaXdf_Ekr_U]gi|S
XjSMSUQ[QRdvI)dfu«SaX[dv_Uk¨£Y¬_EI{ cThXjS
Xdf_Ek®_UgS¯}U]SUidfKJkqX)dfQ)][KJuvSaX[dftUKJuZ®K Vc%K(kQ[dtEKaSUki®QRG_ETufi°X[GKJ]RK(©_E]RK±%K_UchXd² IMdfªJK(i³¡GK(kK(tUKJ],c%_EQRQ[df±ufKU£MFGK)QRXThihZ¯_U´XGK(Q[KMc][_E}U]SUIµ_EchXdfI)dvªJSaXdf_EkQ dfQ IM_UQRX _UXK(k¶±|SaQ[KJi¶_Ek®XGKi|SaXS
¦ihKJc3KJkiK(keJK·}E]SacG¨£¶¸gkiK(])c][K(eJdfQ[K¹SaQ[Q[ThIMcXdf_EkQJ1¡ºK c][_AtEKX[G|SaXXGhK·Saia`b_Edfk9X)ch][_E}E][SUI»¼Q)i|S
XjS
½iKJc3KJkihKJke(K·}E][SUcG®dfQMdfQ[_UIM_U][cGdfeX_S Q[T±½}E]SacG¢_a%X[GKg_U][df}EdvkSUui|SaXS
¦ihKJc3KJkiK(keJKg}E]SacG¨£ FGhKgc]R__a;]RKJufdvK(Qº_Ek¢S ][K(§kKJi iK(§|khdfX[dv_Ek·_U¥X[GK,kh_UXdf_Ekr_a¥i|SaXS
¦ihKJc3KJkiK(keJKa¨SUkhir_Ek·SM©_E]RIMSUuDiK(§kdfX[dv_Uk¹_U^Sai `b_EdvkqXYc]R_E}E]SaIMQdfkXKJ]RI)Qg_U c][_WiTe XQ_U5uv_We7Sau ¾ESUeJ_E±hd«SUk IMSaX]Rdve(KJQ(£ºFGdfQXGK(_E][K(I e7SUk±3K TQRKJiX_,X]SakQ[c3_EQ[Ky_EchXdfI)dvªJSaXdf_EkQ_UDXGKy_E][df}Edfk|SUu3c][_E}U]SUIX[_'XGhKSUia`b_EdfkqX c][_E}U]SUI£ ¤½XeJSUk¯SUufQ[_'`bTQbXdZ¹QRc%K(eJd§|e{X][SUkQR©_U][IMSaXdf_EkQy_Ek¹XGK{SUia`b_EdfkqX7£ ¿³K{}EdtEK Q[_EI)K K VhSUI)cufKJQg_U QRTejG¹SaccufdveJSaXdf_EkQ(£ À·ÁqÂ;ÃRÄ{Å
Æ5U sgThX_UI¢S
Xdfeydf%KJ]RKJkqXdvSaX[dv_Ek;sia`b_EdfkqX7Ç ][SUidfKJkqXQM¬_UIMchThXjSaX[dv_Uk¨ È cXdfIMdfª7S
Xdf_Ek¨? SaXS
ÉgKJc3KJkiK(keJKa;\5SU]SauvufKJufuvdfª7S
Xdf_Ek
Unité de recherche INRIA Sophia Antipolis 2004, route des Lucioles, B.P. 93, 06902 Sophia Antipolis Cedex (France) Téléphone : 04 92 38 77 77 - International : +33 4 92 38 77 77 — Fax : 04 92 38 77 65 - International : +33 4 92 38 77 65
+ ,.# '.#. 5 +,5 - - . $% ,&J . S¹yd%PJ][K(kqXdvSaXdf_Ek sgThX_EIMSaX[dv9TK=KJQRX'TkKMXKJejGhkdv9TKihK=}EP(kPJ][SaXdf_Ek iK13jRERU jqbA
|© q9Td|eJSUuve(TufKJkqXihKJQ }E]SaidvK(kqXQJ£ kMe7Sauve(Tu|Q[e(dvK(k9X[df§WThKUe(KJQ }E]SUihdvK(k9X[QºQR_EkqXThkKydfkh©_E]RI¢S
Xdf_Ek¢K(Q[QRKJkqXdfKJufuvKc3_ET] u »¼_UchXdfI)dvQ[SaXdf_Ek=_UT=u » SUQRQ[dfI)dvuvSaXdf_Ek iKi_EkkhPJKJQ(£ KeJSUufeJTu i;»¼Tk }E][SUidfKJkqXKJQbX·ThkK¯_Ec%P(]SaX[dv_Uk"][KJuvSaX[dftUKJI)KJkqX·ejGHJ]RKU WT;»¼dfu K(QRXQR_ETG|SUdXjSa±uvKi;»¼_EcXdfIMdfQ[K(]J£ » TkiKJQ_UThXdfuvQg©_Eki|SUI)K(k9XSUTVrc%_UT] eJK,X¦Zc3K i¨»¼_UchXdfI)dvQ[SaXdf_EkiKyc][_E}U]SUI)I)KJQºKJQRX1uvKg}E]SUchGKyiKgiPJc3KJkhi|SUke(KJQiKgi_EkkP(KJQ(£ W_ETQ iKJQ)GqZWc%_UX[GHJQRKJQM9TK·kh_ETQc]RPJeJdfQ[_UkQJ1kh_ETQ)I)_EkqX][_UkQ)WThK ufK}E][SUcGKiKiP(c%K(k i|SUke(K=iK(Q{i_EkkhPJKJQ'eJ_E]R][KJQRc%_Uki|SUkqXSaT c]R_E}E]SaIMI)K=SUia`b_EdfkqX{KJQbX{dfQ[_EI)_E]RcG K ·Tk Q[_ETQɦ}E][SUcGK'iT¹}E][SUcGK{ihK{iPJc3KJkhi|SUke(KiKJQ ih_EkkP(KJQiTc]R_E}E][SUI)IMK,dvkhdfX[d«SUu £ S iPJI)_EkQbX][SaXdf_EkQJ»¼SUccThdvK Q[Th]YThkKiP(§kdfX[dv_Uk·][S MkPJKiK uvS{k_UX[dv_EkiKihPJc3KJki|SakeJK iKgih_EkkP(KJQJK(XQ[T]´u«S iP(§kdfX[dv_Uk=©_E][I)K(uvufKyiK(Qc]R_E}E][SUI)IMK(QSaia`b_Edfk9X[QK(k¢XK(][I)KJQºiK c][_WiTdXQiK IMSaX]Rdve(KJQ^`RSUeJ_E±hdvK(kkKJQYPJufPJI)K(k9XSUdf][KJQ(£¬K XGP(_E][H(IMK c3KJ][I)K XyiKX[]SUkQÉ c%_EQRKJ]c3_ET]=uvKc]R_E}E][SUI)IMK¹SUia`b_EdfkqXeJK(]RXjSadvkK(QX]SakQR©_E]RIMSaXdf_EkQc3_EQRQ[df±uvK(QQ[T]ufK c][_E}U]SUI)I)KdvkhdfX[d«SUu |IMSUdfQSUTQ[QRdDi¨»¼SUccufdv9TK(]gihKJQ_EchX[dvI)dfQSaX[dv_EkhQYQRc%P(eJd§|9TKJQ(£ Y_ETQ KJk i_Ekk_UkQWThKJufWThKJQyK VKJI)cufKJQyc3_ET]ihKJQY_EchXdfI)dvQ[SaXdf_EkQe(_ET]Sak9X[KJQ(£ Å z à gdf%PJ]RKJkqXdvSaXdf_Ek®syTX_EIMSaX[dv9TKa^sia`b_Edfk9X[QJ´¬1SUufeJThuiK(Q)Ç ][SUidfKJkqXQ( È cXdfIMdfQS
Xdf_Ek¨?yP(c%K(ki|SUke(K'iK(QYy_EkkP(KJQ(%\5SU]SauvufPJufdvQ[SaXdf_Ek
YbA
| RERU'
,) . A Å Æ U Å Å z ~MÆ Å " h7 à Á ^Á Æ Á Á z ! # Á ~¢Æ Å A à Á ^Á Æ Á Á z $ % " ~ & ' Eh Å ( ) Å * Å " - ´ &( , + , ) M. ¤¦k eJdfKJkqXd§|ee(_EI)cThXdfk}EX[GK1kK(KJi©_E]5K(taSUufT|SaXdfk} QR_EI)KIMSaXGK(IMSaXdfe7SUuiKJ]RdftaSaX[dftUKJQ _U|©Tke Xdf_EkQ dvQ eJ_EI)I)_EkcuvSUe(KU£ È kK1QRTejG¢ihKJ][dtaSaXdtEKaqXGKERqU | EdfQ^_U3c|SU]RX[dve(TuvSU] dvkqXK(][K(QRX70£ /|_E]gK VhSUI)cuvKa;}E][SUidfKJkqXQ SU][K TQ[K(i¹©_E]Y_EchXdfI)dvªJSaXdf_E2k 14365 %_UchXdfIMSUu5ihKJQ[df}Ek 14785914 85:1LAx 5 |i|S
XjS)SUQ[QRdvI)dfu«S
Xdf_E; k 1= c]RKJQRKJkqXK(i°dfk QRKJe(X[dv_Uk®Ew @ XG|S
X'K tUSauvT|S
XK¢X[GK }E]SUihdvK(k9X,dfk S·e(_EI)cThXjS
Xdf_Ekk|SUuZ¯tEK(]RZ³K(%KJe(X[dftUKIMSUkkK(]JG£ Fg_A¡ºK(tUKJ]J Saia`b_Edfk9X,c]R_a }E]SUI)Q TQ[K=S·uf_UX,_UI)KJI)_E]bZ³QRc|SUe(KUH£ /?Th]RXGhKJ][I)_E]RKU XGK Z Sa][KMk_UX,K7SUQRdvuZ ]RK7SUi³±qZ GWThI¢SakQJ£FGK(Z _UXK(k kKJK(i°_UchXdfI)dvªJSaXdf_EkGQ >©k_UX_EkhufZ©_E]{I)KJI)_E]bIZ @ ´SUki XGhdvQ{dfQ IM_U][K'Q[Sa©KJuZ·i_EkK{dfkS¢©_U][IMSUu ©]SUI)K(¡º_EK] J3;TQ[dfk}i|S
XjS
½iKJc3KJkihKJke(K}E]SUchGLQ >Rq7E c][K(Q[KJkqX[KJirdfk Q[KJe Xdf_EMk E@ £ F _XGdfQ KJki; ¡ºK)kKJK(iX[_ ]RKJuvSaXK)c]R_Ec3KJ]RX[dvK(Q _UºX[GKii} _UºSUia`b_UdvkqX c][_U}E]SUI)Q( X_c]R_Ec%K(]RX[dvK(Q_U^XGK_U][df}EdvkSUu c]R_E}E][SUI£ FGhdvQc|Sac%K(]}EdftUKJQ(Ddvk¯Q[K(e(X[dv_Ek¯n¨Sc][_W_U XG|SaX´XGhK ii}{_a¨XGKySUia`b_EdfkqX1c]R_E}E][SUIldvQºdvkQR_EI)K Q[K(kQ[KdfQ[_UIM_U][cGdfeyX[_{S'QRT±Q[K X_U XGKgii}_UDX[GKy_E]Rdv}Udvk|Sau%c]R_E}E][SUI£^FGdvQ1SUuvuf_A¡Q1TQX[_'X][SUkQRc%_EQRK I)_EQRX1ii}a½][KJuvSaX[KJi c][_Ec3KJ]bXdfKJQ_UX[GKc][_U}E]SUI X_dXQ)Saia`b_Edfk9XJ SUQQ[Gh_z¡k®dfk®Q[KJe Xdf_ENk 3£¯¤¦k°cSU]RX[dve(T u«SU](WX[GdfQ1SUcchuvdfKJQX[_,tUKJe(X[_E][dfª7S
Xdf_Ek¨c|Sa]SUufuvK(uvdfª7S
Xdf_Ek¨W_E]_UX[GKJ] X][SUkQb©_E][IMSaX[dv_EkhQºXGSaX
O&OQPSRIT8UKVXW
n
j
[] KJQRejGKJihTuvK¢XGK¢c][_E}U]SUI» Q dfkQbX][The(Xdf_EkQ 1 nS5 £FGdfQ'eJSUk SauvQR_r][K(iTe(K=i][SUIMSaXdfe7SUufuZ XGK I)KJI)_E]bZeJ_EkhQ[TI)KJir±9Z=XGK SUia`b_UdvkqXYSUcch][_qSUejG;£ ! $% ,&J * ,+ - . ¬_EkQ[dfiK(]^Syc]R_E}E]Sa
I )a¡dXG'dvkQbX]RTe(X[dv_Ekh Q UXG|S
X¥dfIMchuvK(IMK(kqXQ SyIMSaX[G KJIMSaXdfe7Sau;©Tke Xdf_Ek !"#%$&"(''£ FGK SUia`b_UdvkqXc]R_E}E]SaI dfQSc][_U}E]SUI > }EK(kKJ]É SaXK(i·±qZs,£ 'A£ @XG|S
XeJ_EI)cThX[KJQXGK }E][SUidfKJkqXY_U) M£
K X1TQºK VcuvSUdvkGh_z¡ dfQ±ThdvuX7£^sgQ[Q[ThIMKgXG|SaXK7SUejG=dvkQbX]RTe(X[dv_E*k + ;dfI)cufKJI)KJkqXQ S=uv_We7SauvuZrihdf%KJ]RKJkqXdvSU±ufKU¨tUKJe(X[_E][dvSUu DKJufKJI)KJkqXSU]RZ·©Tke(X[dv_U-k ,. ¦£ SUejG¯c|Sa]RXdfeJThu«SU]yK V9 KJeJTXdf_Ek _U/ K(taSUufT|SaX[KJQ{Suf_Ek}rQRKJ9TK(keJ%K 021.435768 ´_UdvkhQRX]RTe(X[dv_UkQ,©]R_E9 I ) iK(X[KJ][I)dfkKJi¯±qZrX[GK{e(_EkqX][_Uu QRX[][Te XT]RKJQ_U: )£ FGdfQI)K7SUkQgXGK(][KdfQ Q[_EI)Ke(_EkqX][_Uu ©Tke(X[dv_U?76@ 5X[7A ?XGSaXy}UdftUKJBQ 021XGCK 3EDF'dfkQbX][The(Xdf_Ek¹K VKJeJTXKJi;¨±qZ 0%1HG= JILK 1NM £ /|_E]X[GdvQ¢c|SU]bXdfeJTuvSU]MK VKJe(ThXdf_Ek¨©Tke Xdf_EO k dfQ¢X[GWThQ¢XGhK·©_Eufuv_A¡dfk} eJ_EI)c3_EQ[dXdf_Ek=_a¨KJufKJI)K(k9XSU]RZ)©Tkhe(Xdf_Ek/Q ,. W¡dXQG P X[GKYtUKJe X_E]´_U¨X[GBK dfkcThX[QJhSUki R XGhK tUKJe X_E]_U5XGT K S_EThXchThXQ U R
GV 2WXPCY GV,ZILK[ M WX,.IXK>[>\^] M W_``N,.ILKa M WX,.IXKb] M WXPCYcYd``eYY
Ç dtEK(k k_A¡S >X]SakQ[c3_EQ[K(i@)¡ºKJdf}EGqXdfk} RVf"_a XGKgS _EThX[cThX[QJ1XGhK·X][SUkQRc%_EQRKJi }E]SUihdvK(k9X Phfr_U dfQiK(§kKJiSaQX[GK uvK Xgch][_WiTe(XY_U RVf¹±qZi Tj«U`RSUeJ_U±d«Sak·IMSaX[][d²V _U )£ ¸gQRdvkh}MX[GK ejG|SUdfk·]RTuvKa?dfXeJSUk·±3K¡][dX[X[KJk·SUQJU dvkheJK
P f G R f k , LI j K>[ M l, ILj K [>\^] M ```l, IXj K a M l, IXj bK ] M
vd QySMtEK(e(X[_E] SUkhirk_UXgSMI¢S
X][d²V%3X[GdfQgc]R_ihTe(XydvQY±%K(QRXyK VKJe(ThXK(i¹©][_EI#X[GK uvK X7£ ^9TdftaSUufKJkqX[ufZU%dXYdvQ_UX[KJk¡][dX[X[KJk·X[]SUkhQ[c3_EQ[K(irSUQU R
P5GV, ILj @K ] M@f l, ILj K a M@f ```l, ILj K [>\^] M8f k, ILj >K [ M@f R
F GKySaia`b_Edfk9Xºc]R_E}E]SaI eJ_EI)cThX[KJQ´XGdfQºch][_WiTe(XJ£¥F _,XGhdvQºKJki¨WdXIMSUdfkuZ)eJ_EkQRdvQbXQ _U( QRI¢Sauvu5Q[KJ9TK(keJK(Q,_a)mbSUia`b_UdvkqX dfkQbX][The(Xdf_EkQ_n + ½¨KJSUejGQ[K(9TKJke(K)dvI)cufKJI)KJkqX[dvk} XGKtEK(e(X[_E][dvSUu SUQRQ[df}EkI)KJkqX _a QR_a¦eJSUuvufKJiQmbSaia`b_Edfk9XtaSU]Rd«Sa±uvK(QoneU Pp!kGq, j < f r P
sut&Ovsuw
YbA
| RERU' 3
F GhKJQ[K + ^SU]RK'QRT][]R_ETkiK(i±qZ¹S=e(_EkqX]R_Eu5QbX]RTe(X[T][K{K(kQ[Th][dfk}XG|S
XyXGhK(ZrSU][K,K V9 KJeJTXKJirdvk XGK eJ_E]R][K(e(Xg_E][iK(]J?d £¼Ka£ JILK>[ M §|]RQRXJ?X[GKJk JILK[>\^] M £J£(£J?¡GdfejG¹dvQYdfk· SUe XYX[GK dvkqtEK(][QRK¹_E]XGK _E]Rdv}Edfk|SUuK VKJeJTXdf_Ek _E]RiKJ](£¶¿³K·QRG|SUufuYkh_UXM}E_³dfkqX_©T]RX[GKJ])iK XjSUdfu SU±%_UThX XGdfQ1SUi
`b_EdvkqXºeJ_EkqX[][_Eu3QRX[][Te XT]RKU¡GhdvejGeJSUk=±3KySaejGdvK tEK(i dfk=IMSUkqZ)¡SAZWQ(£ ¿³K Q[G|SUufuDQ[dfI)cuZSUQ[QRTI)K X[G|SaX©_E]KJSUejG c|SU]RX[dve(TuvSU]K VKJe(ThXdf_Ek·_E][iK(]_U MhX[GK SUia`b_EdfkqX K VKJe(ThXK(Q SUi
`b_EdvkqXdfkQRX[][Te Xdf_EkQYdvkXGhK ]RK(tUKJ][QRK'_E]RiKJ](£
SUQbX ±ThX k_UX ufK7SUQbX7 k_UX[dve(KXG|SaXX[GK)eJ_WK MeJdfKJkqX[Q'_U´XG2K , j IMSaX[][dfeJK(Q,IMS7Zdfk tE_EutEK taSU]Rd«SU±huvK(QJh¡G_UQ[KytaSUufTKJQI,TQRX1±%KyXSS JUK(k©][_EI X[GK K VK(eJThX[dv_Ek_UDX[GK _E]Rdv}Udvk|Sau dvkQbX]RTe(X[dv_Ek £ FGKJ]RK(©_E]RKU´X_SUe(X[T|SUufufZ eJ_EI)cThX[KXGK}E][SUidfKJkqXM_U ) _EkKI'ThQRX §|][QbX,K VKJeJTXK=e(_EI)cufK(XK(ufZ¯X[GK)_E][df}Edfk|SUu¥c]R_E}E][SU9 I )5Saki¯_EkuZXGK(k³_EkhKMK VKJeJTXKJQ ) ¡GdfejG TQ[K(Q{Q[_EI)KMtUSauvTK(Q,©]R_EI K VKJe(ThXdf_Ek _U M£ dfkeJK¢dvI)c3KJ][SaXdtEKch][_E}E][SUI)Q _UXK(k=_AtEK(]R¡][dXK X[GKJdf]ºtaSU]Rd«Sa±uvK(QJWXGK(Q[KytaSUufTKJQI'TQbX±%KYQS7tUKJiiT]Rdvk}'K VKJe(ThXdf_Ek_U M;SUki¯c][_U}E][K(Q[Q[dtEK(ufZ¹][KJQbX_E]RKJiiT]Rdvk}K VKJeJTXdf_Ek³_a £ FGdfQdvQ X[GK{IMSUdfkih]S7¡1 ±|SUe J_UYSUia`b_EdfkqXc]R_E}E]SaIMQ(¥±3KJe7SaTQ[KX[GKI)KJI)_E]bZ ][K(9Tdv]RKJi®}E]R_z¡Q'uvdfkK7Sa][uZ³¡dXG XGK K VK(eJThX[dv_Ek XdfI)KU?SUki e7Sak·±3KJe(_EI)K ThkIMSUk|SU}EKJSU±uZu«Sa][}EKa£ F _MdvufuvThQRX][SaXK XGhdvQ(?§}ET][KML Q[G_A¡QXGK }EKJkhKJ]S
XKJirSUia`b_EdfkqXYc][_E}U]SUI _a¥S)Q[IMSUufu ][_EThX[dvkhKe7SauvufKJi
a¡GhdvejGdfI)cuvK(I)KJkqXQ^XGhKk_E]RIMSUuvdfª7S
Xdf_Ek{_U?SywzÉ°tEKJe X_E](£ FGK,_U][df}EdvkSUu c][_E}U]SUI e(_EkqXjSUdfkK(ir_EkuZ dvkhQRX]RTe(X[dv_UkQ ] 3SUki·][K(X[T][khKJir_UThXcTXQ i 3£¥FGK1}EK(kKJ][SaXK(ic][_U}E]SUI dfQ e(_EI)c%_EQRKJi)_U|X[GK_E]Rdv}Udvk|Sau % ©]R_EI dvkhcThXQ SUkh c][_E}U]SUI ©_Euvuf_A¡K(i{±qZXGKgqbA
|%h ^
h ] ©£ ¤½X XjSS JaKJQ5SUQ5SUiidXdf_Ek|SUuqdfkcTXQ XGK qbA
| B
U " !$# j %? &3 > Ka£¼}£ > xh¼xhfL @gdº_UkufZ¹_EThXchTh'X ·dfQ_U´dvkqX[KJ][K(QRX @ 5SUki ][K(X[T][khQMX[GK·}U]SUidfKJkqX W % & Y £ F _iK(XSUdvu©T]bXGK(]MX[GK IMK(ejG|SUkdfQ[I _Uy}EKJkK(]SaX[dv_Uk¨ ¡K,Q[G_A¡_EkrX[GK']Rdv}EGqXYXGK,KJufKJI)KJkqXSU]RZM`RSUeJ_E±hd«SUk·IMSaX]Rdve(KJQ _U¥K7SUej@mÉihi} n @ 1L 5 1¼6p 5YdvQ¢S}U]SUcG°XG|S
X¢ihK(§|kK(QS¯c|SU]RX[d«Sau _E][iK(]¥±3K(X¦¡ºKJKJk)XGhK >'
¦SUii]RKJQ[Q^e(_ihK @5_Ec3KJ][SaXdf_EkQ c%K(]R©_E]RIMK(i)±9Z{S c][_U}E]SUI£ ¿ GKJk S][KJ_U][iK(][dfk}·_a´X[GKc]R_E}E]SaI » Q_Ec3KJ][SaXdf_EkQ_E]dfkQbX][The(Xdf_EkQ i_WKJQkh_UX dvkqtUKJ][QRKMX[GK ii}®SU]R][_A¡QJXGK(k"XGKQRKJIMSUkqXdfe_U XGKch][_E}E][SUI dvQch][KJQRKJ]btEKJi;£ FGKii} dfQS ½U X Ydvk©_E][IMSaX[dv_Edk UYdX]RKJuvSaXK(Q{ ,+E- h. #3_Uc%K(]SaX[dv_EkhQg©][_UI X[GK{c]R_E}E][SUI£y¿ GKJk¹X[GK O&OQPSRIT8UKVXW
o
j
"
% &
?@BADC0EFC%G JK AIH A 56 ] ! , ]%j 9 K;:< =< > MvG AA H !#"%$'&'( 56 a ! L N'M OQPSRUT V WYX[Z4WS\ ]^0_a`%bcWd`e3e3e )!#"%$'&'( 56 87B! L f4M O PSgh RUT V i X[pZ ` jlk'Z4Wm`n]o`'e X q *!#"%$'&'( 56 ! L r M O PSsh RUT V i X[pZ ` jlt'Z4WmX `n]o`'e q *,+.-/(0" 1324-/( 5 ! t p & i ` qlu[v i jlt'Z4X[WdZ `w` ]o`'exX q i t` q & & 6 ),+.-/(0" 1324-/( 5 87B! k p % i ` qlu[v i jlk'Z4X[WdZ `w` ]o`'exX q i k` q % % 6 ,+.-/(0" 1324-/( 56 a ! y `{z y X[Z4WS\]^0_a`abcWm`'eYe|z y `{z u[v }~ ` }~ ppDp }~ ` 5 % % & & ] ! k \%kp X p k u v 6 t \%t X t
QaQQU|aQU8¡ £¢¡
¤Q¥ 8¦§U ¤©¨ ª ¨«8¬¤ ªU¯®x ¨ ¦ «8¤Q¨ § ¤Q¬ ª%§a « §UU°±ªU «'² ¦©ªB¦ ¬¤³¤Q¥ °
£§U ¥ U8ªU ¨ §Uª´¦ ¬¬ §Uªµa ¨³¶ §U·´{¸³ « l§ ¤Q¨ ª8¹»º ¬ ¦©ªaªU « ¦ ¬¬£¼ °³§ ² {U½¦ª ¤Q¨¿¾À¤ ¦Á®¦Â§'¦ ¶ ® ¥ ¨ ®l ¨« !Ã8§ ĵ¯ ¨ § Ä ¤Å¤©¥ 8¦§U ¤Q¨ ª!ªÆ§ ² Bl§U ¬ ªU¦§ ¤Q¨Ç¤¾±¥ ¤ Q¦©·ÉȦ©aY¦Ã ¬ 8ª¯¹{Ê ² ¯aªË¦Ì® ¥ ¨ ® ¨« ¾ ¤ · ¤Q¥ 8¦§U ¤©¨ÎÍQÏ § ¤¿Í N °l ¾ § ² 8ªU,§ ² a¯ «¯¤Q¨ ®§U ¤©¨ ª ²¤Q¬ ®Ð Q¹Ñ ¨ ª ¤ ·´¡a½¦ ¬ 4¸³ « ³§ ¤Q¨ ° ÍÏ ·¿¦ ¼ ÃwÒ® ¤Q¨ ,Ãw ¾À¤ U Í NÓ n ÔÂwÕ ÍQÏ×ÖDÍ N4Ø ¹ ¹ ¨ ª ¤ ·´¡a½¦ ¬ 4¸³ « ³§ ¤Q¨ ° ÍÏ ¦ ¨ ® Í N ¦ «8« 8ªUªÑ§ ² Òª¦·¿Á·´¯· ¤ ¼Ú¬¤o« ¦Â§ ¤Q¨ ° ÙÑ Û ¹Ñ¯£§ ² 8 ÍÏܤ Í N ¥ ¯ ¾À¤ U·Ý¦,ÄÑa§UÞ ¨ § ¤ § ² ª±·¿8· ¤ ¼¬¤o« ¦§U ¤Q¨ °©Ä ² ¬ Þ§ ² ¤ § ² 8 ¤Q¥ ¯¦Â§ ¤Q¨ ÄÑU£§¯ª ¤ Ña½¦©®ª8¹ ¤ {·¿¦ ¨¼ lªU¯ª8° «8¤Q¨ ªU®8U ¨ Ú½¦ «'²ß¤©¥ 8¦§U ¤Q¨ ªU ¥ ¦©¦Â§ ¬£¼ ª,¦¿·B «'² § ¤³¤ ªU·¿¦ ¬¬ ¬ ÈQ ¬à¤©¾ ©¦ ¨ ¬ ¦©U£§ ¼ ¹»á ¨ § ² BU8·¿¦© ¨ ¨ ¤©¾ § ² ª ¥ ¦ ¥ ¯8°Ä»¡ª ² ¦ ¬¬â«¯¤Q¨ ªU®¯!¦ ¬ ¦©UQ8 Q¦ ¨ ¬ ¦©a§ ¼ °»§ ² Úã ¨¤ ®8ª%ä'°µÄ ² «'²å«¯¤Q¨ §'¦ ¨æ¤©¨ Î ¨ ª%§U « § ¤Q¨æ¤ ̦çªU¯è ¨« ¤¾ ¦ ¬;¶ Äצ ¼ ª «¯¤Q¨ ªU « l§£ÈQ ¨ ª%§U « § ¤Q¨ ª8¹Òé ¼ ã%¦ ¬ Äצ ¼ ª «8¤Q¨ ªU « l§UÈ©ä°ÐÄ»·´¯¦ ¨ß«¯¤Q¨ ªU « l§£ÈQ êÀëàì|êÀí
YbA
| RERU'
p
vd k®SUkqZ³K VKJe(ThXdf_Ek®_UX[GKc]R_E}E]SaI ¥SUki ¡ºKe7SUufuºX[GKJQRKk_WiKJQ j
| ,+E£ ¿ K=G|S7tEK S¹k|SaXTh]SUuºc][_a`bK(e(X[dv_Ek®_UYXGhKii}¯_Ek X[GKJQRK kh_iK(QJ£ SaXjSz¦iK(c%K(kiKJkheJKJQM±3K(X¦¡ºKJKJk X¦¡__Ec3KJ][SaXdf_EkQgdvk¹X[GK{Q[SUI)K{k_WiKU;SaXyX[GK{QSaIMK'][Tk XdfI)K{dfX[KJ][SaXdf_Ek_U K(keJuf_EQ[dfk} uv_W_EcQ(|SU][K k_aXc][_a`bK(e(X[KJi¨£ ¿ KQ[S7ZXG|SaXYSc]R_a`bKJe XK(iriK(c%K(kiKJkheJK dvQ =
B
U [±qZ S·taSU][dvSU±ufKU¥¡GK(k®_EkK=_agdXQ'_E][df}Edfk|SUu´iKJc3KJkihKJke(KJQ)][K(u«SaX[KJQ{X¦¡º_¯SUeJe(KJQRQ[KJQX[_rXGdfQ tUSa][dvSU±ufKU£s c]R_a`bKJe XK(iiSaXjS
½iKJc3KJkhiKJke(K)I¢S7Z tEK(]RZ¹¡ºKJufu¥±3K{I)_UXdtaSaXK(i±9ZrIMSUkqZ tUSa][dvSU±ufKJQJ£ g_UX[dve(K)SUuvQR_XG|SaXJD_Eke(KMihKJc3KJkiK(keJK(Q'Sa][Kc]R_a`bKJe XKJi; X[GK_E][ihKJ][dfk}dfk ©_E][IMSaX[dv_Ek¶h Sr}EdtEK(k k_WiK=dfQ'uf_EQRXJ£rFGK(][K ©_E][Ka¥©T]RX[GKJ],][KJ_U][iK(][dfk}dvkhQ[dfiKS }EdftUKJk k_WiK dvQ©_E]R±dvihiKJk¨£ Y_ihKJQ=I,TQRX=k_UX¢±%KX_W_u«SU]R}EK U·K7SUejG k_ihKrI'ThQRX]RKJc]RKJQRKJkqX_Ek K >©tUKJe X_E]Rd«SUu @ I¢S
XGK(I¢S
Xdfe7SUu^©Tke Xdf_Ek¨£FGK(][K ©_E][K=S·Q[dfk}EufKMk_ihK=I'ThQRX,k_UX ¡][dXKStaSUufTK=dfkqX_ S=tUSa][dvSU±ufKU SUki¹X[GKJkTQRK{XGdfQ taSU][dvSU±ufKU£,¤¦k_aXGK(]y¡_U][iQ( _UkufZ·taSUuvThKJQ XGSaX K VdfQRX ! 7
XGKYk_WiKYK VKJe(ThXdf_EkIMS7Z)±%KYTQRKJi±qZ)XGKYk_WiKU£5¿ KYe7SUufu|XGK(Q[Kgk_ihKJ0 Q B
. #² U£ ºKJe7SaTQ[K _U XGhKJdf]dvI)c3_E]RXSUkeJKdfk SUia`b_EdfkqXc][_U}E]SUI)Q >e §|}ET]RKUL @ h¡K QRG|SUufu¨}EdtEK S QRc%K(eJdvSUu?][_EufKX_ S tUKJ]bZ¢cSU]RX[dve(Tu«Sa:] J9dfki=_a;_Ec3KJ][SaXdf_EkQ U¥dfkeJ]RKJI)KJkqXQº_Ek¢S taSU]Rd«SU±huvKa£ FGWThQJ¡ºKYiK(§|khK QWg Y 9X[GK N |_UDS eJ_EkkhK V=SUki)taSUuvdfi=kh_i K _Ek=S taSU][dvSU±ufK _E]I)KJI)_E]RZuf_We7SaX[dv_E k ?±qAZ U K =i_WKJQk_aX_e(eJT]YSaXYSUufuDdfkQ[dfiK ³£ QWg Y G ¡GK(k·taSU][dvSU±uf k =dfQ_EkuZ][KJSUi·SUki k_UX_AtEK(]R¡][dX[X[KJk¹dfk ³£ QWg Y G ¡GK( k dfQg]RK7SUi _EkuZ_Eke(KU£1¤½X[QYtaSUufTK dvQYdfkeJ]RKJI)KJkqXK(i¨¨Saki·dfQ QWg Y(G ¡GK( ][KJSUQ[QRdv}EkhKJi·X[_ 3£^FGhKJ][K,SU]RKk_¢_aXGK(]_e(eJT]R][KJkheJKJQg_U =dfk £ QWg Y G Ä _UX[GKJ]b¡dvQRKU£ ¿³Kk_A¡ dvkqX[][_WiTeJK_UT]1IMSUdfk ]RK(§|khKJI)KJkqXX_iih}£ dfIMdfuvSU][uZ=X[_'¡G|SaXG|Sacc%K(kQ ±%K X¦¡K(KJk¯ [q
¡ºKk_UXdfeJKgXG|SaXºXGK(][KdfQ1k_{iSaXjS
½iKJc3KJkhiKJke(K ±%K X¦¡K(KJkX¦¡_d
|©y_US}EdtEK(k³taSU]Rd«SU±huvKa5±3KJeJSUTQ[KM_USUQ[QR_e(d«S
XdtdX¦Z³SUkieJ_EI)I,ThXjSaX[dftWdX¦Z_UºX[GK Q[TI£ FY_z¡ºK(tUKJ](´X[GdvQ'dvQ X][ThK_EkuZ ddfkeJ]RKJI)KJkqXQ)Sa][K¯U¦
X £·¤½X[GdvQ'dvQ,k_UX'X[GK e7SUQRKUEX¦¡º_ dfke(][KJI)K(k9X´_Ec3KJ][SaXdf_EkQ i_EkK1dfk)c|SU][SUuvufKJuIMSAZ'eJ]RK7SaX[KS ]SUe(KeJ_EkhidfX[dv_Uk¨£ ¤¦k XGK ©_Eufuv_A¡dfk}?¡K,SUQ[QRTI)K{dfkeJ]RKJI)KJkqXQ SU][K,SaX_UIMdfeU£FGdvQge7SUkr±%K,SUejGdfK(tUKJi¯SaXYuf_z¡ uvK tEKJu ¥TQRdvkh}rQ[K(IMSUcG_E]RKJQ(¥_E] SaX Gdf}EG ufK(tUKJu ¥TQ[dfk}³ [. ^
¹iKJe(u«Sa]SaX[dv_EkhQJ£sguvQR_ SaX_EI)dfeJdX¦ZdfQY}U]SUkqXK(i ¡GhKJk·X[GK c][_U}E]SUI dvQ]RTk·QRKJ9TK(k9X[d«SauvuZE£ O&OQPSRIT8UKVXW
7
j
Ä ³¿ K e7SUk k_A¡ }EdtEK SUk KJ9TdtaSUuvK(kqX iK §|kdXdf_Ek#_U Ä i|SaXjSz¦iK(c%K(kiKJkheJK±3K(X¦¡ºKJKJk¶k_WiKJQ(£FGhKJ][KdfQS¹i|SaXS
iKJc3KJkihKJke(Kg©][_UI k_WiK ] X[_ a 9I)_UXdtaSaXK(i¢±qZtaSU][d² SU±ufK ?9df ] a Saki gW %W ] Y+ %W a YY W¡dXG ][KJuvSaX[dv_Ek iK(§ kKJi·±9ZX[GKXjSU±huvK _EkXGhK ]Rdv}UG9XJ£ /5dv}ETh][K³w dvufuvThQRX][SaXK(Q X[GKSU±3_ztUK¯iK(§|khdfX[dv_EkhQJ SUki c]RKJQRKJkqXQ XGK¯ii}®_U,c]R_a }E]SUI QRG_A¡k_Uk·§|}ETh][KLE£¿³K'iK §|kK'X[GK'k_WiK(Q SUQyX[GK,©_UT]gdfkQbX][The Xdf_EkQ ] 3 c
uf T Qg X[GK,©_ETh]ySUi
`b_EdvkqXyeJ_EI)c3_EQ[dXK,dvkQbX]RTe(X[dv_EkhQ ] £ È kK,e7SUk¹KJSUQ[dfuZ ejGKJe JXGSaXXGK(Q[KMk_WiKJQ SU]RK¢Sauvu¥e(_EkkK V³SUki¯taSUuvdfi¨£FGK¢SU]R][_A¡Q Q[G_A¡ X[GK)i|SaXjSz iKJc3KJkihKJke(KJQ'±3K(X¦¡ºKJK(k XGhKJI£¢FGhK¢iK(c%K(kiK(keJK(Q{±%K X¦¡K(KJk dfkQbX][The(Xdf_EkhQ ] SU]RK IM_aXdtUS
XKJi±qZtaSU][dvSU±ufKJQ 3 SUki | ¡GhdvufK¢ihKJc3KJkiK(keJK(Q{±3K(X¦¡ºKJKJkXGK ] SU]RK IM_aXdtUS
XKJi)±qZ %? &?9SUki £¥FGK]RK(§|khKJI)KJkqXºdvkqX]R_ihTeJK(i¢Sa±%_AtEKaWSU±%_UThXd |© uvKJSUiQyX[_Q[K X[Xdfk}k_=iKJc3KJkihKJke(KM±3K(X¦¡ºKJK(kX[GK'QRTeJe(KJQRQ[dtEKMdvke(][K(IMK(kqXQ _U dvkrX[GK SUia`b_EdfkqX c|Sa]RX7£ syufQ[_g][K(e7SUufuW©]R_EI QRKJe(X[dv_Uk)wX[G|SaX XGK taSUuvThKJQ _a 3ESaki TQRKJi{dfk,X[GK SUia`b_EdfkqX^k_WiKJQ^Sa][Kc]R_ztWdfiKJi)±qZ'X[GKgJS B SUki j ¦
I)K(ejG|SUkdfQ[I9k_UX^]RKJc]RKJQRKJkqXK(i GKJ]RK ©_U]][K7Sai|SU±dfuvdX¦ZE£ ! $% ,&J | µ5 Á Á z ) Å Á E ¿ K e(_EkQRdviK(] MS >©]SU}EI)K(k9X1_U @ c][_U}E]SUIl_E]ºQ[T±hc][_E}U]SUIe(_EI)c%_EQRKJi_U dfkQbX][The Xdf_EkQ XeH £ FGhKJQ[KdfkQRX[][Te Xdf_EkQ·SU][KidfQRX[][df±ThX[KJi dfkqX_°Q[_a½e7SUufufKJi k_ihKJQ >? SQ XGSaX¯eJ_EkqXSUdvk_EkK _U]I¢Sak9Z SUuf¡S7ZWQ³e(_EkQ[K(eJThX[dftUK + ½£ ¿³K°eJSUufu
! A$ >? SQ gXGhKr©Tke Xdf_Ek"XG|SaXiK(§|khKJQXGdfQidfQRX[][df±ThXdf_Ek¨gQ[TejG XGSaX K MÉ£°¿ K Q[Tchc%_EQRKrk_WiK(Q SU][K SUufueJ_EkhkK V SUki®taSUufdvi¨£°¿ K e7Sauv u X[GK c][_a`bK(e(X[dv_Ek¯_U^X[GKi|SaXS
¦ihKJc3KJkiK(keJK}U]SUcG_a l_EkqX_X[GKk_WiKJQ A£ ¿³K{e7Sauvu XGKgSUia`b_EdfkqX´_U )E¡dfX[GdvkhQRX]RTe(X[dv_UkQ + e( >7A ;SaQ´ihK(§|kK(idfk=Q[K(e(X[dv_Ekw£ ¿³KgQ[SA¡ XG|SaXK7SUejG ¨IMS7Z¢dvkihKJKJie(_EkQRdvQbX_UDQ[K tEK(]SUuDSaQ[Q[df}EkI)K(k9X[QJ|±TX¡ºK eJ_EkhQ[dfiKJ]1dXSaQ1S Q[dfk}EufK e(_EI)c%_UQ[dXK dvkhQRX]RTe(X[dv_Uk·XGSaX¡K ¡dfuvuDkK tEK(]gQRcuvdXY_E]][KJSU][][SUk}EKa£^¿ KidfQRX[][df± ThXK)SUi
`b_EdvkqX dfkQRX[][Te Xdf_EkQ dfkqX_ SUia`b_UdvkqX k_WiKJQ Z 7SQ ±qZ¹I)K7SUkhQ _a´X[GK QSUI)KidfQRX[][df±ThXdf_Ek©Tke Xdf_Ek £¥FGKJ]RK(©_E]RKXGK(][KdfQS{e7SUkh_Ekdfe7SUu¨±hd `bK(e(Xdf_Ek±3K(X¦¡ºKJKJk XGK 'SUkhi¹XGK
£ / dfk|SUufufZU;¡ºKMeJSUufu "XGK{ch][_a`bK(e(Xdf_Ek¯_U XGhK{i|SaXS
¦iK(c%K(kiK(keJK }E]SUchG _a _Uk9X[_MX[GK k_WiKJQ A£
sut&Ovsuw
YbA
| RERU'
![[hal-00531290, v1] Graph Classes (Dis)satisfying the](https://m.moam.info/img/260x300/hal-00531290-v1-graph-classes-dissatisfying-the_5c14b21b097c4718208b4695.jpg)
