HAL Id: inria-00327118
https://hal.inria.fr/inria-00327118
Submitted on 7 Oct 2008
HAL
is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished 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, estdestinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Modèle de PLNE pour la recherche de cliques de poids maximal
Noël Malod-Dognin, Rumen Andonov, Nicola Yanev, Jean-François Gibrat
To cite this version:
Noël Malod-Dognin, Rumen Andonov, Nicola Yanev, Jean-François Gibrat. Modèle de PLNE pour
la recherche de cliques de poids maximal. ROADEF 2008, Institut Supérieur d’Informatique, de
Modélisation et de leurs Applications, Feb 2008, Clermont-Ferrand, France. �inria-00327118�
) +*,"
)
?
-.0/21436587:9<;=5?>A@CBD@
1??E0F .0GH@07C5?@C5JI
1E -(.:KL14@0M#I
2E M#NPO49RQS.0TUBDV0WX14N
3
1 Y[ZLYR\?]P^A_`#acbedefhg?ijkil`#demonoipdq^8rts#uwvJx+ZLipyeyAipfp^AzA{|`wyA}pi
2 ~ yAniX{fRn[ (w\4w8`?^ejkdemot`{n`
3
YRY[!ZS]H^4a`#nyAigAi!nomiX{Rl^ewrswuwdA (ipywf`wfS_kilgAi0^ezA{|`#ye}pi
wAJtwtJ4# ?¡w£¢¥¤t ^ J44A#¦J4# ?¡w£¢¥¤t ^¨§p© ª4«Jpe¬ © ¢ª?4¡®¢¯ªJ ^°± #:²p¤t J# § Jt¡®¢¥4lª4 J¬t ° ³4«£¢Rl4 J´¢µ¤t
¶¸·q¹wº#»X¼?½¥¾8ºÀ¿£/¨5:7:Áw3DMc7:McÂLÃÄ-HÅ
E®Æ
36B6ÇeÈCMc7:McÉ®5?BÊ7CËÌ14Í8B6Ì143
E
1436BD>A@CM#Ì%Mw@ANH7:McË|NWXÈ
Æ
NXÈCWXMwË7:McÉCWX54NXÎ#B6@CMwËw.
Ï ÐeÑ!Ò8Ó0ÔÕ=ÖP×®ÒCØÔ!Ñ
-H5?ÈqË,ÉCWXÎwËM#@eN5A@0Ë%ÈC@Ù@C5AÈCI?M14ÈÌ%587CÁ#36M27:M¨ÂLÃÄ-HÅhÚÉq5AÈCW,3Ê1ÛWM
ÆpÜ M#W
ÆpÜ MÝ7:M
Æ
3DBÊÇeÈCMwË
E
14É0ÉC3DBÊÇeÈCÎ21?È:Í
1436BD>A@CM#Ì%Mw@ANpË7:MËNXWÈ
Æ
NÈ0WMËSNWXB67:B6Ì%M#@0ËB65?@C@CMw3D36MwËcÞ¥ß?;+à7C14@qË3DMc365?>AB
Æ
BDMw3®áG=âCã+äDå#æÊçA.
Åh@ÙVCB65?365?>?B6M¨ËNXWÈ
Æ
NÈ0WMw3D36M
E
B63PMËNÀ1A7:Ì%B6ËÀÇAÈ0Mè7:M#È:ÍÉCWX54NÎwBD@0MwË,1tée14@eN%7CMwËÀË|NWXÈ
Æ
NÈCWXMwËßA;êË|B6Ì%BD3Ê14B6WXMwË
5?@eNë7CM,ì¯5?WNMË
ÆpÜ 14@
Æ
MwË(7CMÀÉ01?W|Np14>?MwW3Ê1èÌ%í#Ì%Mì¯5?@
Æ
NB65?@îM#Në7:MÝ7:Î#WXB6I?M#Wë7£ïÈC@ð14@
Æ
íNXWM
Æ
5AÌëÌñÈC@òäóæ<.;=M
@C5?ÌñVCWXM#È0ËMwËôÌ%Î#N
Ü
5:7:MËh5?@eNLÎ#NÎ
Æ
WÎwÎ#MËôÉq5AÈCWLÌ%M#N|NWXMPMw@Î#I8BÊ7:M#@
Æ M Æ
M#N|NXMPË|B6Ì%BD3Ê14WXBDNÎ(ÞµÉ014W!MÍ:M#Ì%ÉC36Mä6å
Eß Eõ æà.
Ã1cÉ03DÈCÉq14WN!Ë|MPV01?ËM#@eN!ËÈCWLÈ0@À1436BD>A@CM#Ì%Mw@ANPÞµÌ14WXB61?>?MHË|NX14V03DM
E÷ö
5?@CMNX55?@CMPÌ%14N
ÆpÜ B6@C>
ö
àMw@ANXWMP3DMËhÎ#36Î#Ì%Mw@ANpË
7:MÀ7:MwÈ:ÍÛÉCWX54NÎwBD@0MwËÀÞ¥1
Æ
B67:MË(1?ÌëB6@CÎË
E
ËNXWÈ
Æ
NÈCWXMwËñË|M
Æ
5A@07C14B6WXMwË
EÆ
1?WV®5?@CMË1436É
Ü
1eàl.kÂô14WXÌëB
Æ
MËÌ%ÎN
Ü
5:7:MwË
E
@C5?ÈqËh@C5AÈ0ËLB6@eNÎwWMËË5?@0ËLø3Ê1cÌ%ÎN
Ü
587CM=áG=â:ãÞµáôM
Æ
N5?WGH36B6>?@CÌ%M#@eNâ8Mw1?W
ÆpÜ ãÄ585?3à
E
ÇeÈCB÷1436B6>?@CM=3DMËhÎ#36Î#Ì%Mw@ANpË
7:MËNXWÈ
Æ
NÈ0WMËcË|M
Æ
5?@q7C14B6WMËñÞ[âCâ8ÅLËpà+7:MË+ÉCW5?NÎwBD@CMË#.Äù!M#N1436BD>A@CM#Ì%M#@eNcMwË|NcÌ%587CÎ#36B6ËÎË|5AÈ0Ë+361ì¯5AWÌ%M7£ïÈC@CM
WM
ÆpÜ M#W
ÆpÜ M¨7:M
Æ
36B6ÇeÈCMú7:MèÉ®5?BÊ7CËÀÌ14Í8B6Ì143UË|ÈCW3DMËÀ1?Wí#NMwË7C14@qË,ÈC@ò>AWX1?É
Ü
M¨É01?W|NXB
Æ
ÈC36BDMwW14É0ÉqMw3DÎè>AWX1?É
Ü M
7£ï1436BD>A@CM#Ì%M#@eN%Þ¯ÉCWX5?VC36Á#Ì%Më-HÂô9R;PBDû
Æ
B63DMAäü4æ¯àl.÷Â5?ÈCW=NWX5?ÈCIAM#W
Æ
MNNM
Æ
36B6ÇeÈCM
E
áG=âCã>?Îw@CÁ#WXM(M#NUÎwIt1?3DÈ0MN5AÈ:NMË
3DMË
Æ
3DBÊÇeÈCMwË=É®5AËXË|B6VC36MwËHMw@2È:NXBD36BÊË1?@ANU3¥ï1436>?5AWBDN
Ü
ÌëMñ7:MñýSWX5?@¨MNcþ+M#WXV®5AË
Ü äÿæ<.ù!M#É®M#@07014@eN
E
361ÀI8BNXMwËXË|Më7:M
Æ
MN
1436>?5AWBDN
Ü
Ì%MUWMËNXWMwBD@eN3[ïÈ:NXBD36BÊË14NB65?@Ý7:McákGUâ:ã øë7CMcÉqM#NBDNMwËHV01?ËMwË7:M7:5A@C@CÎwMwË7:MË|NWXÈ
Æ
NXÈCWXMwËß?;ñ.
Âk5AÈCWWMwÌ%Îw7:B6M#Wø
Æ
MNB6@
Æ
5A@eIAÎ#@CB6M#@eN
E
@05?È0ËSÉCWX5?É®5AË5?@0ËLÈC@Ìë5:7:Áw3DM+7:M+ÂLÃÄ-HÅÙÇeÈCB÷WÎË|5AÈ:NSM#û
Æ 1 Æ M#Ì%M#@eN
361ëWXM
ÆpÜ MwW
ÆpÜ MU7:M
Æ
3DBÊÇeÈCMwË365?WpËXÇAÈ0M=36M+>?Wp14É
Ü
Mc7£ï1436B6>?@CMwÌëMw@eNMËNWXM#ÉCWXÎwËM#@eNXÎ+Ë5?ÈqËLì¯5AWÌ%Mc7£ïÈC@CMc>AWB63D36M?.
pÔhÓ¸Ö ÄÒCØ|ÔLÑÕ=ÖPÓCÔ
Ãhï1436BD>A@CM#Ì%M#@eN%7:MwËâCâ8Å!Ë7:M7CM#È:ÍÛÉCWX54NXÎ#B6@CMwË
E P1 MN P2E ÉqMwÈ:N|9<íNXWMWXMì¯5?WXÌ(È03DÎ10@ÇAÈ0MÀ36M>AWX1?É Ü M
7£ï1436BD>A@CM#Ì%M#@eNô14BDNh361Pì¯5?WXÌ%M7£ïÈ0@CM>?WXBD3636M
E
5?È
ÆpÜ
1?ÇeÈCMS36BD>A@CMWMwÉCWÎË|Mw@eNMSÈC@CMHâCâ8ÅÛ7:M
P1E M#N ÆpÜ 1?ÇeÈCM Æ 5A3D5A@C@CM ÈC@CMÀâCâ:Å 7CM
P2.´Ã´MË+ÉCW5?NÎwBD@CMË
P1 MN P2 Ë|5A@ANcWXM#ÉCWXÎwËM#@eNXÎ#MwËUÉ01?Wc7:M#È:ÍúM#@0ËM#ÌñVC36MwË
N1
MN
N2
q@CB6ËMN
5?Wp7:5?@0@CÎwË7:M(â0â8ÅLËw.®â85ABN
G= (N, E) 36Mc>?Wp14É
Ü
M7£ï1?3DB6>?@0M#Ì%M#@eNP7:M
P1M#N P2.qâ8È0WH361%36B6>?@CM
i∈N1
MNH3Ê1
Æ
5A3D5A@C@CM
k∈N2E
36MU@C58M#È07
ni,k
M#Í:B6Ë|NM%Þ¯@C5?NÎ
ni,k∈Nà E ËXË|B®36MwËâCâ8ÅLË
iMN kË5?@eNS1?3DB6>?@q14VC36MwËJ.
ÆpÜ 1?ÇeÈCM
@C58M#È07
nik ∈ NE 5A@1AËË5 Æ B6MÈC@ÛÉ®5?BÊ7CË
Sik ∈ R.H@CMÀ1?Wí#NM
eikjl
Mw@ANXWMÀ3DMËc@C58M#È070Ë
nik
MN
njl
M#Í8BÊË|NM
Þeikjl ∈ Eà+ËËBh3[ï5AWX7CWMñN5AÉq5A3D5A>?BÊÇAÈ0MñMËN
Æ
5?@0ËM#WXI?ÎÝÞ
i < j MN k < là=MN(ËBh3DM
Æ
5?ÈCÉC36M7:MÀâCâ8Å!Ë,Þ
iEjàUMËN
1436BD>A@014V03DM+1tI?M
Æ
36M
Æ
5AÈCÉC36M+7CM(âCâ8ÅLËÞ
kElàl. ÆpÜ 1AÇeÈCMc14WXíNM
eikjl∈EE 5?@¨1?ËXË5
Æ
BDMUÈC@ÝÉ®5?BÊ7CË
Cikjl∈R.
Âk5AÈCWáG=â:ã
E
36McÌ%M#B63D36M#ÈCWH1?3DB6>?@0M#Ì%M#@eN7:MwËHâCâ:ÅLË
Æ
5AWWXMwËÉ®5?@07,7014@0Ë36M+>?Wp14É
Ü M
Gøë3Ê1 Æ 3DBÊÇeÈCMc7:M+Éq5AB670Ë Ì1JÍ:BDÌ1?3´Ë|ÈCW36MwË1?Wí#NMË#.
ÔÕ Õ! Ó"Ä×#!Ó0×# Õ ×$ Ø%Ö!
â85?B6M#@eN
xik
36MwË=It1?WBÊ14V03DMËP7:Më7:Î
Æ
B6ËBD5A@0ËU1?ËXË|5
Æ
B6Î#MËP1?Èè@C58M#È070Ë
nik ∈NE MN yikjl Æ
M#3636MwËU1?ËXË|5
Æ
B6Î#MËP1?È:Í
14WXíNXMwË
eikjl ∈E.& ÆpÜ 1AÇAÈ0M@C58M#È07
nik
@C5AÈ0Ëh1?ËXË5
Æ
BD5A@0Ë3[ïMw@0Ë|MwÌ(VC36M
d+col(ik)7:MwË Æ 5?365?@0@CMwË
Æ
5?@eNMw@014@eNL7:MË
Ë|È
Æ#Æ
MËËM#È0WXË7:M
nikE
MNH3[ïM#@0ËM#ÌñVC3DM
d−col(ik)7:MwË Æ 5?365?@C@0MwË
Æ
5A@ANXM#@01?@eN7CMwËÉCWXÎw7:Î
Æ
MËËM#ÈCWpË7:M
nik
.
?Z!ip}'ei{}('Aii)Cip}Xd+*pigA`wyefhmoi}l`wg?{iHgAiSm-,]LSZ/.p_`wmo}pdAm®Y¥y4iXyefRn£bA{10<i32´Z547698 ~ \.^8]LSZh¥u;:#[_kY<\+:#¥uwu=<
??]!dAiXdA{ô}p#{R{ipfRb:yege`#y4l^AfRd&>4tiXy4nowyey&*Sb8`#{hm`+Z5*pnowyjÄ{iX|`#yei?<
@
2´{ww{|`waca`noyBA0noy&*l`#no{iHipyñSwa>A{i78yJnoiX{C<
D
nofRb:yenE>Ami4n`UnoyJiX{yeiC<+'JRbGFH?H#acnot`#moi;<0<d? <ny?{|`=<6{(Hd?nmofHacnIH#w`wf<(H
J
GE
Éq5AÈCW3Ê1ñWXM
ÆpÜ M#W
ÆpÜ MU7´ïÈC@
ÆpÜ
MwÌ%BD@¨14È0>?Ì%M#@eNÎ
E
@C5?È0ËHÉCW5AÉq5eË|5A@0Ë!3DMcÌ%5:7:Á#36M7:M+ÂLÃÄ-HÅòËÈCBDIJ1?@ANSR
max X
i,k|nik∈N
Sik xik+ X
i,k,j,l|eikjl∈E
Cikjl yikjl. Þ|åà
GIAM
Æ
36MwË
Æ
5A@eNWp14B6@ANXMwËR
X
k |nik∈N
xik ≤1, ∀i∈N1. Þ[ó?à
X
i|nik∈N
xik ≤1, ∀k∈N2. Þ¥ßAà
xik ≥ X
j |eikjl∈E
yikjl, ∀nik ∈N, ∀l∈d+col(ik). Þõ à
xjl≥ X
i|eikjl∈E
yikjl, ∀njl ∈N, ∀k∈d−col(jl). Þ¥üAà X
i|nik∈N
xik+ X
j |njl∈N
xjl− X
i,j|eikjl∈E
yikjl≤1, ∀k∈N2, ∀l∈N2, k < l. Þµÿeà
xik ∈ {0,1}, ∀nik ∈N. ÞTP4à
yikjl∈ {0,1}, ∀eikjl∈E. ÞVUeà
ôMwË
Æ
5A@ANXWX1?BD@eNXMwËHÞ[ó?àôM#NUÞ¥ßAàkì¯5AW
Æ
M#@eNL36MPÌ14WXB61?>?MË|NX14V03DM=M#@,1
Æ
NB6IJ14@eN!14ÈÀÉC3DÈqËhÈC@,@05eMwÈ07É01?Wh36BD>A@CMPM#N!14È
ÉC36È0ËLÈ0@À@C58M#Èq7,É01?W
Æ
5?365?@C@CMA.eÃMwË
Æ
5A@ANXWX1?BD@eNXMwËPÞ
õ
àLMN+Þ¥ü?àL@´ï14È:NX5?WXB6ËM#@eNS3¥ï1 Æ
NB6It14NB65?@À7´ïÈC@0MU1?Wí#NM=ÇeÈ´ïM#@eNXWM
7:M#ÈCÍÝ@05eMwÈ07CË+1
Æ
NBDìµË#.®Åh@q@
E
3DMË
Æ
5?@eNWp14B6@eNMË(Þµÿeàì¯5AW
Æ
M#@eN=3[ï1 Æ
NXBDIJ14NB65?@27£ïÈC@CM%14WXíNXM(Mw@ANXWMë7:M#ÈCÍ
Æ
5?365?@C@0MwË
1téA1?@AN
ÆpÜ 1 Æ
È0@CMHÈC@,@05eMwÈ07,1
Æ
NBDì.8ôMwË
Æ
5A@ANXWX1?BD@eNXMwËh7£ïB6@ANXÎ#>AWX1?3DBDNÎP7CMwË
yikjl
ÞVUeàôÉ®M#ÈCIAM#@eN|9<íNXWMHWXM#3XW
ÆpÜ Î#MwË
E?Æ 14W
3DMË14È:NXWMË
Æ
5A@ANXWX1?BD@eNXMwË!ì¯5?W
Æ
Mw@AN36MwË
yikjl
øëIJ14365?B6WË|5ABNY%Ë5?BDN+åA.
Åh@èì¯5A@
Æ
NXBD5A@7:MËPIJ1436M#È0WXË=7:MwËUÉ®5?BÊ7CË
E֮
MñÌ%587CÁ#36MñÉ®M#WXÌ%MNc7:M(WXÎwË5?È07CWM(ÇeÈ014NWXMÉCWX5?VC36Á#Ì%MË=7:M
Æ
36B6ÇeÈCMË
7:B[Z®ÎwWMw@ANpËSR0ÃÄ1
Æ
36B6ÇeÈCM(7CMcÉq5AB67CËHÌ%14Í:BDÌ143ÄË|ÈCWP3DMË@C58M#È070ËMNP36MwËP14WXíNMËcÞ¯365?WpËÇeÈCMc36MwË
Sik
ECikjl∈Ràl.®Ã1
Æ
36B6ÇeÈCMë7:MëÉq5AB67CËUÌ1JÍ:B6Ì143Ë|ÈCWU36MwËU@C58M#È070ËñÞµ3D5AWXËXÇeÈCM(36MwË
Cikjl
Ë5?@eN=@8ÈC3ÊËpàl.£Ã1
Æ
36B6ÇeÈCMë7:MëÉq5AB67CËUÌ1JÍ:B6Ì143
Ë|È0Wc3DMË14WXíNXMwËÞ¯365?WpËXÇAÈ0Më36MwË
Sik
Ë5?@eNc@8ÈC36Ë
EÆ
5?Ì%Ì%M,7C14@0ËákGUâ:ãHàl.ÃÄ1
Æ
36B6ÇeÈCM,7CM
Æ
14Wp7:B6@01436BDNÎ%Ì1JÍ:BDÌ1?3DM
Þ¯365?WpËÇeÈCMU36MwË
Sik
IJ1436M#@eNcå
E
MNPÇeÈCM+36MwË
Cikjl
Ë5?@eN@eÈ036Ëpàl.
\ ]úÔLÑP×$ Ö^8ØÔLÑ
ù!M!Ì%5:7:Á#36M!1PÎNXÎ!IJ1436BÊ7:Î!7C1?@0ËkákGUâ:ãÛø=3¥ï14BÊ7:M!7CMù!ÂLÃÅ_H9på?Y0.Â5AÈCWÄWXÎwË5?Èq7:WMLMû
Æ 1 Æ M#Ì%Mw@AN
Æ
M!Ìë5:7:Áw3DM
E
@C5?ÈqË1tI?5A@0Ë£B6Ì%ÉC3DÎwÌ%M#@eNÎ!ÈC@(1436>?5AWBDN
Ü
ÌëMh7CM
ö
V0WX1?@
ÆpÜ
14@07cV®5?È0@07
ö
7CÎw7:B6Î
E
ÇeÈCB?É®M#WXÌ%MNk7´ï1?ÌëÎw3DB65?WXM#W"`È0ËÇeÈ´ïø
ÈC@ìµ1
Æ
NM#È0Wcå?Yñ361%I8BDNMwËXËM+7´ï1?3DB6>?@CMwÌ%M#@eNH7:Mc>?WX5AËXË|MËLÉ0W5?NÎ#B6@CMËÉ014WWp14ÉCÉ®5?WNHøñáG=âCã 5AWB6>?B6@0143[.
aOa´Ó"Ñ=×b^
M?<w¥zc<eSnE>A{|`#l^+63< `g?id0ô`#y8gñ\"<ef<?j{R 4`wyJC<9.X\?d?{bA{nofRnoyeUfRnoacnom`#{nnoipfônoyëf<R{dA}XdA{i!}pacbe`#{nofRyg.h<3i$jlkkCmcnbo&pXq"m
r&s
kj+t
s
mbupwv;x^?tm:?^Ab%r¥rwts4^gMCy;y?:=<
x<7ef<+<e!{ipiXy=>:i{A^lz<8<+e`{Rh`wyegëf<+Aq`wye}XnD`l<.O4SbAb:w{RdAyennoipfÊ#{!_ka>Anoy8`##{n`wmg4SbAnoacnE{l`#noy(noy%_kwacbed?
|`#nowy8`wm®jknomo# .h<9|qC}Ov?k~3lv?jlk(q;x$v?qivh~3oj
s
pXqw^8twmMO:?^Ayr?^AbxM;MX[x#r=M^Cxwuu#v+<
rl< <A<÷\?noiX{ ,`#y8gf<=<gmoiX liXwC<.|7*d0Tñd]Lmm4Sti{]!`wnoyFqz÷noy8g?noye%`#y8gÀ]!ye`wm ={pnoyeB2£{wiXnyÝ\4R{dA}XdA{i
\?noacnom`#{nnoipf1.h<
r&s
kj+t
s
jlk^:twmMlx4^ebxlMpur<xM;M?M^qxwuwuwv=<
v=<Hf< `p 4{l^®zc<\<CacnoyewdeipfS`wyeg2b<"Aq`w} ?yAiX{C<.p_kwacb8`{|`#noti+]Ly8`#mo ?fRnof#92£{wipnoy\4R{de}dA{i=]!monoyeaciXy4f1.1<
ui r&s
kj+t
s
jlk;xupwv;xEv?w^Atwm®Fs#u?^:xwuul<
s<Z!< <H`#{b<.|Z!ipgAde}Xn>Anomn¥ `#acyA%}paf>enoy8`w{n`wmÄbA{?>emoipa.h<iv?~ox?p
s
vd}iv?~oj
s
(ktv?~3oj s s
pwv?q&^£b
tslMlur4^gMOytx<
:l<H_<0jÄ{wy`#y8gÀ+<"iX{>:f'<.Xz÷noy8g?noyeñ]!mom_kmon[JdAipfwk`wy ~ yegAn{ip}Xipg!{|`#b&'KeN.h<ivh~~jlq+p-t
s
p-v?q+vT}
s
ig,^Atm$MO:?^8yy?^Ab,sws[shy?^bMOyt#r=<
<Z!<e]Ly8g?ye:^4f<= k`wyeiX`wy8g(f< `wmo4g4¥SyAnoy<.6®C`#{|gAf!\JR{de}Xd?{|`wmq_km`wfRfRn8}l`noy,w2£{wiXnyAf>e`wfRilg(y
s s r