Inhritanc of Convxity for th P min -Rstrictd Gam arxiv:708.0675v [cs.dm] 7 May 08 A. Skoda July 6, 08 Abstract W considr rstrictd gams on wightd graphs associatd with minimum partitions. W rplac in th classical dfinition of Myrson rstrictd gam th connctd componnts of any subgraph by th subcomponnts corrsponding to a minimum partition. This minimum partition P min is inducd by th dltion of th minimum wight dgs. W provid a charactrization of th graphs satisfying inhritanc of convxity from th undrlying gam to th rstrictd gam associatd with P min. Kywords: cooprativ gam, convxity, graph-rstrictd gam, graph partitions. AMS Classification: 9A, 9A43, 90C7, 05C75. Introduction Lt (N, v) b a cooprativ gam with playr st N and charactristic function v which assigns a worth to ach coalition of playrs and satisfis v( ) = 0. W considr on N a wightd graph G = (N,E,w) whr w is a wight function dfind on th st E of dgs of G. For a givn subst A of N, w dnot by E(A) th st of dgs in E with both nd-vrtics in A, by Σ(A) th subst of dgs of minimum wight in E(A), and by σ(a) th minimum dg-wight in E(A). Lt G A = (A,E(A)) b th graph inducd by A. Thn G A = (A,E(A)\Σ(A)) is th graph obtaind by dlting th minimum wight dgs in G A. In (Skoda, 07a) w introducd th corrspondnc P min on N which associats with vry subst A N, th partition P min (A) of A into th connctd componnts of GA. Thn, w dfind th rstrictd gam (N,v) associatd with P min by: () v(a) = v(f), for all A N. F P min (A) Corrsponding author. Univrsité d Paris I, Cntr d Economi d la Sorbonn, 06- Bd d l Hôpital, 7503 Paris, Franc. E-mail: alxandr.skoda@univ-paris.fr
W rfr to this gam as th P min -rstrictd gam. Compard to th initial gam (N,v), th P min -rstrictd gam (N,v) taks into account th combinatorial structur of th graph and th ability of playrs to cooprat in a givn coalition and thrfor diffrnts aspcts of coopration rstrictions. In particular, assuming that th dg-wights rflct th strngths of rlationships btwn playrs, P min (A) givs a partition of a coalition A into subgroups whr playrs ar in privilgd rlationships (with rspct to th minimum rlationship strngth in G A ). Many othr corrspondncs hav bn considrd to dfin rstrictd gams (s,.g., Myrson (977); Algaba t al.(00); Bilbao(000, 003); Faigl (989); Grabisch and Skoda (0); Grabisch (03)). For a givn corrspondnc a classical problm is to study th inhritanc of basic proprtis as supradditivity and convxity from th initial gam to th rstrictd gam. In (Grabisch and Skoda, 0) w provd that thr is always inhritanc of supradditivity from (N, v) to (N,v) for th corrspondnc P min. W also invstigatd inhritanc of convxity and stablishd ncssary conditions on th undrlying wightd graph. Inhritanc of convxity is of particular intrst as it implis that good proprtis ar inhritd, for instanc th non-mptinss of th cor, and that th Shaply valu is in th cor. But it is also a strong proprty implying vry rstrictiv conditions on th graph and its dg-wights as obsrvd in (Grabisch and Skoda, 0) and (Skoda, 07a) whr simpl countrxampls to inhritanc of convxity with graphs with only two or thr diffrnt dg-wights ar givn. It was also pointd out that contradictions to inhritanc of convxity ar asily obtaind with non-connctd coalitions. Following altrnativ dfinitions of convxity in combinatorial optimization and gam thory whn rstrictd familis of substs ar considrd (not ncssarily closd undr union and intrsction), s,.g., (Edmonds and Gils, 977; Faigl, 989; Fujishig, 005) w introducd in (Grabisch and Skoda, 0) th F-convxity by rstricting convxity to th family F of connctd substs of G. In (Skoda, 07a), w hav charactrizd inhritanc of F- convxity for P min by fiv ncssary and sufficint conditions on th dgwights. Of cours th study of inhritanc of F-convxity is a first ky stp to obtain a charactrization of graphs satisfying inhritanc of convxity with P min. Inhritanc of F-convxity is also intrsting in itslf as it is satisfid for a much largr family of graphs, in particular with an arbitrary numbr of dg-wights, than inhritanc of convxity. W hav also highlightd in (Skoda, 07a) a rlation btwn Myrson s rstrictd gam introducd in (Myrson, 977) and th P min -rstrictd gam. Myrson s rstrictd gam (N,v M ) is dfindby v M (A) = F P M (A) v(f) for all A N, whr P M (A) is th st of connctd componnts of G A. W provd that inhritanc of convxity for Myrson s rstrictd gam is quivalnt to inhritanc of F-convxity for th P min -rstrictd gam associatd with a graph with only two diffrnt dg-wights. In th prsnt papr, w considr inhritanc of convxity for th cor-
rspondnc P min. As convxity implis F-convxity, th conditions stablishd in (Skoda, 07a) ar ncssary. Now daling with disconnctd substs of N, w stablish supplmntary ncssary conditions. As it was forsabl by taking into account xampls of (Grabisch and Skoda, 0) and (Skoda, 07a), w gt vry strong rstrictions on dg-wights and on th combinatorial structur of th graph G. In particular, w obtain that dg-wights can hav at most thr diffrnt valus and that many cycls hav to b complt or dominatd in som sns by two spcific vrtics. In th cas of thr diffrnt valus σ < σ <, thr xists only on dg of minimum wight σ and all dgs of wight σ ar incidnt to th sam nd-vrtx of. W giv a complt charactrization of ths connctd wightd graphs in Thorms 9, 0 and. Though ths graphs ar vry particular, thy sm quit intrsting. For instanc, whn thr ar only two valus and at last two minimum wight dgs, w obtain wightd graphs similar to th ons dfind in (Skoda, 07a) rlating Myrson s rstrictd gam to th P min -rstrictd gam. Morovr, ths graphs can b rcognizd in polynomial tim. Thorms 9, 0 and also imply that inhritanc of convxity and inhritanc of convxity rstrictd to unanimity gams ar quivalnt for P min. This last rsult was alrady obsrvd in (Skoda, 07b) whr abstract charactrizations of inhritanc of convxity and F-convxity ar givn for an arbitrary corrspondnc P that associats with vry subst A N a partition P(A) of A. Th articl is organizd as follows. In Sction, w giv prliminary dfinitions and rsults stablishd in (Grabisch and Skoda, 0). In particular, w rcall th dfinition of convxity, F-convxity and gnral conditions on a corrspondnc to hav inhritanc of supradditivity, convxity or F-convxity. In Sction 3, w rcall ncssary and sufficint conditions on a wightd graph stablishd in (Skoda, 07a) to nsur inhritanc of F-convxity with th corrspondnc P min. In Sction 4, w stablish nw, vry rstrictiv conditions ncssary to nsur inhritanc of classical convxity with P min. Sction 5 contains th main rsults. W first provid charactrizations of connctd wightd graphs satisfying inhritanc of convxity with P min. Thn th cas of disconnctd graphs is considrd. Finally, w prov that it can b dcidd in polynomial tim whthr a graph satisfis on of th prvious charactrizations. Prliminary dfinitions and rsults Lt N b a givn st with N = n. W dnot by N th st of all substs of N. A gam (N,v) is zro-normalizd if v(i) = 0 for all i N. A gam (N,v) is supradditiv if, for all A,B N such that A B =, v(a B) v(a) +v(b). For any givn subst S N, th unanimity 3
gam (N,u S ) is dfind by: () u S (A) = { if A S, 0 othrwis. W not that u S is supradditiv for all S. Lt us considr a gam (N,v). For arbitrary substs A and B of N, w dfin th valu: v(a,b) := v(a B)+v(A B) v(a) v(b). A gam (N, v) is convx if its charactristic function v is suprmodular, i.., v(a,b) 0 for all A,B N. W not that u S is suprmodular for all S. Lt F b a wakly union-closd family of substs of N such that / F. A gam v on N is said to b F-convx if v(a,b) 0, for all A,B F such that A B F. Lt us not that a gam (N,v) is convx if and only if it is supradditiv and F-convx with F = N \{ }. For a givn graph G = (N,E), w say that a subst A N is connctd if th inducd graph G A = (A,E(A)) is connctd. For a givn corrspondnc P on N and substs A B N, w dnot by P(B) A th rstriction of th partition P(B) to A. W rcall th following rsults stablishd in(grabisch and Skoda, 0). Thorm. Lt N b an arbitrary st and P a corrspondnc on N. Th following conditions ar quivalnt: ) For all S N, th P-rstrictd gam (N,u S ) is supradditiv. ) For all substs A B N, P(A) is a rfinmnt of P(B) A. 3) For all supradditiv gam (N, v) th P-rstrictd gam (N, v) is supradditiv. As for all A B N, P min (A) is a rfinmnt of P min (B) A, Thorm implis th following rsult. Corollary. Lt G = (N,E,w) b an arbitrary wightd graph. Thn for vry supradditiv gam (N,v), th P min -rstrictd gam (N,v) is supradditiv. Thorm 3. Lt N b an arbitrary st and P a corrspondnc on N. If for all S N, th P-rstrictd gam (N,u S ) is supradditiv, thn th following claims ar quivalnt. ) For all S N, th P-rstrictd gam (N,u S ) is F-convx. F is wakly union-closd if A B F for all A, B F such that A B (Faigl t al., 00). Wakly union-closd familis wr introducd and analysd in (Algaba, 998; Algaba t al., 000) and calld union stabl systms. 4
) For all i N, for all A B N \{i} such that A, B, and A {i} ar in F, and for all A P(A {i}) A, P(A) A = P(B) A. W also rcall th following lmmas provd in (Grabisch and Skoda, 0). W includ th proofs for compltnss as ths two rsults ar xtnsivly usd throughout th papr. Lmma 4. Lt us considr A,B N and a partition {B,B,...,B p } of B. If A,B i, and A B i F, for all i {,...,p}, thn for vry F-convx gam (N,v) w hav: (3) v(a B)+ p v(a B i ) v(a)+ i= p v(b i ). Proof. W prov th rsult by induction. (3) is obviously satisfid for p =. Lt us assum it is satisfid for p and lt us considr a partition {B,B,...,B p,b p+ } of B. W st B = B B... B p. Th F- convxity of v applid to A B and B p+ provids th following inquality: (4) v((a B ) B p+ )+v((a B ) B p+ ) v(a B )+v(b p+ ). By induction (3) is valid for B : (5) v(a B )+ p v(a B i ) v(a)+ i= Adding (4) and (5) w obtain th rsult for p+. i= p v(b i ). Lmma 5. Lt us considr a corrspondnc P on N and substs A B N such that P(A) = P(B) A. If A F and if all lmnts of P(A) and P(B) ar in F, thn for vry F-convx gam (N,v) w hav: (6) v(b) v(b) v(a) v(a). Proof. IfP(B) = {B,B,...,B p }thnp(a) = {A B,A B,...,A B p }, and Lmma 4 implis (6). Finally, w rcall a charactrization of inhritanc of convxity for Myrson s corrspondnc P M. Thorm 6. (van dn Nouwland and Borm, 99). Lt G = (N,E) b a graph. For vry convx gam (N,v), th Myrson rstrictd gam (N,v M ) is convx if and only if G is cycl-complt. i= 5
3 Inhritanc of F-convxity Lt G = (N,E,w) b a connctd wightd graph and lt F b th family of connctd substs of N. In this sction w rcall ncssary and sufficint conditions on th wight vctor w stablishd in (Skoda, 07a) for inhritanc of F-convxity from th original communication gam (N, v) to th P min -rstrictd gam (N,v). W assumthat all wights ar strictly positiv and dnot by w k or w ij th wight of an dg k = {i,j} in E. A star S k corrspondsto a tr with onintrnal vrtx andk lavs. W considr a star S 3 with vrtics,,3,4 and dgs = {,}, = {,3} and 3 = {,4}. Star Condition. For vry star of typ S 3, th dg-wights w,w,w 3 satisfy, aftr rnumbring th dgs if ncssary: w w = w 3. Path Condition. For vry lmntary path γ = (,,,,3,...,m, m,m+ ) and for all i,j,k such that i < j < k m, th dg-wights satisfy: w j max(w i,w k ). For a givn cycl C = {,,,,...,m, m,} with m 3, w dnot by E(C) th st of dgs {,,..., m }of C andby Ê(C) thst composd of E(C) and of th chords of C in G. Cycl Condition. For vry simpl cycl C = {,,,,...,m, m,} with m 3, th dg-wights satisfy, aftr rnumbring th dgs if ncssary: w w w 3 = = w m = M whr M = max E(C) w(). Morovr w() = w for all chord incidnt to, and w() = ˆM = max Ê(C) w() for all Ê(C) non-incidnt to. Pan Condition. For all connctd subgraphs corrsponding to th union of a simpl cycl C = {,,..., m } with m 3, and an lmntary path P such that thr is an dg in P with w() min k m w k and V(C) V(P) =, th dg-wights satisfy: 6
(a) ithr w = w = w 3 = = w m = ˆM, (b) or w = w < w 3 = = w m = ˆM, whr ˆM = max Ê(C) w(). If Claim (b) is satisfid thn V(C) V(P) = {}, and if morovr w() < w thn {,3} is a maximum wight chord of C. Two cycls ar said adjacnt if thy shar at last on common dg. Adjacnt Cycls Condition. For all pairs (C,C ) of adjacnt simpl cycls such that: (a) V(C)\V(C ) and V(C )\V(C), (b) C has at most on non-maximum wight chord, (c) C and C hav no maximum wight chord, (d) C and C hav no common chord, thn C and C cannot hav two common non-maximum wight dgs. Morovr C and C hav a uniqu common non-maximum wight dg if and only if thr ar non-maximum wight dgs E(C)\E(C ) and E(C )\E(C) such that,, ar adjacnt and: w = w = w if E(C) 4 and E(C ) 4. w = w w or w = w w if E(C) = 3 or E(C ) = 3. Proposition 7. If for all S N, th P min -rstrictd gam (N,u S ) is F-convx, thn th Star, Path, Cycl, Pan and Adjacnt Cycls Conditions ar satisfid. Finally th following charactrization of inhritanc of F-convxity was stablishd in (Skoda, 07a). Thorm 8. For vry supradditiv and F-convx gam (N,v), th P min - rstrictd gam (N,v) is F-convx if and only if th Star, Path, Cycl, Pan, and Adjacnt cycls conditions ar satisfid. 4 Inhritanc of convxity W considr in this sction inhritanc of convxity. As convxity implis supradditivity and F-convxity (whr F is th family of connctd substs of N), th conditions statd in Sction 3 ar ncssary. W now hav to 7
dal with disconnctd substs of N. W stablish supplmntary ncssary conditions implying strong rstrictions on dg-wights. In particular, w obtain that dg-wights can hav at most thr diffrnt valus. W first nd th following lmmas. Lmma 9. Lt us assum that for all S N th P min -rstrictd gam (N,u S ) is convx. Lt = {,} and = {,3} b two adjacnt dgs, and b an dg such that: (7) max(w,w ) < w(). Thn thr xists an dg E linking to vrtx. Morovr if and, thn w( ) = max(w,w ) if w w and w( ) w = w othrwis. W rprsnt in Figur th possibl situations corrsponding to Lmma 9. 3 3 = 3 = Figur : linking to vrtx. Proof. W st = {j,k}. Star condition implis j and k (othrwis it contradicts (7)). By contradiction, lt us assum that thr is no dg linking to. W can assum w w < w(). Lt us considr i = 3, A = {}, A = {j,k}, A = A A, and B = A {} as rprsntd in Figur. As no dg links to, w hav P min (A) = {{},{j},{k}}. Lt us B j k A 3 =i A Figur : w w < w(). not that, as w < w() (rsp. w < w()), thr is a componnt A (rsp. B ) of P min (A {i}) (rsp. P min (B)) containing A. Thn P min (B) A A P min (A) A A as P min (A) corrsponds to a singlton partition but B A contains A. It contradicts Thorm 3 applid with F = N \{ }. Thrfor thr xists an dg linking to. Finally, if and, thn Star condition applid to {,, } implis th rsult. 8
Lmma 0. Lt us assum that for all S N th P min -rstrictd gam (N,u S ) is convx. Lt = {,} and = {,3} b two adjacnt dgs and lt and b two dgs in E such that: (8) max(w,w ) < min(w(),w( )). Thn w() = w( ). Proof. W can assum w w. By contradiction, lt us assum w() < w( ). Applying Lmma 9 to (rsp. ), thr xists an dg (rsp. ) linking (rsp. ) to such that w max(w,w ) < w() (rsp. w max(w,w ) < w( )) ( (rsp. ) may coincid with or ). W st = {, } (rsp. = {, }) whr (rsp. ) is an ndvrtx of (rsp. ) as rprsntd in Figur 3. If =, thn = 3 Figur 3: w max(w,w ) < w() and w max(w,w ) < w( ). and as w < w() < w( ) it contradicts th Star condition applid to {,, }. Othrwis, as w < w() < w( ), Lmma 9 applid to and th pair of adjacnt dgs {,} implis th xistnc of an dg E linking to ( can coincid with ). Lt us first assum = {, } as rprsntd in Figur 4a. As w < w() (rsp. w < w( )), Star condition 3 (a) = {, } 3 (b) = {, } Figur 4: linking to. applid to {,, } (rsp. {,, }) implis w( ) = w() (rsp. w( ) = w( )) and thn w() = w( ), a contradiction. Lt us now assum = {, } and = {, } as rprsntd in Figur 4b. Thn thr is a cycl C = {,,,,,,,,}. As w < w(), Star condition applid to {,, } implis w( ) = w(). As w() < w( ), w gt w( ) < w( ). Thrfor C has thr non-maximum wight dgs,,, contradicting th Cycl condition. For a givn wightd graph G = (V,E,w), lt {σ,σ,...,σ k } b th st of its dg-wights such that σ < σ <... < σ k with k n. W dnot by E i th st of dgs in E with wight σ i, and by N i b th st of nd-vrtics of dgs in E i. 9
Lmma. Lt G = (N,E,w) b a connctd wightd graph satisfying th Path condition and with at last two diffrnt dg-wights σ, σ. Thn:. Thr xists a pair of adjacnt dgs {, } with w = σ and w = σ.. G N is connctd. Proof.. If thr is no such pair thn it contradicts th Path condition.. Lt C, C b two connctd componnts of G N. By dfinition of N, C (rsp. C ) contains at last on dg (rsp. ) of wight σ. Lt γ b a shortst path in G linking to. Path condition applid to γ = γ implis w() = σ for all dg in γ. Thn γ is a path in G N linking C to C, a contradiction. Th following proposition is a dirct consqunc of Proposition 7 and Lmmas 0 and. Proposition. Lt us assum that for all S N th P min -rstrictd gam (N,u S ) is convx. Thn th dg-wights hav at most thr diffrnt valus σ < σ <. Morovr, if E, thn thy hav at most two diffrnt valus σ < σ. Of cours, Proposition implis that if th dg-wights hav thr diffrnt valus, thn thr is only on dg with minimum wight σ. W will now stablish ncssary conditions on adjacncy and incidnc of dgs in E, E, E 3. W first nd th two following lmmas. Lmma 3. Lt us assum that for all S N, th P min -rstrictd gam (N,u S ) is convx and that th dg-wights hav xactly thr diffrnt valus σ < σ <. Thn thr xist thr dgs,, 3 with rspctiv wights σ, σ, such that and ar incidnt to a vrtx v and 3 is adjacnt to or but not incidnt to v. Thr dgs,, 3 satisfying Lmma 3 corrspond to thr possibl situations rprsntd in Figur 5. 3 3 3 4 3 (a) (b) 4 3 3 (c) Figur 5: w = σ < w = σ < w 3 =. Proof. Claim of Lmma implis th xistnc of and. Proposition implis th uniqunss of. Lt us assum = {,} and = 0
3 3 Figur 6: linking 3 to with w = σ < w = σ < w 3 =. {,3}, and lt 3 b an dg of wight. By Lmma 9 thr xists an dg linking 3 to and if and thn w( ) = max(w,w ) = σ. In this last cas, w can substitut for as rprsntd in Figur 6, and thn th 3-tupl {,, 3 } satisfis th conclusion of th lmma. Lmma 4. Lt us assum that for all S N, th P min -rstrictd gam (N,u S ) is convx. Thn for all lmntary path γ = {,,,,...,m, m,m+ } with w < w m, w hav: (9) max(w,w ) w 3 = w 4 = = w m. Proof. Th Path condition implis w j max(w,w m ) = w m for all j, j m. Thn (9) is satisfid if m = 3. Lt us assum m 4 and by contradiction w m < w m. Th Path condition implis w max(w,w m ) < w m. Thrfor max(w,w ) < w m. Thn, by Lmma 9, thr xists an dg linking m to with w() max(w,w ). Hnc w hav w() < w m. Lt us first assum = {,m} as rprsntd in Figur 7a. Thn Star 3 m m+ m (a) 3 m m+ m (b) Figur 7: = {,m} or = {,m+}. condition applid to { m, m,} implis w m = w m, a contradiction. Lt us now assum = {,m+} as rprsntd in Figur 7b. Thn th cycl C = {,,3...,m, m,m +,,} contains at last thr non-maximum wight dgs (, m, ), contradicting th Cycl condition. Hnc w hav w m = w m and thrfor w m > w. W can itrat to gt (9). Proposition 5. Lt us assum that for all S N, th P min -rstrictd gam (N,u S ) is convx and that th dg-wights hav xactly two diffrnt valus σ < σ. Thn, ithr E = or all dgs in E ar incidnt to th sam vrtx v and no dg in E is incidnt to v. Graphs corrsponding to th two possibl situations dscribd in Proposition 5 ar rprsntd in Figur 8. Proof. As G is connctd thr is at last on pair of adjacnt dgs = {,}, and = {,3} with wights σ < σ. Lt b an dg in E \{ }
σ σ σ σ σ σ σ σ σ v σ σ σ σ Figur 8: Edg-wights with only two valus σ < σ. non incidnt to. Thn cannot b incidnt to othrwis it contradicts th Star condition. As G is connctd, thr xists a shortst path γ linking to or. Th Path condition applid to {} γ { } implis that all dgs in γ hav wight σ. Lt b th dg of γ incidnt to or. As w( ) = σ, th first part of th proof implis that is ncssarily incidnt to. Thn Lmma 4 applid to γ = {} γ {, } as rprsntd in Figur 9 implis σ = σ, a contradiction. Thrfor is incidnt to, and σ σ σ σ 3 Figur 9: γ = {} γ {, }. any dg of wight σ incidnt to would contradict th Star condition. Proposition 6. Lt us assum that for all S N, th P min -rstrictd gam (N,u S ) is convx and that th dg-wights hav xactly thr diffrnt valus σ < σ <. Thn thr is only on dg in E, vry dg in E is incidnt to th sam nd-vrtx v of, and vry dg in E 3 is nonincidnt to v but linkd to v by or by an dg in E. W giv in Figur 0 an xampl of a graph satisfying th conditions of Proposition 6. σ σ σ 3 σ Figur 0: σ < σ <. Proof. E = by Proposition. By Lmma 3 thr xist,, 3 in E with w i = σ i for i {,,3} and such that on of th thr situations rprsntd in Figur 5 holds. Lt b an dg in E \ { } non incidnt to. Lt us first assum 3 = {3,4} (Cas a in Figur 5). Thn cannot b incidnt to 3 (rsp. 4) othrwis {, 3,} contradicts th Star (rsp. Path) condition. Finally, cannot b incidnt to othrwis Lmma 4 applid to {,,, 3 } implis σ =, a contradiction. Lt us now assum 3 = {3,} (Cas b in Figur 5). Thn cannot b incidnt to (rsp. 3) othrwis {,, 3 } (rsp. {,, 3 }) contradicts th Star condition.
Finally, if 3 = {4,} (Cas c in Figur 5), thn w can stablish as bfor with 3 = {3,4} that cannot b incidnt to,3, and 4. As G is connctd, thr xists a shortst path γ linking to, or 3. Th Path condition applid to {} γ { } or {} γ { } implis that all dgs in γ hav wightσ orσ. As isthuniqudgwithwight σ, wgtw() = σ for any dg in γ. Lt b th dg of γ incidnt to,, or 3. As w( ) = σ, th first part of th proof implis that is ncssarily incidnt to. If 3 = {3,4} (rsp. 3 = {3,} or {4,}), w considr γ = {} γ {, 3 } (rsp. γ = {} γ {, 3 }) as rprsntd in Figur (rsp. Figur ) with γ rducd to. Thn Lmma 4 applid to γ implis σ = (rsp. σ = ), a contradiction. σ σ σ σ 3 3 4 Figur : γ = {} γ {, 3 }. 3 3 σ σ σ σ σ σ σ σ 4 3 3 Figur : γ = {} γ {, 3 }. Finally, if an dg in E 3 is incidnt to v thn it contradicts th Star condition. Thn Lmma 9 implis th rsult. Rmark. By Proposition 6 any cycl containing has lngth at most 4, and thr ar only two possibl chordlss cycls containing rprsntd in Figur 3. Morovr, by th Adjacnt cycls condition such a chordlss 3 4 3 3 σ σ 3 3 4 σ σ σ Figur 3: C 3 and C 4 containing th dg of wight σ. cycl is ncssarily uniqu. W nd this sction with supplmntary ncssary conditions corrsponding to rfinmnts of th Pan condition. A cycl C is constant if all dgs in E(C) hav th sam wight, and non-constant othrwis. 3
Non-Constant Cycl Rfind Pan Condition. For all connctd subgraphs corrsponding to th union of a non-constant simpl cycl C m = {,,,,...,m, m,} with m 3, and an lmntary path P containing an dg with w() < min j m w j, is incidnt to but not a chord of C m, C m is a complt cycl, and th dg-wights satisfy: (0) w() < w = w < w 3 = = w m = ˆM = max Ê(Cm) w(). If P is rducd to thn a pan satisfying th prvious condition is rprsntd in Figur 4. ˆM ˆM 3 w ˆM m ˆM m+ w() Figur 4: w() < w = w < w 3 = = w m = ˆM. w Proposition 7. If for all S N, th P min -rstrictd gam (N,u S ) is convx, thn th Non-Constant Cycl Rfind Pan Condition is satisfid. Proof. By th Cycl condition any chord of C m has wight w or ˆM. Thrfor cannot b a chord of C m. Lt us assum non-incidnt to C m. Lt P b th shortst path inducd by P linking to C m. As C m is a nonconstant cycl, th Pan condition applid to C m and P implis (0) and V(C m ) V(P ) = {}. If is not incidnt to thn Lmma 4 implis that C m is a constant cycl, a contradiction. Lt us st = {,m+}. Ltusfirstprov j = {,j} Ê(C m) forall j, 4 j m. By Lmma9, it is sufficint to prov th xistnc of such a chord for m = 4. Indd, if j / Ê(C m) for a givn indx j, thn Lmma 9 applid to j (rsp. j ) and to th pair of adjacnt dgs {, } implis that j (rsp. j+ ) xists in Ê(C m). Thn {, j,j, j,j, j,j+, j+,} dfins a cycl of lngth 4 as rprsntd in Figur 5. By contradiction lt us assum 4 / Ê(C 4). By th Pan condition, {,3} is a maximum wight chord of C 4. Lt us considr i = 3, A = {,5}, A = {4}, A = A A, and B = A {} as rprsntd in Figur 6. If {4,5} E, thn th Cycl condition applid to {,,,,5,{5,4},4, 4,} implis w({4,5}) = ˆM > w(). Hnc w hav ithr P min (A) = {{},{4,5}} or P min (A) = {{},{4},{5}}. Morovr P min (A {i}) = {{,3,4},{5}} or {A {i}}, and P min (B) = {{,,4},{5}} or {B}. If P min (A {i}) = {{,3,4},{5}}, thn taking A = {,3,4} w gt P min (A) A = {{},{4}} {,4} = P min (B) A contradicting Thorm 3. Othrwis taking A = A {i}, w gt P min (A) A = {{},{4},{5}} or 4
j 3 j 3 j j j m+ w() j+ j j+ m Figur 5: w() < w = w < w 3 = = w m = ˆM. ˆM 3 =i w B 4 5 ˆM w() A ˆM w A Figur 6: w() < w = w < w 3 = w 4 = ˆM. {{},{4,5}} and P min (B) A = {{,4},{5}} or {{,4,5}}. Thrfor w always hav P min (A) A P min (B) A and it contradicts Thorm 3. Lt us now prov {j,k} Ê(C m) for all pairs of vrtics j, k, with 3 j m and k = or j+ k m. W hav {,j} and {,k} in Ê(C m). Thn th Pan condition applid to C m = {, j,j, j,j +,...,k, k,} and ˆM ˆM j 3 w ˆM j k k ˆM Figur 7: Cm = {, j,j, j,j +,...,k, k,} and w j = w k = w = w. as rprsntd in Figur 7 implis that {j,k} is a maximum wight chord of C m. W finally stablish ncssary conditions on constant cycls and pans associatd with constant cycls. Proposition 8. Lt us assum that for all S N, th P min -rstrictd gam (N,u S ) is convx and that th dg-wights hav at most thr diffrnt valus σ < σ. Thn:. If E (thn σ = ), thn vry cycl with constant wight σ is complt.. If E = with E = { } and if thr xists a cycl C with constant wight σ, thn thr ar only two diffrnt dg-wights (σ = ). w w() 5
Morovr, if C is not incidnt to and not linkd to by an dg, thn C is complt. 3. If E = with E = { } and = {,}, thn for vry cycl C with constant wight σ or and incidnt to (rsp. ), {,j} E for all j V(C)\{} (rsp. {,j} E for all j V(C)\{}). 4. If E = with E = { } and = {,}, thn for vry cycl C with constant wight σ or and not adjacnt to but linkd to by an dg = {,k} (of wight σ ) with k V(C), on of th following conditions is satisfid: (a) {,j} E for all j V(C). (b) {,j} E for all j V(C). (c) Thr is no dg {,j} in E with j V(C)\{k} and C is complt. 5. Lt us assum that th dg-wights hav thr diffrnt valus σ < σ <. Lt = {,} b th uniqu dg in E and lt us assum all dgs in E incidnt to. Thn vry cycl C m with / E(C m ) is complt and / Ê(C m). Situations corrsponding to Claims 3 and 4 in Proposition 8 ar rprsntd in Figur 8. σ σ σ σ σ σ σ σ σ σ σ σ σ σ σ σ σ (a) Claim 3 σ (b) Claim 4a σ σ σ σ σ σ σ σ σ σ σ (c) Claim 4b σ σ σ σ σ σ σ σ (d) Claim 4c Figur 8: Situations of Claims 3 and 4 in Proposition 8. Rmark. If th dg-wights hav thr diffrnt valus σ < σ <, thn it follows from Claim 5 in Proposition 8 that th cycl C considrd 6
in Claim 3 is a triangl (of constant wight ). As a triangl has no chord Claim 3 adds nothing in th particular cas of thr diffrnt dg-wights. But, apriori, w hav to kp this cas in Claim 3 to b abl to prov Claim 5. Proof.. By Proposition th dg-wights hav at most two diffrnt valus σ < σ. By Proposition 5, all dgs in E ar incidnt to th sam vrtx j and no dg in E is incidnt to j. Lt us considr a cycl C with constant wight σ. By Lmma 9, vry dg in E is linkd to j by an dg in E as rprsntd in Figur 9. Lt us considr a givn gam (N,v), th σ σ σ σ σ σ σ j σ Figur 9: Evry dg in E is linkd to j by an dg in E. σ P min -rstrictd gam (N,v), and th Myrson rstrictd gam (N,v M ). W hav v(a {j}) = v M (A) +v(j) = v M (A) for all A N \{j}. Hnc, for i V(C) and A B V(C)\{i} th inquality: () v(b {j} {i}) v(b {j}) v(a {j} {i}) v(a {j}) is quivalnt to: () v M (B {i}) v M (B) v M (A {i}) v M (A). As (N,u S ) is convx, () and thrfor () ar satisfid with v = u S. Thn u M S is convx if w rstrict G to V(C), and C has to b complt by Thorm 6.. If thr ar thr diffrnt dg-wights, thn by Proposition 6 thr is no cycl with constant wight σ. Lt us considr a cycl C with constant wight σ non incidnt to = {,} and not linkd by an dg to. For any gam (N,v) and for A N \{,} such that thr is no dg linking A to {,}, w hav: (3) v(a {,}) = v M (A)+v({}) +v({}) = v M (A). Hnc, for i V(C) and for A B V(C) \ {i}, th substs A, B, A {i}, and B {i} satisfy (3). Thn th inquality v((b {,}) {i}) v(b {,}) v((a {,}) {i}) v(a {,}) is quivalnt to: v M (B {i}) v M (B) v M (A {i}) v M (A). Thrfor, taking v = u S, w can conclud as in th prvious cas. 7
3. Lt us considr E = { } with = {,} and a cycl C = {,,,,...,m, m,} incidnt to. W can assum w.l.o.g. that C has constant wight σ. Not that, by th Cycl condition, cannot b a chord of C. By contradiction lt us assum {,4} / E. Lt us considr i = 3, A = {4}, A = {,}, A = A A, and B = (V(C)\{i}) { } as rprsntd in Figur 0. Thn P min (A) = {{ },{},{4}} or {{,4},{}}, P min (A {i}) = B 4 3 =i σ σ A σ σ σ σ A Figur 0: Cycl C incidnt to. {{ },{,3,4}} or {A {i}}, and P min (B) = {{ },V(C) \ {3}} or {B}. Thn for any A P min (A {i}) containing, w hav {} P min (A) A but {} / P min (B) A, contradicting Thorm 3. Hnc w hav = {,4} E and th Star condition applid to {,, } implis w() = σ. Thn, by th sam rasoning on th cycl {,,,,4, 4,...,m, m,}, w hav {,5} E. Itrating w gt th rsult. 4. Lt us considr E = { } with = {, } and a cycl C = {,,,,...,m, m,} with constant wight σ or and not incidnt to butlinkd to by an dg = {, } of wight σ. If = {,j} E for som j V(C) \ {}, thn Claim 3 applid to th cycls C = {,,,,3,..., j,j,, } and C = {,,j, j,j +..., m,,,,, } incidnt to as rprsntd in Figur implis C j σ 3 σ σ σ C σ σ m m σ Figur : C and C. {,k} E for all k V(C). Hnc Claim 4b is satisfid. Lt us now assum {,j} / E for all j V(C) \ {}. If {,} E, thn w can apply th sam rasoning as bfor (intrchanging th rols of and ). Thn ithr {,k} E for all k V(C) and Claim 4a is satisfid or {,k} / E for all k V(C)\{}. Thrfor w assum hncforth that th following condition is satisfid: (4) Thr is no dg {,l} with l V(C)\{} and if {,} E thr is also no dg {,l} with l V(C)\{}. 8
W now prov that C is complt, i.., that Claim 4c is satisfid. By contradiction lt us assum {,4} / E (th proof is similar to th on of Claim 3). Lt us considr i = 3, A = {4}, A = {,,}, A = A A, and B = (V(C) \ {i}) A as rprsntd in Figur. By (4), {,4} / E. B 4 σ 3 =i σ A σ σ σ σ m A m σ Figur : C linkd to by an dg. W considr svral cass:. If {,} E thn {,4} / E by (4) and thrfor P min (A) = {{,, },{4}}.. If {,} / E and {,4} E, thn P min (A) = {{,4},{, }}. 3. If {,} / E and {,4} / E, thn P min (A) = {{ },{, },{4}}. In vry cas P min (A {i}) = {A {i}} or {{ },A {i} \ { }} and P min (B) = {B} or {{ },B \ { }}. Thrfor, taking A = A {i} or A {i}\{ }, whavithrp min (B) A = {A}or{{ },A\{ }}or{a\{ }}. As nithr A nor A \ { } is in P min (A), w gt P min (A) A P min (B) A, contradicting Thorm 3. Hnc {,4} E. Thn itrating as in th proof of Claim 3 w gt {,j} Ê(C) for all j V(C). Lt us now assum {j,k} / E for two vrtics j and k with 3 j m and k = or j+ k m. Lt us considr th dgs j := {,j} and k := {,k} in Ê(C). If {,j} E and {,k} E, thn w obtain two adjacnt chordlss cycls C j = {, j,j,{j, },,,,,} and C k = {, k,k,{k, },,,,,} (by (4) {,j}, {,k}, {,} ar not in E) with a common dg in E contradicting th Adjacnt cycls condition. Hnc w can assum that at most on of th dgs {,j} or {,k} is in E. W now considr th cycl C = {, j,j, j,j +,...,k, k,} and i =, A = {j}, A = {k}, A 3 = {, }, A = A A A 3, B = V( C)\{}, B = A 3, and B = B B as rprsntd in Figur 3. To obtain P min (A), P min (A {i}) or P min (B) w only hav to dlt th dg = {, } of wight σ. As {,j} / E or {,k} / E, {j,k} cannot b a subst of any componnt of P min (A). Thrfor w can only hav P min (A) = {{ },{ },{j},{k}} or {{,j},{ },{k}} or {{,k},{ },{j}}. As {,j} and {,k} ar in Ê(C) and as i =, j and k ar connctd in G A {i}\{, }. Hnc thr xists A P min (A {i}) with {j,k} A. Asj andk arconnctd in G B\{, } thrxists B P min (B) with {j,k} B. Hnc {j,k} (B A ) P min (B) A. But {j,k} cannot b a subst of any componnt of P min (A). Hnc P min (A) A P min (B) A 9
B σ σ σ j 3 σ A j σ σ =i k A σ B = A 3 k σ Figur 3: C = {, j,j, j,j +,...,k, k,} and {,j} E. contradicting Thorm 3. Thrfor {j,k} Ê(C). 5. By Proposition 6, thr is a uniqu dg = {,} in E, all dgs in E ar incidnt to th sam nd-vrtx of, and all dgs in E 3 ar linkd to by or by an dg in E. As / E(C m ), an dg in E(C m ) has wight σ or. Lt us assum C m non-constant. As dgs in E ar incidnt to, V(C m ) and is adjacnt to C m. By Proposition 7, / Ê(C m) and C m is complt. Lt us now assum C m constant. As all dgs in E ar incidnt to thy cannot form a cycl, thrfor E(C m ) E 3. Thn / V(C m ) and / Ê(C m). Lt usassum / V(C m ). Thnan dgin E(C m ) cannot b linkd to vrtx by, thrforis linkd to by an dgin E. As m 3 thr xist at last two vrtics i and j in V(C m ) such that {,i} and {,j} arine. C m givstwoobviouspathsγ andγ linkingiandj. Ltusconsidr th cycls C m = {,i} γ {j,} and C m = {,i} γ {j,} as rprsntd in Figur 4. By Cas (or Proposition 7) C m and C m ar complt. This γ σ i σ C γ m j σ Figur 4: C m = {,i} γ {j,} and C m = {,i} γ {j,}. implis {i,j} E and {,k} E for all k V(C m ). Hnc for any pair of vrtics i,j in V(C m ) th prvious rasoning is valid and implis {i,j} E. Thrfor C m is complt. Lt us now assum V(C m ). Claim 3 implis {,i} Ê(C m) for all i V(C m ). As m 3, thr is at last on dg linking to V(C m ) \ {}. If thr xist two dgs {,i} and {,j} with i and j in V(C m )\{} as rprsntd in Figur 5, thn is a common dg for th triangls dfind by {,,i} and {,,j}, contradicting th Adjacnt cycls condition. Hnc thr is xactly on dg linking to V(C m )\{}. If m 5 thn thr is at last on dg in E(C m ) nithr incidnt to nor 0
C m j i σ σ σ Figur 5: C m with m = 5. C 4 σ 3 σ σ3 3 4 4 C 3 3 σ σ (a) (b) Figur 6: C 4 and C 3 = {,,,,3,,}. C 3 and C 3 = {,,,,,,}. linkd to, a contradiction. If m = 4 thn w ncssarily hav = {,3 } as rprsntd in Figur 6a, othrwis w gt th sam contradiction. Lt us dnot by = {, }, = {,3 }, 3 = {3,4 }, and 4 = {4,} th dgs in E(C 4 ) and by = {,3 } th chord of C 4 incidnt to. Lt us considr i =, A = {,,4 }, and B = A {3 }. Thn P min (A) = {{},{ },{4 }}, P min (A {i}) = {{},{,,4 }}, and P min (B) = {{},{,3,4 }}. Taking A = {,,4 } w gt P min (A) A = {{ },{4 }} {,4 } = P min (B) A and it contradicts Thorm 3. Hnc m = 3 as rprsntd in Figur 6b. 5 Graphs satisfying inhritanc of convxity W provid charactrizations of connctd wightd graphs satisfying inhritanc of convxity with P min. 5. Graphs with two dg-wights Thorm 9. Lt us assum that th dg-wights hav only two diffrnt valus σ < σ and E. Thn thr is inhritanc of convxity for P min if and only if:. All dgs in E ar incidnt to th sam vrtx and all dgs in E ar linkd to by an dg in E.. On of th two following quivalnt conditions is satisfid: (a) Thr is inhritanc of convxity for P M on th subgraph G = (N,E \E ).
(b) G = (N,E \E ) is cycl-complt. W giv in Figur 7 an xampl of a graph satisfying conditions and of Thorm 9. σ σ 3 4 σ σ σ σ σ σ σ σ 6 7 5 σ σ σ Figur 7: Evry dg in E is linkd to by an dg in E and th cycl dfind by 3,4,6,7 is complt. Proof. Conditions a and b ar quivalnt by Thorm 6(van dn Nouwland and Borm, 99). By Proposition 5, Lmma 9 and Proposition 8 (Claim ), Conditions and ar ncssary. W now prov thir sufficincy. Lt (N,v) b a convx gam. W dnot by (N,v) (rsp. (N,v M )) th rstrictd gam associatd with P min (rsp. P M ) on G (rsp. G ). Lt us considr i N and substs A B N \{i}. W considr svral cass to prov that th following inquality is satisfid: (5) v(b {i}) v(b) v(a {i}) v(a). Lt us first assum E(B) E (rsp. E(A {i}) E ). Thn P min (A) and P min (B) (rsp. P min (A {i})) ar singlton partitions and (5) is quivalnt to v(b {i}) v(a {i}) (rsp. v(b {i}) v(b) 0.). This last inquality is satisfid as (N, v) is supradditiv (cf. Corollary ). Lt us now assume(b) E and E(A {i}) E. Thn w also hav E(B {i}) E. By Condition any dg in E is incidnt to, thrforwhav B andi as B N\{i}. Thn, ase(a {i}) E, wncssarily hav A. IfE(A), ConditionimplisE(A) E and thn v(a) = v M (A). If E(A) = thn w trivially hav v(a) = v M (A). Hnc (5) is quivalnt to v M (B {i}) v M (B) v M (A {i}) v M (A), and by Condition this last inquality is satisfid. Thorm 0. Lt us assum that th dg-wights hav only two diffrnt valus σ < σ and E =. Lt = {,} b th uniqu dg in E. Thn thr is inhritanc of convxity for P min if and only if:. Thr xists at most on chordlss cycl containing.. For vry cycl C with constant wight σ ithr C is complt or all vrtics of C ar linkd to th sam nd-vrtx of. W giv in Figur 8 an xampl of a graph satisfying conditions and of Thorm 0.
σ σ σ σ σ σ σ σ σ σ σ σ σ σ σ σ Figur 8: Eithr a constant cycl is complt or all its vrtics ar linkd to on nd-vrtx of. Proof. Condition is ncssary by th Adjacnt cycls condition. By Proposition 8 (Claims, 3, and 4) Condition is also ncssary. W now prov thir sufficincy. Lt (N,v) b a convx gam and lt us considr i N and substs A B N \{i}. W considr svral cass to prov that th following inquality is satisfid: (6) v(b {i}) v(b) v(a {i}) v(a). Lt us first assum E(B) E (rsp. E(A {i}) E ). Thn w can conclud as in Cas in th proof of Thorm 9. Lt us now assum E(B) and E(A {i}). Thn w also hav E(B {i}). If / E(A) thn i = or as E(A {i}) but it contradicts E(B) as B N \{i}. Thrfor w also hav E(A) and (6) is quivalnt to v M (B {i}) v M (B) v M (A {i}) v M (A) whr (N,v M ) is associatd with G = (N,E\E ). Lt P M (A) = {A,A,...,A p } (rsp. P M (B) = {B,B,...,B q }) b th partition of A (rsp. B) into connctd componnts in G. If thr is no link btwn i and A thn P M (A {i}) = {P M (A),{i}} and v M (A {i}) v M (A) = v({i}) = 0. Thn (6) is quivalnt to v(b {i}) v(b) 0 and this last inquality is satisfid as (N,v) is supradditiv. Othrwis w hav P M (A {i}) = {A... A r {i},a r+,...,a p } (rsp. P M (B {i}) = {B... B s {i},b s+,...,b q }) with r p (rsp. s q), aftr rordring if ncssary. Thn, stting A = A... A r and B = B... B s, (6) is quivalnt to: (7) v(b {i}) s v(b j ) v(a {i}) j= r v(a j ). Ltusobsrvthat obviously P M (A) isarfinmntofp M (B) A. Toachiv th proof w nd th following claim. Claim A. Conditions and imply A j B j, for all j, j r, aftr rnumbring if ncssary. By contradiction, lt us assum that two componnts A and A of P M (A) A ar substs of th sam componnt B P M (B), aftr rnumbring if ncssary. Lt ẽ = {i,k } (rsp. ẽ = {i,k }) b an dg linking i to A (rsp. A ). As i / {,}, ẽ and ẽ ar in E. As B is connctd, thr xists an lmntary path γ in G B linking k A to k A. W obtain j= 3
a simpl cycl C = {i,ẽ,k } γ {k,ẽ,i} of constant wight σ. If C is complt, thn {k,k } is a chord of C. Condition implis {k,k }. Thn {k,k } links A to A in G, a contradiction. If C is not complt, thn by Condition all vrtics of C ar linkd to th sam nd-vrtx v of. W can assum w.l.o.g. v = as rprsntd in Figur 9. As E(A) and as k and k ar in A, w hav {,k } and {,k } in E(A). W also hav {,k } and {,k }, othrwis would b a chord of a cycl contradicting Condition. Thn A and A ar part of a connctd componnt of A in G, a contradiction. σ k ẽ σ σ σ σ σ i A σ A σ σ ẽ σ k σ B σ Figur 9: in E(A) and k in A, k in A. σ W now nd th proof of Thorm 0. By Claim A, w hav P M (A ) = P M (B ) A. Thn Lmma 5 applid to P M implis v(b ) s j= v(b j) v(a ) r j= v(a j). Thconvxity of(n,v) alsoimplisv(b {i}) v(b ) v(a {i}) v(a ). Adding ths last inqualitis w obtain (7). 5. Graphs with thr dg-wights Thorm. Lt us assum that th dg-wights hav thr diffrnt valus σ < σ <. Thn thr is inhritanc of convxity for P min if and only if:. Thr is only on dg = {,} in E.. Evry dg in E is incidnt to th sam nd-vrtx of. 3. Evry dg in E 3 is linkd to by or by an dg in E. 4. Thr xists at most on chordlss cycl C m with m = 3 or 4 containing. 5. G = (N,E \E ) is cycl-complt. Morovr ths conditions imply: 6. If a cycl C m dos not contain and if V(C m ), thn m = 3 and such a cycl is uniqu, has constant wight, and is adjacnt to a uniqu triangl C 3 containing. Morovr, C 3 = {,,,,3, 3,} with w i = σ i for i {,,3}, and E(C 3 ) E( C 3 ) = { 3 }. 4
Rmark 3. Th Star, Path, Cycl, Pan and Adjacnt cycls conditions ar straightforward consquncs of Conditions to 5 in Thorm. Proof of thorm. By Proposition 6 and th Adjacnt cycls condition, Conditions to 4 ar ncssary. By Proposition 8 (Claim 5), Condition 5 is ncssary. W now prov thir sufficincy. Lt us considr a convx gam (N,v), i N and substs A B N \ {i}. W hav to prov that th following inquality is satisfid: (8) v(b {i}) v(b) v(a {i}) v(a). Lt us not that if i is not linkd to A thn (8) is trivially satisfid as (N,v) is supradditiv (cf. Corollary ). If i =, Conditions and imply E(A) E(B) E 3. Thn P min (A) and P min (B) ar singltons partitions and (8) is quivalnt to v(b {i}) v(a {i}). This last inquality is satisfid as (N, v) is supradditiv. W thraftr assum i linkd to A by at last on dg and i, and considr svral cass. Cas Lt us assum / A. Conditions and imply E(A) E(A {i}) E 3. Thn P min (A) and P min (A {i}) ar singlton partitions and v(a {i}) v(a) = v({i}) = 0. As (N,v) is supradditiv (cf. Corollary ), (8) is satisfid. Cas Lt us assum A and A. Thn blongs to E(A), E(A {i}), E(B), E(B {i}), and (8) is quivalnt to v M (B {i}) v M (B) v M (A {i}) v M (A) whr (N,v M ) is th Myrson s gam associatd with G = (N,E\{ }). By Condition 5, G is cycl-complt. Thn (N,v M ) is convx by Thorm 6 and thrfor (8) is satisfid. Cas 3 Lt us assum A and B \ A. Thn E(B) \ E(A), i / {,}, / E(A {i}), and E(B {i}). As in Cas, v(b {i}) v(b) = v M (B {i}) v M (B) whr (N,v M ) is associatd with G. As i is linkd to A in G, and as i / {,}, i is also linkd to A in G. Lt  = {A,...,A p } with p b th st of connctd componnts of A in G linkd to i. By Conditions and 3, any dg in G is ithr incidnt to or or linkd to by an dg in E. Thrfor  is only mad up of on componnt containing, and possibly singlton componnts (th componnt containing may b rducd to a singlton). Not that if  contains a singlton diffrnt from, thn th dg {i,} xists in G. Hnc thr ncssarily is an lmnt in  containing. Lt us assum A aftr rnumbring if ncssary. Thn, as A,...,A p ar singltons, w gt v M (A {i}) v M (A) = v( p j= A j {i}) v(a ). By Condition 5, G 5
is cycl-complt. Thn (N,v M ) is convx by Thorm 6 and this implis: p (9) v(b {i}) v(b) v A j {i} v(a ). As / E(A), if E(A), thn by Condition 3 any dg in E(A) E 3 is linkdtobyandgine(a) E. HncE(A) E andv(a) = v M (A) whr (N,v M ) is associatd with G 3 := (N,E 3 ). If E(A) =, w trivially hav v(a) = v M (A). As / E(A {i}), w hav by th sam rasoning v(a {i}) = v M (A {i}) whr (N,v M ) is associatd with G 3. Lt à b th st of connctd componnts of A in G 3 linkd to i. Not that, by Conditions and 3, {} is a singlton componnt in G 3 andcannot blongto Ã. If i is linkd to A \{} thn à = {Ã,,Ã,,...,Ã,r,A,...,A p } with r and Ã,j A for all j, j r. Lt us assum r. Thr xists k Ã, (rsp. k Ã,) such that {i,k } E (rsp. {i,k } E). As Ã, A and Ã, A, thr is a path γ in A linking k to k. Thn {i,k } γ {k,i} inducs a cycl C in G as rprsntd in Figur 30. By j= k Ã, A i k Ã, Figur 30: Cycl C. Condition 5, C is complt in G. As / A and / Ã, and / Ã,, {k,k } E 3 and links Ã, to Ã, in G 3, a contradiction. Hnc r = and w hav: p (0) v(a {i}) v(a) = v Ã, A j {i} v(ã,). If i is not linkd to A \{} thn (0) is still satisfid stting Ã, =. As Ã, A, w hav (Ã, p j= A j {i}) A = Ã, and (Ã, p j= A j {i}) A = p j= A j {i}. Thrfor th convxity of (N,v) implis: p p () v A j {i} v(a ) v Ã, A j {i} v(ã,). j= Finally (9), (), and (0) imply (8). Cas 4 Lt us assum A, / B, and i. Thn / E(A), / E(A {i}), / E(B), and / E(B {i}). By th sam rasoning as j= j= 6
in Cas, w hav v(a) = v M (A), v(a {i}) = v M (A {i}), v(b) = v M (B), and v(b {i}) = v M (B {i}) whr (N,v M ) is associatd with G 3. Thn (8) is quivalnt to v M (B {i}) v M (B) v M (A {i}) v M (A). Lt C m b a cycl in G 3. Thn E(C m ) E 3 and by Condition 5, C m is a complt cycl in G. By Conditions and 3, an dg is in E if and only if it is incidnt to. Thrfor / V(C m ) and any chord of C m is in E 3. Thn C m is also a complt cycl in G 3. Hnc G 3 is cycl-complt. Thn (N,v M ) is convx by Thorm 6 and (8) is satisfid. Cas 5 Lt us assum A and i =. Thn / E(A), / E(B) but E(A {i}) and E(B {i}). Lt  = {A,...,A p } (rsp. ˆB = {B,...,B q }) b th st of connctd componnts of A (rsp. B) in G. By Conditions and 3, any dg in G is ithr incidnt to or or linkd to by an dg in E. Thrfor  (rsp. ˆB) is only mad up of on componnt containing, and possibly singlton componnts (th componnt containing may b rducd to a singlton). Lt A (rsp. B ) b th componnt containing. Thn w hav A B and A,...,A p (rsp. B,...,B q ) ar singltons. Lt à (rsp. B) b th st of connctd componnts of A (rsp. B) in G 3. By Conditions and 3, {} is a singlton componnt in G 3. Thrfor w hav à = {Ã,,Ã,,...,Ã,r,A,...,A p } (rsp. B = { B,, B,,..., B,s,B,...,B q }) whr {Ã,,Ã,,...,Ã,r} (rsp. { B,, B,,..., B,s }) with r (rsp. s ) is th partition of A (rsp. B ) in G 3 and Ã, = B, = {}. Not that Ã,j (rsp. B,j ) is linkd to in G (and G ) i.., thr xists k j Ã,j (rsp. l j B,j ) such that {,k j } E (rsp. {,l j } E) for all j, j r (rsp. j s). Claim B. W can assum Ã,j B,j for all j, j r, aftr rnumbring if ncssary. Proof of Claim B. W hav Ã, = B, = {}. By contradiction, lt us assumã, B, andã,3 B,, aftr rnumbringifncssary. Ltγ b asimplpath in B, linkingk Ã, to k 3 Ã,3. Thn{,k } γ {k 3,} inducs a cycl C in G as rprsntd in Figur 3. By Condition 5, C is Ã, k σ B, σ k à 3,3 Figur 3: Cycl C. complt in G. Thn {k,k 3 } E(A) E 3 and links Ã, to Ã,3 in G 3, a contradiction. 7
Th partition of A (rsp. B ) in G 3 is P M (A ) = {{},Ã,,...,Ã,r} (rsp. P M (B ) = {{}, B,,..., B,s }). Claim B implis P M (B ) A = P M (A ). Thn, as (N,v) is convx, Lmma 5 implis: () v(b ) s v( B,j ) v(a ) j= r j= v(ã,j). As / E(A) (rsp. / E(B)) w hav v(a) = v M (A) (rsp. v(b) = v M (B)) whr (N,v M ) is associatd with G 3. W gt v(a) = r j= v(ã,j) (rsp. v(b) = s j= v( B,j )). As E(A {i}) (rsp. E(B {i})), w hav v(a {i}) = v M (A {i}) (rsp. v(b {i}) = v M (B {i})) whr (N,v M ) is now associatd with G. Cas 5. Lt us first assum i not linkd to A in G. Thn v(a {i}) = v({i}) + p j= v(a j) = v(a ). If i is not linkd to B in G, thn w also hav v(b {i}) = v(b ) and (8) is satisfid as it is quivalnt to (). If i is linkd to B in G, lt ˆB b th st of connctd componnts linkd to i in G. W hav ithr ˆB = {B,...,B q } with q q or ˆB = {B,...,B q } with q q, aftr rnumbring if ncssary and thrfor, ithr v(b {i}) v(b) = v( q j= B j {i}) s j= v( B,j ) or v(b {i}) v(b) = v(b )+v( q j= B j {i}) s j= v( B,j ). As (N,v) is supradditiv, w hav in any cas: q s (3) v(b {i}) v(b) v(b )+v B j {i} v( B,j ). ( q ) As(N, v) is supradditiv and zro-normalizd, w hav v j= B j {i} 0. Thn (3) and () imply (8). Cas 5. Lt us now assum i linkd to A in G. Lt  b th st of connctd componntsofalinkdtoiing. Whav ithrâ = {A,...,A p } with p p or  = {A,...,A p } with p p, aftr rnumbring if ncssary. Claim C. Thr is at most on lmnt of  includd in B. Proof of Claim C. Lt us assum w.l.o.g. A B and A 3 B. Lt ẽ = {i,k } (rsp. ẽ 3 = {i,k 3 }) b an dg linking i to A (rsp. A 3 ) in G. As B is connctd thr is a path P conncting k to k 3. Thn ẽ, ẽ 3, and P induc a cycl C in G. By Condition 5, C is complt in G. Thn {k,k 3 } links A and A 3 in G, a contradiction. j= j= 8
Lt us first assum A Â. Thn B ˆB, and thrfor (8) is quivalnt to: q s (4) v B j {i} v( B p r,j ) v A j {i} v(ã,j). j= j= Thpartitionof p j= A j (rsp. q j= B j)in G 3 isp M ( p j= A j) = {{},Ã,,...,Ã,r,A,...,A p } (rsp. P M ( q j= B j) = {{}, B,,..., B,s,B,..., B q }). By Claim B, w hav Ã,j B,j for all j, j r. As A B, Claim C implis A j B,k for all j, j p, and all k, k s. Thrfor, w hav P M ( q j= B j) p j= A j convx Lmma 5 implis: q (5) v j= B j s v( B p,j ) v j= j= j= = P M ( p j= A j), and as (N,v) is j= A j r j= v(ã,j). Morovr th convxity of (N, v) implis: q q p p (6) v B j {i} v v A j {i} v j= j= B j (5) and (6) imply (4). Lt us now assum A / Â. If B / ˆB, thn (8) is quivalnt to: (7) q s p r v(b )+v B j {i} v( B,j ) v(a )+v A j {i} j= j= j= j= j= A j j=. v(ã,j). W hav A j B for all j, j p (othrwis B is linkd to i, a contradiction). Hnc p j= A j q j= B j and th supradditivity of (N,v) implis v( q j= B j {i}) v( p j= A j {i}). This last inquality and () imply (7). Finally if B ˆB, thn (8) is quivalnt to: (8) q s p r v B j {i} v( B,j ) v(a )+v A j {i} v(ã,j). j= j= If p j= A j q j= B j thn (7) is satisfid and it implis (8) as (N,v) is supradditiv. Othrwis, w can assum w.l.o.g. A B. Claim C implis p j=3 A j q j= B j. Thn w hav ( p j= A j {i}) B = A and th convxity of (N, v) implis: p p (9) v A j {i} B +v(a ) v A j {i} +v(b ). j= 9 j= j= j=
Morovr w hav p j= A j B q j= B j and A is a singlton. As (N,v) is supradditiv and zro-normalizd, (9) implis v( q j= B j {i}) v( p j= A j {i})+v(b ), and thrfor: (30) q s v B j {i} v( B p s,j ) v A j {i} +v(b ) v( B,j ). j= j= Finally (30) and () imply (8). Wnowprovthat Conditionsto5implyCondition6. ByConditions to 3, is th uniqu dg in E, all dgs in E ar incidnt to, and all dgs in E 3 ar linkd to by or by an dg in E. By Condition 4, cannot b a chord of C m. Thn, by Condition 5, C m is complt. Morovr, as V(C m ) and / Ê(C m), w hav / V(C m ). Thn C m has constant wight and any chord of C m has wight. If thr xist two dgs {,i} and {,j} with i and j in V(C m ) \ {} as rprsntd in Figur 3a with m = 5, thn is a common dg for th triangls dfind by {,,i} and {,,j}, contradicting Condition 4. Hnc, thr is at most on dg linking to V(C m )\{}. This implis m = 3 and thr is xactly on dg linking to V(C m ) \{} as rprsntd in Figur 3b (othrwis thr is at last on dg in Ê(C m) nithr incidnt to nor linkd to by an dg in E ). Finally, lt us assum that thr is a scond triangl C 3 with V(C 3 ) and j= j= i σ σ σ σ σ 3 3 3 C m σ σ 3 3 j C 3 3 3 σ 3 σ σ (a) (b) Figur 3: C 5 and C 3 linkd to by an dg in E. / E(C 3 ). If C 3 is adjacnt to C 3, thn C 3 and C 3 induc a cycl of siz 4 incidnt to and not containing, a contradiction. Othrwis, thr xists E (rsp. E ) linking to V(C 3 )\{} (rsp. V(C 3 )\{}). Thn thr ar two triangls containing, contradicting Condition 4. Rmark 4. LtusnotthatConditionsandofThorm9,Conditions and of Thorm 0, and Conditions to 5 of Thorm ar consquncs of th ncssary conditions stablishd in Sction 4. To obtain ths last conditions w only ndd to assum inhritanc of convxity with P min for th family of unanimity gams. Thrfor, Thorms 9, 0, and imply that for th corrspondnc P min thr is inhritanc of convxity if and 30
only if thr is inhritanc of convxity for th family of unanimity gams. This rsult was alrady obsrvd in (Skoda, 07b). 5.3 Disconnctd graphs W now considr th cas of disconnctd wightd graphs. A connctd componnt is said constant if all its dgs hav th sam wight. W prov that if thr is inhritanc of convxity for P min thn th undrlying graph G has to b connctd or has only on componnt with non-constant wight. Proposition. Lt us assum that for all S N th P min -rstrictd gam (N,u S ) is convx.. If G has a connctd componnt with thr diffrnt wights σ < σ <, thn all othr connctd componnts of G ar singltons.. If G has a connctd componnt with two diffrnt wights σ < σ and if E, thn all othr connctd componnts of G ar singltons. 3. If G has a connctd componnt with two diffrnt wights σ < σ and if E =, thn all othr connctd componnts of G hav constant wight σ or ar singltons. To prov Proposition w nd th following lmma. Lmma 3. Lt us assum that for all S N th P min -rstrictd gam (N,u S ) is convx. Lt = {,} and = {,3} b two adjacnt dgs with w < w and b an dg non-incidnt to. Thn w hav w() w and if morovr is not linkd to by an dg, thn w() = w. Proof. W st = {j,k}. If is incidnt to, Star condition implis w() = w. If is incidnt to 3, Path condition implis w() w. Hnc w can assum non-incidnt to th vrtics,, and 3. By contradiction, lt us assum w() < w. Lt us considr i = and th substs A = {,3} and B = A {j,k}, as rprsntd in Figur 33. As w() < w, thr is a block B i= j k A 3 Figur 33: w < w and w() < w. B of P min (B) such that A B. As w < w, w hav σ(a {i}) < w and P min (A {i}) = {A {i}} or {A,{i}}. Thn taking A = A w gt P min (B) A = {A} {{},{3}} = P min (A) A and it contradicts Thorm 3 applid with F = N \ { }. If is not linkd to by an dg, Lmma 9 implis w() max(w,w ) = w and thrfor w() = w. 3