The Minimum Shared Edges Problem on Grid-like Graphs

We study the NP-hard Minimum Shared Edges (MSE) problem on graphs: decide whether it is possible to route $p$ paths from a start vertex to a target vertex in a given graph while using at most $k$ edges more than once. We show that MSE can be decided on bounded (i.e. finite) grids in linear time when both dimensions are either small or large compared to the number $p$ of paths. On the contrary, we show that MSE remains NP-hard on subgraphs of bounded grids. Finally, we study MSE from a parametrised complexity point of view. It is known that MSE is fixed-parameter tractable with respect to the number $p$ of paths. We show that, under standard complexity-theoretical assumptions, the problem parametrised by the combined parameter $k$, $p$, maximum degree, diameter, and treewidth does not admit a polynomial-size problem kernel, even when restricted to planar graphs

The degree/diameter problem in maximal planar bipartite graphs

The (¿;D) (degree/diameter) problem consists of nding the largest possible number of vertices n among all the graphs with maximum degree ¿ and diameter D. We consider the (¿;D) problem for maximal planar bipartite graphs, that are simple planar graphs in which every face is a quadrangle. We obtain that for the (¿; 2) problem, the number of vertices is n = ¿+2; and for the (¿; 3) problem, n = 3¿¿1 if ¿ is odd and n = 3¿ ¿ 2 if ¿ is even. Then, we study the general case (¿;D) and obtain that an upper bound on n is approximately 3(2D + 1)(¿ ¿ 2)¿D=2¿ and another one is C(¿ ¿ 2)¿D=2¿ if ¿ D and C is a sufficiently large constant. Our upper bound improve for our kind of graphs the one given by Fellows, Hell and Seyffarth for general planar graphs. We also give a lower bound on n for maximal planar bipartite graphs, which is approximately (¿ ¿ 2)k if D = 2k, and 3(¿ ¿ 3)k if D = 2k + 1, for ¿ and D sufficiently large in both cases.Postprint (published version

Vertex-Coloring with Star-Defects

Defective coloring is a variant of traditional vertex-coloring, according to which adjacent vertices are allowed to have the same color, as long as the monochromatic components induced by the corresponding edges have a certain structure. Due to its important applications, as for example in the bipartisation of graphs, this type of coloring has been extensively studied, mainly with respect to the size, degree, and acyclicity of the monochromatic components. In this paper we focus on defective colorings in which the monochromatic components are acyclic and have small diameter, namely, they form stars. For outerplanar graphs, we give a linear-time algorithm to decide if such a defective coloring exists with two colors and, in the positive case, to construct one. Also, we prove that an outerpath (i.e., an outerplanar graph whose weak-dual is a path) always admits such a two-coloring. Finally, we present NP-completeness results for non-planar and planar graphs of bounded degree for the cases of two and three colors

Approximation Algorithms for Polynomial-Expansion and Low-Density Graphs

We study the family of intersection graphs of low density objects in low dimensional Euclidean space. This family is quite general, and includes planar graphs. We prove that such graphs have small separators. Next, we present efficient $(1+\varepsilon)$-approximation algorithms for these graphs, for Independent Set, Set Cover, and Dominating Set problems, among others. We also prove corresponding hardness of approximation for some of these optimization problems, providing a characterization of their intractability in terms of density

On the diameter of random planar graphs

We show that the diameter D(G_n) of a random labelled connected planar graph with n vertices is equal to n^{1/4+o(1)}, in probability. More precisely there exists a constant c>0 such that the probability that D(G_n) lies in the interval (n^{1/4-\epsilon},n^{1/4+\epsilon}) is greater than 1-\exp(-n^{c\epsilon}) for {\epsilon} small enough and n>n_0(\epsilon). We prove similar statements for 2-connected and 3-connected planar graphs and maps.Comment: 24 pages, 7 figure

The degree-diameter problem for sparse graph classes

The degree-diameter problem asks for the maximum number of vertices in a graph with maximum degree $\Delta$ and diameter $k$. For fixed $k$, the answer is $\Theta(\Delta^k)$. We consider the degree-diameter problem for particular classes of sparse graphs, and establish the following results. For graphs of bounded average degree the answer is $\Theta(\Delta^{k-1})$, and for graphs of bounded arboricity the answer is \Theta(\Delta^{\floor{k/2}}), in both cases for fixed $k$. For graphs of given treewidth, we determine the the maximum number of vertices up to a constant factor. More precise bounds are given for graphs of given treewidth, graphs embeddable on a given surface, and apex-minor-free graphs

On the maximum order of graphs embedded in surfaces

The maximum number of vertices in a graph of maximum degree $\Delta\ge 3$ and fixed diameter $k\ge 2$ is upper bounded by $(1+o(1))(\Delta-1)^{k}$. If we restrict our graphs to certain classes, better upper bounds are known. For instance, for the class of trees there is an upper bound of $(2+o(1))(\Delta-1)^{\lfloor k/2\rfloor}$ for a fixed $k$. The main result of this paper is that graphs embedded in surfaces of bounded Euler genus $g$ behave like trees, in the sense that, for large $\Delta$, such graphs have orders bounded from above by begin{cases} c(g+1)(\Delta-1)^{\lfloor k/2\rfloor} & \text{if $k$ is even} c(g^{3/2}+1)(\Delta-1)^{\lfloor k/2\rfloor} & \text{if $k$ is odd}, \{cases} where $c$ is an absolute constant. This result represents a qualitative improvement over all previous results, even for planar graphs of odd diameter $k$. With respect to lower bounds, we construct graphs of Euler genus $g$, odd diameter $k$, and order $c(\sqrt{g}+1)(\Delta-1)^{\lfloor k/2\rfloor}$ for some absolute constant $c>0$. Our results answer in the negative a question of Miller and \v{S}ir\'a\v{n} (2005).Comment: 13 pages, 3 figure

Constructions of Large Graphs on Surfaces

We consider the degree/diameter problem for graphs embedded in a surface, namely, given a surface $\Sigma$ and integers $\Delta$ and $k$, determine the maximum order $N(\Delta,k,\Sigma)$ of a graph embeddable in $\Sigma$ with maximum degree $\Delta$ and diameter $k$. We introduce a number of constructions which produce many new largest known planar and toroidal graphs. We record all these graphs in the available tables of largest known graphs. Given a surface $\Sigma$ of Euler genus $g$ and an odd diameter $k$, the current best asymptotic lower bound for $N(\Delta,k,\Sigma)$ is given by $$\sqrt{\frac{3}{8}g}\Delta^{\lfloor k/2\rfloor}.$$ Our constructions produce new graphs of order \begin{cases}6\Delta^{\lfloor k/2\rfloor}& \text{if $\Sigma$ is the Klein bottle}\\ \(\frac{7}{2}+\sqrt{6g+\frac{1}{4}}\)\Delta^{\lfloor k/2\rfloor}& \text{otherwise,}\end{cases} thus improving the former value by a factor of 4.Comment: 15 pages, 7 figure

The degree/diameter problem in maximal planar bipartite graphs

The (Δ,D)(Δ,D) (degree/diameter) problem consists of finding the largest possible number of vertices nn among all the graphs with maximum degree ΔΔ and diameter DD. We consider the (Δ,D)(Δ,D) problem for maximal planar bipartite graphs, that is, simple planar graphs in which every face is a quadrangle. We obtain that for the (Δ,2)(Δ,2) problem, the number of vertices is n=Δ+2n=Δ+2; and for the (Δ,3)(Δ,3) problem, n=3Δ−1n=3Δ−1 if ΔΔ is odd and n=3Δ−2n=3Δ−2 if ΔΔ is even. Then, we prove that, for the general case of the (Δ,D)(Δ,D) problem, an upper bound on nn is approximately 3(2D+1)(Δ−2)⌊D/2⌋3(2D+1)(Δ−2)⌊D/2⌋, and another one is C(Δ−2)⌊D/2⌋C(Δ−2)⌊D/2⌋ if Δ≥DΔ≥D and CC is a sufficiently large constant. Our upper bounds improve for our kind of graphs the one given by Fellows, Hell and Seyffarth for general planar graphs. We also give a lower bound on nn for maximal planar bipartite graphs, which is approximately (Δ−2)k(Δ−2)k if D=2kD=2k, and 3(Δ−3)k3(Δ−3)k if D=2k+1D=2k+1, for ΔΔ and DD sufficiently large in both cases.Peer ReviewedPostprint (published version