This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

11institutetext: 1Indian Institute of Technology Hyderabad

Planar projections of graphs

N.R. Aravind 11 0000-0002-6590-7952    Udit Maniyar 11
Abstract

We introduce and study a new graph representation where vertices are embedded in three or more dimensions, and in which the edges are drawn on the projections onto the axis-parallel planes. We show that the complete graph on nn vertices has a representation in n/2+1\lceil\sqrt{n/2}+1\rceil planes. In 3 dimensions, we show that there exist graphs with 6n156n-15 edges that can be projected onto two orthogonal planes, and that this is best possible. Finally, we obtain bounds in terms of parameters such as geometric thickness and linear arboricity. Using such a bound, we show that every graph of maximum degree 5 has a plane-projectable representation in 3 dimensions.

Keywords:
Graph drawing planarity thickness planar projections.

1 Introduction

In this paper, we consider embeddings of graphs where the vertices are mapped to points in d\mathbb{R}^{d}, for d3d\geq 3, and the edges are represented by line-segments on the (d2)\dbinom{d}{2} axis-parallel planes. For example, a 3-dimensional network may be visualized by placing it inside a cube and drawing the edges on the walls of the cube by projecting the points.

One motivation is the connection to two classical parameters, thickness and geometric thickness. The thickness of a graph GG, is the smallest number of planar subgraphs into which the edges of GG can be decomposed. This was introduced by Tutte in [18]; see also [16] for a survey of thickness. Geometric thickness adds the restriction that all the subgraphs must be embedded simultaneously, that is, with a common embedding of the vertices. This was studied in [4] for complete graphs. The connection between geometric thickness and parameters such as maximum degree and tree-width has been studied in various papers: [8],[2],[7]. While using the standard co-ordinate planes in high dimensions is more restrictive than thickness, it appears to be less so than geometric thickness (Section 3).

Book embeddings, defined by Ollmann in [17], are restrictinos of geometric drawings in which the vertices are in convex position. The book thickness of GG is the smallest number of subgraphs that cover all the edges of GG in such a drawing. This is also known as stack number, and is studied in [6]. Also see [5] for a survey. More generally, a survey on simultaneous embedding of graphs may be found in [3].

In [14], the authors showed that nn-vertex graphs of geometric thickness 2 can have at most 6n186n-18 edges. Such graphs can also be represented as projections in two orthogonal planes; orthogonal planes appear to allow a greater degree of freedom, as we give a construction of graphs with 6n156n-15 edges. We also note that a plane-projectable construction with 6n176n-17 edges was given in [15].

1.1 Preliminaries:

For a point qq in d\mathbb{R}^{d}, we denote by πi,j(q)\pi_{i,j}(q), the projection of qq on the plane {xdxi=xj=0}\{x\in\mathbb{R}^{d}\mid x_{i}=x_{j}=0\} formed by the iith and jjth co-ordinate axes.

Definition 1

Given a graph G=(V,E)G=(V,E), we say that an injective map π:Vd\pi:V\to\mathbb{R}^{d} is a plane-projecting map of GG if there exists a decomposition E=1i<jdEi,jE=\cup_{1\leq i<j\leq d}E_{i,j} such that the projection πi,j\pi_{i,j} is injective and induces a straight-line planar embedding of the subgraph (V,Ei,j)(V,E_{i,j}).

We define the plane-projecting dimension of a graph GG to be the smallest integer dd for which a plane-projecting map in d\mathbb{R}^{d} exists for GG. We denote this by pdim(G)pdim(G).

If pdim(G)dpdim(G)\leq d, we shall say that GG is dd-dimensionally projectable or plane-projectable in dd-dimensions.

We note the following connection between the plane-projecting dimension and the two thickness parameters of a graph.

Observation 1.1

Let GG have thickness θ(G)=r\theta(G)=r and geometric thickness θ(G)¯=sr\bar{\theta(G)}=s\geq r. Then we have:

(i) 8r+1+12pdim(G)2r\dfrac{\sqrt{8r+1}+1}{2}\leq pdim(G)\leq 2r.

(ii) pdim(G)2spdim(G)\leq 2\lceil\sqrt{s}\rceil.

Proof

The first inequality in (i) follows from the observation that r(pdim(G)2)r\leq\dbinom{pdim(G)}{2}; the second inequality is easy to see. For (ii), we let k=sk=\lceil\sqrt{s}\rceil. For a vertex vv, let (a,b)(a,b) be its position in an optimal geometric thickness representation of GG. Then the map f(v)=(a,a,,a,b,b,,b)f(v)=(a,a,\ldots,a,b,b,\ldots,b) (with number of aa’s and bb’s each equal to kk), is a plane-projecting map, with the edge sets {Ei,j:1ik,k+1j2k}\{E_{i,j}:1\leq i\leq k,k+1\leq j\leq 2k\} corresponding to the subgraphs of the geometric thickness representation, and Ei,jE_{i,j} drawn on the plane with xi=xj=0x_{i}=x_{j}=0. ∎

In [7], the author obtained a bound of O(logn)O(\log n) on the geometric thickness of graphs with arboricity two; thus as a corollary, we obtain a bound of O(logn)O(\sqrt{\log n}) on the plane-projecting dimension of such graphs.

1.2 Our Results:

In Section 2, we obtain an upper bound of n/2+O(1)\sqrt{n/2}+O(1) on the plane-projecting dimension of KnK_{n}.

In Section 3, we give a construction of graphs having nn vertices and 6n156n-15 edges that can be projected on two orthogonal planes, and further show that this is tight. We also obtain an upper bound on the maximum number of edges of a nn-vertex graph that is plane-projectable in 3 dimensions.

In Section 4, we show that every graph of maximum degree five is plane- projectable in three dimensions, by obtaining an upper bound in terms of the linear arboricity of GG (which is the minimum number of linear forests that partition the edges of GG). We also obtain a general upper bound of Δ(G)(12+o(1))\Delta(G)\left(\dfrac{1}{2}+o(1)\right) on pdim(G)pdim(G). Note that an upper bound of Δ(G)+1\Delta(G)+1 follows from Observation 1.1 and a result of [13], which states that the thickness of a graph of maximum degree Δ\Delta is at most Δ2\lceil\dfrac{\Delta}{2}\rceil.

2 Plane-projecting dimension of complete graphs

In the paper [4], the authors show that the geometric thickness of KnK_{n} is at most n/4\lceil n/4\rceil. Combining this with Observation 1.1, we get pdim(Kn)npdim(K_{n})\leq\lceil\sqrt{n}\rceil.

The thickness of KnK_{n} is known to be 1 for 1n41\leq n\leq 4, 2 for 5n85\leq n\leq 8, 3 for 9n109\leq n\leq 10, and n+26\lceil\dfrac{n+2}{6}\rceil for n>10n>10. Thus, for n>10n>10, we get pdim(Kn)n/3pdim(K_{n})\geq\sqrt{n/3}.

By using the construction of [4] in a more direct way, we obtain the following improved upper bound.

Theorem 2.1

pdim(Kn)2n+7+12pdim(K_{n})\leq\lceil\dfrac{\sqrt{2n+7}+1}{2}\rceil.

To prove Theorem 2.1, we shall use the following lemma, which we first state and prove.

Lemma 1

For every natural number d2d\geq 2 and every natural number nn, there exist nn points in d\mathbb{R}^{d} such that for every 1i<jd1\leq i<j\leq d, the projections of these points to the (i,j)(i,j)-plane are in convex position, and in the same order on the convex hull.

Proof (of Lemma 1)

We consider the point-set Pi=(cos(ai+ib),cos(ai+(i+1)b),,cos(ai+(i+d1)b))P_{i}=(\cos(a_{i}+ib),\cos(a_{i}+(i+1)b),\ldots,\cos(a_{i}+(i+d-1)b)) for some suitable bb and aia_{i}s. For given i,j{1,2,,d}i,j\in\{1,2,\ldots,d\}, the projection of these points in the (i,j)(i,j) plane lie on an ellipse. ∎

We now prove Theorem 2.1.

Proof (of Theorem 2.1)

Let dd be such that (d2)n4\dbinom{d}{2}\geq\lceil\dfrac{n}{4}\rceil. We assume that n=2kn=2k, where kk is even, and find sets S,TS,T of n/2n/2 points each in d\mathbb{R}^{d} such that the projections of SS and TT to two given axis-parallel planes lie on an ellipse, with the ellipse corresponding to SS always contained inside and congruent to the ellipse corresponding to TT, as shown in Figure 1 (right).

v1v_{1}v5v_{5}v2v_{2}v3v_{3}v4v_{4}v6v_{6}v7v_{7}v8v_{8}w5w_{5}w1w_{1}
Figure 1: Left: Path in SS/TT; Right: Edges between diametrically opposite vertices of TT and the vertices of SS

The drawing of edges is now the same as in [4], which we explain for the sake of completeness.

We decompose the complete graph on each of S,TS,T into k/2k/2 disjoint paths and draw their edges in k/2k/2 planes such that each path contains exactly one pair of diametrically opposite vertices that are adjacent. Here, we use the phrase “diametrically opposite” for a pair of vertices if the points corresponding to them have exactly k/21k/2-1 other points between them on the convex hull. This is illustrated in Figure 1 (a), where v1,v5v_{1},v_{5} are the diametrically opposite pair which are adjacent. Other diametrically opposite pairs are {v2,v6},{v3,v7}\{v_{2},v_{6}\},\{v_{3},v_{7}\} etc, each of which shall be adjacent in a different plane.

Finally, we add edges between every vertex of SS and the diametrically opposite pair of TT. That this can be done is shown in [4], by showing that there exist a set of parallel lines each passing through one point in SS, and arguing by continuity that if the diametrically opposite pair is far enough, they may be joined to the points of SS without intersections. This is illustrated in Figure 1 (b). ∎

3 Plane-projectable graphs in 3\mathbb{R}^{3}

In this section, we focus on 3\mathbb{R}^{3}, and ask the following two extremal questions.

Q1. What is the maximum number of edges of a nn-vertex graph with plane-projecting dimension three?

Q2. What is the maximum number of edges of a nn-vertex graph whose edges can be projected into two orthogonal planes in 3\mathbb{R}^{3}?

We shall answer Question 1 partially by giving an upper bound of 9n249n-24, and Question 2 completely, by giving matching upper and lower bounds.

As mentioned earlier, any graph with geometric thickness two can be projected in two of the co-ordinate planes. In [14], it was shown that a nn-vertex graph of geometric thickness two can have at most 6n186n-18 edges and that 6n206n-20 edges is achievable. This was improved in [9], where it was shown that for every n9n\geq 9, 6n196n-19 edges is achievable.

By modifying their construction, we show the following:

Theorem 3.1

For every n14n\geq 14, there exists a graph GnG_{n} on 6n156n-15 edges with an embedding in 3\mathbb{R}^{3} such that the restriction to two of the planes form planar straight-line embeddings of two graphs whose edge-union is equal to GnG_{n}.

Refer to caption
Refer to caption
Figure 2: On left: H14H_{14}, On right: M14M_{14}; G14G_{14} has 6×1415=696\times 14-15=69 edges. The dark edges are common to both planes. Also the exact vertex positions are not important, but the ordering of the vertices on the common axis should be the same.
Proof

Let HnH_{n}, MnM_{n} be the projection of GnG_{n} on XYXY, YZYZ planes respectively. Observe that if we fix the embedding of vertices of GG in HH, then in MM we would have the freedom to move vertices along ZZ axis because zz coordinate of vertices have not been fixed yet.

Figure 2 gives the construction of a graph G14G_{14} with 14 vertices and 6×1415=696\times 14-15=69 edges.

Let us assume that we are given Hk,MkH_{k},M_{k} which are the planar projections of GkG_{k} on XY,YZXY,YZ planes respectively, such that |Ek|=6k15|E_{k}|=6k-15.

We now show that we can add a vertex vk+1v_{k+1} with 6 neighbors, such that three of the new edges are added to HkH_{k} to obtain Hk+1H_{k+1} and the other three are added to MkM_{k} to obtain Mk+1M_{k+1}.

In HkH_{k}, we place vk+1v_{k+1} inside a triangle whose vertices are disjoint from the vertices present on the convex hull of MkM_{k} namely v1,v2,vkv_{1},v_{2},v_{k}. Now the (x,y)(x,y) coordinates of vk+1v_{k+1} are fixed we can take the zz coordinate of vk+1v_{k+1} to be a value strictly greater than the zz coordinate of vkv_{k}. Now in MkM_{k}(YZYZ plane) we can add vk+1v_{k+1} by connecting vk+1v_{k+1} to v1,v2,vkv_{1},v_{2},v_{k}.

We can always find a triangle whose vertices should not contain any one of v1,v2,vkv_{1},v_{2},v_{k}. If kk is odd we add vk+1v_{k+1} inside the triangle v6,v4,vk1v_{6},v_{4},v_{k-1} in HkH_{k} and if kk is even we add vk+1v_{k+1} inside the triangle v7,v8,vkv_{7},v_{8},v_{k} in HkH_{k}.

Since we have added 6 edges to the graph GkG_{k} the new graph Gk+1G_{k+1} contains 6k15+6=6(k+1)156k-15+6=6(k+1)-15. The vertex vn+1v_{n+1} is also being mapped to a suitable point in 3\mathbb{R}^{3}.

Inductively using the above process, we can generate GnG_{n} for all n such that |En|=6n15|E_{n}|=6n-15.

We will now show that the above upper bound is in fact tight; we first need the following definition.

Definition 2

We say that an embedding of a planar graph GG is maximally planar if no non-adjacent pair of vertices can be joined by a line-segment without intersecting the existing edges.

Theorem 3.2

Let GG be a connected graph on n3n\geq 3 vertices having an embedding in 3\mathbb{R}^{3} such that the restriction to two of the planes form straight-line planar embeddings of two graphs. Then GG has at most 6n156n-15 edges.

Proof

Consider an embedding of G(V,E)G(V,E) such that the edges of GG are covered by planar drawings in two (projected) planes. Let XYXY and YZYZ be the two planes and let G1=(V,E1)G_{1}=(V,E_{1}) and G2=(V,E2)G_{2}=(V,E_{2}) be the two planar sub-graphs respectively, which are projected on these planes.

Clearly we can assume that the embeddings of both G1G_{1} and G2G_{2} are maximally planar.

Let
AA to be the vertex with lowest yy coordinate value,
BB to be the vertex with highest yy coordinate value,
CC to be the vertex with second lowest yy coordinate value,
DD to be the vertex with second highest yy coordinate value.

Claim 3.3

Both ACAC and BDBD belong to G1G2G_{1}\cap G_{2}.

Proof of Claim 3.3: Suppose for contradiction that ACG1AC\notin G_{1}. Since G1G_{1} is maximally planar, there must be an edge uvuv that intersects the line-segment joining ACAC. Therefore the yy co-ordinate of uu or the yy co-ordinate of vv must lie between the yy co-ordinates of AA and CC, which contradicts the choice of A,CA,C. The proof for BDBD is identical.

We now consider two cases.

Case 1: |E1|<3n6|E_{1}|<3n-6 or |E2|<3n6|E_{2}|<3n-6. In this case, we have: |E1E2|=|E1|+|E2||E1E2|6n132=6n15|E_{1}\cup E_{2}|=|E_{1}|+|E_{2}|-|E_{1}\cap E_{2}|\leq 6n-13-2=6n-15.

Case 2: |E1|=|E2|=3n6|E_{1}|=|E_{2}|=3n-6. In this case, we show that in addition to ACAC and BDBD, the edge ABAB also belongs to both E1E_{1} and E2E_{2}, which shows that |E1E2|6n15|E_{1}\cup E_{2}|\leq 6n-15.

Since G1G_{1} has 3n63n-6 edges, its convex hull is a triangle. By the definition of A,BA,B, we see that ABAB should be on the convex hull, and hence is an edge of G1G_{1}. Similarly, ABAB belongs to G2G_{2} as well.

This completes the proof of Theorem 3.2. ∎

We now give an upper bound on graphs with plane-projectable dimension three.

Theorem 3.4

Let GG be a connected graph on n3n\geq 3 vertices having an embedding in 3\mathbb{R}^{3} such that the restriction to the three planes form straight-line planar embeddings of three graphs. Then GG has at most 9n249n-24 edges.

Proof

Consider an embedding of G(V,E)G(V,E) such that the edges of GG are covered by planar drawings in three (projected) planes. Let XYXY, YZYZ and ZXZX be the two planes and let G1=(V,E1)G_{1}=(V,E_{1}), G2=(V,E2)G_{2}=(V,E_{2}) and G3=(V,E3)G_{3}=(V,E_{3}) be the three planar sub-graphs respectively, which are projected on these planes.

We may assume that G1,G2,G3G_{1},G_{2},G_{3} are maximally planar.
Here we have to consider few cases:

Case 1: |E1|=|E2|=|E3|=3n6|E_{1}|=|E_{2}|=|E_{3}|=3n-6. In this case we use the same argument as Theorem 3.2, we get |E2E1|=3n9|E_{2}\setminus E_{1}|=3n-9, |E3E1|=3n9|E_{3}\setminus E_{1}|=3n-9.

|E1E2E3||E1|+|E2E1|+|E3E1||E_{1}\cup E_{2}\cup E_{3}|\leq|E_{1}|+|E_{2}\setminus E_{1}|+|E_{3}\setminus E_{1}|.

|E1E2E3|(3n6)+(3n9)+(3n9)=9n24\implies|E_{1}\cup E_{2}\cup E_{3}|\leq(3n-6)+(3n-9)+(3n-9)=9n-24.

Case 2: |E1|=|E2|=3n6,|E3|3n7|E_{1}|=|E_{2}|=3n-6,|E_{3}|\leq 3n-7. In this case if we use the same argument as Theorem 3.2 we get |E2E1|=3n9|E_{2}\setminus E_{1}|=3n-9.

Since G1,G3G_{1},G_{3} are maximally planar using Claim 3.3, we get |E3E1|3n72=3n9|E_{3}\setminus E_{1}|\leq 3n-7-2=3n-9.

|E1E2E3|(3n6)+(3n9)+(3n9)=9n24\implies|E_{1}\cup E_{2}\cup E_{3}|\leq(3n-6)+(3n-9)+(3n-9)=9n-24.

Case 3:|E1|=3n6,|E2|3n7,|E3|3n7|E_{1}|=3n-6,|E_{2}|\leq 3n-7,|E_{3}|\leq 3n-7.

Since G1,G2,G3G_{1},G_{2},G_{3} are maximally planar using Claim 3.3, we get |E3E1|3n72=3n9|E_{3}\setminus E_{1}|\leq 3n-7-2=3n-9.

|E2E1|3n72=3n9|E_{2}\setminus E_{1}|\leq 3n-7-2=3n-9.

|E1E2E3|(3n6)+(3n9)+(3n9)=9n24\implies|E_{1}\cup E_{2}\cup E_{3}|\leq(3n-6)+(3n-9)+(3n-9)=9n-24.

Case 4:|E1|3n7,|E2|3n7,|E3|3n7|E_{1}|\leq 3n-7,|E_{2}|\leq 3n-7,|E_{3}|\leq 3n-7.

Since G1,G2,G3G_{1},G_{2},G_{3} are maximally planar, using Claim 3.3, we get |E3E1||E2E1|3n72=3n9|E_{3}\setminus E_{1}|\leq|E_{2}\setminus E_{1}|\leq 3n-7-2=3n-9. Similarly |E3E1|=3n9|E_{3}\setminus E_{1}|=\leq 3n-9;

|E1E2E3|(3n7)+(3n9)+(3n9)=9n25\implies|E_{1}\cup E_{2}\cup E_{3}|\leq(3n-7)+(3n-9)+(3n-9)=9n-25.

This completes the proof of Theorem 3.4.

4 Relation with linear arboricity and maximum degree

A linear forest is a forest in which every tree is a path. The linear arboricity of a graph GG is the minimum number of linear forests into which the edges of GG can be decomposed.

We have the following.

Proposition 1

If GG has linear arboricity at most kk, then there is an embedding of GG in k\mathbb{R}^{k} such that the edges of GG can be drawn on the following kk standard planes: for i=1,,k1i=1,\ldots,k-1, the iith plane is {xk:xj=0j{1,i}}\{x\in\mathbb{R}^{k}:x_{j}=0\forall j\notin\{1,i\}\}, and the kkth plane is {xk:xj=0j{2,3}}\{x\in\mathbb{R}^{k}:x_{j}=0\forall j\notin\{2,3\}\}. In particular, pdim(G)kpdim(G)\leq k.

In [10], it was shown that graphs of maximum degree 5 have linear arboricity at most 3. Thus, we get the following.

Corollary 1

Any graph of maximum degree 5 is plane-projectable.

In [1], Alon showed that a graph of maximum degree Δ\Delta has linear arboricity at most Δ2+o(Δ)\dfrac{\Delta}{2}+o(\Delta). Thus, we have: pdim(G)Δ(G)(12+o(1))pdim(G)\leq\Delta(G)\left(\dfrac{1}{2}+o(1)\right).

We shall actually prove a stronger form of Proposition 1, in which we replace linear arboricity by caterpillar arboricity, which we define below.

A caterpillar tree is a tree in which all the vertices are within distance 1 of a central path. A caterpillar forest is a forest in which every tree is a caterpillar tree. The caterpillar arboricity of a graph GG is the minimum number of caterpillar forests into which the edges of GG can be decomposed. This has been studied previously in [12].

The main idea behind Proposition 1 is the following.

Lemma 2

Given a caterpillar tree GG with vertex set V={v1,v2,,vn}V=\{v_{1},v_{2},\ldots,v_{n}\}, and n2n\geq 2 distinct real numbers y1,,yny_{1},\ldots,y_{n}, there exist nn real numbers x1,,xnx_{1},\ldots,x_{n} such that GG has a straight-line embedding with the vertex viv_{i} mapped to (xi,yi)(x_{i},y_{i}).

Proof

Let w1,w2,wkw_{1},w_{2},\ldots w_{k} be the vertices on the central path such that wiw_{i} has an edge with wi1w_{i-1} and wi+1w_{i+1}. All the indices are taken modulo kk. Also, let LiL_{i} denote the set of leaf vertices adjacent to wiw_{i}.

We set the xx co-ordinate of wiw_{i} to be ii, and the xx co-ordinate of every vertex of LiL_{i} to be i+1i+1. Clearly the edges of the caterpillar drawn with the above embedding are non-crossing. ∎

We remark that the above result and concept have also been studied as ”unleveled planar graphs” in [11].

Lemma 3

Given a cycle GG with vertex set V={v1,v2,,vn}V=\{v_{1},v_{2},\ldots,v_{n}\}, and n2n\geq 2 distinct real numbers y1,,yny_{1},\ldots,y_{n}, there exist nn real numbers x1,,xnx_{1},\ldots,x_{n} such that GG has a straight-line embedding with the vertex viv_{i} mapped to (xi,yi)(x_{i},y_{i}).

Proof

Without loss of generality, let v1,v2,vnv_{1},v_{2},\ldots v_{n} be the vertices on the cycle such that viv_{i} has an edge with vi1v_{i-1} and vi+1v_{i+1} and v1v_{1} be the vertex with smallest y coordinate value. All the indices are taken modulo nn.

We first remove the edge between v1v_{1} and vnv_{n} so that the remaining graph is a path for which we use the previous lemma to construct the embedding.

Now to add back the edge v1vnv_{1}v_{n}, we have to make sure that none of the other edges intersect with the edge between v1v_{1} and vnv_{n}. Let slopeislope_{i} to be the slope between v1v_{1} and viv_{i}, and note that this is positive for all ii, since v1v_{1} has the lowest y coordinate. Let m=mini{slopei}m=min_{i}\{slope_{i}\}. We now draw a line LL through v1v_{1} with slope less than mm and place the vertex vnv_{n} on LL, as illustrated in the figure below.

v1v_{1}v2v_{2}viv_{i}vnv_{n}
Figure 3: Cycle graph with given yy co-ordinates

The proposition below also follows from an application of Lemma 2.

Proposition 2

Let GG be the edge-union of a planar graph and dd paths. Then pdim(G)d+2pdim(G)\leq d+2.

5 Open problems

  1. 1.

    What is the plane-projecting dimension of KnK_{n}?

  2. 2.

    Find tight bounds for the maximum number of edges in a nn-vertex graph that is plane-projectable in 3\mathbb{R}^{3}.

  3. 3.

    Is every graph of maximum degree 6 plane-projectable in three dimensions?

  4. 4.

    Is pdim(G)=O(Δ(G))pdim(G)=O(\sqrt{\Delta(G)})?

  5. 5.

    Is it true that pdim(G)pdim(G) is at most the smallest dd such that (d2)θ¯(G)\dbinom{d}{2}\geq\bar{\theta}(G)?

Things to do:

  1. 1.

    Must the union of 2 caterpillar forest graphs always be planar? [No. Counter example K3,3K_{3,3}]

  2. 2.

    Can every graph of max degree 6 be decomposed into a planar graph and one or two caterpillar graphs?

  3. 3.

    2-degenerate graphs and 3-degenerate graphs?

  4. 4.

    Smallest graphs which are not 2-plane projectable/3-plane projectable

  5. 5.

    Closure under minor or topological minor [Or counter-examples]

  6. 6.

    2ca(G)pdim(G)ca(G)\sqrt{2ca(G)}\leq pdim(G)\leq ca(G) Example of a graph with pdim(G)=kpdim(G)=k and ca(G)=O(k2)ca(G)=O(k^{2})

  7. 7.

    Kn,nK_{n,n}

References

  • [1] N. Alon. The linear arboricity of graphs. Israel Journal of Mathematics, 62(3):311–325, 1988.
  • [2] János Barát, Jiř’i Matoušek, and David R. Wood. Bounded-degree graphs have arbitrarily large geometric thickness. Electr. J. Comb., 13(1), 2006.
  • [3] Thomas Bläsius, Stephen G. Kobourov, and Ignaz Rutter. Simultaneous embedding of planar graphs. In Handbook on Graph Drawing and Visualization., pages 349–381. Chapman and Hall/CRC, 2013.
  • [4] Michael B. Dillencourt, David Eppstein, and Daniel S. Hirschberg. Geometric thickness of complete graphs. J. Graph Algorithms Appl., 4(3):5–17, 2000.
  • [5] Vida Dujmovic and David R. Wood. On linear layouts of graphs. Discrete Mathematics & Theoretical Computer Science, 6(2):339–358, 2004.
  • [6] Vida Dujmovic and David R. Wood. Stacks, queues and tracks: Layouts of graph subdivisions. Discrete Mathematics & Theoretical Computer Science, 7(1):155–202, 2005.
  • [7] Christian A. Duncan. On graph thickness, geometric thickness, and separator theorems. Comput. Geom., 44(2):95–99, 2011.
  • [8] Christian A. Duncan, David Eppstein, and Stephen G. Kobourov. The geometric thickness of low degree graphs. In Proceedings of the 20th ACM Symposium on Computational Geometry, Brooklyn, New York, USA, June 8-11, 2004, pages 340–346, 2004.
  • [9] Stephane Durocher, Ellen Gethner, and Debajyoti Mondal. Thickness and colorability of geometric graphs. Comput. Geom., 56:1–18, 2016.
  • [10] Hikoe Enomoto and Bernard Péroche. The linear arboricity of some regular graphs. Journal of Graph Theory, 8(2):309–324, 1984.
  • [11] Alejandro Estrella-Balderrama, J. Joseph Fowler, and Stephen G. Kobourov. Characterization of unlabeled level planar trees. In Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers, pages 367–379, 2006.
  • [12] Daniel Gonçalves and Pascal Ochem. On star and caterpillar arboricity. Discrete Mathematics, 309(11):3694–3702, 2009.
  • [13] John H. Halton. On the thickness of graphs of given degree. Inf. Sci., 54(3):219–238, 1991.
  • [14] Joan P. Hutchinson, Thomas C. Shermer, and Andrew Vince. On representations of some thickness-two graphs. Comput. Geom., 13(3):161–171, 1999.
  • [15] Pravi Malviya. Graph visualization. Master’s thesis, Indian Institute of Technology Hyderabad, 2016.
  • [16] Petra Mutzel, Thomas Odenthal, and Mark Scharbrodt. The thickness of graphs: A survey. Graphs and Combinatorics, 14(1):59–73, 1998.
  • [17] Taylor Ollmann. On the book thickness of various graphs. In Proc. 4th SouthEastern Conference on Combinatorics, Graph Theory and Computing, volume VIII, page 459, 1973.
  • [18] William Tutte. The thickness of a graph. Indag. Math., 25:567–577, 1963.