planar
3209 papers tagged with this keyword
Results on independent sets in categorical products of graphs, the ultimate categorical independence ratio and the ultimate categorical independent domination ratio
Published
• View Publication
• BIB
We show that there are polynomial-time algorithms to compute maximum independent sets in the categorical products of two cographs and two splitgraphs. The ultimate categorical independence ratio of a graph G is defined as lim_{k --> infty} α(G^k)/n^k. The ultimate categorical independence ratio is polynomial for cographs, permutation graphs, interval graphs, graphs of bounded treewidth and splitgraphs. When G is a planar graph of maximal degree three then alpha(G \times K_4) is NP-complete. We present a PTAS for the ultimate categorical independence ratio of planar graphs. We present an O^*(n^{n/3}) exact, exponential algorithm for general graphs. We prove that the ultimate categorical independent domination ratio for complete multipartite graphs is zero, except when the graph is complete bipartite with color classes of equal size (in which case it is 1/2).
Planar 4-critical graphs with four triangles
Published
• View Publication
• BIB
By the Grunbaum-Aksenov Theorem (extending Grotzsch's Theorem) every planar graph with at most three triangles is 3-colorable. However, there are infinitely many planar 4-critical graphs with exactly four triangles. We describe all such graphs. This answers a question of Erdos from 1990.
Near-colorings: non-colorable graphs and NP-completeness
Published
• View Publication
• BIB
A graph G is (d_1,..,d_l)-colorable if the vertex set of G can be partitioned into subsets V_1,..,V_l such that the graph G[V_i] induced by the vertices of V_i has maximum degree at most d_i for all 1 <= i <= l. In this paper, we focus on complexity aspects of such colorings when l=2,3. More precisely, we prove that, for any fixed integers k,j,g with (k,j) distinct form (0,0) and g >= 3, either every planar graph with girth at least g is (k,j)-colorable or it is NP-complete to determine whether a planar graph with girth at least g is (k,j)-colorable. Also, for any fixed integer k, it is NP-complete to determine whether a planar graph that is either (0,0,0)-colorable or non-(k,k,1)-colorable is (0,0,0)-colorable. Additionally, we exhibit non-(3,1)-colorable planar graphs with girth 5 and non-(2,0)-colorable planar graphs with girth 7.
The inapproximability for the (0,1)-additive number
Published in Discrete Mathematics and Theoretical Computer Science, Vol 17, No 3 (2016)
• View Publication
• BIB
An
{\it additive labeling} of a graph $G$ is a function $ \ell :V(G) \rightarrow\mathbb{N}$, such that for every two adjacent vertices $ v $ and $ u$ of $ G $, $ \sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w) $ ($ x \sim y $ means that $ x $ is joined to $y$). The {\it additive number} of $ G $, denoted by $η(G)$, is the minimum number $k $ such that $ G $ has a additive labeling $ \ell :V(G) \rightarrow \mathbb{N}_k$. The {\it additive choosability} of a graph $G$, denoted by $η_{\ell}(G) $, is the smallest number $k$ such that $G$ has an additive labeling for any assignment of lists of size $k$ to the vertices of $G$, such that the label of each vertex belongs to its own list.
Seamone (2012) \cite{a80} conjectured that for every graph $G$, $η(G)= η_{\ell}(G)$. We give a negative answer to this conjecture and we show that for every $k$ there is a graph $G$ such that $ η_{\ell}(G)- η(G) \geq k$.
A {\it $(0,1)$-additive labeling} of a graph $G$ is a function $ \ell :V(G) \rightarrow\{0,1\}$, such that for every two adjacent vertices $ v $ and $ u$ of $ G $, $ \sum_{w \sim v}\ell(w)\neq \sum_{w \sim u}\ell(w) $.
A graph may lack any $(0,1)$-additive labeling. We show that it is $ \mathbf{NP} $-complete to decide whether a $(0,1)$-additive labeling exists for some families of graphs such as perfect graphs and planar triangle-free graphs. For a graph $G$ with some $(0,1)$-additive labelings, the $(0,1)$-additive number of $G$ is defined as $ σ_{1} (G) = \min_{\ell \in Γ}\sum_{v\in V(G)}\ell(v) $ where $Γ$ is the set of $(0,1)$-additive labelings of $G$. We prove that given a planar graph that admits a $(0,1)$-additive labeling, for all $ \varepsilon >0 $, approximating the $(0,1)$-additive number within $ n^{1-\varepsilon} $ is $ \mathbf{NP} $-hard.
Polynomial Gap Extensions of the Erdős-Pósa Theorem
Published
• View Publication
• BIB
Given a graph $H$, we denote by ${\cal M}(H)$ all graphs that can be contracted to $H$. The following extension of the Erdős-Pósa Theorem holds: for every $h$-vertex planar graph $H$, there exists a function $f_{H}$ such that every graph $G$, either contains $k$ disjoint copies of graphs in ${\cal M}(H)$, or contains a set of $f_{H}(k)$ vertices meeting every subgraph of $G$ that belongs in ${\cal M}(H)$. In this paper we prove that this is the case for every graph $H$ of pathwidth at most 2 and, in particular, that $f_{H}(k) = 2^{O(h^2)}\cdot k^{2}\cdot \log k$. As a main ingredient of the proof of our result, we show that for every graph $H$ on $h$ vertices and pathwidth at most 2, either $G$ contains $k$ disjoint copies of $H$ as a minor or the treewidth of $G$ is upper-bounded by $2^{O(h^2)}\cdot k^{2}\cdot \log k$. We finally prove that the exponential dependence on $h$ in these bounds can be avoided if $H=K_{2,r}$. In particular, we show that $f_{K_{2,r}}=O(r^2\cdot k^2)$
Low Polynomial Exclusion of Planar Graph Patterns
Published
• View Publication
• BIB
The celebrated grid exclusion theorem states that for every $h$-vertex planar graph $H$, there is a constant $c_{h}$ such that if a graph $G$ does not contain $H$ as a minor then $G$ has treewidth at most $c_{h}$. We are looking for patterns of $H$ where this bound can become a low degree polynomial. We provide such bounds for the following parameterized graphs: the wheel ($c_{h}=O(h)$), the double wheel ($c_{h}=O(h^2\cdot \log^{2} h)$), any graph of pathwidth at most 2 ($c_{h}=O(h^{2})$), and the yurt graph ($c_{h}=O(h^{4})$).
Domino Tatami Covering is NP-complete
Published
• View Publication
• BIB
A covering with dominoes of a rectilinear region is called \emph{tatami} if no four dominoes meet at any point. We describe a reduction from planar 3SAT to Domino Tatami Covering. As a consequence it is NP-complete to decide whether there is a perfect matching of a graph that meets every 4-cycle, even if the graph is restricted to be an induced subgraph of the grid-graph. The gadgets used in the reduction were discovered with the help of a SAT-solver.
The Complexity of the Proper Orientation Number
Published
• View Publication
• BIB
Graph orientation is a well-studied area of graph theory. A proper orientation of a graph $G = (V,E)$ is an orientation $D$ of $E(G)$ such that for every two adjacent vertices $ v $ and $ u $, $ d^{-}_{D}(v) \neq d^{-}_{D}(u)$ where $d_{D}^{-}(v)$ is the number of edges with head $v$ in $D$. The proper orientation number of $G$ is defined as $ \overrightarrowχ (G) =\displaystyle \min_{D\in Γ} \displaystyle\max_{v\in V(G)} d^{-}_{D}(v) $ where $Γ$ is the set of proper orientations of $G$. We have $ χ(G)-1 \leq \overrightarrowχ (G)\leq Δ(G) $. We show that, it is $ \mathbf{NP} $-complete to decide whether $\overrightarrowχ(G)=2$, for a given planar graph $G$. Also, we prove that there is a polynomial time algorithm for determining the proper orientation number of 3-regular graphs. In sharp contrast, we will prove that this problem is $ \mathbf{NP} $-hard for 4-regular graphs.
Low-degree planar monomials in characteristic two
Published in J. Algebraic Combinatorics 42 (2015), 695-699
• View Publication
• BIB
Planar functions over finite fields give rise to finite projective planes and other combinatorial objects. They exist only in odd characteristic, but recently Zhou introduced an even characteristic analogue which has similar applications. In this paper we determine all planar functions on F_q of the form c-->uc^t, where q is a power of 2, t is an integer with 0<t<=q^{1/4}, and u is a nonzero element of F_q. This settles and sharpens a conjecture of Schmidt and Zhou.
Maximum 4-degenerate subgraph of a planar graph
A graph $G$ is $k$-degenerate if it can be transformed into an empty graph by subsequent removals of vertices of degree $k$ or less. We prove that every connected planar graph with average degree $d \ge 2$ has a 4-degenerate induced subgraph containing at least $(38-d)/36$ of its vertices. This shows that every planar graph of order $n$ has a 4-degenerate induced subgraph of order more than $8/9 \cdot n$. We also consider a local variation of this problem and show that in every planar graph with at least 7 vertices, deleting a suitable vertex allows us to subsequently remove at least 6 more vertices of degree four or less.
Maximum st-flow in directed planar graphs via shortest paths
Published
• View Publication
• BIB
Minimum cuts have been closely related to shortest paths in planar graphs via planar duality - so long as the graphs are undirected. Even maximum flows are closely related to shortest paths for the same reason - so long as the source and the sink are on a common face. In this paper, we give a correspondence between maximum flows and shortest paths via duality in directed planar graphs with no constraints on the source and sink. We believe this a promising avenue for developing algorithms that are more practical than the current asymptotically best algorithms for maximum st-flow.
A note on irreducible maps with several boundaries
Published in Elec. Jour. of Combinatorics Vol 21(1) (2014) #P1.23
• View Publication
• BIB
We derive a formula for the generating function of d-irreducible bipartite planar maps with several boundaries, i.e. having several marked faces of controlled degrees. It extends a formula due to Collet and Fusy for the case of arbitrary (non necessarily irreducible) bipartite planar maps, which we recover by taking d=0. As an application, we obtain an expression for the number of d-irreducible bipartite planar maps with a prescribed number of faces of each allowed degree. Very explicit expressions are given in the case of maps without multiple edges (d=2), 4-irreducible maps and maps of girth at least 6 (d=4). Our derivation is based on a tree interpretation of the various encountered generating functions.
Clustered planarity testing revisited
Published in The Electronic Journal of Combinatorics 22 (2015), Issue 4, P4.24, 29 pp
• View Publication
• BIB
The Hanani--Tutte theorem is a classical result proved for the first time in the 1930s that characterizes planar graphs as graphs that admit a drawing in the plane in which every pair of edges not sharing a vertex cross an even number of times. We generalize this result to clustered graphs with two disjoint clusters, and show that a straightforward extension to flat clustered graphs with three or more disjoint clusters is not possible. For general clustered graphs we show a variant of the Hanani--Tutte theorem in the case when each cluster induces a connected subgraph. Di Battista and Frati proved that clustered planarity of embedded clustered graphs whose every face is incident with at most five vertices can be tested in polynomial time. We give a new and short proof of this result, using the matroid intersection algorithm.
Affine unfoldings of convex polyhedra
Published in Geom. Topol. 18 (2014) 3055-3090
• View Publication
• BIB
We show that every convex polyhedron admits a simple edge unfolding after an affine transformation. In particular there exists no combinatorial obstruction to a positive resolution of Durer's unfoldability problem, which answers a question of Croft, Falconer, and Guy. Among other techniques, the proof employs a topological characterization for embeddings among the planar immersions of the disk.
Coloring distance graphs: a few answers and many questions
Given a metric space and a set of distances, one constructs the associated distance graph by taking as vertices the points of the space and as edges the pairs whose distance is in the given set. It is a longstanding open question to determine the chromatic number of the graph obtained from the Euclidean plane and a set reduced to one distance. Surprisingly, while many variants of this problem have been studied, only a few non-Euclidean spaces seem to have been seriously considered. In this paper, we consider the planar translation-invariant metrics and the hyperbolic plane. We answer questions of Johnson and Szlam, prove a few other results, and ask many questions.
3-coloring triangle-free planar graphs with a precolored 8-cycle
Published
• View Publication
• BIB
Let G be a planar triangle-free graph and let C be a cycle in G of length at most 8. We characterize all situations where a 3-coloring of C does not extend to a proper 3-coloring of the whole graph.
The Erdős-Szekeres problem for non-crossing convex sets
Published in Mathematika 60 (2014) 463-484
• View Publication
• BIB
We show an equivalence between a conjecture of Bisztriczky and Fejes T{ó}th about arrangements of planar convex bodies and a conjecture of Goodman and Pollack about point sets in topological affine planes. As a corollary of this equivalence we improve the upper bound of Pach and Tóth on the Erdős-Szekeres theorem for disjoint convex bodies, as well as the recent upper bound obtained by Fox, Pach, Sudakov and Suk, on the Erdős-Szekeres theorem for non-crossing convex bodies. Our methods also imply improvements on the positive fraction Erd\H{os}-Szekeres theorem for disjoint (and non-crossing) convex bodies, as well as a generalization of the partitioned Erdős-Szekeres theorem of Pór and Valtr to arrangements of non-crossing convex bodies.
An Extension of the Blow-up Lemma to arrangeable graphs
The Blow-up Lemma established by Komlós, Sárközy, and Szemerédi in 1997 is an important tool for the embedding of spanning subgraphs of bounded maximum degree. Here we prove several generalisations of this result concerning the embedding of a-arrangeable graphs, where a graph is called a-arrangeable if its vertices can be ordered in such a way that the neighbours to the right of any vertex v have at most a neighbours to the left of v in total. Examples of arrangeable graphs include planar graphs and, more generally, graphs without a K_s-subdivision for constant s. Our main result shows that a-arrangeable graphs with maximum degree at most sqrt(n)/log(n) can be embedded into corresponding systems of super-regular pairs. This is optimal up to the logarithmic factor.
We also present two applications. We prove that any large enough graph G with minimum degree at least ((r-1)/r+γ)n contains an F-factor of every a-arrangeable r-chromatic graph F with at most ξn vertices and maximum degree at most sqrt(n)/log(n), as long as ξ is sufficiently small compared to γ/(ar). This extends a result of Alon and Yuster [J. Combin. Theory Ser. B 66(2),269-282, 1996]. Moreover, we show that for constant p the random graph G(n,p) is universal for the class of a-arrangeable n-vertex graphs H of maximum degree at most ξn/log(n), as long as ξ is sufficiently small compared to p/a.
Spanning embeddings of arrangeable graphs with sublinear bandwidth
The Bandwidth Theorem of Böttcher, Schacht and Taraz [Mathematische Annalen 343 (1), 175-205] gives minimum degree conditions for the containment of spanning graphs H with small bandwidth and bounded maximum degree. We generalise this result to a-arrangeable graphs H with Δ(H)<sqrt(n)/log(n), where n is the number of vertices of H.
Our result implies that sufficiently large n-vertex graphs G with minimum degree at least (3/4+γ)n contain almost all planar graphs on n vertices as subgraphs. Using techniques developed by Allen, Brightwell and Skokan [Combinatorica, to appear] we can also apply our methods to show that almost all planar graphs H have Ramsey number at most 12|H|. We obtain corresponding results for graphs embeddable on different orientable surfaces.
The complexity of generalized domino tilings
Published
• View Publication
• BIB
Tiling planar regions with dominoes is a classical problem in which the decision and counting problems are polynomial. We prove a variety of hardness results (both NP- and #P-completeness) for different generalizations of dominoes in three and higher dimensions.