arxiv: v1 [cs.cg] 1 Jun 2016

Transcription

1 HOW TO MORPH PLANAR GRAPH DRAWINGS Soroush Almdri, Ptrizio Angelini, Fidel Brrer-Cruz, Timothy M. Chn, Giordno D Lozzo, Giuseppe Di Bttist, Fbrizio Frti, Penny Hxell, Ann Lubiw, Murizio Ptrignni, Vincenzo Roselli, Shil Singl, nd Bryn T. Wilkinson rxiv: v1 [cs.cg] 1 Jun 2016 Abstrct. Given n n-vertex grph nd two stright-line plnr drwings of the grph tht hve the sme fces nd the sme outer fce, we show tht there is morph (i.e., continuous trnsformtion) between the two drwings tht preserves stright-line plnrity nd consists of O(n) steps, which we prove is optiml in the worst cse. Ech step is unidirectionl liner morph, which mens tht every vertex moves t constnt speed long stright line, nd the lines re prllel lthough the vertex speeds my differ. Thus we provide n efficient version of Cirns 1944 proof of the existence of stright-line plnrity-preserving morphs for tringulted grphs, which required n exponentil number of steps. 1 Introduction A morph between two geometric shpes is continuous trnsformtion of one shpe into the other. Morphs re useful in mny res of computer science Computer Grphics, Animtion, nd Modeling, to nme just few. The usul gol in morphing is to ensure tht the structure of the shpes be visible throughout the entire trnsformtion. Two-dimensionl grph drwings cn be used to represent mny of the shpes for which morphs re of interest, e.g., two-dimensionl imges [11, 24, 40], polygons, nd poly-lines [1, 3, 14, 21, 26, 32, 34, 35, 36]. For this reson, morphs of grph drwings hve been well studied. For the problem of morphing grph drwings, the input consists of two drwings Γ 0 nd Γ 1 of the sme grph G, nd the problem is to trnsform continuously from the first drwing to the second drwing. A morph between Γ 0 nd Γ 1 is continuously chnging fmily of drwings of G indexed by time t [0, 1], such tht the drwing t time t = 0 is Γ 0 nd the drwing t time t = 1 mlgmtes results from conference ppers [2, 9, 6, 4]. Deprtment of Computer Science, Cornell University, Ithc, New York, USA, lmdri@cs.cornell.edu Wilhelm-Schickrd-Institut für Informtik, Tübingen University, Germny, ngelini@informtik.uni-tuebingen.de School of Mthemtics, Georgi Institute of Technology, Atlnt, Georgi, USA, fidelbc@mth.gtech.edu Dvid R. Cheriton School of Computer Science, University of Wterloo, Wterloo, Cnd, {tmchn, lubiw}@uwterloo.c Deprtment of Engineering, Rom Tre University, Itly, {dlozzo, gdb, frti, ptrign, roselli}@di.unirom3.it Deprtment of Combintorics nd Optimiztion, University of Wterloo, Wterloo, Cnd, pehxell@uwterloo.c School of Computer Science, Crnegie Mellon University, Pittsburgh, Pennsylvni, USA, ssingl@cmu.edu Center for Mssive Dt Algorithmics, Arhus University, Arhus, Denmrk, wilkinson@cs.u.dk 1

2 is Γ 1. Mintining structure during the morph becomes mtter of preserving geometric properties such s plnrity, stright-line plnrity, edge lengths, or edge directions. For exmple, preserving edge lengths in stright-line drwing leds to problems of linkge reconfigurtion [16, 18]. In this pper we consider the problem of morphing between two grph drwings while preserving plnrity. Of necessity, we ssume tht the initil nd finl plnr drwings re topologiclly equivlent i.e., hve the sme fces nd the sme outer fce. In ddition to the bove-mentioned pplictions, morphing grph drwings while preserving plnrity hs ppliction to the problem of creting three-dimensionl models from two-dimensionl slices [8], with time plying the role of the third dimension. When plnr grphs my be drwn with poly-line edges the morphing problem becomes much esier the intuition is tht vertices cn move round while edges bend to void collisions. An efficient morphing lgorithm for this cse ws given by Lubiw nd Petrick [30]. The cse of orthogonl grph drwings is lso well-solved Biedl et l. [12] gve n lgorithm to morph efficiently between ny two orthogonl drwings of the sme grph while preserving plnrity nd orthogonlity. We restrict our ttention in this pper to stright-line plnr drwings. Our min result is n efficient lgorithm to morph between two topologiclly equivlent stright-line plnr drwings of grph, where the morph must preserve stright-line plnrity. The issue is to find the vertex trjectories, since the edges re determined by the vertex positions. Existence of such morph is not obvious, nd ws first proved in 1944 by Cirns [13] for the cse of tringultions. Cirns used n inductive proof, bsed on contrcting low-degree vertex to neighbor. In generl, contrction tht preserves plnrity in both drwings my not exist, so Cirns needed preliminry morphing procedure to mke this possible. As result, his method involved two recursive clls, nd took n exponentil number of steps. Thomssen [41] extended the proof to ll plnr stright-line drwings. He did this by ugmenting both drwings to isomorphic ( comptible ) tringultions which reduces the generl cse to Cirns s result. The ide of comptible tringultions ws rediscovered nd thoroughly explored by Aronov et l. [7], who showed, mong other things, tht two drwings of grph on n vertices hve comptible tringultion of size O(n 2 ) nd tht this bound is tight in the worst cse. Floter nd Gotsmn [22] gve n lterntive wy to morph stright-line plnr tringultions bsed on Tutte s grph drwing lgorithm [43]. Gotsmn nd Surzhsky [25, 37, 38, 39] extended the method to ll stright-line plnr grph drwings using the sme ide of comptible tringultions, nd they showed tht the resulting morphs re visully ppeling. These lgorithms do not produce explicit vertex trjectories; insted, they compute the intermedite drwing ( snpshot ) t ny requested time point. There re no qulity gurntees bout the number of time-points required to pproximte continuous motion while preserving plnrity. For relted results, see [19, 20, 23]. For more history nd relted results on morphing grph drwings, see Roselli s PhD thesis [33, Section 3.1]. The problem of finding stright-line plnr morph tht uses polynomil number of discrete steps hs been sked severl times (see, e.g., [28, 29, 30, 31]). The most nturl definition of discrete step is liner morph, where every vertex moves long stright-line segment t 2

3 uniform speed. Note tht we do not require tht ll vertices move t the sme speed. One of the surprising things we discovered (fter our first conference version [2]) is tht it is ctully esier to solve our problem using more restrictive type of liner morph. Specificlly, we define morph to be unidirectionl if every vertex moves long stright-line segment t uniform speed, nd ll the lines of motion re prllel. As specil cse, liner morph tht only moves one vertex is unidirectionl by defult. 1.1 Min Result The min result of this pper is the following: Theorem 1. Given plnr grph G on n vertices nd two stright-line plnr drwings of G with the sme fces, the sme outer fce, nd the sme nesting of connected components, there is morph between the two drwings tht preserves stright-line plnrity nd consists of O(n) unidirectionl morphs. Furthermore, the morph cn be found in time O(n 3 ). This pper combines four conference ppers: [2] designs generl lgorithmic scheme for constructing morphs between plnr grph drwings nd proves the first polynomil upper bound on the number of morphing steps; [9] introduces unidirectionl morphs; [6] introduces techniques to hndle non-tringulted grphs; [4] solves crucil subproblem of convexifying qudrilterl with single unidirectionl morph, yielding liner bound on the totl number of morphing steps (which they prove optiml). New to this version is the hndling of disconnected grphs. Techniques from our pper hve been used in lgorithms to morph Schnyder drwings [10], nd lgorithms to morph convex drwings while preserving convexity [5]. From high-level perspective, our proof of Theorem 1 hs two prts: to solve the problem for the specil cse of mximl plnr grph, in which cse both drwings re tringultions; nd to reduce the generl problem to this specil cse. Previous ppers [2, 25, 41] reduced the generl cse to the cse of tringultions by finding comptible tringultions of both drwings, which increses the size of the grph to O(n 2 ). We improve this by mking use of the freedom to morph the drwings. Specificlly, we show tht fter sequence of O(n) unidirectionl morphs we cn tringulte both drwings with the sme edges. Thus we reduce the generl problem to the cse of tringultions with the sme input size. For the cse of tringultions, the min ide of our lgorithm is the sme one tht Cirns used to prove existence of morph, nmely to find vertex v tht cn be contrcted in both drwings to neighbor u while preserving plnrity. Contrcting v to u gives us two plnr drwings of smller grph. Using recursion, we cn find morph between the smller drwings tht consists of unidirectionl morphs. Thus the totl process is to move v long stright line to u in the first drwing ( unidirectionl morph since only one vertex moves), perform the recursively computed morph, nd then, in the second drwing, reverse the motion of v to u. Note tht this process llows vertex to become coincident with nother vertex, so it is not true morph, but rther wht we cll pseudomorph. There re two min issues with this pln: (1) to del with the fct tht there my not be vertex v tht cn be contrcted to the sme neighbor u in both drwings; nd (2) to convert pseudomorph to morph. We will give few more detils on ech of these. 3

4 A contrctible vertex lwys exists if we re deling with single tringultion: becuse the grph is plnr, there is n internl vertex v of degree less thn or equl to 5; becuse the grph is tringulted, the neighbors of v form polygon of t most 5 vertices; nd by n esy geometric rgument, such polygon lwys hs vertex u tht sees the whole polygon, so v cn be contrcted to u while preserving plnrity. In our sitution there is one compliction we wnt to contrct v to the sme neighbor in both drwings. This is esy to solve in the cse where our low-degree vertex v hs neighbors tht form convex polygon in the first drwing in this cse every neighbor of v sees the whole convex polygon in the first drwing, so we cn choose the vertex u tht works in the second drwing. Our generl solution will be to morph the first drwing so tht v s neighbors form convex polygon (or t lest convex enough, in the sense tht u sees the whole polygon). This ws the sme pproch tht Cirns used, though his solution required n exponentil number of morphing steps, nd our solution will only require two morphing steps. To summrize the first prt of our lgorithm to morph between two tringultions: we show tht fter two unidirectionl morphs we cn obtin vertex v tht cn be contrcted to the sme neighbor in both drwings. After performing the contrction we pply induction to find morph (composed of unidirectionl morphs) between the two smller drwings. The lst issue is to convert the resulting pseudomorph to true morph. Insted of contrcting v to neighbor u, we must keep v close to, but not coincident with, u, while we follow the morph of the smller grph. Cirns solved this issue by keeping v t the centroid of its surrounding polygon, but this results in non-liner motion for v [2]. We will find position for v in ech drwing during the course of the morph so tht the liner motion from one drwing to the next remins unidirectionl. Putting together the two prts of our lgorithm, the totl number of unidirectionl morphs stisfies S(n) = S(n 1) + O(1), which solves to O(n). This completes the high-level overview of our lgorithm. From low-level perspective, the hert of our lgorithm is solution to problem we cll Qudrilterl Convexifiction: given tringultion contining non-convex qudrilterl, morph the tringultion to mke the qudrilterl convex. Our morphing lgorithm uses O(n) clls to Qudrilterl Convexifiction, plus O(n) other unidirectionl morphs. We will show tht Qudrilterl Convexifiction cn be ccomplished with single unidirectionl morph, nd thus our totl bound is O(n) unidirectionl morphs. Our solution to the Qudrilterl Convexifiction problem is chieved vi connection to the existence of hierrchicl plnr convex drwings of hierrchicl triconnected plnr grphs. We lso show tht the liner bound of Theorem 1 is symptoticlly optiml in the worst cse. Nmely, we hve the following. Theorem 2. There exist two stright-line plnr drwings of n n-vertex pth such tht ny plnr morph between them consists of Ω(n) liner morphs. In prticulr, we show tht morphing from n n-vertex spirl to stright pth tkes Ω(n) liner morphs by defining mesure of the difference between the two drwings tht begins t Ω(n) nd chnges only by O(1) during single liner morph. The rest of the pper is orgnized s follows. First, in Section 2 we give forml definitions of 4

5 our terms nd concepts. Then in Section 3 we give more detiled outline of the lgorithm. We fill in solutions to the vrious subproblems in Sections 4 7. In Section 8 we present our lower bound. Finlly, in Section 9 we conclude nd present some open problems. 2 Denitions nd Preliminries A stright-line plnr drwing Γ of grph G(V, E) mps vertices in V to distinct points of the plne nd edges in E to non-intersecting open stright-line segments between their end-vertices. A plnr drwing of grph prtitions the plne into topologicl connected regions clled fces. The unbounded fce is clled the outer fce. Two plnr drwings of connected plnr grph re topologiclly equivlent if they induce the sme circulr ordering of the edges round ech vertex nd hve the sme outer fce. Two plnr drwings of disconnected plnr grph re topologiclly equivlent if ech connected component is topologiclly equivlent in both drwings, nd furthermore, the connected components re nested the sme wy in both drwings. A plnr embedding is n equivlence clss of plnr drwings of the sme grph. A plne grph is plnr grph with given plnr embedding. Given vertex v of grph G, the neighbors of v re the vertices djcent to v, nd the degree of v in G, denoted by deg(v), is the number of neighbors of v. In plne grph, fcil cycle is closed wlk tht progresses from one edge xy to the next edge yz in the clockwise cyclic order of edges round vertex y. In plnr drwing, ech inner fce is bounded by n outer fcil cycle nd some number of inner fcil cycles, one for ech connected component tht is drwn inside the fce. Morphs. If Γ 0 nd Γ 1 re two drwings of the sme grph, morph between Γ 0 nd Γ 1 is continuously chnging fmily of drwings of G indexed by time t [0, 1], such tht the drwing t time t = 0 is Γ 0 nd the drwing t time t = 1 is Γ 1. In this pper we re only concerned with grph drwings in which every edge is drwn s stright-line segment. In this cse, morph is specified by the vertex trjectories. A liner morph is morph in which every vertex moves long stright-line segment t uniform speed. A liner morph is completely specified by the initil nd finl vertex positions. If vertex v is t position v 0 in the initil drwing (t time t = 0) nd t position v 1 in the finl drwing (t time t = 1), then its position t time t during liner morph is (1 t)v 0 + tv 1, for ny 0 t 1. Note tht vertices my move t different speeds, nd in prticulr, some vertices my remin sttionry. If Γ 0 nd Γ 1 re stright-line plnr drwings of grph, we use Γ 0, Γ 1 to denote the liner morph from Γ 0 to Γ 1. We seek morph tht consists of sequence of k liner morphs. Such morph cn be specified by k +1 plnr stright-line grph drwings. If Γ 1,..., Γ k+1 re stright-line plnr drwings of grph, we use Γ 1,..., Γ k+1 to denote the morph from Γ 1 to Γ k+1 tht consists of the sequence of k liner morphs Γ i, Γ i+1, for i = 1,..., k. A unidirectionl morph is liner morph in which every vertex moves prllel to the sme line, i.e. there is line L with unit direction vector l such tht ech vertex moves linerly from n initil position v 0 to finl position v 0 + k v l for some kv R. Note tht k v my be positive or negtive nd tht different vertices my move different mounts long direction l. We cll this n 5

6 L-directionl morph. Observe tht liner morph of single vertex is by defult unidirectionl morph. In this pper we restrict ttention to topologiclly equivlent stright-line plnr drwings nd to morphs in which every intermedite drwing is stright-line plnr. From now on we use the term morph to men stright-line plnrity preserving morph. In prticulr, during the course of the morph, vertex my not become coincident with nother vertex, nor hit non-incident edge. In severl plces we will mke use of the following bsic result: If we hve stright-line plnr-drwing of mximl plnr grph, nd if we pply unidirectionl morph to the three vertices of the tringulr outer fce, preserving the orienttion of the tringle, nd let the interior vertices follow long linerly, then the result is unidirectionl morph. Lemm 3. Let x, y, z be the clockwise vertices of the tringulr outer fce of stright-line plnr drwing of mximl plnr grph. Suppose tht vertices x, y, nd z move linerly in the direction of vector l in such wy tht their clockwise order is preserved. Any point p inside the tringle cn be defined s convex combintion of x, y, z, nd in this wy the motion of x, y, z determines the motion of p. The result is unidirectionl morph of the stright-line plnr drwing (in prticulr, plnrity is preserved). Proof. Suppose tht point p is defined by the convex combintion λ 1 x + λ 2 y + λ 3 z where λ i = 1 nd λ i 0. Suppose the morph is indexed by t [0, 1] nd tht the positions of the vertices t time t re x t, y t, z t, p t. Suppose tht x moves by k 1 l, y moves by k2 l, nd z moves by k3 l. Thus x t = x 0 + tk 1 l etc. Then p t = λ 1 x t + λ 2 y t + λ 3 z t = λ 1 x 0 + λ 2 y 0 + λ 3 z 0 + t(λ 1 k 1 + λ 2 k 2 + λ 3 k 3 ) l = p 0 + tk l where k = λ 1 k 1 + λ 2 k 2 + λ 3 k 3. Thus p lso moves linerly in direction l. The fct tht plnrity is preserved follows from fr more generl results: The trnsformtion of points x, y, z determines n ffine trnsformtion of the plne, nd by hypothesis, this ffine trnsformtion preserves the orienttion of tringle xyz. Affine trnsformtions preserve convex combintions thus our definition of the movement of ny interior point p is the sme s pplying the ffine trnsformtion to p. An ffine trnsformtion tht preserves the orienttion of one tringle preserves the orienttions of ll tringles. This implies tht the drwing is plnr t ll time points of the morph. Geometry nd Tringultions. We will ssume tht our input grph drwings hve vertices in generl position, tht is, no three vertices lie on the sme line. We cn chieve this property by liner number of preliminry unidirectionl morphing steps tht slightly perturb the positions of the vertices. A tringultion is stright-line plnr drwing of mximl plnr grph. Every fce in tringultion (including the outer fce) is tringle. The three vertices of the outer fce re clled boundry vertices nd the others re clled internl or non-boundry vertices. If v is n internl vertex of tringultion, we use (v) to denote the polygon formed by the neighbors of v. For simple polygon in the plne, the kernel of the polygon consists of the points inside the polygon from which the whole polygon is visible. Note tht the kernel of ny polygon is convex. The following result ws noted by Cirns nd cn be proved by simple cse nlysis. 6

7 Lemm 4. If P is polygon with four or five vertices ( qudrilterl or pentgon) then t lest one vertex of P is contined in the kernel of P. We will use the result in the following form: If v is n internl vertex of degree t most 5 in tringultion, then (v) hs vertex in its kernel. Contrctions nd Pseudomorphs. A min tool we use in our morphing lgorithm is vertex contrction in tringultion. Contrcting edge uv in grph hs the stndrd mening, nmely we replce u nd v by new vertex djcent to ll the neighbors of u nd v. We now define contrction in tringultion. Let Γ be drwing of mximl plnr grph G. Let v be n internl vertex nd let u be neighbor of v tht lies in the kernel of (v). Contrcting v to u mens moving v linerly from its originl position to u while ll other vertices remin fixed. Becuse the kernel is convex, every intermedite drwing is stright-line plnr. Thus, this is morph (nd in fct unidirectionl morph) except for the finl drwing in which v becomes coincident with u. By our generl position ssumption the finl drwing is stright-line plnr drwing of the grph formed by contrcting edge uv. Our lgorithm for morphing between two tringultions Γ 1 nd Γ 2 works by contrcting some vertex v to the sme neighbor u in both drwings, nd then recursively morphing between the two smller tringultions. Expressing this s trnsformtion from Γ 1 to Γ 2, we contrct v to u in Γ 1, pply the recursively computed morph, nd then reverse the contrction of v to u in Γ 2. We cll this lst step uncontrction of v. The complete trnsformtion is clled pseudomorph. It is not morph becuse v becomes coincident with u. One of our min technicl contributions is to show tht every pseudomorph tht is composed of unidirectionl morphs cn be converted to true morph with the sme number of unidirectionl steps. Our model of computing is rel RAM. 3 Overview of the Algorithm In this section we describe ll the ingredients of our lgorithm nd how they fit together. Our most bsic building block is n lgorithm to morph tringultion so tht given qudrilterl formed by two djcent tringles becomes convex. One chord of the qudrilterl will lie inside the qudrilterl. A necessry condition is tht the other chord not be prt of the tringultion. Specificlly, we solve the following problem: Problem 5 (Qudrilterl Convexifiction). Given n n-vertex tringultion Γ nd given qudrilterl bcd in Γ with no vertex inside it nd such tht neither c nor bd is n edge outside of bcd (i.e., bcd does not hve externl chords), morph Γ so tht bcd becomes convex. We solve Qudrilterl Convexifiction in Section 6 giving the following result: Theorem 6. Qudrilterl Convexifiction cn be solved vi single unidirectionl morph. Furthermore, such morph cn be found in O(n 2 ) time. We will prove our min result, Theorem 1, by finding morph tht consists of O(n) clls to Qudrilterl Convexifiction plus O(n) further unidirectionl morphs. Together with the bove Theorem 6, this gives totl bound of O(n) unidirectionl morphs. 7

8 The proof of Theorem 1 hs two prts. In Section 4 we reduce the problem to the cse of tringultions. Specificlly, we show tht given two topologiclly equivlent stright-line plnr drwings of grph G on n vertices, we cn enclose ech drwing with tringle nd then morph nd dd (the sme) edges to tringulte both drwings, using O(n) unidirectionl morphs; this results in two tringultions which re topologiclly equivlent drwings of the sme mximl plnr grph. Note tht morph between these ugmented drwings provides morph of the originls by ignoring the dded edges. In Section 5 we prove Theorem 1 for the cse of tringultions, using O(n) unidirectionl morphs. Thus the two sections together prove Theorem 1. In ll cses when we sy tht we find morph, we ctully find pseudomorph (s defined in the previous section) nd rely on the following theorem (which is proved in Section 7) to convert the pseudomorph to true morph: Theorem 7. Let Γ 1 nd Γ 2 be two tringultions tht re topologiclly equivlent drwings of n n-vertex mximl plnr grph G. Suppose tht there is pseudomorph from Γ 1 to Γ 2 in which we contrct n internl vertex v of degree t most 5, perform k unidirectionl morphs, nd then uncontrct v. Then there is morph M from Γ 1 to Γ 2 tht consists of k + 2 unidirectionl morphs. Furthermore, given the sequence of k +1 drwings tht define the pseudomorph, we cn modify them to obtin the sequence of drwings tht define M in O(k + n) time. Note tht lthough the proofs of Theorems 6 nd 7 re deferred until the lst two sections of the pper, they come first in terms of the dependency of results. 4 Morphing to Find Comptible Tringultion In this section we show how to morph two topologiclly equivlent stright-line plnr drwings of grph G so tht fter the morph both drwings cn be tringulted by dding the sme edges. We llow G to be disconnected. Theorem 8. Let G be plnr grph with n vertices nd c connected components. Given two topologiclly equivlent stright-line plnr drwings of G, we cn enclose ech drwing in tringle z 1 z 2 z 3 nd then morph nd dd edges to crete two tringultions tht re topologiclly equivlent drwings of mximl plnr grph on vertex set V (G) {z 1, z 2, z 3 }. The morph consists of O(c) unidirectionl morphs plus O(n) clls to Qudrilterl Convexifiction, for totl bound of O(n) unidirectionl morphs. The lgorithm tkes time O(n 3 ). Proof. Let Γ 1 nd Γ 2 be the two topologiclly equivlent drwings of G. We begin by dding lrge tringle z 1 z 2 z 3 tht encloses ech drwing. Our lgorithm hs two prts. In prt A we morph nd dd edges within connected components so tht in ny connected component of three or more vertices, ech fcil wlk is tringle. In prt B we dd edges to connect the disconnected components nd complete the tringultion. Prt A. Suppose we hve fcil wlk tht hs four or more vertices. We will find two consecutive edges uv nd vw of the fcil wlk so tht edge uw cn be dded to the grph, i.e. such tht u w 8

9 nd uw is not n edge of the grph. Suppose first tht the fcil wlk hs two consecutive edges x 1 x 2 nd x 2 x 3 tht belong to different biconnected components of the grph, i.e., the removl of x 2 disconnects the connected component x 2 belongs to. Then x 1 x 3 nd edge x 1 x 3 does not belong to the grph, hence it cn be dded inside the fce. If two such edges x 1 x 2 nd x 2 x 3 do not exist, then the fcil wlk is simple cycle. Then consider four consecutive vertices x 1, x 2, x 3, nd x 4 long the cycle. By plnrity, edge x 1 x 3 or edge x 2 x 4 does not belong to the grph, hence it cn be dded inside the fce. At this point we hve two consecutive edges uv nd vw of the fcil wlk so tht edge uw cn be dded to the grph while preserving the plnrity of the grph, s in Figure 1(). We will morph drwings Γ 1 nd Γ 2 so tht edge uw cn be dded s stright-line segment preserving plnrity. (In cse our fcil wlk bounds n inner fce tht contins no disconnected components, we could hve chosen uw to be n er of tringultion of the fce in one of the drwings, thus voiding the need to morph tht drwing; but in the generl cse we must morph both drwings.) The rgument is the sme for both drwings, so we describe it only for Γ 1. Vertices u nd w re consecutive neighbors of v. Add new neighbor r of v between u nd w in cyclic order, nd dd edges rv, ru, nd rw. It is possible to plce r close enough to v in Γ 1 so tht the resulting drwing is stright-line plnr nd (v, r, u) nd (v, r, w) re fces. See Figure 1(b) for n exmple. w w v r v u () w u (b) w r v v u (c) u (d) Figure 1: Morphing to dd edge uw. () Vertices u, v nd w re consecutive round fcil wlk, nd the grph does not currently contin the edge uw. (b) A vertex r is dded suitbly close to v nd connected to v, u, nd w. (c) After convexifying the qudrilterl urwv. (d) Vertex r nd its incident edges cn be removed in order to insert edge uw. We will now morph the resulting drwing to mke the qudrilterl urwv convex, s in 9

10 Figure 1(c). To do this, we temporrily tringulte the drwing 1 nd then pply Qudrilterl Convexifiction to urwv. There is one slight compliction: it might hppen tht when we tringulte the drwing, we dd the edge uw, which would mke it impossible to convexify the qudrilterl urwv. In this cse, we remove uw nd retringulte the resulting qudrilterl by dding new vertex p plced t ny internl point of line segment uw, nd dding stright-line edges from p to the four vertices of the qudrilterl. See Figure 2. w w r v p r v u u () (b) Figure 2: If edge uw hs been dded when tringulting the drwing (), then we subdivide uw with the insertion of vertex p nd we tringulte the two fces p is incident to (b). After convexifying the qudrilterl urwv, we remove the temporry tringultion edges, remove r, nd dd the edge uw. See Figure 1(d). Thus with two clls to Qudrilterl Convexifiction (one for ech drwing), we hve dded one edge to both drwings. Moreover, the two drwings re still topologiclly equivlent drwings of the sme plnr grph. We cn continue until every fcil cycle of every connected component (except n isolted vertex or edge) is tringle. Since plnr grphs hve O(n) edges, in totl we use O(n) clls to Qudrilterl Convexifiction. Prt B. At this point every connected component is either n edge, vertex, or tringultion. We will now morph nd dd edges to connect the components together. Once ll of the components hve been connected we will gin ppel to Prt A to tringulte the full connected grph. Consider fce tht hs c connected components drwn inside it. The outer boundry of the fce is tringle bc, nd ech inner component is either single vertex or edge, or is bounded by tringle. The high-level ide is to shrink ll of the inner components so tht there is freedom to move them round within bc. We will use this freedom to line up the inner components in the sme order in both drwings, strting from position ner. It will then be strightforwrd to connect the outer component with the first inner component vi n edge from nd dd edges between consecutive inner components to connect the rest. In order to determine the size to which we must shrink the inner components, it will be helpful to hve tringulr boundries for ech inner component (even for the ones tht re single vertices or edges) tht re disjoint, lie within bc, nd hve positive re. 1 Any polygonl domin with n vertices cn be tringulted in time O(n log n) [17]. 10

11 b c Figure 3: Rods (bounded by dshed lines) nd homes (smll solid tringles) within tringulr fce bc. To this end, consider ech inner component tht is vertex u. In ech drwing sufficiently smll disk centered t u contins no prt of the drwing other thn vertex u itself. Then positivere tringle formed by vertex u nd two new dummy" vertices cn be inserted in the disk to become the tringulr boundry for tht component. Similrly, consider ech inner component tht is n edge uv. In ech drwing sufficiently thin rectngle hving uv s side contins no prt of the drwing other thn edge uv itself. Then positive-re tringle formed by edge uv nd new dummy vertex cn be inserted in the rectngle to become the tringulr boundry for tht component. Now, consider uniform tringulr grid such tht lies on vertex of the grid nd ech grid cell is either homothetic copy of bc (clled n upwrd cell) or homothetic copy of the tringle obtined by rotting bc by π rdins (clled downwrd cell). Let every second row of cells in ny of the three directions determined by the sides of bc be rod. Let ny cell tht is not in ny rod be home. We fix the prities of the rows such tht the upwrd cell djcent to in bc is home. Note tht ll homes re thus upwrd cells. See Figure 3. We hve yet to specify the size of grid cell. We require grid size such tht the following conditions re stisfied: 1) there re t lest c homes long c nd 2) ech bounding tringle of n inner component contins home. For ech inner component, let its home region be the lrgest homothetic copy of n upwrd cell tht cn be inscribed in the component s tringulr boundry. Let d be the dimeter of bc. We cn, for exmple, set the grid size such tht the dimeter of grid cell is the minimum of: 1) d/(2c ) nd 2) fifth of the dimeter of the smllest home region. If the dimeter of grid cell is t most the first vlue, then there must be t lest 2c upwrd cells long c, hlf of which re homes. If the dimeter of grid cell is t most the second vlue, then every home region is t lest five times the size of n upwrd cell. Every home region of this size must contin home. In fct, every home region of this size contins homothetic copy of bc whose side lengths re three times the side lengths of n upwrd cell; further, t lest one of the six upwrd cells contined in this homothetic copy of bc is home. Consider n inner component bounded by tringle uvw with home region tht contins home h. We choose non-dummy vertex of uvw nd cll it the component s connector. Our gol is to morph the inner component into h such tht its connector is ner the vertex of h tht is frthest 11

12 w v Figure 4: Movements of the connector of uvw used to shrink nd rotte uvw into h. The solid tringles re, from outermost to innermost: uvw, the home region of uvw, the finl position of uvw within h. The dshed tringle is the midpoint polygon of the home region of uvw. u c Figure 5: Edges (thick grey lines) linking the connectors (dots) of the inner components tht lie in the homes long c. from c. We will do so with O(1) morphs of uvw vi liner movements of single vertices of uvw, during which the contents of uvw move long linerly. By Lemm 3, these re ech unidirectionl morphs. We first morph uvw to occupy exctly the component s home region with liner movement of ech vertex. We then rotte the positions of the vertices of uvw so tht the connector is in the position frthest from c. This cn be done with six liner movements of the vertices, using the home region s midpoint polygon s n intermedite. Finlly, with liner movement of ech vertex, we shrink uvw into h such tht uvw becomes slightly smller homothetic copy of h nd does not intersect the boundry of h. There is no interference between inner components since uvw remins in its originl bounding tringle for the durtion of the morph. See Figure 4. Observe tht we performed O(1) unidirectionl morphs for ech of the c 1 connected components. We cn now rrnge the c inner components in ny rbitrry order in the homes long edge c using c home swps. Since ll of the inner components re in homes, the rod network is unimpeded nd the rods re wide enough to llow pssge of ny inner component. By nvigting long the rod network, it is strightforwrd to swp the homes of two inner components using O(1) liner movements of the components. Thus, in O(c ) unidirectionl morphs, we cn rrnge the inner components into the homes long c in the sme order in both drwings. Finlly we dd edges between the connectors of djcent components nd dd n edge from to the connector of the first component nd we re done connecting the components. See Figure 5. 12

13 Once ll components re connected, we remove ll dummy vertices nd edges nd ppel to prt A to tringulte the full connected grph. This completes the description of prt B. Altogether, we use O(c) unidirectionl morphs to connect the c components of the grph. We lso dd O(n) edges in Prt A, nd ech ddition tkes two clls to Qudrilterl Convexifiction. Furthermore, ech cll to Qudrilterl Convexifiction uses O(1) unidirectionl morphing steps by Theorem 6. Therefore, in totl we use O(n) unidirectionl morphing steps. We now nlyze the running time of the lgorithm. We cll Qudrilterl Convexifiction O(n) times, nd ech cll tkes O(n 2 ) time. This domintes the other work done by the lgorithm (e.g. we find O(n) temporry tringultions, ech of which tkes O(n log n) time). Thus the totl running time is O(n 3 ). 5 Morphing Between Two Tringultions In this section we prove our min result, Theorem 1, for the cse of tringultions. Since the previous section reduced the generl cse to the cse of tringultions, this will complete the proof of Theorem 1. Theorem 9. Let Γ 1 nd Γ 2 be two tringultions tht re topologiclly equivlent drwings of n n-vertex mximl plnr grph G. There is morph from Γ 1 to Γ 2 tht is composed of O(n) unidirectionl morphs. More precisely, the morph uses O(n) unidirectionl morphs plus O(n) clls to Qudrilterl Convexifiction. Furthermore, the morph cn be constructed in O(n 3 ) time. As described in Subsection 1.1, our pproch is to find n internl vertex v of degree t most five nd then morph the drwings using O(1) unidirectionl morphs so tht v cn be contrcted to the sme neighbor u in both drwings. We will prove time bound of O(n 2 ) for this step. More detils re given below. After this step, we contrct v to u in both drwings nd pply recursion to find morph M between the two smller tringultions. The result is pseudomorph: we contrct v to u in Γ 1, pply M, nd then reverse the contrction of v to u in Γ 2. The number of steps stisfies the recurrence reltion S(n) = S(n 1) + O(1), which solves to S(n) O(n). Finlly, we pply Theorem 7 to convert the pseudomorph to morph with the sme number of unidirectionl morphs. Ech ppel to Theorem 7 tkes time O(n) since tht is the bound on the number of unidirectionl morphs. Thus the totl time bound is given by the recurrence reltion T (n) = T (n 1) + O(n 2 ), which solves to T (n) O(n 3 ). We now fill in the detils bout finding vertex v nd contrcting it to common neighbor in both drwings. If there re no internl vertices, then we only hve the outer tringle nd unidirectionl morph with O(1) morphing steps is esily computed in time O(1). Otherwise, we clim tht there is n internl vertex v of degree t most 5. To see this, note tht the tringultion hs 3n 6 edges, nd thus the sum of the degrees is 6n 12. Every vertex hs degree t lest 3, nd if ll the internl vertices hd degree t lest 6, the sum of the degrees would be t lest 3(3) + 6(n 3) = 6n 9. If v hs degree 3 then we cn contrct v to the sme neighbor u in both drwings. If v hs degree 4 or 5 then let u be neighbor of v to which v cn be contrcted in Γ 2. (The existence of u 13

14 is gurnteed by pplying Lemm 4 to the polygon (v) in Γ 2.) If v cn be contrcted to u in Γ 1 we re done. Otherwise, we will morph Γ 1 to mke this possible. Note tht there re no externl chords from u to ny vertex of (v), becuse the two drwings re topologiclly equivlent, nd Γ 2 hs no such chords. If v hs degree 4 then the neighbors of v must form non-convex qudrilterl Q with vertices bcd, where d, sy, is the reflex vertex. We contrct v to d nd pply Qudrilterl Convexifiction to Q, noting tht the qudrilterl hs no externl chords. Specificlly, there is no chord c becuse v cnnot be contrcted to u, so u must be one of, c, nd, s noted bove, there re no externl chords incident to u. After convexifiction, we move v slightly into the interior of (v) to obtin drwing in which vertex v cn be contrcted to u. The result is pseudo-morph, which we convert to morph using Theorem 7. The number of unidirectionl steps is O(1) nd the time bound is O(n 2 ) by Theorem 6. If v hs degree 5 then the neighbors of v form pentgon bcde where we wnt to contrct v to u =, sy. We use similr method, morphing the pentgon until it is lmost convex by mking few clls to Qudrilterl Convexifiction. More formlly: Lemm 10. Let Γ be n n-vertex tringultion. Suppose v is non-boundry vertex of degree 5, with neighbors forming pentgon bcde, nd suppose tht is not incident to ny externl chords of the pentgon. Then we cn morph Γ, keeping the outer boundry fixed, so tht v cn be contrcted to. The morph consists of t most two clls to Qudrilterl Convexifiction plus constnt number of unidirectionl morphing steps. Furthermore, the morph cn be found in O(n 2 ) time. Proof. Becuse v s neighbors form pentgon, v cn be contrcted to some neighbor x while preserving plnrity (Lemm 4). If x = we re done, so suppose they re different. Contrct v to x. We will divide into two cses depending on whether x is djcent to on the pentgon or not. First consider the cse where x is not djcent to. Without loss of generlity, suppose tht x = c. See Figure 6(). We use Qudrilterl Convexifiction to convexify cde. This is possible since ce is n inner chord nd d is not n externl chord. Now sees ll the qudrilterl cde s well s the tringle bc. Thus v cn now be contrcted to. b c d e d c e b () (b) Figure 6: () Vertex v hs been contrcted to x = c nd we wish to contrct v to. (b) Vertex v hs been contrcted to x = b nd we wish to contrct v to. Next consider the cse where x is djcent to. Without loss of generlity, suppose tht x = b. See Figure 6(b). Use Qudrilterl Convexifiction to convexify bde. This is possible since be is n inner chord nd d is not n externl chord. Now d sees ll the qudrilterl bde s well 14

15 s the tringle bcd. Move vertex v in stright line from x = b to d. This puts us in the first cse. We use Theorem 7 to convert the resulting pseudomorph to morph. The morph consists of t most two clls to Qudrilterl Convexifiction plus constnt number of unidirectionl morphing steps. The morph cn be found in O(n 2 ) time. 6 Qudrilterl Convexiction In this section we give n lgorithm for Problem 5, to morph tringultion in order to convexify qudrilterl. The min result of the section is s follows: Reminder of Theorem 6. Qudrilterl Convexifiction cn be solved vi single unidirectionl morph. Furthermore, such morph cn be found in O(n 2 ) time. In the rest of this section we will prove Theorem 6. Recll tht we hve n n-vertex tringultion Γ nd qudrilterl bcd in Γ with no vertex inside it nd such tht neither c nor bd is n edge outside of bcd. Our gol is to morph Γ so tht bcd becomes convex using single unidirectionl morph. We first describe the min ide. If bcd is convex, then we re done. Assume without loss of generlity tht d is the reflex vertex of the non-convex qudrilterl, i.e., the ngle t d internl to qudrilterl bcd is lrger thn π rdins. This implies tht b is the tip of the rrowhed shpe nd tht the tringultion contins the edge bd (see Figure 7). Chnge the frme of reference so tht bd is lmost horizontl. We will use one unidirectionl morph tht moves vertices long horizontl lines, i.e. preserving their y-coordintes. Our min tool will be result bout re-drwing plne grph to hve convex fces while keeping ll vertices t the sme y-coordinte this is result by Hong nd Ngmochi [27] expressed in terms of level plnr drwings of hierrchicl grphs. To complete the proof we will show tht the liner motion from the originl drwing to the new drwing in fct preserves plnrity, nd therefore is unidirectionl morph. d b c Figure 7: Tringultion Γ, contining non-convex qudrilterl bcd with reflex vertex d, with no vertex inside it, with edge bd inside it, nd with no chord outside it. We introduce some definitions nd terminology tht re needed for Hong nd Ngmochi s 15

16 result. A hierrchicl grph is grph with vertices ssigned to lyers. More formlly, hierrchicl grph is triple (G, L, γ) such tht G is grph, L is set of horizontl lines (sometimes clled lyers), nd γ is function mpping ech vertex of G to line in L in such wy tht, if n edge (u, v) belongs to G, then γ(u) γ(v). (It is conventionl to ssume the lyers re 1, 2,... k, i.e., tht successive horizontl lines re distnce 1 prt, but tht turns out to be unnecessry for Hong nd Ngmochi s result, s the fct tht the horizontl lines re eqully spced is nowhere used in their proof.) With the lines in L ordered from bottom to top, γ represents prtil order on the vertices of G, nd we write u γ v if the line γ(u) is below the line γ(v). A level drwing of hierrchicl grph (G, L, γ) mps ech vertex v of G to point on the line γ(v) nd ech edge to y-monotone curve. A level plnr drwing is level drwing in which no two curves representing edges cross; such drwing is stright-line if edges re drwn s stright-line segments, nd convex if fces re delimited by convex polygons. In our sitution, we hve stright-line level plnr drwing of hierrchicl grph nd we wnt stright-line convex level plnr drwing tht respects the embedding. More bstrctly nd more generlly, Hong nd Ngmochi define hierrchicl plne grph to be hierrchicl grph together with combintoril embedding ( rottion system nd outer fce) corresponding to some level plnr drwing. In other words, hierrchicl plne grph is n equivlence clss of drwings, nd drwing of hierrchicl plne grph must be member of the equivlence clss. In order to gurntee convex level plnr drwing, Hong nd Ngmochi require some conditions. Given hierrchicl plne grph (G, L, γ), n st-fce of G is fce delimited by two pths (s = u 1, u 2,..., u k = t) nd (s = v 1, v 2,..., v l = t) such tht u i γ u i+1, for every 1 i k 1, nd such tht v i γ v i+1, for every 1 i l 1. We sy tht (G, L, γ) is hierrchicl plne st-grph if every fce of G is n st-fce. Hong nd Ngmochi give n lgorithm tht constructs convex stright-line level plnr drwing of ny hierrchicl plne st-grph [27]. Here we explicitly formulte weker version of their min theorem. 2 Theorem 11. (Hong nd Ngmochi [27]) Every 3-connected hierrchicl plne st-grph (G, L, γ) dmits convex stright-line level plnr drwing. We now proceed to prove Theorem 6 nd hence to solve the Qudrilterl Convexifiction problem with single unidirectionl morph. First, we rotte the frme of reference so tht edge bd is horizontl nd then we rotte it bit more, so tht no two vertices hve the sme y-coordinte nd so tht the strip delimited by the horizontl lines through b nd d contins no vertex of Γ, except for the presence of b nd d on its boundry. Remove edge bd from Γ obtining plnr stright-line drwing Γ of plnr grph G. Drw horizontl line through ech vertex; let L be the set of these lines nd let γ be the function tht mps ech vertex to the unique line in L through it; observe tht, by the ssumptions, γ represents totl order on the vertices of G. We hve the following. Lemm 12. (G, L, γ) is 3-connected hierrchicl plne st-grph. 2 We mke some remrks. First, the result in [27] proves tht convex stright-line level plnr drwing of (G, L, γ) exists even if convex polygon representing the cycle delimiting the outer fce of G is rbitrrily prescribed. More precisely, Hong nd Ngmochi show necessry nd sufficient condition for convex polygon (possibly with flt ngles) to be the polygon delimiting the outer fce of convex stright-line level plnr drwing of (G, L, γ). However, this condition is lwys stisfied if every internl ngle of the polygon is convex. Second, the result holds for superclss of the 3-connected plnr grphs, nmely for ll the grphs tht dmit convex stright-line drwing [15, 42]. 16

17 Proof. By construction, Γ is stright-line level plnr drwing of (G, L, γ), hence (G, L, γ) is hierrchicl plne grph. Further, every fce of G is n st-fce. This is trivilly true for ll fces delimited by tringles in Γ, since γ represents totl order on the vertices of G. Moreover, this is true for the fce delimited by bcd, since by the choice of the reference frme is below both horizontl lines γ(b) nd γ(d) nd c is bove both of them, or vice vers. It follows tht (G, L, γ) is hierrchicl plne st-grph. x = b d y = c Figure 8: Illustrtion for the proof of Lemm 12. Finlly, we prove tht G is 3-connected. Refer to Figure 8. Suppose, for contrdiction, tht G is not 3-connected. Then there exist two vertices x nd y whose removl from G results in disconnected grph G. Since Γ is 3-connected, dding the edge bd to G reconnects this grph. Therefore, b nd d must be in different components of G. Since G contins pths bd nd bcd, it follows tht {x, y} = {, c}. Since removing, c disconnects G, there is nother fce of G tht contins nd c. This fce is delimited by three edges (s the one delimited by qudrilterl bcd is the only fce of G which is not tringulr), therefore contins the edge c. However, this implies tht xy = c is chord externl to polygon bcd in Γ, thus contrdicting the ssumptions. By Lemm 12, (G, L, γ) is 3-connected hierrchicl plne st-grph. By Theorem 11, convex stright-line level plnr drwing Λ of (G, L, γ) exists. In prticulr, polygon bcd is convex in Λ. Construct stright-line plnr drwing Λ of G from Λ by drwing edge bd s n open stright-line segment. Due to the initil choice of the reference frme, this introduces no crossing in the drwing. To solve Problem Qudrilterl Convexifiction we use single liner morph, Γ, Λ, from Γ into Λ. See Figure 9. We now prove the following lemm. d b d b c c Figure 9: The liner morph Γ, Λ. 17

18 Lemm 13. The liner morph Γ, Λ is plnr nd unidirectionl. Proof. The morph is certinly unidirectionl, since ech vertex is on the sme horizontl line in the initil drwing Γ nd the finl drwing Λ. To prove plnrity we will rgue tht no vertex crosses n edge during the motion. The tool we need is Lemm 14, which proves tht if two points p nd q ech move t uniform speed long horizontl line nd q is to the right of p in their initil nd finl positions, then q is to the right of p t every time instnt. Lemm 14 will be stted nd proved in Section Thus it suffices to show tht for ech horizontl line l in L, the left-to-right ordering of vertices lying on l nd points where edges cross l is the sme in Γ s in Λ. This follows directly from the fct tht both drwings hve the sme fces, nd every fce is n st-fce. In order to complete the proof of Theorem 6, it remins to discuss the running time of the lgorithm tht solves Qudrilterl Convexifiction. Removing nd re-inserting edge bd tkes O(1) time. Other thn tht, we only need to pply Hong nd Ngmochi s lgorithm, which tkes O(n 2 ) time [27]. Thus the totl running time is O(n 2 ). 7 Converting Pseudo-Morph to Morph In this section, we show how to convert pseudomorph consisting of unidirectionl morphing steps into true morph of unidirectionl morphing steps, ssuming tht the grph is tringulted nd the vertices we contrct hve degree t most 5. Specificlly, we prove the following. Reminder of Theorem 7. Let Γ 1 nd Γ 2 be two tringultions tht re topologiclly equivlent drwings of n n-vertex mximl plnr grph G. Suppose tht there is pseudomorph from Γ 1 to Γ 2 in which we contrct n internl vertex v of degree t most 5, perform k unidirectionl morphs, nd then uncontrct v. Then there is morph M from Γ 1 to Γ 2 tht consists of k + 2 unidirectionl morphs. Furthermore, given the sequence of k + 1 drwings tht define the pseudomorph, we cn modify them to obtin the sequence of drwings tht define M in O(k + n) time. Suppose tht the given pseudo-morph consists of the contrction of n internl vertex v with deg(v) 5 to vertex, followed by morph M = Γ 1,..., Γ k+1 of the reduced grph, nd then the uncontrction of v from. Suppose tht Γ i, Γ i+1 is n L i -directionl morph, for 1 i k. We ssume tht the drwings Γ 1,..., Γ k+1 re given to us, nd show how to updte the sequence of drwings to those of M in time O(n + k). Specificlly, we will show how to dd v nd its incident edges bck into ech drwing of the morph M keeping ech step unidirectionl. We will preserve plnrity by plcing v t n interior point of the kernel of (v). Cll the resulting morph M. We will perform the modifictions from M to M in time O(k). To obtin the finl morph M, we replce the originl contrction of v to by unidirectionl morph tht moves v from its initil position to its position t the strt of M, then follow the steps of M, nd then replce the uncontrction of v by unidirectionl morph tht moves v from its position t the end of M to its finl position. The result is true morph tht consists of k + 2 unidirectionl morphing steps. It tkes O(n) time to dd the two extr unidirectionl morphs to the sequence, since we must dd two drwings of n n-vertex grph. 18