arxiv: v1 [cs.dm] 6 Jun 2017

Transcription

1 An Upper Bon of 7 n for the Minimm Size 6 2EC on Ci 3-Ege Connete rphs Philippe Leglt rxi: [s.dm] 6 Jn 2017 Shool of Eletril Engineering n Compter Siene (EECS), Uniersity of Ottw Ottw, Ontrio K1N 6N5, Cn philippe@leglt. Astrt. In this pper, we sty the minimm size 2-ege onnete spnning sgrph prolem (heneforth 2EC) n show tht eery 3-ege onnete i grph = (V, E), with n = V llows 2EC soltion for of size t most 7n, whih improes pon Boy, Iwt n Tkzw s 6 grntee of 6n. 5 1 Introtion ien n nweighte 2-ege onnete grph = (V, E), the minimm size 2- ege onnete spnning sgrph prolem (heneforth 2EC ) onsists of fining 2-ege onnete spnning sgrph of with the minimm nmer of eges. Mltiple opies of n ege re not llowe, n re not neessry [4]. The prolem hs importnt pplitions in the esign of networks tht n srie the filre of link, t it is MAX SNP-hr een for speil ses [5]. Letting x e e inry rile with le 1 when ege e E is in 2EC soltion, 2EC n e formlte s n integer progrm s follows: Minimize Sjet to e E x e (xij : i S, j / S) 2 for ll S V, 0 x e 1, n integer for ll e E. The liner progrmming (LP) relxtion of 2EC, enote y 2EC LP, is otine y relxing the integer reqirement in (1). Let OPT() n OPT LP () enote the optiml le of 2EC for n the le of its LP relxtion, respetiely. In orer to mesre the qlity of the LP relxtion s lower on, we efine the nit integrlity gp α2ec s the spremm of the rtio of OPT() oer OPT LP () oer ll inpt grphs. This gies mesre of the qlity of the lower on proie y 2EC LP, whih is ril for pproximtion lgorithms n methos like rnh n on. Note tht polynomil-time (1) This reserh ws prtilly spporte y grnts from the Ntrl Sienes n Engineering Reserh Conil of Cn

2 onstrtie proof tht the nit integrlity gp eqls k R wol proie k-pproximtion lgorithm for 2EC. While α2ec hs een intensely stie, little is known ot it other thn tht 9 8 α2ec 4 3 [10]. A ntrl next step is to fos on the simplest form of the prolem known to remin NP-hr, when 2EC is restrite to grphs tht re i (i.e., eery ertex hs egree three) n 3-ege onnete [5]; we ths hope to generlizing sessfl methos. In this pper, we emonstrte n improe pper on for α2ec when restrite to 3-ege onnete i grphs. 2 Nottion n Bkgron This setion is eite to si notions of grph theory, whih will e se throghot the pper. Let = (V, E) e simple nirete grph with ertex set V, ege set E n n = V. A grph is si if ll erties he egree 3 or less. A sgrph of is grph H = (V H, E H ) where V H V n E H E, sh tht if ege E H, then, V H. Sgrph H is si to e spnning if V H = V. For ny sgrph H of we sometimes se the nottion E(H) n V (H) to enote the ege set n the ertex set for H, respetiely, n we se χ E(H) R E to is the nmer of opies of ege e in H). A omponent of is sgrph of for whih ny two erties re onnete to eh other y pths, n whih is not onnete to ny other ertex in. For ny sset A V, the omplement of A is A = V \ A. For ny two non-oerlpping ssets A, B V, the ege set etween A n B is enote y E[A : B], i.e. E[A : B] = {ij E i A, j B}. Note tht the sset F = δ(a) of E for some A V is lle t δ(a) = E[A : V \ A] s it isonnets. rph is onsiere k-ege onnete if n only if ll ts of he size greter or eql to k, k N. An ege t tht ontins k eges is k-ege t. An ege t F of is essentil if = (V, E \ F ) hs t lest two omponents eh ontining more thn one ertex. Eh of those omponents is lle shore of the t. For k N, is si to e essentilly k-ege onnete if n only if oes not he n essentil ege t F with F < k. If is i, simple n essentilly 4-ege onnete, then it is lso 3-ege onnete. The fntion δ( ) is symmetri smolr for, i.e. for eery two sets Y, Z V, the following two properties hol: enote the iniene etor of sgrph H (i.e. χ E(H) e δ(y ) + δ(z) δ(y Z) + δ(y Z), (2) δ(y ) + δ(z) δ(y \ Z) + δ(z \ Y ). (3) The onept of onex omintion is se extensiely: in the ontext of this pper, we sy tht etor y R E is 2EC onex omintion if there exist 2- ege onnete spnning sgrphs H i with mltipliers λ i R 0, i = 1, 2,..., j sh tht y = j i=1 λ iχ E(Hi) n j i=1 λ i = 1.

3 3 Contrition Or min reslt, whih is proen in Setion 5, is the following. Corollry 1. ien 3-ege onnete i grph = (V, E) with n = V, there exists 2-ege onnete spnning sgrph with t most 7 6 n eges. In other wors, we show tht the nit integrlity gp for 2EC is one oe y 7 6 for 3-ege onnete i grphs, whih improes pon Boy, Iwt n Tkzw s pper on of 6 5 [3]. Sine 2EC restrite to 3-ege onnete i grph is the simplest form of the prolem known to remin NP-hr, it lso implies tht sessfl methos n e generlize. Or methos re not polynomil n ths, o not reslt in n pproximtion lgorithm. Neertheless, they gie hope tht 7 6-pproximtion lgorithm exists, whih wol improe on the existing methos whih gies 6 5-pproximtion [3]. It wol lso exten Tkzw s 7 6-pproximtion for iprtite i 3-ege onnete grphs to ll i 3-ege onnete grphs [11]. In orer to proe Corollry 1, we proe the following stronger sttement whih ses the onept of onex omintion. Theorem 1. ien 3-ege onnete i grph = (V, E), the etor y R E efine y y e = 7 9 for ll e E is onex omintion of iniene etors of 2-ege onnete spnning sgrphs H i, i = 1, 2,..., k. In Setion 5, we lso proe the following intermeiry reslt for essentilly 4-ege onnete i grphs. Lemm 1. ien n essentilly 4-ege onnete i simple grph = (V, E) with V > 6 n eges,,, E, no two ssets S, S V ifferent thn {, } exist sh tht, δ(s),, δ(s ), n δ(s) = δ(s ) = 4. Besies eing sefl in or proof for the min reslt, Lemm 1 is lso of inepenent interest ese it is new retion opertion tht is ery speifi to essentilly 4-ege onnete i simple grphs. 4 Litertre Reiew The first to improe the 2-pproximtion rtio for 2EC were Khller n Vishkin [6], in 1994, with their 3 2-pproximtion lgorithm otine sing epth-first serh trees n metho lle tree-ring. This ws lter refine in 1998 to y Cheriyn, Seő n Szigeti [4] i er eompositions, then to 4 3 y Seő n Vygen [10], in Kryst n Kmr [7] improe the rtio to 4 3 ɛ se on hrging sheme. Other reslts he een lime, t he either een shown to e flse, or re withot onlsie proofs [8]. In prllel, mh eelopment lso orre for speil ses, espeilly i n si grphs. Kryst n Kmr [7] esigne pproximtion lgorithm for i grphs. For si grphs, in 2002, Cs, Krpinski n Kryst [5] ttine the pproximtion rtio of ɛ, whih ws then improe

4 to 5 4 y Boy, F n Sn [2] in 2014, sing irltions. When 2EC is frther restrite to 3-ege onnete i grphs, we enote the work of Hh [9], n of Boy, Iwt n Tkzw [3], who hiee rtios of 5 4, n 6 5, respetiely. Very reently, Tkzw [11] otine 7 6-pproximtion lgorithm for iprtite i 3-ege onnete grphs, inspire from the work of Boy, Iwt n Tkzw, y sing 2-ftors oering speifie ts. In the generl se, Seő n Vygen proe tht the nit integrlity gp α2ec is one s follows: 9 8 α2ec 4 3 [10]. The integrlity gp 2EC for i 3-ege onnete grphs ws shown in 2013 y Boy, Iwt n Tkzw [3] to e one oe y 6 5, n it is known tht they re one elow y the Petersen grph, t 11 10, s shown in Figre 1 (where ol lines represent eges in the sgrph n otte eges stn for eges in the Petersen grph, t not in the sgrph). Fig. 1. The minimm size 2-ege onnete spnning sgrph for the Petersen grph. 5 2EC Conex Comintions for 3-ege Connete rphs In this setion, we proie proof for Lemm 1, i.e. we show tht for ny essentilly 4-ege onnete i grph = (V, E) with V > 6 n eges,,, E, no two ssets S, S V ifferent thn {, } exist sh tht, δ(s),, δ(s ), n δ(s) = δ(s ) = 4. This reslt will e se to proe the min theorem. Proof of Lemm 1. Here we proie proof of Lemm 1. Sppose tht = (V, E) with V > 6, eges,,, E n ssets S, S V is the smllest onter-exmple to the lemm. Let eges inient to n e s illstrte in Figre 2, with the nlelle ertex neighor to lle. Some eges inient to the nlelle erties re not shown.

5 Fig. 2. Eges inient to n in. is simple n essentilly 4-ege onnete, n V > 6, whih implies tht lelle erties in Figre 2 re istint, s there wol otherwise exist n essentil 3-ege t. Withot loss of generlity, ssme tht S n S 0 (if not, tke the omplement of the set). The ts δ(s) n δ(s 0 ) re miniml n is i, whih implies tht two jent eges my not e in the sme t. Therefore,, S n,, S 0. We lrey know tht, / S n, / S 0. Figre 3 shows this isposition of the erties in the t. S S' Fig. 3. Disposition of the erties jent to n in S n S 0. Throghot this proof, we exploit the symmetri smolrity property of the fntion δ( ), whih sttes tht δ(s) + δ(s 0 ) δ(s S 0 ) + δ(s S 0 ), 8 δ(s S 0 ) + δ(s S 0 ). (4) Bese, S S 0, then S S 0 > 1; similrly ese / S S0, 0 0 then S S 0 > 0. It follows tht δ(s S ) 3 n δ(s S ) 4 (sine hs no essentil 3-ege t). There exist two ses, when δ(s S 0 ) = 3 n δ(s S 0 ) = 4 or 5 n where δ(s S 0 ) = 4, ese the rinlity of the ts re restrite y (4).

6 Cse 1. δ(s S ) = 3 n δ(s S ) = 4 or 5. rph is simple n essentilly 4-ege onnete, whih implies tht one of the shores of δ(s S ) mst onsist of single ertex, s the rinlity of this t is 3: erties n elong to S S, so S S = {}. Any prtition of i grph hs n een nmer of o prts, ese i grphs he n een nmer of erties. We se this prity to show tht δ(s S ) = 5. The prtition {S \ S, S \ S, S S, S S } (isplye in Figre 4) hs S S o, whih implies tht t lest one of S \ S, S \ S n S S lso hs n o nmer of erties. The grph is i, whih implies tht for ny sset S V of erties, δ(s) is o if n only if S is o. ien tht δ(s) = δ(s ) = 4, then S n S mst e een. This implies tht the prity of S \S n S S mst e the sme; similrly, the prity of S\S n S S mst lso e the sme. Therefore, either S \ S, S \ S n S S re ll o, or ll een, to respet prity. Bt from the oe, they nnot ll e een. Ths, S S is o, whih mens tht δ(s S ) mst e o s well. Therefore, δ(s S ) = 5. (5) S S' S\S' S S' S'\S Fig. 4. Prtition of to show the prity of prts, in Cse 1. All eges t n re known: let s exmine n ege x, for ertex x V. We lrey know of 3 eges in δ(s S ), whih mens tht there re extly 2 others eges e n f in the t. Assme tht x S S : this mens tht, e n f re in n essentil 3-ege t, ese sh t ontins n x. Sh t ontrits the ft tht is essentilly 4-ege onnete. Therefore, x / S S, whih immeitely implies tht S S = 3. We he tht 4 = δ(s) = δ(s \ S ) + δ(s S ) 2 E[S \ S : S S ]), (6) 4 = δ(s ) = δ(s \ S) + δ(s S ) 2 E[S \ S : S S ]. (7)

7 We lso he tht / E or else there wol e n essentil 3-ege t δ({,, }), whih mens tht from the fie eges in δ(s S ), for link to either S \ S or S \ S: 4 = E[S \ S : S S ] + E[S \ S : S S ]. (8) From the premise V > 6, it is implie tht one of S \ S n S \ S ontins more thn one ertex. Withot loss of generlity, let it e S \ S. Bese hs no essentil 3-ege t n S \ S > 1, we infer tht. The symmetri smolrity property ensres tht 4 δ(s \ S ), (9) 3 δ(s \ S). (10) δ(s) + δ(s ) δ(s \ S ) + δ(s \ S) 8 δ(s \ S ) + δ(s \ S). (11) We will now se lgeri mnipltions to show ontrition. We strt (7) from (6) n (8) twie: 8 = δ(s \ S ) δ(s \ S) + 4 E[S \ S : S S ]. (12) In eqtion (12), δ(s \ S ) δ(s \ S) mst e mltiple of 4. Bese ineqlities (9), (10) n (11) restrit the les of δ(s \ S ) n δ(s \ S), their ifferene mst e zero, i.e. Eqtion (12) is simplifie to δ(s \ S ) = 4. (13) 2 = E[S \ S : S S ]. (14) We now onle y sstitting (5), (13) n (14) in (6): 4 = δ(s \ S ) + δ(s S ) 2 E[S \ S : S S ] = = 5, whih gies ontrition. Cse 2. δ(s S ) = 4 n δ(s S ) = 4. Sine δ(s S ) = 4, it follows tht S S is een, ese is i. So there is t lest one more ertex w in S S. Sine is 3-ege onnete, t lest one ege inient with w is in δ(s S ). Howeer,,, δ(s S ) lrey, so we only he one other ege e in the t (s shown in Figre 5). Therefore w is one en of e. This mens tht {, e} is 2-ege t in, whih is ontrition.

8 S S' e Fig. 5. Disposition of the erties jent to n when δ(s \ S ) = 4. Proof of Theorem 1. Let = (V, E) e the smllest onter-exmple for whih the theorem oes not hol. There re only three 3-ege onnete essentilly 4-ege onnete i grphs with 6 erties or less, on whih the theorem n e shown to e tre iretly, s emonstrte in Figre 6, where ol lines represent eges in the sgrph, n otte lines represent eges in not in the sgrph. In the figre, for eh sh grph, the sgrphs H i n the orresponing λ i les for the reqire onex omintion re shown. The smllest i 3-ege onnete simple grph whih is not essentilly 4-ege onnete hs V = 6, whih mens tht either 1. is essentilly 4-ege onnete n V > 6, 2. hs n essentil 3-ege t n V 6. Cse 1. is essentilly 4-ege onnete n V > 6. We pik n ritrry ege E, n we lel the other jent erties of s n, n the other jent erties t s n. We will se this ege to rete the etor z R E s onex omintion of iniene etors of 2-ege onnete spnning sgrphs, where for ll e E, 1 if e =, 1 2 if e {,,, }, 8 z e = 9 if e n e jent to one of,, or, 1 if e n e jent to two of,, or, 7 9 otherwise. rph hs no essentil 3-ege t n V > 6, whih implies tht,, n re istint. Lemm 1 sttes tht there oes not exist two ssets A, B V ifferent from {, } sh tht, δ(a),, δ(b) n

9 V = 6 V = 4 : 2/ 9 H 1 2/ 9 H 2 2/ 9 H 3 1/ 3 H 4 : : 2/ 9 H 1 2/ 9 H 2 1/ 3 H 4 2/ 9 H 3 V = 2 2/ 9 H 1 2/ 9 H 2 1/ 3 H 4 2/ 9 H 3 Fig. 6. Bse ses for Theorem 1. In the sgrphs H i, ol lines inite the eges in the sgrph n otte lines inite the ege omitte in the sgrph.

10 δ(a) = δ(b) = 4. Ths, ssming tht δ(b) is n essentil 4-ege t for some B tomtilly mens tht δ(a) is not 4-ege t for ny sh A, n ie-ers. Withot loss of generlity, ssme tht eges n re not in n essentil 4-ege t together, other thn δ({, }), i.e. δ(a) > 4. By Lemm 1 gin, there oes not exist two ssets C, D V ifferent from {, } sh tht, δ(c),, δ(d) n δ(c) = δ(d) = 4. Knowing tht δ(a) > 4 for ll A sh tht, δ(a) n A {, } implies tht δ(c) > 4 for ll C sh tht, δ(c) n C {, }, whih mens tht eges n re not in n essentil 4-ege t together. Arme with these fts, we rete grph 1 y remoing eges n, n 2 y remoing eges n. In oth grphs, ny ertex s of egree 2 with inient eges st n sr is remoe, n the ege sr is e. Bese δ(a) > 4,, / E, no mlti-ege re rete. This sittion is illstrte in the first prt of Figre 7; the seon prt of the figre illstrtes the sme sittion, t when δ(a) = 4 n δ(b) > 4, for ny B sh tht, δ(b) n B {, }. The stte reer my sk wht hppens if n ege links one of,, or : ssme tht sh n ege rs E exists, for {r, s} {,,, }. It is immeitely pprent tht r n s nnot oth e neighor to the sme ertex, either or, otherwise there wol exist n essentil 3-ege t, e.g. {rs}. Withot loss of generlity, let r e jent to n let s e jent to. For simpliity, let r = n s =. Ct δ({, }) is n essentil 4-ege t n, δ({, }). By Lemm 1 n ese V > 6, eges n re not in n essentil 4-ege t together, n eges n re not in n essentil 4-ege t together, whih mens tht the trnsformtion is li. Both 1 n 2 re 3-ege onnete n i, ese ws simple n essentilly 4-ege onnete n the two eges remoe in were not in n essentil 4-ege t together. The theorem hols for 1 n 2, s they re oth smller thn, n gies two onex omintions of iniene etors of 2-ege onnete spnning sgrphs C 1 n C 2 for 1 n 2, respetiely. Note tht n ege in the onex omintion is present 7 9 times oerll in sgrphs. We will now moify the sgrphs in C 1 n C 2 to form sets C 1 n C 2 of sgrphs for in the following wy: ssme tht eges s n t were the two eges tht we remoe to trnsform into i, then ny 2-ege onnete spnning sgrph for i is 2-ege onnete n spnning for with the sme ege seletion, se for eges jent to s n t whih we lwys selet, n s n t whih we lwys omit. This is illstrte on the left sie of Figre 8, where ol lines represent eges in the sgrph, otte line represent eges omitte in the sgrph n she lines represent eges whih my or my not e in the sgrph. In the figre, eges inient to,, n, t not jent to re shown s istint, for simpliity. We now tke 1 2 C C 2 to otin 2EC onex omintion for. The orrene of eh ege in this onex omintion is shown in the rightmost prt of Figre 8. Note tht this is the orrene for the se tht no eges with

11 δ(a) > 4 Trnsforme to δ(a) = 4 n δ(b) > 4 1 n remoe 2 n remoe Trnsforme to 1 2 n remoe n remoe Fig. 7. Prtil trnsformtion of into 1 or 2 in Cse 2 of Theorem 1. oth enpoints in the set {,,, } exist. In the eent sh eges exist, then these eges he n orrene of 1, whih oes not ffet the en reslt, s is shown lter. The onex omintion 1 2 C C 2 is symmetril (see the rightmost prt of Figre 8): therefore, repeting ll the steps from Cse 1, tking eery ege of in trn s ege gies E onex omintions whih we lel F i, for i = 1,..., E. We il new onex omintion y setting the lm le λ Fi = 1 E for eh F i, n onle tht it selets eery ege 7 9 times oerll. We shll show this property in more etil here for n ege yz E: ege yz is trete s ege in extly one of the E onex omintions. It then hs n orrene of 1. there re no ole eges, whih mens tht yz is jent to in extly 4 of the E onex omintions. It then hs n orrene of 1 2. Bese is i, there re extly 8 wys to fin n ege yz extly one ege wy from, whih re hnle ifferently if yz n re in 4-yle together or not. Assme tht yz n re not in 4-yle r times ot of E, where r 8, r N (the grph is i n simple, so there n e t most 8 sh istint eges for yz). It then hs n orrene of 8 9. If yz n re in 4-yle (i.e. y, z E), then yz is one ege wy from oth y y n z. This hppens t times oer the E onex omintions n yz then hs n orrene of 1. Bese there re 8 wys to e one ege

12 δ(a) > 4 ' 1 ' Trnsforme to 1 ' ' 2 δ(a) = 4 n δ(b) > 4 ' 1 ' 1 ' ' 2 Fig. 8. Trnsformtion of the 2-ege onnete spnning sgrphs for 1 n 2 into 2-ege onnete spnning sgrphs for.

13 wy from, n ny 4-yle with yz n ses two of those wys, 2t + r = 8, for t N. (15) The orrene of yz in the other onex omintions is 7 9. The erge orrene of n ege oer the E onex omintions is 1 E = 1 E ( 1 + t r ( E r t 5) 7 ) 9 ( 2t 9 + r E ) 9 = (2t + r 8). (16) 9 E Sine 2t + r = 8, y (15), it follows from (16) tht the erge ege orrene oer the E onex omintions is t most 7 9. The onex omintion whih 1 reslts from giing eh onex omintion weight of E selets eery ege 7 9 times. If n ege is selete less thn 7 9 of the time, we it k ritrrily to he it selete extly 7 9 of the time. The theorem hols. Cse 2. hs n essentil 3-ege t C n V 6. : Trnsforme to Fig. 9. Contrting oth sies of n essentil 3-ege t of. Notie tht the ens of the three eges in C mst e istint ese is 3-ege onnete. In this se we ontrt eh shore of C to single pseoertex, to otin grphs 1 = (V 1, E 1 ) with pseo-ertex 1 n 2 = (V 2, E 2 ) with pseo-ertex 2 (s shown in Figre 10). Both 1 n 2 re smller thn so the theorem hols for 1 n 2. Moreoer the ptterns forme y the orrene of the eges inient to 1 n 2 re niqe n ientil in the sgrphs in the orresponing onex omintion. More speifilly, extly 2 9 of the time, one of the inient eges will not e in the sgrph, on oth sies of the t, n this is tre for eh of the three inient eges. The remining sgrphs ontin ll three inient eges. These onstnt ptterns llow s to gle (reonnet the eges s there were efore the intie step) the sgrphs for 1 n 2 together, in sh wy tht ientil ptterns t 1 n 2 re

14 mthe n the reslting sgrphs re 2-ege onnete. Figre 10 isplys the ptterns forme y the orrene of the eges inient to 1 n 2 n their orrene, on the left. The figre lso illstrtes the proess of gling the 2-ege onnete spnning sgrph in the onex omintions for 1 n 2. 2 / Trnsforme to / / / Fig. 10. ling the 2-ege onnete spnning sgrphs in the 2EC onex omintions for 1 n 1. This reslts in onex omintion tht shows tht the theorem hols for, whih gies ontrition. Proof of Corollry 1. Theorem 1 implies tht for grph = (V, E), there exists set of 2-ege onnete spnning sgrphs H i with λ i R 0, i = 1,..., j sh tht j i=1 λ i = 1 n j i=1 λ iχ E(Hi) e = 7 9 H i, e E χe(hi) 7 E 9 = 7n 6, sine E = 3n 2 for ll e E. This implies tht for t lest one of the for i grphs.

15 In other wors, we show tht the nit integrlity gp for 2EC is one oe y 7 6 for 3-ege onnete i grphs, whih improes pon Boy, 6 Iwt n Tkzw s pper on of 5 [3]. Or methos re not polynomil n ths, o not reslt in n pproximtion lgorithm. Neertheless, they gie hope tht 7 6-pproximtion lgorithm exists, whih wol improe pon the 6n 5 -pproximtion lgorithm y Boy, Iwt n Tkzw [3], n the 7n 6 - pproximtion lgorithm when is iprtite, y Tkzw [11]. Referenes 1. Alexner, A., Boy, S., Elliott-Mgwoo, P., On the integrlity gp of the 2-ege onnete sgrph prolem. Tehnil Report TR , SITE, Uniersity of Ottw, Ottw, Cn, Boy, S., F, Y., Sn, Y., A 5/4 pproximtion for si 2EC sing irltions n olige eges, Disrete Appl. Mth., Elseier Siene Plishers, 209 Isse C, 48-58, Boy, S., Iwt, S., Tkzw, K., Fining 2-ftors loser to TSP tors in i grphs, SIAM Jornl on Disrete Mthemtis, 27, , Cheriyn, J., Seő, A., Szigeti, Z, An Improe Approximtion Algorithm for Minimm Size 2-Ege Connete Spnning Sgrphs, Pro. 6th IPCO, SIAM, LNCS, 1412, Cs, B., Krpinski, M., Kryst, P., Approximility of ense n sprse instnes of minimm 2-onnetiity, tsp n pth prolems, D. Eppstein (E.), SODA, ACM/SIAM, 74 83, Khller, S., Vishkin, U., Bionnetiity pproximtions n grph rings, Jornl of the Assoition for Compting Mhinery, 41, , Kryst, P., Kmr, V. S. A., Approximtion Algorithms for Minimm Size 2- Connetiity Prolems, STACS 2001: 18th Annl Symposim on Theoretil Aspets of Compter Siene Dresen, ermny, Ferry 15 17, 2001 Proeeings, , Heeger, K., Vygen, J., Two-onnete spnning sgrphs with t most 10/7 OPT eges, rxi: [mth.co], Hh, W.T., Fining 2-ege onnete spnning sgrphs, Opertions Reserh Letters, Elseier, 32, , Seő, A., Vygen, J., Shorter Tors y Nier Ers: 7/5-Approximtion for the grph- TSP, 3/2 for the Pth Version, n 4/3 for Two-ege-onnete Sgrphs, Comintori, Springer-Verlg New York, In., 34 Isse 5, , Tkwz, K., A 7/6-pproximtion lgorithm for the minimm 2-ege onnete sgrph prolem in iprtite i grphs, Informtion Proessing Letters, Elseier, 116, 9, , 2016.