planar
3209 papers tagged with this keyword
Graph product structure for non-minor-closed classes
Dujmović et al. [\emph{J.~ACM}~'20] recently proved that every planar graph is isomorphic to a subgraph of the strong product of a bounded treewidth graph and a path. Analogous results were obtained for graphs of bounded Euler genus or apex-minor-free graphs. These tools have been used to solve longstanding problems on queue layouts, non-repetitive colouring, $p$-centered colouring, and adjacency labelling. This paper proves analogous product structure theorems for various non-minor-closed classes. One noteable example is $k$-planar graphs (those with a drawing in the plane in which each edge is involved in at most $k$ crossings). We prove that every $k$-planar graph is isomorphic to a subgraph of the strong product of a graph of treewidth $O(k^5)$ and a path. This is the first result of this type for a non-minor-closed class of graphs. It implies, amongst other results, that $k$-planar graphs have non-repetitive chromatic number upper-bounded by a function of $k$. All these results generalise for drawings of graphs on arbitrary surfaces. In fact, we work in a more general setting based on so-called shortcut systems, which are of independent interest. This leads to analogous results for certain types of map graphs, string graphs, graph powers, and nearest neighbour graphs.
Improved bounds for centered colorings
Published in Advances in Combinatorics, 2021:8
• View Publication
• BIB
A vertex coloring $φ$ of a graph $G$ is $p$-centered if for every connected subgraph $H$ of $G$ either $φ$ uses more than $p$ colors on $H$ or there is a color that appears exactly once on $H$. Centered colorings form one of the families of parameters that allow to capture notions of sparsity of graphs: A class of graphs has bounded expansion if and only if there is a function $f$ such that for every $p\geq1$, every graph in the class admits a $p$-centered coloring using at most $f(p)$ colors.
In this paper, we give upper bounds for the maximum number of colors needed in a $p$-centered coloring of graphs from several widely studied graph classes. We show that: (1) planar graphs admit $p$-centered colorings with $\mathcal{O}(p^3\log p)$ colors where the previous bound was $\mathcal{O}(p^{19})$; (2) bounded degree graphs admit $p$-centered colorings with $\mathcal{O}(p)$ colors while it was conjectured that they may require exponential number of colors in $p$; (3) graphs avoiding a fixed graph as a topological minor admit $p$-centered colorings with a polynomial in $p$ number of colors. All these upper bounds imply polynomial algorithms for computing the colorings. Prior to this work there were no non-trivial lower bounds known. We show that: (4) there are graphs of treewidth $t$ that require $\binom{p+t}{t}$ colors in any $p$-centered coloring and this bound matches the upper bound; (5) there are planar graphs that require $Ω(p^2\log p)$ colors in any $p$-centered coloring.
Smoothed Analysis of Order Types
Consider an ordered point set $P = (p_1,\ldots,p_n)$, its order type (denoted by $χ_P$) is a map which assigns to every triple of points a value in $\{+,-,0\}$ based on whether the points are collinear(0), oriented clockwise(-) or counter-clockwise(+). An abstract order type is a map $χ: \left[\substack{n\\3}\right] \rightarrow \{+,-,0\}$ (where $\left[\substack{n\\3}\right]$ is the collection of all triples of a set of $n$ elements) that satisfies the following condition: for every set of five elements $S\subset [n]$ its induced order type $χ_{|S}$ is realizable by a point set. To be precise, a point set $P$ realizes an order type $χ$,if $χ_P(p_i,p_j,p_k) = χ(i,j,k)$, for all $i<j<k$. Planar point sets are among the most basic and natural geometric objects of study in Discrete and Computational Geometry. Properties of point sets are relevant in theory and practice alike. It is known, that deciding if an abstract order type is realizable is complete for the existential theory of the reals. Our results show that order type realizability is much easier for realistic instances than in the worst case. In particular, we can recognize instances in "expected \NP-time". This is one of the first $\exists\mathbb{R}$-complete problems analyzed under the lens of Smoothed Analysis.
A bijection for essentially 3-connected toroidal maps
Published
• View Publication
• BIB
We present a bijection for toroidal maps that are essentially $3$-connected ($3$-connected in the periodic planar representation). Our construction actually proceeds on certain closely related bipartite toroidal maps with all faces of degree $4$ except for a hexagonal root-face. We show that these maps are in bijection with certain well-characterized bipartite unicellular maps. Our bijection, closely related to the recent one by Bonichon and Lévêque for essentially 4-connected toroidal triangulations, can be seen as the toroidal counterpart of the one developed in the planar case by Fusy, Poulalhon and Schaeffer, and it extends the one recently proposed by Fusy and Lévêque for essentially simple toroidal triangulations. Moreover, we show that rooted essentially $3$-connected toroidal maps can be decomposed into two pieces, a toroidal part that is treated by our bijection, and a planar part that is treated by the above-mentioned planar case bijection. This yields a combinatorial derivation for the bivariate generating function of rooted essentially $3$-connected toroidal maps, counted by vertices and faces.
Coloring count cones of planar graphs
Published
• View Publication
• BIB
For a plane near-triangulation $G$ with the outer face bounded by a cycle $C$, let $n^\star_G$ denote the function that to each $4$-coloring $ψ$ of $C$ assigns the number of ways $ψ$ extends to a $4$-coloring of $G$. The block-count reducibility argument (which has been developed in connection with attempted proofs of the Four Color Theorem) is equivalent to the statement that the function $n^\star_G$ belongs to a certain cone in the space of all functions from $4$-colorings of $C$ to real numbers. We investigate the properties of this cone for $|C|=5$, formulate a conjecture strengthening the Four Color Theorem, and present evidence supporting this conjecture.
The $2$-connected bottleneck Steiner network problem is NP-hard in any $\ell_p$ plane
Bottleneck Steiner networks model energy consumption in wireless ad-hoc networks. The task is to design a network spanning a given set of terminals and at most $k$ Steiner points such that the length of the longest edge is minimised. The problem has been extensively studied for the case where an optimal solution is a tree in the Euclidean plane. However, in order to model a wider range of applications, including fault-tolerant networks, it is necessary to consider multi-connectivity constraints for networks embedded in more general metrics. We show that the $2$-connected bottleneck Steiner network problem is NP-hard in any planar $p$-norm and, in fact, if P$\,\neq\,$NP then an optimal solution cannot be approximated to within a ratio of ${2}^\frac{1}{p}-ε$ in polynomial time for any $ε>0$ and $1\leq p< \infty$.
Complexity of planar signed graph homomorphisms to cycles
Published in Discrete Applied Mathematics 284:166-178, 2020
• View Publication
• BIB
We study homomorphism problems of signed graphs. A signed graph is an undirected graph where each edge is given a sign, positive or negative. An important concept for signed graphs is the operation of switching at a vertex, which is to change the sign of each incident edge. A homomorphism of a graph is a vertex-mapping that preserves the adjacencies; in the case of signed graphs, we also preserve the edge-signs. Special homomorphisms of signed graphs, called s-homomorphisms, have been studied. In an s-homomorphism, we allow, before the mapping, to perform any number of switchings on the source signed graph. This concept has been extensively studied, and a full complexity classification (polynomial or NP-complete) for s-homomorphism to a fixed target signed graph has recently been obtained. Such a dichotomy is not known when we restrict the input graph to be planar (not even for non-signed graph homomorphisms).
We show that deciding whether a (non-signed) planar graph admits a homomorphism to the square $C_t^2$ of a cycle with $t\ge 6$, or to the circular clique $K_{4t/(2t-1)}$ with $t\ge2$, are NP-complete problems. We use these results to show that deciding whether a planar signed graph admits an s-homomorphism to an unbalanced even cycle is NP-complete. (A cycle is unbalanced if it has an odd number of negative edges). We deduce a complete complexity dichotomy for the planar s-homomorphism problem with any signed cycle as a target.
We also study further restrictions involving the maximum degree and the girth of the input signed graph. We prove that planar s-homomorphism problems to signed cycles remain NP-complete even for inputs of maximum degree~$3$ (except for the case of unbalanced $4$-cycles, for which we show this for maximum degree~$4$). We also show that for a given integer $g$, the problem for signed bipartite planar inputs of girth $g$ is either trivial or NP-complete.
Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable
Published
• View Publication
• BIB
For a finite collection of graphs ${\cal F}$, the \textsc{${\cal F}$-TM-Deletion} problem has as input an $n$-vertex graph $G$ and an integer $k$ and asks whether there exists a set $S \subseteq V(G)$ with $|S| \leq k$ such that $G \setminus S$ does not contain any of the graphs in ${\cal F}$ as a topological minor. We prove that for every such ${\cal F}$, \textsc{${\cal F}$-TM-Deletion} is fixed parameter tractable on planar graphs. Our algorithm runs in a $2^{\mathcal{O}(k^2)}\cdot n^{2}$ time or, alternatively in $2^{\mathcal{O}(k)}\cdot n^{4}$ time. Our techniques can easily be extended to graphs that are embeddable on any fixed surface.
MatchTheNet -- An Educational Game on 3-Dimensional Polytopes
Published in 33rd International Symposium on Computational Geometry (SoCG 2017), Volume 77, 66:1--66:5
• View Publication
• BIB
We present an interactive game which challenges a single player to match 3-dimensional polytopes to their planar nets. It is open source, and it runs in standard web browsers
Testing Gap k-planarity is NP-complete
Published
• View Publication
• BIB
For all $k \geq 1$, we show that deciding whether a graph is $k$-planar is NP-complete, extending the well-known fact that deciding 1-planarity is NP-complete. Furthermore, we show that the gap version of this decision problem is NP-complete. In particular, given a graph with local crossing number either at most $k\ge 1$ or at least $2k$, we show that it is NP-complete to decide whether the local crossing number is at most $k$ or at least $2k$. This algorithmic lower bound proves the non-existence of a $(2-ε)$-approximation algorithm for any fixed $k \ge 1$. In addition, we analyze the sometimes competing relationship between the local crossing number (maximum number of crossings per edge) and crossing number (total number of crossings) of a drawing. We present results regarding the non-existence of drawings that simultaneously approximately minimize both the local crossing number and crossing number of a graph.
Intersection patterns of planar sets
Published
• View Publication
• BIB
Let $\mathcal A=\{A_1,\ldots,A_n\}$ be a family of sets in the plane. For $0 \leq i < n$, denote by $f_i$ the number of subsets $σ$ of $\{1,\ldots,n\}$ of cardinality $i+1$ that satisfy $\bigcap_{i \in σ} A_i \neq \emptyset$. Let $k \geq 2$ be an integer. We prove that if each $k$-wise and $(k+1)$-wise intersection of sets from $\mathcal A$ is empty, or a single point, or both open and path-connected, then $f_{k+1}=0$ implies $f_k \leq cf_{k-1}$ for some positive constant $c$ depending only on $k$. Similarly, let $b \geq 2, k > 2b$ be integers. We prove that if each $k$-wise or $(k+1)$-wise intersection of sets from $\mathcal A$ has at most $b$ path-connected components, which all are open, then $f_{k+1}=0$ implies $f_k \leq cf_{k-1}$ for some positive constant $c$ depending only on $b$ and $k$. These results also extend to two-dimensional compact surfaces.
A Note on Graphs of Dichromatic Number 2
Published
• View Publication
• BIB
Neumann-Lara and Škrekovski conjectured that every planar digraph is $2$-colourable. We show that this conjecture is equivalent to the more general statement that all oriented $K_5$-minor-free graphs are $2$-colourable.
Dimension is polynomial in height for posets with planar cover graphs
Published
• View Publication
• BIB
We show that height $h$ posets that have planar cover graphs have dimension $\mathcal{O}(h^6)$. Previously, the best upper bound was $2^{\mathcal{O}(h^3)}$. Planarity plays a key role in our arguments, since there are posets such that (1) dimension is exponential in height and (2) the cover graph excludes $K_5$ as a minor.
Trung's Construction and the Charney-Davis Conjecture
Published in Bull. Malays. Math. Sci. Soc., 44 (2021), 9-16
• View Publication
• BIB
We consider a construction by which we obtain a simple graph $\mathrm{T}(H,v)$ from a simple graph $H$ and a non-isolated vertex $v$ of $H$. We call this construction "Trung's construction". We prove that $\mathrm{T}(H,v)$ is well-covered, W$_2$ or Gorenstein if and only if $H$ is so. Also we present a formula for computing the independence polynomial of $\mathrm{T}(H,v)$ and investigate when $\mathrm{T}(H,v)$ satisfies the Charney-Davis conjecture. As a consequence of our results, we show that every Gorenstein planar graph with girth at least four, satisfies the Charney-Davis conjecture.
Bijections for generalized Tamari intervals via orientations
Published
• View Publication
• BIB
Generalized Tamari intervals have been recently introduced by Préville-Ratelle and Viennot, and have been proved to be in bijection with (rooted planar) non-separable maps by Fang and Préville-Ratelle. We present two new bijections between generalized Tamari intervals and non-separable maps. Our first construction proceeds via separating decompositions on simple bipartite quadrangulations (which are known to be in bijection with non-separable maps). It can be seen as an extension of the Bernardi-Bonichon bijection between Tamari intervals and minimal Schnyder woods. On the other hand, our second construction relies on a specialization of the Bernardi-Bonichon bijection to so-called synchronized Tamari intervals, which are known to be in one-to-one correspondence with generalized Tamari intervals. It yields a trivariate generating function expression that interpolates between the bivariate generating function for generalized Tamari intervals, and the univariate generating function for Tamari intervals.
On existence of integral point sets and their diameter bounds
Published in Australas. J. Combin. 77 (1) (2020), 100-116
• Search Publication
A point set $M$ in $m$-dimensional Euclidean space is called an integral point set if all the distances between the elements of $M$ are integers, and $M$ is not situated on an $(m-1)$-dimensional hyperplane. We improve the linear lower bound for diameter of planar integral point sets. This improvement takes into account some results related to the Point Packing in a Square problem. Then for arbitrary integers $m \geq 2$, $n \geq m+1$, $d \geq 1$ we give a construction of an integral point set $M$ of $n$ points in $m$-dimensional Euclidean space, where $M$ contains points $M_1$ and $M_2$ such that distance between $M_1$ and $M_2$ is exactly $d$.
Planar Posets that are Accessible from Below Have Dimension at Most 6
Planar posets can have arbitrarily large dimension. However, a planar poset of height $h$ has dimension at most $192h+96$, while a planar poset with $t$ minimal elements has dimension at most $2t+1$. In particular, a planar poset with a unique minimal element has dimension at most $3$. In this paper, we extend this result by showing that a planar poset has dimension at most $6$ if it has a plane diagram in which every minimal element is accessible from below.
A counterexample to prism-hamiltonicity of 3-connected planar graphs
The prism over a graph $G$ is the Cartesian product of $G$ with the complete graph $K_2$. A graph $G$ is hamiltonian if there exists a spanning cycle in $G$, and $G$ is prism-hamiltonian if the prism over $G$ is hamiltonian. In [M.~Rosenfeld, D.~Barnette, Hamiltonian circuits in certain prisms, Discrete Math. 5 (1973), 389--394] the authors conjectured that every 3-connected planar graph is prism-hamiltonian. We construct a counterexample to the conjecture.
Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees
Published in J. Algebraic Combin. 53 (2021), 1147-1185
• View Publication
• BIB
This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees.
On the 4-color theorem for signed graphs
There are several ways to generalize graph coloring to signed graphs. Máčajová, Raspaud and Škoviera introduced one of them and conjectured that in this setting, for signed planar graphs four colors are always enough, generalising thereby The Four Color Theorem. We disprove the conjecture.