Drawing planar bipartite graphs with small area

4 downloads 0 Views 141KB Size Report
Any planar graph has a planar straight-line draw- ing [6,. 1Ш ..... almost. 4. -connected graphs. ¢et G be almost. 4. -connected, and let e be an edge such that G e ...
            

 

!"#$%&'$ ( ) **+ , )- * )). ,.  /0 *)) * *1 2 /, )) ) * 3) ,   456 7 8 9: 56 ; < =>.+  )) )  /*)31

/ /3 *] * ]+ 0) 3*/\. 3) \  31 F *  ] ¸Q ¹º JJR¹MRS 0 ) 3 ]/]) 0) 3/\ - ¸ < = \)]1 e+ »j  »j/ /, ))  c .]/]) * * ]  ,   45 9: 56 ; < =>. `==d 1  / /) ]/)]) 6)7 8/, / \ + ] )) /, / *  /) c .]/])1 e ) 1 / /, )) ) /  )) - _. )  c .]/]) * * ))   456 7 8 9: 56 ; < =>.  - * )).  , ` 1 ( ) ==d**+ , )- /) *] * ]h * *)) *1 F *  ] ¼NGIKMNMR 0 ) \)] ]  ]//  ]j  ,) ] )) -  ]/])  ]j \)_ ,)  ,) \)_1 ( *)]+ ) 3* ))  *)) *  / MKNIJOHR+ 11+  ]-] /0 ) \)] v ) ,  3*/)) ) /1 ^/3 ** \ ) ,) /, )/ , * *)) * `b + ½d + ) ) 3*   / /, )/ *- ) *))/ ¾])-1 ( ]/)) )/ )+ , ]/ 3   ) 3 0/]1 2 /, )) - * *)) * ]  ,   456 7 8 9: 56 ; < =>.1 2 / */\ )) )  /*)3+ - _) * *)) * )) n  456 7 8 9: 56 ; < =>.  * ,1

? @A$%BCD'$EBA F GHIJIK LMKINOPMQHNJR SKITNJO /0  * U V 3) /0 Z[ */) )/ ) \)] >  )) /09W XYU ] 0 , , \-    )).  3) ), ) */)+ ) )  / ]/  ) ,1 ^]  , ] _) /- 0 U  GHIJIK+ 11+ ]  , ,)/) ]/  Z[1 F- * *   * )). ,.  `a+ =b + =cd 1 e] f/)   *) )/ g , )) )/- \  3   ) 0//, h F3 )) ) Z[ */)  )/ \)]   */)+ 11+ \ ) ]//. )1 2 ) 3 ) TNSMP+ PRNOPM+  IKRI /0 ) ,  ) ,)+ )+ /  /0 ) 3) _.* ]) )) ]/ ) ,1  ) )  / /0  ,.  /0 * *  )   ] /* */3  * , `cd 1 [ -_+ i]  i/]j /, )) \- * *   * )). ,   9Zk < c> 8 9k < Z >.  `l+ m d 1 - / \  _3* /0  * * )) n  9 6o k < => 8 9 o6 k < =>.  - * )). ,1 ^3  , ]\ *)- > ^]- `=Zd + ,/ /, /,9 )/ ,  * *   9k < => 8 9k < =>.1 p  q 3*/\ ) )/ 9k < r < => 8 9k < r < => + ,   \ \ 0/3 ) ]-] )]) /0 Ur s`=udt 1 F/+ \- * *   ,   9 6o k < => 8 c9 6o k < =>. `udv ) ,  /*)3  ,)+ ) ) )/)   1 wxyz{{| {}‘’ ~{€‚ƒ„ xy…ƒ†yƒ‡ ˆ†…‰ƒ„Š…‚‹ {} Œ‚ƒ„|{{‡ ŒŽ ‚ƒ„|{{‡  “”•‡ ~†–— ˜™š›œžŸ ¡š¢œ££¤  — ¦ƒŽ ¥ Šƒ„yz Š€€{„‚ƒ– §‹ x¨¦~—¦ƒŠƒ„yz –{†ƒ ©z…|ƒ ‚zƒ ‚z{„ ©Š« {† Š§§‚…y| |ƒ‰ƒ ‚ ‚zƒ ˆ†…‰ƒ„Š…‚‹ {} ªŠŠ— „ ­†}{„‚…®‡ ˆ†…‰ƒ„Š…‚¬‚ ªŠŠ‡ Š‡’ƒz„Š‚z| ”ƒ„†‹—}¬˜¢ ²›š²˜³´™¤ž²™µ¶ ·· ž ¤›š— ¯°±“± ªŠŽ

¿ ÀÁÂ ÃBÄÂ% "BDAC 2 g) /, )) ) _)  * *. )) * 9/,   => )) n  456 7 89: 56 ;.  - * )). ,. 1 ( 0])+ ) /, / / \ 0 , /, 9 )/  ]/3*/ /0 */-.+ 11+ )/  , ,) 1>  *  n) 3 )/ ) /, / _3* /0 e ) 1 `==d +  ]/) /0 5ÅÆ 6 n *] /   Ç  ]/. ]) )- )/ /)  * *)) *1 / , )  Ç+ ,  )  8 =. /  = 8 t . v , 3 ) 0/31 tF  n  ) ) ),/ ) /0 )  ,) ] )/ ) 333 ]/ /_+ ] , 3) / È/É ) _)3 */) /0 )  =

 /)3 - e ) 1 `==d ,/j 0/ * c .]/]) * 0/ ,] / 0]  ) ) c \)]1   ) /) + , 3j * c .]/]) - )  0] )/ )1 2 ) 3) _) ) . ) /0 e ) 1 `==d )/ ,) , ] IH ºLM  Q ¹º JJR¹ MRS GHIJIK OKIGP+  /, )) * *)) * * ]  3 . 3/) c .]/])1  ?  %&  Á# 'BA$&EAEA  #$&%# /3 /, /+ ) U   * * ,)  g_ * 31 2 - )) U ¹º JMINJL I LMIK TNMP ¹RJMKIH  RKMR  IM  I ¹R  0 \- \)_ /   ) /  ]) )/  +   ]/) ) )  0/ )]) \)] ))  /)  1 ( *)]+ ) LMIK OKIGP 9 ) , / \)_   ]) )/  /) > ]/)  )1 ^  Z1

 = h F * *)) * )) n  456 7 8 9: 56 ; < =>.  - * ,1 ,1 ^/  )/) , 3) \  ,) /0 ) ) 56 < =   ) /0 ) ) 56 + / \] \+  ) /, / 0//,1 ÀÁÂ D  Â% "BDAC »/, , ) )/ / 3 )+ ,]  /, )/ , * *)) * ,) 3 1 2   0, g)/ g)1  ) U   * *1 2 3  ) 0/. /, )) /3 GHIJIK R  ¼RSSNJO  g_+ 11+ ,  \ ) ]] / /0  / ] \)_  )   /3 * , /0 U1  * 3 g n- )  I ¹RL+ 11+ ) 3_3 ]/]) / /0 ) , /0 U1 F MKNIJOHR /0  *   b .]-]+ 11+ ) \. )]  X  X  ] ))  9 X  > + 9 X  >  9 X  > _)1  \  * * ,)  g_ * 3. +  LRGIKIMNJO MKNIJOHR   ) ))  /)  0] v  *)] ) )  \)] /) / )   ) /)  - * , /0 U ))  ]) ) * 31  ] **/] )/ ,  * *)) * U  \- 3*h ]/3 ),/ ) . )1 »3-+ ] U  *))+ )  / ). + /  *)] / *) )1 -  ) /0 ) g) )/+ )  03 `Zd +  * * ,)/) *) ) ]  3 c .]/])  * -  1 »/, ]/3 ) ,) ) ) /0 e ) 1 `==d 0/ .]/]) * *+  - * *)) c* ]  ,   456 7 8 9: 56 ; < =>.1 0/))-+ ) *//0  ) n) ) -+ . ] , \ /) */j ) ]/3*) ))  ]).  ) ) /\1   ),/ */3h

  / _]*)/ )/ ) ) /0  ) 1 `Z d h ^/.] OKIGPL ¹º JMINJNJO I LMIK 9. g /, > ]  , ,)/) *) )+ ) ]/)  3 c .]/])  1 2 ) 3)  ,- * *)) * 9,) / _]*)/ > / /) ]/)  )1







 Zh  ) *+  /3 /) * ]/)  ) ,) ]) \)_  ) 0]  1 F *  ] MKNIJO  HIMRS 0 \- 0] /0 )   )1 ( ) ) *   Z+ , ]/)  -   )- * ,)/) ]. )  *) )1 + ) *   0])+ - * )) ]/)  ) > ]/)9  )) -   ,)/) )/]  *) )1   ) /) + * ]/)  )  ) /- Z.]/]) * , )  /) */1    !"# $ RM U ¼R I " Q ¹º JJR ¹ MRS GHIJIK OKIGP TNMP I %  RS R ¼RSSNJO & 'PRJ U ¹IJ ¼R MKNQ IJO  HIMRS TNMP º  M ISSNJO LRGIKIMNJO MKNIJOHRL N IJS JH ( N S RL J M JMINJ I LMIK &  U º º º ¹º »/, ) U   * *)) *1 (0 U  /) ) ) *+ ) , ]   )/ U )/ 3j )  I N IH GHIJIK ¼NGIKMNMR+ 11+ \- 0] /0 U  _])- 0/ \)] / )1 ()  j/, ))  3_3 * *)) *  Z.]/])1 ) *+, - " Q JJR MRS GHIJIK ¼NGIKMNMR OKIGP U S ºRL J º M ¹º JMINJ¹º I LMIK¹ & .   / 0 F3 U ]/)  ) ) 0]  ,) ]) \)_  +  /- /0    3* Z

]-] 9- Z.]/])\)- >  ] ]/)  ) 3/) /]1 ^/ )  ) ) ),/ ]/])\ \)] /  ))  /)  +  ]  ]) )/ 1  \  ) v  ]/)])/1  ^/ 0/ - * *)) * U _]*) ) ) *+ , ]   )/ U ) )  3_. 3 * *))+  )  0)  ) )  )) ,)/) *) )1 ^]  *  j/, )/  .]/])1 2 ] /) ) 0//, )h c )  **+   - J ( GHIJIK ¼NGIKMNMR OKIGP R ¹RGM MPR LMIK OKIGP ¹IJ ¼R  ISR  Q ¹º JJR¹ MRS IJS GHIJIK ¼ ( ISSNJO RSORL & ¿  %&ÄEA   'BAAÂ'$ÂC  %&  Á#  /)3 - e ) 1 `==d )/ ,  c . ]/]) * * U  ]]- / ) /. ]  Q ¹IJ º JN ¹IH º KSRKNJO /0 U+ g  0//,1 /  /   X    X  5 /0 ) \)]+ ) U   ) * ] -  X    X   +  ) U   ) * ] - ) \)]  1F   X    X 5 \)_ /  ]  c .]/] / 0

9  X  6 >  9 5Å  X  5>   / ) /). 0]1 ( *)]+ ) /).0] 3) \ ) ) 0/ \)]1

/ ] ¸ ,) Z ¸ k < Z+    / ) /).0] /0 U  +  ) ) Z /  U  +  ) ) Z /  U  Å  1 ^]  / _) 0/ .]/]) * * 0/ ,] ) /).0] c 0/ \)]  ,]  NJMRKJIHH( MKNIJO  HIMRS 9- )/ 0]   ) > `=td 1 »/, , _) ) )/ 3/ *1 2 - ))  * * U  IH º LM  Q ¹º JJR¹MRS 0 )  )- ))+ ) /).0] ]/. ) c \)]+  U ]/3 c .]/]) 0 ,  /  / ) /).0]1 ( *)]+ , )  3/) c .]/]) * 0 , 3j  * .]/]) -   ,)/)  *. c) )+ ) /3) /  +  3j ) 0] )) ]/) ) ) /).0]1 0/+ - * *)) * ]  3 3/) c . ]/])1 »/, , h   + - J ( IH  º LM  Q ¹º JJR¹ MRS GHIJIK OKIGP PIL I  Q ¹IJ º JN ¹IH º KSRKNJO & .   / 0 /  )+ ,  )/ *]) ) *//0 /0 ) _)] /0  c .]/] / - )  q ` 1  *//0 */] - \ ]. )/+ 11+=td) g) g  5 + )  5Å  1 F ))  n  )) , *]j  ]) \)]  5 

* 0) /\ 0) 6 911+ )Z.]/])1 5Å  ] ))U 5Å ) 2 /, 5 )) 5Å, ] *]j ] > /,  \ 0/ 3/) c .]/]) *1  5  5Å   ) U  3/) .]/])+  ) Ç    ] )) U Ç c c .]/])1  )  5  / */) /0 Ç+  )  5Å   / /0 ) / /0  5 / ) /).0]1 ^] U Ç  c .]/])+ U Ç  .]/])1 ) ] Ç   ]) )/  5 + QOKNS &   ¹P I SKITNJO ¹IJ ¼R  º  JS NJ HNJRIK MN R & .   / 0 (0 U  ) ) *+ ) ]  , ]  0/ -1  ),+ 3 U ). -    )/ ) )/ 3j ) 3_3 * *))1 »/, ) *  Z.]/])  *. )) v ) ] ]/) / ) -  3 =  / *. ) ) - *))1 F  )/ ) * )/ 3j ) )) ,)/)  *. ) ) `Z /, ) *  .]/])1 2 3) \ dv ) ) /  )/c ) /). 0] ] )  /,  )1 [) )   v ) ) * U    *.* /0 U  3/) .]/])1  /3*)  .]/] / /0 Uc  9 `=td   33 b> c  ) )/ , U    456 7 8 9: 56 ; < =>. `==d 1 [)    v )  )  , /0 U1 ^]  n ) ]  3*3)  .  )3 `Z+ == + =td + ) /)3    )31  À%E&A  ÃÂ  %ÂÂ  Ã&A&%  %&  Á#   ]/ *])/+ )  / /)] )) /- ) \- 0, *]  , ])-  )) ) *) *  *))1 ( 0])+ , ] ]\  456 7 8 9: 56 ; < =>. 0/ - * * )) ]  3 3/) c .]/]) -  1 - /3 + )  ) ]  ]\ 0/ * * =))  Z.]/])+ / /) ]/)  )   /) ))1 ^/ , /, _*/ /) * ] 0/ ,] )  ) ]1  / MKNIJOHRQ KRR GHIJIK OKIGPL+ 11+ * * )) / /) ]/)  )1  - )/ /) ]/)  *) )  - * 31  *//0 /0  3 = /-  ))  

b

*)) * \ / )+ / ) ]3 / / 0/ ).0 *1 F )) 3 )/ /  )/ /, )) ).0 * * ]  3 Z.]/]) -  + ,)/)  )1 9/ * *. )) *+ ,  ) - 3j )3 3_3 * *))1>  È/3É **/] )/ 3j.   * * ]/]) È   . ), ),/ ]/])\ /9 /0  ]).\)_ ))   f) ]/]) ]/3*/)É > / /) ,/j + ] ) 3- )/]  )1 q/,\+ - 3/0- ) **/]+ ) ]  ]\1   + - J ( MKNIJOHRQ KRR GHIJIK OKIGP U R ¹RGM MPR LMIK OKIGP ¹IJ ¼R  ISR " Q ¹º JJR¹ MRS GHIJIK ¼ ( ISSNJO RSORL TNMP º  M ISSNJO MKNIJOHRL & .   / 0 ^j)] (0 U   )+ ) )  *)) > - 3j ) 3_3 *  ) 9]3 / *))1 (0 U  /)  )+ ) )  /3 3_. 3 Z.]/]) ]/3*/)  )) ]/) 3/ ) / +  0/ ,] \- 0] ]   3* ]-]1  )    ]).\)_   +  )    /3 /) Z.]/]) ]/3*/) ]) )/  1 2 ]/])  / /0   ,)  \)_   ))   0] ,)  + )  /)  ]) )/  v ) _) ] U  / )  \0]   ]   ]-] /0 ) ) ) c 1 »/,+  0/+ **- /3 )/ 3j  Z. ]/]) ).0 * )/ = c .]/]) *+ /3) ) )  )/ 3j ) 3/) c . ]/])+  ) , ) ) *1 2 ) /)h     - J ( MKNIJOHRQ KRR GHIJIK OKIGP ¹ IJ ¼R SKITJ NJ IJ 456 7 8 9: 56 ; < => QOKNS &   BA'ÃD#EBA ( ) **+ , /, )) - * *. )) * 9  0])+ - ).0 * * >   * )). ,   456 7 8 9: 56 ; < =>.+  )  /*)3 ] /3 * *)) * n )  1   3 /* n)/  ,) )    *//0 0/ / )1 [/ , -  ) \-.)- 3]- /0 3j ) * c . ]/]) g)  2 ])- /, )) 3_33 * *)) * \  *] \)_ /.  /0 ) /, 9, \- ,) \)_  _. ])- / ]/3 + , \- ]j \)_  ) ) ),/ ]/3  > `=d 1   , /) 3 , /0 * *)) * ])-+  ) \)_ / 



  Â%ÂA'Â#

           

   !!" #     $ %     & % '  (   )        )** + , *  - ./ 01234 5 267 8 9: ;::?  88= @   & % '      & A B C )

      ## < D D )C  # E01F G H 4 0I 0J K17I 4 G L4 M01M326 N0J 6MI 3 H 2J N05I O3M1 P 62MJ 6M +'  " =  Q M63O1M R 03M H 2J N05I O3M1 P 62MJ 6M    :>  @ ? S )T  88U :    B V   & $    *  S $ %  +  $ W     & A S*   '    C  # K17I 4 X 17Y 2J/  +) '  8   Q M63O1M R 03M H 2J N05I O3M1 P 62MJ 6M   @ !> @@  S )T  !! @ " & Z [  S \ [ &  ' ' )C    C     N05I O37320J 7. KM05 MG 31] ^ L4 M01] 7J _ -II .267320J H  9;< 8> ":  88U ? #  , ` (           - 637a P 62a b 734 a Pc M/ M_ < 8> @@  8:U = d  ef'     & % '  \ * C         # g1_ h37.27J N0Ji M1MJ 6M 0J - ./ 01234 5 H 7J _ N05I .Mj 23]k Nh- N lm n  +'   ! @  Q M63O1M R 03M H 2J N05I O3M1 P 62MJ 6M    >  @ : S )T  88= U D  , o  p *    q *[ S'      , '       # LY MJ32M34 - JJO 7. - Nb P]5I 0 H 2O5 0J L4 M01] 0i N05I O32J/    : ?> : @@  8UU 8 D  , o  p *    q *[ D C  C         N05 r2J 7301267 ! "  88! ! $ %    s D  q       :)**       *    C  '  L4 M01M3a N05I O3a P 62a = 9) ; "!: S )T  !! @

c