arxiv: v1 [math.co] 18 Sep 2015

Transcription

1 Improvements on the density o miml -plnr grphs rxiv: v [mth.co] 8 Sep 05 János Brát MTA-ELTE Geometric nd Algeric Comintorics Reserch Group rt@cs.elte.hu nd Géz Tóth Alréd Rényi Institute o Mthemtics, Hungrin Acdemy o Sciences toth.gez@renyi.mt.hu July, 08 Astrct A grph is -plnr i it cn e drwn in the plne such tht ech edge is crossed t most once. A grph, together with -plnr drwing is clled -plne. Brndenurg et l. showed tht there re miml -plnr grphs with only 45 n + O().647n edges nd miml - 7 plne grphs with only 7 n + O().33n edges. On the other hnd, 3 they showed tht miml -plnr grph hs t lest 8 n O() 3.5n O() edges, nd miml -plne grph hs t lest.n O() edges. We improve oth lower ounds to 0n.n. 9 Introduction In drwing o simple undirected grph G, vertices re represented y distinct points in the plne nd edges re represented y simple continuous curves connecting the corresponding points. or simplicity, the points nd curves re lso clled vertices nd edges, nd i it does not led to conusion, we do denote them the sme wy s the originl vertices nd edges o G, respectively. We ssume tht edges do not contin vertices in their interior. It ollows rom Euler s ormul tht plnr grph o n vertices hs t most 3n 6 edges. Also i plnr grph G hs less edges, then we cn dd edges to it so tht the resulting grph hs ectly 3n 6 edges nd still plnr. This holds even i we strt with ied plnr drwing o G. A drwing o grph is -plnr, i ech edge is crossed t most once. A grph is -plnr, i it hs -plnr drwing. It is miml -plnr, i we cnnot dd ny edge to it so tht the resulting grph is still -plnr. A grph together with -plnr drwing is -plne grph. It is miml -plne, i we cnnot dd ny edge to it so tht the resulting drwing is still -plne. The Supported y OTKA K-87.

2 mimum numer o edges o -plnror -plne grph is 4n 8[4]. Recently, Brndenurg et l. [, ] oserved very interesting phenomenon: there re miml -plnr nd -plne grphs with much ewer edges. Theorem (Brndenurg et l. []) (i) Let e(n) e the minimum numer o edges o miml -plnr grph with n vertices. The ollowing holds 8 45 n O().5n O() e(n) n+o().647n, 3 7 (ii) Let e (n) e the minimum numer o edges o miml -plne grph with n vertices. The ollowing holds.n O() e(n) 7 n+o().33n. 3 In this note, we improve oth lower ounds. Theorem A miml -plnr or -plne grph hs t lest 0 9 n O().n edges. Tht is, e(n),e (n) 0 9 n O(). Preliminries Our method is sed on the ides o Brndenurg et l. []. We lso point out n error in [], ut with our pproch their proo goes through s well. The ollowing oservtions re essentilly rom their pper. We include the proos or completeness. Throughout this section, G is miml -plne grph. The edges o G divide the plne into ces. A ce is ounded y edges nd edge segments. These edges nd edge segments end in vertices or crossings. Lemm (i) There re t lest two vertices on the oundry o ech ce. (ii) I u nd v re two vertices on the oundry o ce, then they re djcent. Proo. (i) Ech ce is ounded y t lest three edges or edge segments, nd hs t lest three vertices or crossings on its oundry. Since there is t most one crossing on ech edge, ech edge segment contins verte s n endpoint. Thereore, there must e t lest two vertices on the oundry o the ce. (ii) Suppose tht there re two vertices, u nd v on the oundry o ce. Now u nd v could e connected y curve in the ce without creting ny crossing. Thereore, y the mimlity o G, u nd v re lredy connected. Lemm There re neither isolted vertices nor vertices o degree in G. Proo. Suppose tht v is n isolted verte or verte o degree in ce o G. Now G\{v} is lso miml -plnr, since i we cn dd n edge to G\{v}, then we could hve dded it to G. Thereore, y Lemm, hs t lest two vertices on its oundry, dierent rom v, nd v is djcent to oth o them, contrdiction. Lemm 3 I nd cd re crossing edges in G, then,,c,d spn K 4 in G.

3 Proo. Let e the crossing o nd cd. Since there re no other crossings on nd cd, there is ce ounded y nd c. Now nd c re djcent y Lemm. Similrly nd d, nd c, nd d re lso djcent. The smllest degree in G is t lest two y Lemm. ollowing [], we cll vertices o degree two hermits. Lemm 4 I verte h hs only two neighors in G, sy u nd v, then (i) hu nd hv re not crossed y ny edge, (ii) u nd v re djcent in G. Proo. (i) Suppose to the contrry tht hu is crossed y n edge. By Lemm 3, verte h hs degree t lest 3, contrdiction. (ii) Since the only neighors o h re u nd v, nd edges hu nd hv re not crossed, there is ce tht hs u, nd v on its oundry. Thereore, u nd v re djcent y Lemm. Lemm 5 Suppose tht h is hermit, nd its neighors re u nd v. Delete h, hu, hv, uv rom G, nd let G e the resulting grph with the originl emedding. Let e the ce o G tht contins the point corresponding to verte h. Then hs only two vertices on its oundry, u nd v. Proo. I there is nother verte on the oundry o, then we could connect it to h. Either without ny crossing or with ectly one crossing with edge uv contrdicting the mimlity o G. We conclude tht hermit is surrounded y two pirs o crossing edges, see igure. u u h v h v igure : Hermit h, surrounded y two pirs o crossing edges. Remove ll hermits rom G. The resulting grph Ĝ with the inherited drwing is the skeleton o G. Notice tht Ĝ is lso miml -plnr nd ech verte o Ĝ hs degree t lest 3.. A Correction In [] the lower ound proos rely on the ollowing sttement: Clim. [] Every edge o Ĝ is covered y K 4 in Ĝ. However, this clim does not hold! See igure 3 or counteremple. Cll n edge o Ĝ eceptionl i it is not prt o K 4 in Ĝ. We hve to del with eceptionl edges s well. Lemm 6 Suppose tht edge o Ĝ is eceptionl. Tht is, is not prt o K 4 in Ĝ. Let nd e the ces ounded y. Then 3

4 (i), (ii) i hs ectly three vertices on its oundry, nd i or i =,, nd =, (iii) oth i nd i re non-eceptionl edges o Ĝ. igure : The our possile types o eceptionl edges Proo. (i) Suppose tht is n eceptionl edge o Ĝ. I edge is crossed y nother edge, then it is prt o K 4 y Lemm 3. Thereore, does not prticipte in crossing. Let nd e the ces ounded y. I =, then is cut edge. In this cse, y Lemm, oth components hve t lest one other verte on the oundry o =, nd they cn e connected. This contrdicts the mimlity o Ĝ. Consequently,. (ii) I there is n edge rom nd n edge rom which cross, then is prt o K 4 y Lemm 3. I there re t lest our dierent vertices on the oundry o i, sy,, nd y, then they orm K 4 y Lemm. We conclude tht i is eceptionl, then i hs ectly three vertices on its oundry,, nd i. I, then we cn connect them through nd, contrdiction gin. Thereore, = nd we denote it y or the rest o the proo. (iii) Vertices, nd divide the oundry o into three prts. Between nd, we hve edge y ssumption. Between nd, we either hve edge, or two segments o edges. In the ltter cse, is n edge o Ĝ nd prt o K 4 y Lemm 3. We cn rgue similrly or ce. We conclude tht is n edge o Ĝ nd prt o K 4, unless is on the oundry o oth nd. Now the degree o would e in Ĝ, which is impossile. We cn rgue the sme wy or edge. Remrk. Ech o the drwings on igure cn e etended to miml -plne grph so tht is not prt o K 4. See igure 3 or n emple. 4

5 igure 3: A miml -plne grph, is not prt o K 4. 3 Improvement o the lower ounds Proo o Theorem Let Ĝ e the skeleton o miml -plne grph. Recll tht the skeleton Ĝ rises y removing ech hermit rom G together with its two incident edges. The skeleton inherits its drwing rom G, it is miml -plne nd ech verte hs degree t lest three. We distinguish three types o edges in Ĝ: crossing, plin nd eceptionl. Edges tht prticipte in crossing re crossing edges. A crossing-ree edge tht is prt o K 4, is plin edge. Any other edge is eceptionl. Those edges re crossing-reend do not elong to K 4. Let n(h), c(h), p(h), e(h) denote the numer o vertices, crossing edges, plin edges, nd eceptionl edges o grph H. In prticulr, let n = n(ĝ), c = c(ĝ), p = p(ĝ), e = e(ĝ). We prove the ollowing crucil inequlity involving these quntities. Lemm 7 I Ĝ is the skeleton o ny drwing o miml -plnr grph G nd n 4, then 9p+0e+7c 0n 30. () Proo. We use induction on the pir (e, n), ordered leicogrphiclly. I there is n eceptionl edge, then we use the induction hypothesis on grphs with smller e. I e = 0, then we use induction on n. Suppose tht there is n eceptionl edge in Ĝ. Let nd e the two ces ounded y. By Lemm 6,, nd oth nd hve ectly three vertices on their oundries,,, nd, see igure. The closure o divides the plne into two prts, sy S,S. Now S i, the closure o S i, intersects Ĝ in G i or i =,. Remove the edge nd the interior o, rom Ĝ. Now two lmost disjoint sugrphs G nd G rise such tht they hve ectly one verte in common, G nd G. Both G nd G re miml -plne nd oth hve t lest our vertices. Thereore, we cn use the induction hypothesis on G nd G. or i =,, let n i,c i,p i,e i denote the numer o vertices, crossing edges, plin edges, nd eceptionl edges o G i. 5

6 Now 9p + 0e + 7c 0n 30 nd 9p + 0e + 7c 0n 30, where e + e + = e, n + n = n nd p + p = p, c + c = c. Thereore, 9p+0e 0+7c 0n+0 60, nd the sttement ollows. We my now ssume e = 0, nd we should prove 9p + 7c 0n 30, where n 4. In wht ollows, we deine n incresing sequence o sugrphs G 0 G Ĝ recursively nd keep trck o the numer o vertices nd edges o G i. In every step, we mintin the inequlity 9p+7c 0n 30. Sincethererenoeceptionledgesnow,wecnusetheideoBrndenurg et l. []. They deined the K 4 -network o G, which is n uiliry grph K. Its verteset correspondsto the K 4 sugrphso Ĝ. Twoverticesin K redjcent i the corresponding sugrphs in Ĝ shre verte. Since Ĝ is connected nd every edge is contined in K 4, the grph K is connected. Brndenurg et l. proved lower ound on the numer o edges o Ĝ y inding certin spnning tree o K y n lgorithm nd investigting the numer o edges o Ĝ involved in ech step o the lgorithm. We go in their ootsteps, ut tke closer look. We use slightly more comple lgorithm tht sweeps through Ĝ rther thn K. Let G 0 e K 4 sugrph o Ĝ. Suppose tht we hve lredy deined G i, connected sugrph o Ĝ, nd now we construct G i. Thereore, the vertices, edges, sugrphs o G i re old nd the ones o G i re new. We ssume 9p(G i )+7c(G i ) 0n(G i ) 30. This clerly holds or i =. To construct G i rom G i, we use one o the ollowing opertions in this order o preerence.. Adding n edge etween two old vertices.. Adding new verte nd ll K 4 s spnned y nd three old vertices. 3. Adding two new vertices, nd y nd ll K 4 s spnned y, y nd two old vertices. 4. Adding two new K 4 s such tht they shre new verte nd ech o them hs verte in common with the old sugrph. I none o these opertions cn e eecuted, then let G inl = G i nd the lgorithm termintes. Oserve tht K 4 hs two dierent -plnr drwings. Either ll edges re crossing-ree, or there is ectly one crossing. We show tht the output o the lgorithm G inl stisies G inl = Ĝ. We lso show y induction, tht 9p(G i )+7c(G i ) 0n(G i ) 30 or every i. This is certinly true or i = 0. Suppose 9p(G i )+7c(G i ) 0n(G i ) 30 or some i, nd now we construct G i. I we pply opertion, then the let side o inequlity () increses y t lest 5 (it is the cse when we dd n edge tht crosses previously plin edge), while the right side does not chnge, so () holds or G i s well. Suppose tht we eecuted the second opertion nd we dded ectly one K 4 with new verte nd old vertices,, c, see igure 4. Now either, nd c re plin edges in G i, or one o them, sy c, crosses. The other two edges, nd do not cross n old edge since in this cse there would e more K 4 s involving. The let side o the inequlity () incresed y 7 or 3 while the right side incresed y 0. I we dded more thn one K 4, then we hd to 6

7 c c igure 4: Opertion. dd t lest our edges djcent to. The ddition o n edge increses the let side o the inequlity y t lest 5, so it incresed y t lest 0. y y igure 5: Opertion 3. Suppose tht we eecuted the third opertion, see igure 5. Let nd y e the new vertices, nd the old vertices o new K 4. Edges,, y, y cnnot cross n old edge, since in tht cse we ind K 4 with ectly three old vertices contrdicting the preerence order o the opertions. I y is not crossed y n old edge, then the let side o the inequlity () increses y 4 or 45, while the right side increses y 40. Suppose tht the edge y crosses n old edge cd. Now,y,c,d orm nother K 4, nd gin none o the other new edges crosses n old edge. We dded t lest eight new edges, so the let-hnd side incresed y t lest 40 gin. v u y y w igure 6: Opertion 4. Suppose now tht we rrive to stge, where we cnnot use ny o the irst three opertions. Thereore, there is no K 4 in Ĝ tht hs ectly two or three 7

8 old vertices. Let u e n old verte tht hs t lest one neighor not in G i. Since Ĝ is connected, there is such verte. The grph G i is lso connected, so u hs neighor in G i s well. Order ll neighors o u in the circulr order the corresponding edges emnte rom u. Recll tht edges with common endpoint do not cross. Let v nd w e consecutive neighors o u such tht v G i nd w G i. We distinguish our cses. Cse : Both uv nd uw re plin edges in Ĝ. We consider K 4 tht contins the edge uw. By the ssumptions, this K 4 hs ectly one verte (u) in G i nd three vertices, sy w,, nd not in G i. The vertices v nd w cn e connected longuv nd uw, so y the mimlity o Ĝ, they re djcent in Ĝ. We consider K 4 tht contins the edge vw. By the ssumptions, this K 4 hs ectly one verte (v) in G i nd three vertices not in G i : w, y, nd y. By the ssumptions, none o the new edges crosses n old edge. I,, y, y re ll dierent, then we dded ive new vertices so the right-hnd side o () incresed y 00, see igure 6. The let-hnd side incresed y t lest 00 since dding two crossing K 4 s mens 4 crossing nd 8 plin edges nd = 00. I i = y j or some i,j, then the sitution is even etter, the clcultion is very similr. Cse : The edge uv is plin in Ĝ nd uw is crossing. In this cse, uw is crossed y n edge o Ĝ. Now,,u,w orm K 4, so nd re not in G i. Verte v cn e connected to or long uv, uw, nd. Suppose tht it is, so y the mimlity o Ĝ, v nd re djcent. Consider K 4 tht contins edge v nd the one with vertices,,u,w. The clcultion is very similr to the previous cse. Cse 3: The edge uw is plin in Ĝ nd uv is crossing. Let e the edge tht crosses uv. Now,,u,v orm K 4, nd u, v re old vertices, so nd re lso old vertices. Verte w cn e connected to or, sy,, long uw, uv, nd. So gin y the mimlity o Ĝ, w nd re djcent. Consider K 4 tht contins w nd K 4 tht contins uw. The clcultion is similr to the previous cses. Cse4: Bothuv nduwrecrossingedgesinĝ. Thiscseisthecomintion o the previous two cses. Edge uw is crossed y, uv is crossed y cd. Now one o nd, sy,, nd one o c nd d, sy, c, cn e connected long, uv, uw, cd, so they re connected. Tke the K 4 ormed y u,w,c,d, nd K 4 the contins c. The clcultion is the sme gin. In summry, we proved tht we cn lwys pply one o the our opertions in our lgorithm, so the lgorithm termintes when G inl = Ĝ. On the other hnd, we lso proved 9p(G i ) + 7c(G i ) 0n(G i ) 30 or every i. Thereore 9p(Ĝ)+7c(Ĝ) 0n(Ĝ) 30. This concludes the proo o Lemm Proo o Theorem Recll tht e(n) (e (n)) is the minimum numer o edges o miml -plnr (-plne) grph with n vertices. Since every miml -plnr grph with ny - plnr drwing is miml -plne grph, e(n) e (n). Thereore, Theorem ollows immeditely rom the net result. Theorem 3 Every miml N-verte -plne grph hs t lest 0 9 N 0 3 edges, where N 4. 8

9 Proo. Let G e miml -plne grph, N nd E denote the numer o vertices nd edges, nd h denotes the numer o hermits. Let Ĝ e the skeleton o G nd let n = n(ĝ), c = c(ĝ), p = p(ĝ), e = e(ĝ) denote the numer o vertices, crossing edges, plin edges, nd eceptionl edges o Ĝ. Everyhermit is surrounded y two pirs o crossing edges. A crossingpir o edges cn prticipte in our such surroundings, on the our sides o the crossing. This gives us c h. On the other hnd, or ech eceptionl edge, ech o the two neighoring cells hs pir o crossing edges on its oundry, these two crossings cnnot prticipte in surrounding o hermit in tht direction. This shows c e nd c e h. Now N = n+h, E = p+e+c+h. Let us minimize (p,e,c,h,n) = E 0 9 N under the conditions c e h, () nd 9p+0e+7c 0n 30, (3) p,e,c,h,n 0 (4) (p,e,c,h,n) = E 0 9 N = p+e+c+h n 9 h = p+e+c 9 n 9 h. irst we pply the ollowing trnsormtion: e = e 9 0 ε, p = p+ε, h = h+ 9 0 ε, c = c, n = n. Noticetht iconditions() nd(3) holdor(p,e,c,h,n), then they lsohold or (p,e,c,h,n ). On the other hnd, (p,e,c,h,n ) = (p,e,c,h,n) 0 ε. Thereore, the ive-tuple (p,e,c,h,n) tht minimizes (p,e,c,h,n) under conditions () nd (3) hs e = 0. or prmeter h, the only condition is tht c h. I c > h nd we increse h, then (p,0,c,h,n) decreses, nd the conditions still hold. Thereore, we my ssume c = h. Now we hve to minimize (p,0,c,c,n) = p c 0 9 n under the condition 9p+7c 0n 30. We get immeditely tht the minimum o (p,0,c,c,n) under the conditions is 0 3. Consequently E 0 9 N 0 3. Thereore, E 0 9 N 0 3 or ny miml -plnr drwing with N 4 vertices nd E edges. Remrk. We elieve tht our ound is r rom optiml. I our ound ws close to optiml, then or some miml -plne grph we would hve to use opertion 4. in lmost every step o the lgorithm descried in the proo o Lemm 7. However, this seems impossile. Reerences [] C. Auer,. J. Brndenurg, A. Gleissner, K. Hnuer: On Sprse Miml -Plnr Grphs, Grph Drwing 0, Lecture Notes in Computer Science 7704 (03), []. J. Brndenurg, D. Eppstein, A. Gleissner, M. T. Goodrich, K. Hnuer, J. Reislhuer: On the Density o Miml -Plnr Grphs, Grph Drwing 0, Lecture Notes in Computer Science 7704 (03),

10 [3] P. Edes, S.-H. Hong, N. Ktoh, G. Liott, P. Schweitzer, Y. Suzuki: Testing Miml -Plnrity o Grphs with Rottion System in Liner Time, Grph Drwing 0, Lecture Notes in Computer Science 7704 (03), [4] J. Pch, G. Tóth: Grphs drwn with ew crossings per edge, Comintoric 7 (997),