planar
3209 papers tagged with this keyword
Planar Graph Perfect Matching is in NC
Published
• View Publication
• BIB
Is perfect matching in NC? That is, is there a deterministic fast parallel algorithm for it? This has been an outstanding open question in theoretical computer science for over three decades, ever since the discovery of RNC matching algorithms. Within this question, the case of planar graphs has remained an enigma: On the one hand, counting the number of perfect matchings is far harder than finding one (the former is #P-complete and the latter is in P), and on the other, for planar graphs, counting has long been known to be in NC whereas finding one has resisted a solution.
In this paper, we give an NC algorithm for finding a perfect matching in a planar graph. Our algorithm uses the above-stated fact about counting matchings in a crucial way. Our main new idea is an NC algorithm for finding a face of the perfect matching polytope at which $Ω(n)$ new conditions, involving constraints of the polytope, are simultaneously satisfied. Several other ideas are also needed, such as finding a point in the interior of the minimum weight face of this polytope and finding a balanced tight odd set in NC.
NC Algorithms for Weighted Planar Perfect Matching and Related Problems
Consider a planar graph $G=(V,E)$ with polynomially bounded edge weight function $w:E\to [0, poly(n)]$. The main results of this paper are NC algorithms for the following problems:
- minimum weight perfect matching in $G$,
- maximum cardinality and maximum weight matching in $G$ when $G$ is bipartite,
- maximum multiple-source multiple-sink flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function,
- minimum weight $f$-factor in $G$ where $f:V\to [1, poly(n)]$,
- min-cost flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function and $b:V\to [1, poly(n)]$ is a polynomially bounded vertex demand function.
There have been no known NC algorithms for any of these problems previously (Before this and independent paper by Anari and Vazirani). In order to solve these problems we develop a new relatively simple but versatile framework that is combinatorial in spirit. It handles the combinatorial structure of matchings directly and needs to only know weights of appropriately defined matchings from algebraic subroutines.
The 6-girth-thickness of the complete graph
Published in AKCE International Journal of Graphs and Combinatorics-2020
• View Publication
• BIB
The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this paper, we determine the $6$-girth-thickness $θ(6,K_n)$ of the complete graph $K_n$ in almost all cases. And also, we calculate by computer the missing value of $θ(4,K_n)$.
A note on the 4-girth-thickness of K_{n,n,n}
Published
• View Publication
• BIB
The $4$-girth-thickness $θ(4,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least four whose union is $G$. In this paper, we obtain that the 4-girth-thickness of complete tripartite graph $K_{n,n,n}$ is $\big\lceil\frac{n+1}{2}\big\rceil$ except for $θ(4,K_{1,1,1})=2$. And we also show that the $4$-girth-thickness of the complete graph $K_{10}$ is three which disprove the conjecture $θ(4,K_{10})=4$ posed by Rubio-Montiel (Ars Math Contemp 14(2) (2018) 319).
A Proof Technique for Skewness of Graphs
The skewness of a graph G is the minimum number of edges in G whose removal results in a planar graph. By appropriately introducing a weight to each edge of a graph, we determine, among other thing, the skewness of the generalized Petersen graph P(4k, k) for odd k at least 9. This provides an answer to the conjecture raised in [3].
Localization game on geometric and planar graphs
Published in Discrete Applied Mathematics, 251 (2018), 30-39
• View Publication
• BIB
The main topic of this paper is motivated by a localization problem in cellular networks. Given a graph $G$ we want to localize a walking agent by checking his distance to as few vertices as possible. The model we introduce is based on a pursuit graph game that resembles the famous Cops and Robbers game. It can be considered as a game theoretic variant of the \emph{metric dimension} of a graph. We provide upper bounds on the related graph invariant $ζ(G)$, defined as the least number of cops needed to localize the robber on a graph $G$, for several classes of graphs (trees, bipartite graphs, etc). Our main result is that, surprisingly, there exists planar graphs of treewidth $2$ and unbounded $ζ(G)$. On a positive side, we prove that $ζ(G)$ is bounded by the pathwidth of $G$. We then show that the algorithmic problem of determining $ζ(G)$ is NP-hard in graphs with diameter at most $2$. Finally, we show that at most one cop can approximate (arbitrary close) the location of the robber in the Euclidean plane.
A bijection between phylogenetic trees and plane oriented recursive trees
Phylogenetic trees are binary nonplanar trees with labelled leaves, and plane oriented recursive trees are planar trees with an increasing labelling. Both families are enumerated by double factorials. A bijection is constructed, using the respective representations a 2-partitions and trapezoidal words.
The first gap for total curvatures of planar graphs with nonnegative curvature
Published
• View Publication
• BIB
We prove that the total curvature of a planar graph with nonnegative combinatorial curvature is at least $\frac{1}{12}$ if it is positive. Moreover, we classify the metric structures of ambient polygonal surfaces for planar graphs attaining this bound.
Sufficient conditions on cycles that make planar graphs 4-choosable
Xu and Wu proved that if every $5$-cycle of a planar graph $G$ is not simultaneously adjacent to $3$-cycles and $4$-cycles, then $G$ is $4$-choosable. In this paper, we improve this result as follows. Let $\{i, j, k, l\} = \{3,4,5,6\}.$ For any chosen $i,$ if every $i$-cycle of a planar graph $G$ is not simultaneously adjacent to $j$-cycles, $k$-cycles, and $l$-cycles, then $G$ is $4$-choosable.
Enumeration of labelled 4-regular planar graphs
Published in Proceedings of the London Mathematical Society, Volume119, Issue2 August 2019 Pages 358-378
• View Publication
• BIB
We present the first combinatorial scheme for counting labelled 4-regular planar graphs through a complete recursive decomposition. More precisely, we show that the exponential generating function of labelled 4-regular planar graphs can be computed effectively as the solution of a system of equations, from which the coefficients can be extracted. As a byproduct, we also enumerate labelled 3-connected 4-regular planar graphs, and simple 4-regular rooted maps.
The 4-girth-thickness of the complete multipartite graph
Published in Electronic Journal of Graph Theory and Applications-2019
• View Publication
• BIB
The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the smallest number of planar subgraphs of girth at least $g$ whose union is $G$. In this paper, we calculate the $4$-girth-thickness $θ(4,G)$ of the complete $m$-partite graph $G$ when each part has an even number of vertices.
List-edge-colouring planar graphs with precoloured edges
Published
• View Publication
• BIB
Let $G$ be a simple planar graph of maximum degree $Δ$, let $t$ be a positive integer, and let $L$ be an edge list assignment on $G$ with $|L(e)| \geq Δ+t$ for all $e \in E(G)$. We prove that if $H$ is a subgraph of $G$ that has been $L$-edge-coloured, then the edge-precolouring can be extended to an $L$-edge-colouring of $G$, provided that $H$ has maximum degree $d\leq t$ and either $d \leq t-4$ or $Δ$ is large enough ($Δ\geq 16+d$ suffices). If $d>t$, there are examples for any choice of $Δ$ where the extension is impossible.
Induced 2-degenerate Subgraphs of Triangle-free Planar Graphs
A graph is $k$-degenerate if every subgraph has minimum degree at most $k$. We provide lower bounds on the size of a maximum induced 2-degenerate subgraph in a triangle-free planar graph. We denote the size of a maximum induced 2-degenerate subgraph of a graph $G$ by $α_2(G)$. We prove that if $G$ is a connected triangle-free planar graph with $n$ vertices and $m$ edges, then $α_2(G) \geq \frac{6n - m - 1}{5}$. By Euler's Formula, this implies $α_2(G) \geq \frac{4}{5}n$. We also prove that if $G$ is a triangle-free planar graph on $n$ vertices with at most $n_3$ vertices of degree at most three, then $α_2(G) \geq \frac{7}{8}n - 18 n_3$.
The evolution of random graphs on surfaces
Published
• View Publication
• BIB
For integers $g,m \geq 0$ and $n>0$, let $S_{g}(n,m)$ denote the graph taken uniformly at random from the set of all graphs on $\{1,2, \ldots, n\}$ with exactly $m=m(n)$ edges and with genus at most $g$. We use counting arguments to investigate the components, subgraphs, maximum degree, and largest face size of $S_{g}(n,m)$, finding that there is often different asymptotic behaviour depending on the ratio $\frac{m}{n}$.
In our main results, we show that the probability that $S_{g}(n,m)$ contains any given non-planar component converges to $0$ as $n \to \infty$ for all $m(n)$; the probability that $S_{g}(n,m)$ contains a copy of any given planar graph converges to $1$ as $n \to \infty$ if $\liminf \frac{m}{n} > 1$; the maximum degree of $S_{g}(n,m)$ is $Θ(\ln n)$ with high probability if $\liminf \frac{m}{n} > 1$; and the largest face size of $S_{g}(n,m)$ has a threshold around $\frac{m}{n}=1$ where it changes from $Θ(n)$ to $Θ(\ln n)$ with high probability.
Planar anti-Ramsey numbers for paths and cycles
Published
• View Publication
• BIB
Motivated by anti-Ramsey numbers introduced by Erdős, Simonovits and Sós in 1975, we study the anti-Ramsey problem when host graphs are plane triangulations. Given a positive integer $n$ and a planar graph $H$, let $\mathcal{T}_n(H)$ be the family of all plane triangulations $T$ on $n$ vertices such that $T$ contains a subgraph isomorphic to $H$. The planar anti-Ramsey number of $H$, denoted $ar_{_\mathcal{P}}(n, H)$, is the maximum number of colors in an edge-coloring of a plane triangulation $T\in \mathcal{T}_n(H)$ such that $T$ contains no rainbow copy of $H$. Analogous to anti-Ramsey numbers and Turán numbers, planar anti-Ramsey numbers are closely related to planar Turán numbers, where the planar Turán number of $H$ is the maximum number of edges of a planar graph on $n$ vertices without containing $H$ as a subgraph. The study of $ar_{_\mathcal{P}}(n, H)$ (under the name of rainbow numbers) was initiated by Horňák, Jendrol$'$, Schiermeyer and Soták [J Graph Theory 78 (2015) 248--257]. In this paper we study planar anti-Ramsey numbers for paths and cycles. We first establish lower bounds for $ar_{_\mathcal{P}}(n, P_k)$ when $n\ge k\ge8$. We then improve the existing lower bound for $ar_{_\mathcal{P}}(n, C_k)$ when $k\geq 5$ and $n\geq k^2-k$. Finally, using the main ideas in the above-mentioned paper, we obtain upper bounds for $ar_{_\mathcal{P}}(n, C_6)$ when $n\ge8$ and $ar_{_\mathcal{P}}(n, C_7)$ when $n\geq 13$, respectively.
Congruence lattices of finite diagram monoids
Published
• View Publication
• BIB
We give a complete description of the congruence lattices of the following finite diagram monoids: the partition monoid, the planar partition monoid, the Brauer monoid, the Jones monoid (also known as the Temperley-Lieb monoid), the Motzkin monoid, and the partial Brauer monoid. All the congruences under discussion arise as special instances of a new construction, involving an ideal I, a retraction I->M onto the minimal ideal, a congruence on M, and a normal subgroup of a maximal subgroup outside I.
Exponentially many nowhere-zero $Z_3$-, $Z_4$-, and $Z_6$-flows
We prove that, in several settings, a graph has exponentially many nowhere-zero flows. These results may be seen as a counting alternative to the well-known proofs of existence of $Z_3$-, $Z_4$-, and $Z_6$-flows.
In the dual setting, proving exponential number of 3-colorings of planar triangle-free graphs is a related open question due to Thomassen. As a part of the proof we obtain a new splitting lemma for 6-edge-connected graphs, that may be of independent interest.
Colored Point-set Embeddings of Acyclic Graphs
Published
• View Publication
• BIB
We show that any planar drawing of a forest of three stars whose vertices are constrained to be at fixed vertex locations may require $Ω(n^\frac{2}{3})$ edges each having $Ω(n^\frac{1}{3})$ bends in the worst case. The lower bound holds even when the function that maps vertices to points is not a bijection but it is defined by a 3-coloring. In contrast, a constant number of bends per edge can be obtained for 3-colored paths and for 3-colored caterpillars whose leaves all have the same color. Such results answer to a long standing open problem.
Beyond Outerplanarity
Published
• View Publication
• BIB
We study straight-line drawings of graphs where the vertices are placed in convex position in the plane, i.e., \emph{convex drawings}. We consider two families of graph classes with convex drawings: \emph{outer $k$-planar} graphs, where each edge is crossed by at most $k$ other edges; and, \emph{outer $k$-quasi-planar} graphs where no $k$ edges can mutually cross.
We show that the outer $k$-planar graphs are $\lfloor3.5\sqrt{k}\rfloor$-degenerate, and consequently that every outer $k$-planar graph can be colored with $\lfloor3.5\sqrt{k}\rfloor + 1$ colors. We further show that every outer $k$-planar graph has a balanced vertex separator of size at most $2k+3$. For each fixed $k$, these small balanced separators allow us to test outer $k$-planarity in quasi-polynomial time, e.g., this implies that none of these recognition problems is NP-hard unless the Exponential Time Hypothesis fails. We also show that the class of outer $k$-quasi-planar graphs and the class of planar graphs are incomparable.
Finally, we restrict outer $k$-planar and outer $k$-quasi-planar drawings to \emph{full} drawings (where no crossing appears on the boundary of the outer face) and to \emph{closed} drawings (where the vertex sequence on the boundary of the outer face is a Hamiltonian cycle in the graph). For each $k$, we express \emph{closed outer $k$-planarity} and \emph{closed outer $k$-quasi-planarity} in \emph{extended monadic second-order logic}. Due to a result of Wood and Telle (New York J. Math., 2007) every outer $k$-planar graph has treewidth at most $3k+11$. Thus, Courcelle's theorem implies that closed outer $k$-planarity is linear time testable. We leverage this result to further show that full outer $k$-planarity can also be tested in linear time.
On the largest planar graphs with everywhere positive combinatorial curvature (extended arxiv version)
Published
• View Publication
• BIB
A planar PCC graph is a simple connected planar graph with everywhere positive combinatorial curvature which is not a prism or an antiprism and with all vertices of degree at least 3. We prove that every planar PCC graph has at most 208 vertices, thus answering completely a question raised by DeVos and Mohar. The proof is based on a refined discharging technique and on an accurate low-scale combinatorical description of such graphs. We also prove that all faces in a planar PCC graph have at most 41 sides, and this result is sharp as well.