-
Partitioning a Planar Graph into two Triangle-Forests
Authors:
Kolja Knauer,
Clément Rambaud,
Torsten Ueckerdt
Abstract:
We show that the vertices of every planar graph can be partitioned into two sets, each inducing a so-called triangle-forest, i.e., a graph with no cycles of length more than three. We further discuss extensions to locally planar graphs.
We show that the vertices of every planar graph can be partitioned into two sets, each inducing a so-called triangle-forest, i.e., a graph with no cycles of length more than three. We further discuss extensions to locally planar graphs.
△ Less
Submitted 18 June, 2024; v1 submitted 27 January, 2024;
originally announced January 2024.
-
Boundedness for proper conflict-free and odd colorings
Authors:
Andrea Jiménez,
Kolja Knauer,
Carla Negri Lintzmayer,
Martín Matamala,
Juan Pablo Peña,
Daniel A. Quiroz,
Maycon Sambinelli,
Yoshiko Wakabayashi,
Weiqiang Yu,
José Zamora
Abstract:
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing a…
▽ More
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing an odd number of times among its neighbors. We say that a graph class $\mathcal{G}$ is $χ_{pcf}$-bounded ($χ_{o}$-bounded) if there is a function $f$ such that $χ_{pcf}(G) \leq f(χ(G))$ ($χ_{o}(G) \leq f(χ(G))$) for every $G \in \mathcal{G}$. Caro et al. (2022) asked for classes that are linearly $χ_{pcf}$-bounded ($χ_{pcf}$-bounded), and as a starting point, they showed that every claw-free graph $G$ satisfies $χ_{pcf}(G) \le 2Δ(G)+1$, which implies $χ_{pcf}(G) \le 4χ(G)+1$.
In this paper, we improve the bound for claw-free graphs to a nearly tight bound by showing that such a graph $G$ satisfies $χ_{pcf}(G) \le Δ(G)+6$, and even $χ_{pcf}(G) \le Δ(G)+4$ if it is a quasi-line graph. These results also give evidence for a conjecture by Caro et al. Moreover, we show that convex-round graphs and permutation graphs are linearly $χ_{pcf}$-bounded. For these last two results, we prove a lemma that reduces the problem of deciding if a hereditary class is linearly $χ_{pcf}$-bounded to deciding if the bipartite graphs in the class are $χ_{pcf}$-bounded by an absolute constant. This lemma complements a theorem of Liu (2022) and motivates us to study boundedness in bipartite graphs. In particular, we show that biconvex bipartite graphs are $χ_{pcf}$-bounded while convex bipartite graphs are not even $χ_o$-bounded, and exhibit a class of bipartite circle graphs that is linearly $χ_o$-bounded but not $χ_{pcf}$-bounded.
△ Less
Submitted 9 February, 2024; v1 submitted 31 July, 2023;
originally announced August 2023.
-
Roudneff's Conjecture in Dimension $4$
Authors:
Rangel Hernández-Ortiz,
Kolja Knauer,
Luis Pedro Montejano,
Manfred Scheucher
Abstract:
J.-P. Roudneff conjectured in 1991 that every arrangement of $n \ge 2d+1\ge 5$ pseudohyperplanes in the real projective space $\mathbb{P}^d$ has at most $\sum_{i=0}^{d-2} \binom{n-1}{i}$ complete cells (i.e., cells bounded by each hyperplane). The conjecture is true for $d=2,3$ and for arrangements arising from Lawrence oriented matroids. The main result of this manuscript is to show the validity…
▽ More
J.-P. Roudneff conjectured in 1991 that every arrangement of $n \ge 2d+1\ge 5$ pseudohyperplanes in the real projective space $\mathbb{P}^d$ has at most $\sum_{i=0}^{d-2} \binom{n-1}{i}$ complete cells (i.e., cells bounded by each hyperplane). The conjecture is true for $d=2,3$ and for arrangements arising from Lawrence oriented matroids. The main result of this manuscript is to show the validity of Roudneff's conjecture for $d=4$. Moreover, based on computational data we conjecture that the maximum number of complete cells is only obtained by cyclic arrangements.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
Clustered independence and bounded treewidth
Authors:
Kolja Knauer,
Torsten Ueckerdt
Abstract:
A set $S\subseteq V$ of vertices of a graph $G$ is a \emph{$c$-clustered set} if it induces a subgraph with components of order at most $c$ each, and $α_c(G)$ denotes the size of a largest $c$-clustered set. For any graph $G$ on $n$ vertices and treewidth $k$, we show that $α_c(G) \geq \frac{c}{c+k+1}n$, which improves a result of Wood [arXiv:2208.10074, August 2022], while we construct $n$-vertex…
▽ More
A set $S\subseteq V$ of vertices of a graph $G$ is a \emph{$c$-clustered set} if it induces a subgraph with components of order at most $c$ each, and $α_c(G)$ denotes the size of a largest $c$-clustered set. For any graph $G$ on $n$ vertices and treewidth $k$, we show that $α_c(G) \geq \frac{c}{c+k+1}n$, which improves a result of Wood [arXiv:2208.10074, August 2022], while we construct $n$-vertex graphs $G$ of treewidth~$k$ with $α_c(G)\leq \frac{c}{c+k}n$. In the case $c\leq 2$ or $k=1$ we prove the better lower bound $α_c(G) \geq \frac{c}{c+k}n$, which settles a conjecture of Chappell and Pelsmajer [Electron.\ J.\ Comb., 2013] and is best-possible. Finally, in the case $c=3$ and $k=2$, we show $α_c(G) \geq \frac{5}{9}n$ and which is best-possible.
△ Less
Submitted 12 May, 2023; v1 submitted 23 March, 2023;
originally announced March 2023.
-
Concepts of Dimension for Convex Geometries
Authors:
Kolja Knauer,
William T. Trotter
Abstract:
Let $X$ be a finite set. A family $P$ of subsets of $X$ is called a convex geometry with ground set $X$ if (1) $\emptyset, X\in P$; (2) $A\cap B\in P$ whenever $A,B\in P$; and (3) if $A\in P$ and $A\neq X$, there is an element $α\in X-A$ such that $A\cup\{α\}\in P$. As a non-empty family of sets, a convex geometry has a well defined VC-dimension. In the literature, a second parameter, called conve…
▽ More
Let $X$ be a finite set. A family $P$ of subsets of $X$ is called a convex geometry with ground set $X$ if (1) $\emptyset, X\in P$; (2) $A\cap B\in P$ whenever $A,B\in P$; and (3) if $A\in P$ and $A\neq X$, there is an element $α\in X-A$ such that $A\cup\{α\}\in P$. As a non-empty family of sets, a convex geometry has a well defined VC-dimension. In the literature, a second parameter, called convex dimension, has been defined expressly for these structures. Partially ordered by inclusion, a convex geometry is also a poset, and four additional dimension parameters have been defined for this larger class, called Dushnik-Miller dimension, Boolean dimension, local dimension, and fractional dimension, espectively.
For each pair of these six dimension parameters, we investigate whether there is an infinite class of convex geometries on which one parameter is bounded and the other is not.
△ Less
Submitted 9 January, 2024; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Lattice path matroids and quotients
Authors:
Carolina Benedetti,
Kolja Knauer
Abstract:
We characterize the quotients among lattice path matroids (LPMs) in terms of their diagrams. This characterization allows us to show that ordering LPMs by quotients yields a graded poset, whose rank polynomial has the Narayana numbers as coefficients.
Furthermore, we study full lattice path flag matroids and show that -- contrary to arbitrary positroid flag matroids -- they correspond to points…
▽ More
We characterize the quotients among lattice path matroids (LPMs) in terms of their diagrams. This characterization allows us to show that ordering LPMs by quotients yields a graded poset, whose rank polynomial has the Narayana numbers as coefficients.
Furthermore, we study full lattice path flag matroids and show that -- contrary to arbitrary positroid flag matroids -- they correspond to points in the nonnegative flag variety. At the basis of this result lies an identification of certain intervals of the strong Bruhat order with lattice path flag matroids.
A recent conjecture of Mcalmon, Oh, and Xiang states a characterization of quotients of positroids. We use our results to prove this conjecture in the case of LPMs.
△ Less
Submitted 15 January, 2024; v1 submitted 23 February, 2022;
originally announced February 2022.
-
Beyond symmetry in generalized Petersen graphs
Authors:
Ignacio García-Marco,
Kolja Knauer
Abstract:
A graph is a core or unretractive if all its endomorphisms are automorphisms. Well-known examples of cores include the Petersen graph and the graph of the dodecahedron -- both generalized Petersen graphs. We characterize the generalized Petersen graphs that are cores. A simple characterization of endomorphism-transitive generalized Petersen graphs follows. This extends the characterization of vert…
▽ More
A graph is a core or unretractive if all its endomorphisms are automorphisms. Well-known examples of cores include the Petersen graph and the graph of the dodecahedron -- both generalized Petersen graphs. We characterize the generalized Petersen graphs that are cores. A simple characterization of endomorphism-transitive generalized Petersen graphs follows. This extends the characterization of vertex-transitive generalized Petersen graphs due to Frucht, Graver, and Watkins and solves a problem of Fan and Xie.
Moreover, we study generalized Petersen graphs that are (underlying graphs of) Cayley graphs of monoids. We show that this is the case for the Petersen graph, answering a recent mathoverflow question, for the Desargues graphs, and for the dodecahedron -- answering a question of Knauer and Knauer. Moreover, we characterize the infinite family of generalized Petersen graphs that are Cayley graph of a monoid with generating connection set of size two. This extends Nedela and Škoviera's characterization of generalized Petersen graphs that are group Cayley graphs and complements results of Hao, Gao, and Luo.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Feedback vertex sets in (directed) graphs of bounded degeneracy or treewidth
Authors:
Kolja Knauer,
Hoang La,
Petru Valicov
Abstract:
We study the minimum size $f$ of a feedback vertex set in directed and undirected $n$-vertex graphs of given degeneracy or treewidth. In the undirected setting the bound $\frac{k-1}{k+1}n$ is known to be tight for graphs with bounded treewidth $k$ or bounded odd degeneracy $k$. We show that neither of the easy upper and lower bounds $\frac{k-1}{k+1}n$ and $\frac{k}{k+2}n$ can be exact for the case…
▽ More
We study the minimum size $f$ of a feedback vertex set in directed and undirected $n$-vertex graphs of given degeneracy or treewidth. In the undirected setting the bound $\frac{k-1}{k+1}n$ is known to be tight for graphs with bounded treewidth $k$ or bounded odd degeneracy $k$. We show that neither of the easy upper and lower bounds $\frac{k-1}{k+1}n$ and $\frac{k}{k+2}n$ can be exact for the case of even degeneracy. More precisely, for even degeneracy $k$ we prove that $f < \frac{k}{k+2}n$ and for every $ε>0$, there exists a $k$-degenerate graph for which $f\geq \frac{3k-2}{3k+4}n -ε$.
For directed graphs of bounded degeneracy $k$, we prove that $f\leq\frac{k-1}{k+1}n$ and that this inequality is strict when $k$ is odd. For directed graphs of bounded treewidth $k\geq 2$, we show that $f \leq \frac{k}{k+3}n$ and for every $ε>0$, there exists a $k$-degenerate graph for which $f\geq \frac{k-2\lfloor\log_2(k)\rfloor}{k+1}n -ε$. Further, we provide several constructions of low degeneracy or treewidth and large $f$.
△ Less
Submitted 13 July, 2022; v1 submitted 29 November, 2021;
originally announced November 2021.
-
Labeled sample compression schemes for complexes of oriented matroids
Authors:
Victor Chepoi,
Kolja Knauer,
Manon Philibert
Abstract:
We show that the topes of a complex of oriented matroids (abbreviated COM) of VC-dimension $d$ admit a proper labeled sample compression scheme of size $d$. This considerably extends results of Moran and Warmuth on ample classes, of Ben-David and Litman on affine arrangements of hyperplanes, and of the authors on complexes of uniform oriented matroids, and is a step towards the sample compression…
▽ More
We show that the topes of a complex of oriented matroids (abbreviated COM) of VC-dimension $d$ admit a proper labeled sample compression scheme of size $d$. This considerably extends results of Moran and Warmuth on ample classes, of Ben-David and Litman on affine arrangements of hyperplanes, and of the authors on complexes of uniform oriented matroids, and is a step towards the sample compression conjecture -- one of the oldest open problems in computational learning theory. On the one hand, our approach exploits the rich combinatorial cell structure of COMs via oriented matroid theory. On the other hand, viewing tope graphs of COMs as partial cubes creates a fruitful link to metric graph theory.
△ Less
Submitted 19 April, 2023; v1 submitted 28 October, 2021;
originally announced October 2021.
-
On monoid graphs
Authors:
Kolja Knauer,
Gil Puig i Surroca
Abstract:
We investigate Cayley graphs of finite semigroups and monoids. First, we look at semigroup digraphs, i.e., directed Cayley graphs of semigroups, and give a Sabidussi-type characterization in the case of monoids. We then correct a proof of Zelinka from '81 that characterizes semigroup digraphs with outdegree $1$. Further, answering a question of Knauer and Knauer, we construct for every $k\geq 2$ c…
▽ More
We investigate Cayley graphs of finite semigroups and monoids. First, we look at semigroup digraphs, i.e., directed Cayley graphs of semigroups, and give a Sabidussi-type characterization in the case of monoids. We then correct a proof of Zelinka from '81 that characterizes semigroup digraphs with outdegree $1$. Further, answering a question of Knauer and Knauer, we construct for every $k\geq 2$ connected $k$-outregular non-semigroup digraphs. On the other hand, we show that every sink-free directed graph is a union of connected components of a monoid digraph.
Second, we consider monoid graphs, i.e., underlying simple undirected graphs of Cayley graphs of monoids. We show that forests and threshold graphs form part of this family. Conversely, we construct the -- to our knowledge -- first graphs, that are not monoid graphs. We present non-monoid graphs that are planar, have arboricity $2$, and treewidth $3$ on the one hand, and non-monoid graphs of arbitrarily high connectivity on the other hand.
Third, we study generated monoid trees, i.e., trees that are monoid graphs with respect to a generating set. We give necessary and sufficient conditions for a tree to be in this family, allowing us to find large classes of trees inside and outside the family.
△ Less
Submitted 5 October, 2021; v1 submitted 3 October, 2021;
originally announced October 2021.
-
On the dichromatic number of surfaces
Authors:
Pierre Aboulker,
Frédéric Havet,
Kolja Knauer,
Clément Rambaud
Abstract:
In this paper, we give bounds on the dichromatic number $\vecχ(Σ)$ of a surface $Σ$, which is the maximum dichromatic number of an oriented graph embeddable on $Σ$. We determine the asymptotic behaviour of $\vecχ(Σ)$ by showing that there exist constants $a_1$ and $a_2$ such that, $a_1\frac{\sqrt{-c}}{\log(-c)} \leq \vecχ(Σ) \leq a_2 \frac{\sqrt{-c}}{\log(-c)} $ for every surface $Σ$ with Euler ch…
▽ More
In this paper, we give bounds on the dichromatic number $\vecχ(Σ)$ of a surface $Σ$, which is the maximum dichromatic number of an oriented graph embeddable on $Σ$. We determine the asymptotic behaviour of $\vecχ(Σ)$ by showing that there exist constants $a_1$ and $a_2$ such that, $a_1\frac{\sqrt{-c}}{\log(-c)} \leq \vecχ(Σ) \leq a_2 \frac{\sqrt{-c}}{\log(-c)} $ for every surface $Σ$ with Euler characteristic $c\leq -2$. We then give more explicit bounds for some surfaces with high Euler characteristic. In particular, we show that the dichromatic numbers of the projective plane $\mathbb{N}_1$, the Klein bottle $\mathbb{N}_2$, the torus $\mathbb{S}_1$, and Dyck's surface $\mathbb{N}_3$ are all equal to $3$, and that the dichromatic numbers of the $5$-torus $\mathbb{S}_5$ and the $10$-cross surface $\mathbb{N}_{10}$ are equal to $4$. We also consider the complexity of deciding whether a given digraph or oriented graph embeddable on a fixed surface is $k$-dicolourable. In particular, we show that for any fixed surface, deciding whether a digraph embeddable on this surface is $2$-dicolourable is NP-complete, and that deciding whether a planar oriented graph is $2$-dicolourable is NP-complete unless all planar oriented graphs are $2$-dicolourable (which was conjectured by Neumann-Lara).
△ Less
Submitted 16 November, 2021; v1 submitted 1 February, 2021;
originally announced February 2021.
-
On sensitivity in bipartite Cayley graphs
Authors:
Ignacio García-Marco,
Kolja Knauer
Abstract:
Huang proved that every set of more than half the vertices of the $d$-dimensional hypercube $Q_d$ induces a subgraph of maximum degree at least $\sqrt{d}$, which is tight by a result of Chung, Füredi, Graham, and Seymour. Huang asked whether similar results can be obtained for other highly symmetric graphs.
First, we present three infinite families of Cayley graphs of unbounded degree that conta…
▽ More
Huang proved that every set of more than half the vertices of the $d$-dimensional hypercube $Q_d$ induces a subgraph of maximum degree at least $\sqrt{d}$, which is tight by a result of Chung, Füredi, Graham, and Seymour. Huang asked whether similar results can be obtained for other highly symmetric graphs.
First, we present three infinite families of Cayley graphs of unbounded degree that contain induced subgraphs of maximum degree $1$ on more than half the vertices. In particular, this refutes a conjecture of Potechin and Tsang, for which first counterexamples were shown recently by Lehner and Verret. The first family consists of dihedrants and contains a sporadic counterexample encountered earlier by Lehner and Verret. The second family are star graphs, these are edge-transitive Cayley graphs of the symmetric group. All members of the third family are $d$-regular containing an induced matching on a $\frac{d}{2d-1}$-fraction of the vertices. This is largest possible and answers a question of Lehner and Verret.
Second, we consider Huang's lower bound for graphs with subcubes and show that the corresponding lower bound is tight for products of Coxeter groups of type $\mathbf{A_n}$, $\mathbf{I_2}(2k+1)$, and most exceptional cases. We believe that Coxeter groups are a suitable generalization of the hypercube with respect to Huang's question.
Finally, we show that induced subgraphs on more than half the vertices of Levi graphs of projective planes and of the Ramanujan graphs of Lubotzky, Phillips, and Sarnak have unbounded degree. This gives classes of Cayley graphs with properties similar to the ones provided by Huang's results. However, in contrast to Coxeter groups these graphs have no subcubes.
△ Less
Submitted 29 December, 2021; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Ample completions of OMs and CUOMs
Authors:
Victor Chepoi,
Kolja Knauer,
Manon Philibert
Abstract:
This paper considers completions of COMs (complexes oriented matroids) to ample partial cubes of the same VC-dimension. We show that these exist for OMs (oriented matroids) and CUOMs (complexes of uniform oriented matroids). This implies that OMs and CUOMs satisfy the sample compression conjecture -- one of the central open questions of learning theory. We conjecture that every COM can be complete…
▽ More
This paper considers completions of COMs (complexes oriented matroids) to ample partial cubes of the same VC-dimension. We show that these exist for OMs (oriented matroids) and CUOMs (complexes of uniform oriented matroids). This implies that OMs and CUOMs satisfy the sample compression conjecture -- one of the central open questions of learning theory. We conjecture that every COM can be completed to an ample partial cube without increasing the VC-dimension.
△ Less
Submitted 21 September, 2021; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Plattenbauten: Touching Rectangles in Space
Authors:
Stefan Felsner,
Kolja Knauer,
Torsten Ueckerdt
Abstract:
Planar bipartite graphs can be represented as touching graphs of horizontal and vertical segments in $\mathbb{R}^2$. We study a generalization in space: touching graphs of axis-aligned rectangles in $\mathbb{R}^3$, and prove that planar 3-colorable graphs can be represented this way. The result implies a characterization of corner polytopes previously obtained by Eppstein and Mumford. A by-product…
▽ More
Planar bipartite graphs can be represented as touching graphs of horizontal and vertical segments in $\mathbb{R}^2$. We study a generalization in space: touching graphs of axis-aligned rectangles in $\mathbb{R}^3$, and prove that planar 3-colorable graphs can be represented this way. The result implies a characterization of corner polytopes previously obtained by Eppstein and Mumford. A by-product of our proof is a distributive lattice structure on the set of orthogonal surfaces with given skeleton. Further, we study representations by axis-aligned non-coplanar rectangles in $\mathbb{R}^3$ such that all regions are boxes. We show that the resulting graphs correspond to octahedrations of an octahedron. This generalizes the correspondence between planar quadrangulations and families of horizontal and vertical segments in $\mathbb{R}^2$ with the property that all regions are rectangles.
△ Less
Submitted 15 September, 2023; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Enumerating $k$-arc-connected orientations
Authors:
Sarah Blind,
Kolja Knauer,
Petru Valicov
Abstract:
We study the problem of enumerating the $k$-arc-connected orientations of a graph $G$, i.e., generating each exactly once. A first algorithm using submodular flow optimization is easy to state, but intricate to implement. In a second approach we present a simple algorithm with $O(knm^2)$ time delay and amortized time $O(m^2)$, which improves over the analysis of the submodular flow algorithm. As i…
▽ More
We study the problem of enumerating the $k$-arc-connected orientations of a graph $G$, i.e., generating each exactly once. A first algorithm using submodular flow optimization is easy to state, but intricate to implement. In a second approach we present a simple algorithm with $O(knm^2)$ time delay and amortized time $O(m^2)$, which improves over the analysis of the submodular flow algorithm. As ingredients, we obtain enumeration algorithms for the $α$-orientations of a graph $G$ in $O(m^2)$ time delay and for the outdegree sequences attained by $k$-arc-connected orientations of $G$ in $O(knm^2)$ time delay.
△ Less
Submitted 28 July, 2020; v1 submitted 6 August, 2019;
originally announced August 2019.
-
On the Djoković-Winkler relation and its closure in subdivisions of fullerenes, triangulations, and chordal graphs
Authors:
Sandi Klavžar,
Kolja Knauer,
Tilen Marc
Abstract:
It was recently pointed out that certain SiO$_2$ layer structures and SiO$_2$ nanotubes can be described as full subdivisions aka subdivision graphs of partial cubes. A key tool for analyzing distance-based topological indices in molecular graphs is the Djoković-Winkler relation $Θ$ and its transitive closure $Θ^\ast$. In this paper we study the behavior of $Θ$ and $Θ^\ast$ with respect to full su…
▽ More
It was recently pointed out that certain SiO$_2$ layer structures and SiO$_2$ nanotubes can be described as full subdivisions aka subdivision graphs of partial cubes. A key tool for analyzing distance-based topological indices in molecular graphs is the Djoković-Winkler relation $Θ$ and its transitive closure $Θ^\ast$. In this paper we study the behavior of $Θ$ and $Θ^\ast$ with respect to full subdivisions. We apply our results to describe $Θ^\ast$ in full subdivisions of fullerenes, plane triangulations, and chordal graphs.
△ Less
Submitted 13 August, 2020; v1 submitted 14 June, 2019;
originally announced June 2019.
-
Two-dimensional partial cubes
Authors:
Victor Chepoi,
Kolja Knauer,
Manon Philibert
Abstract:
We investigate the structure of two-dimensional partial cubes, i.e., of isometric subgraphs of hypercubes whose vertex set defines a set family of VC-dimension at most 2. Equivalently, those are the partial cubes which are not contractible to the 3-cube $Q_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). We show that our graphs can be obtaine…
▽ More
We investigate the structure of two-dimensional partial cubes, i.e., of isometric subgraphs of hypercubes whose vertex set defines a set family of VC-dimension at most 2. Equivalently, those are the partial cubes which are not contractible to the 3-cube $Q_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). We show that our graphs can be obtained from two types of combinatorial cells (gated cycles and gated full subdivisions of complete graphs) via amalgams. The cell structure of two-dimensional partial cubes enables us to establish a variety of results. In particular, we prove that all partial cubes of VC-dimension 2 can be extended to ample aka lopsided partial cubes of VC-dimension 2, yielding that the set families defined by such graphs satisfy the sample compression conjecture by Littlestone and Warmuth (1986). Furthermore we point out relations to tope graphs of COMs of low rank and region graphs of pseudoline arrangements.
△ Less
Submitted 19 May, 2021; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Flip distances between graph orientations
Authors:
Oswin Aichholzer,
Jean Cardinal,
Tony Huynh,
Kolja Knauer,
Torsten Mütze,
Raphael Steiner,
Birgit Vogtenhuber
Abstract:
Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip distance: Given two objects, what is the…
▽ More
Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip distance: Given two objects, what is the minimum number of flips needed to transform one into the other?
We consider flip graphs on orientations of simple graphs, where flips consist of reversing the direction of some edges. More precisely, we consider so-called $α$-orientations of a graph $G$, in which every vertex $v$ has a specified outdegree $α(v)$, and a flip consists of reversing all edges of a directed cycle. We prove that deciding whether the flip distance between two $α$-orientations of a planar graph $G$ is at most two is \NP-complete. This also holds in the special case of perfect matchings, where flips involve alternating cycles. This problem amounts to finding geodesics on the common base polytope of two partition matroids, or, alternatively, on an alcoved polytope. It therefore provides an interesting example of a flip distance question that is computationally intractable despite having a natural interpretation as a geodesic on a nicely structured combinatorial polytope.
We also consider the dual question of the flip distance betwe en graph orientations in which every cycle has a specified number of forward edges, and a flip is the reversal of all edges in a minimal directed cut. In general, the problem remains hard. However, if we restrict to flips that only change sinks into sources, or vice-versa, then the problem can be solved in polynomial time. Here we exploit the fact that the flip graph is the cover graph of a distributive lattice. This generalizes a recent result from Zhang, Qian, and Zhang.
△ Less
Submitted 16 February, 2019;
originally announced February 2019.
-
The Queue-Number of Posets of Bounded Width or Height
Authors:
Kolja Knauer,
Piotr Micek,
Torsten Ueckerdt
Abstract:
Heath and Pemmaraju conjectured that the queue-number of a poset is bounded by its width and if the poset is planar then also by its height. We show that there are planar posets whose queue-number is larger than their height, refuting the second conjecture. On the other hand, we show that any poset of width $2$ has queue-number at most $2$, thus confirming the first conjecture in the first non-tri…
▽ More
Heath and Pemmaraju conjectured that the queue-number of a poset is bounded by its width and if the poset is planar then also by its height. We show that there are planar posets whose queue-number is larger than their height, refuting the second conjecture. On the other hand, we show that any poset of width $2$ has queue-number at most $2$, thus confirming the first conjecture in the first non-trivial case. Moreover, we improve the previously best known bounds and show that planar posets of width $w$ have queue-number at most $3w-2$ while any planar poset with $0$ and $1$ has queue-number at most its width.
△ Less
Submitted 7 September, 2018; v1 submitted 12 June, 2018;
originally announced June 2018.
-
The interval number of a planar graph is at most three
Authors:
Guillaume Guégan,
Kolja Knauer,
Jonathan Rollin,
Torsten Ueckerdt
Abstract:
The interval number of a graph $G$ is the minimum $k$ such that one can assign to each vertex of $G$ a union of $k$ intervals on the real line, such that $G$ is the intersection graph of these sets, i.e., two vertices are adjacent in $G$ if and only if the corresponding sets of intervals have non-empty intersection. In 1983 Scheinerman and West [The interval number of a planar graph: Three interva…
▽ More
The interval number of a graph $G$ is the minimum $k$ such that one can assign to each vertex of $G$ a union of $k$ intervals on the real line, such that $G$ is the intersection graph of these sets, i.e., two vertices are adjacent in $G$ if and only if the corresponding sets of intervals have non-empty intersection. In 1983 Scheinerman and West [The interval number of a planar graph: Three intervals suffice. \textit{J.~Comb.~Theory, Ser.~B}, 35:224--239, 1983] proved that the interval number of any planar graph is at most $3$. However the original proof has a flaw. We give a different and shorter proof of this result.
△ Less
Submitted 25 July, 2019; v1 submitted 8 May, 2018;
originally announced May 2018.
-
Cuts in matchings of 3-connected cubic graphs
Authors:
Kolja Knauer,
Petru Valicov
Abstract:
We discuss conjectures on Hamiltonicity in cubic graphs (Tait, Barnette, Tutte), on the dichromatic number of planar oriented graphs (Neumann-Lara), and on even graphs in digraphs whose contraction is strongly connected (Hochstättler). We show that all of them fit into the same framework related to cuts in matchings. This allows us to find a counterexample to the conjecture of Hochstättler and sho…
▽ More
We discuss conjectures on Hamiltonicity in cubic graphs (Tait, Barnette, Tutte), on the dichromatic number of planar oriented graphs (Neumann-Lara), and on even graphs in digraphs whose contraction is strongly connected (Hochstättler). We show that all of them fit into the same framework related to cuts in matchings. This allows us to find a counterexample to the conjecture of Hochstättler and show that the conjecture of Neumann-Lara holds for all planar graphs on at most 26 vertices. Finally, we state a new conjecture on bipartite cubic oriented graphs, that naturally arises in this setting.
△ Less
Submitted 7 September, 2018; v1 submitted 17 December, 2017;
originally announced December 2017.
-
Computing metric hulls in graphs
Authors:
Kolja Knauer,
Nicolas Nisse
Abstract:
We prove that, given a closure function the smallest preimage of a closed set can be calculated in polynomial time in the number of closed sets. This confirms a conjecture of Albenque and Knauer and implies that there is a polynomial time algorithm to compute the convex hull-number of a graph, when all its convex subgraphs are given as input. We then show that computing if the smallest preimage of…
▽ More
We prove that, given a closure function the smallest preimage of a closed set can be calculated in polynomial time in the number of closed sets. This confirms a conjecture of Albenque and Knauer and implies that there is a polynomial time algorithm to compute the convex hull-number of a graph, when all its convex subgraphs are given as input. We then show that computing if the smallest preimage of a closed set is logarithmic in the size of the ground set is LOGSNP-complete if only the ground set is given. A special instance of this problem is computing the dimension of a poset given its linear extension graph, that was conjectured to be in P.
The intent to show that the latter problem is LOGSNP-complete leads to several interesting questions and to the definition of the isometric hull, i.e., a smallest isometric subgraph containing a given set of vertices $S$. While for $|S|=2$ an isometric hull is just a shortest path, we show that computing the isometric hull of a set of vertices is NP-complete even if $|S|=3$. Finally, we consider the problem of computing the isometric hull-number of a graph and show that computing it is $Σ^P_2$ complete.
△ Less
Submitted 30 April, 2018; v1 submitted 9 October, 2017;
originally announced October 2017.
-
Decomposing $4$-connected planar triangulations into two trees and one path
Authors:
Kolja Knauer,
Torsten Ueckerdt
Abstract:
Refining a classical proof of Whitney, we show that any $4$-connected planar triangulation can be decomposed into a Hamiltonian path and two trees.
Therefore, every $4$-connected planar graph decomposes into three forests, one having maximum degree at most $2$.
We use this result to show that any Hamiltonian planar triangulation can be decomposed into two trees and one spanning tree of maximum…
▽ More
Refining a classical proof of Whitney, we show that any $4$-connected planar triangulation can be decomposed into a Hamiltonian path and two trees.
Therefore, every $4$-connected planar graph decomposes into three forests, one having maximum degree at most $2$.
We use this result to show that any Hamiltonian planar triangulation can be decomposed into two trees and one spanning tree of maximum degree at most $3$.
These decompositions improve the result of Gonçalves [Covering planar graphs with forests, one having bounded maximum degree. J. Comb. Theory, Ser. B, 100(6):729--739, 2010] that every planar graph can be decomposed into three forests, one of maximum degree at most $4$.
We also show that our results are best-possible.
△ Less
Submitted 20 April, 2018; v1 submitted 6 October, 2017;
originally announced October 2017.
-
Chomp on numerical semigroups
Authors:
Ignacio García-Marco,
Kolja Knauer
Abstract:
We consider the two-player game chomp on posets associated to numerical semigroups and show that the analysis of strategies for chomp is strongly related to classical properties of semigroups. We characterize, which player has a winning-strategy for symmetric semigroups, semigroups of maximal embedding dimension and several families of numerical semigroups generated by arithmetic sequences. Furthe…
▽ More
We consider the two-player game chomp on posets associated to numerical semigroups and show that the analysis of strategies for chomp is strongly related to classical properties of semigroups. We characterize, which player has a winning-strategy for symmetric semigroups, semigroups of maximal embedding dimension and several families of numerical semigroups generated by arithmetic sequences. Furthermore, we show that which player wins on a given numerical semigroup is a decidable question. Finally, we extend several of our results to the more general setting of subsemigroups of $\mathbb{N} \times T$, where $T$ is a finite abelian group.
△ Less
Submitted 13 March, 2018; v1 submitted 31 May, 2017;
originally announced May 2017.
-
On tope graphs of complexes of oriented matroids
Authors:
Kolja Knauer,
Tilen Marc
Abstract:
We give two graph theoretical characterizations of tope graphs of (complexes of) oriented matroids. The first is in terms of excluded partial cube minors, the second is that all antipodal subgraphs are gated. A direct consequence is a third characterization in terms of zone graphs of tope graphs.
Further corollaries include a characterization of topes of oriented matroids due to da Silva, anothe…
▽ More
We give two graph theoretical characterizations of tope graphs of (complexes of) oriented matroids. The first is in terms of excluded partial cube minors, the second is that all antipodal subgraphs are gated. A direct consequence is a third characterization in terms of zone graphs of tope graphs.
Further corollaries include a characterization of topes of oriented matroids due to da Silva, another one of Handa, a characterization of lopsided systems due to Lawrence, and an intrinsic characterization of tope graphs of affine oriented matroids. Furthermore, we obtain polynomial time recognition algorithms for tope graphs of the above and a finite list of excluded partial cube minors for the bounded rank case. In particular, this answers a relatively long-standing open question in oriented matroids. Another consequence is that all finite Pasch graphs are tope graphs of complexes of oriented matroids, which confirms a conjecture of Chepoi and the two authors.
△ Less
Submitted 28 May, 2019; v1 submitted 19 January, 2017;
originally announced January 2017.
-
A correction of a characterization of planar partial cubes
Authors:
Rémi Desgranges,
Kolja Knauer
Abstract:
In this note we determine the set of expansions such that a partial cube is planar if and only if it arises by a sequence of such expansions from a single vertex. This corrects a result of Peterin.
In this note we determine the set of expansions such that a partial cube is planar if and only if it arises by a sequence of such expansions from a single vertex. This corrects a result of Peterin.
△ Less
Submitted 7 January, 2017; v1 submitted 18 October, 2016;
originally announced October 2016.
-
Hypercellular graphs: partial cubes without $Q_3^-$ as partial cube minor
Authors:
Victor Chepoi,
Kolja Knauer,
Tilen Marc
Abstract:
We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of s…
▽ More
We investigate the structure of isometric subgraphs of hypercubes (i.e., partial cubes) which do not contain finite convex subgraphs contractible to the 3-cube minus one vertex $Q^-_3$ (here contraction means contracting the edges corresponding to the same coordinate of the hypercube). Extending similar results for median and cellular graphs, we show that the convex hull of an isometric cycle of such a graph is gated and isomorphic to the Cartesian product of edges and even cycles. Furthermore, we show that our graphs are exactly the class of partial cubes in which any finite convex subgraph can be obtained from the Cartesian products of edges and even cycles via successive gated amalgams. This decomposition result enables us to establish a variety of results. In particular, it yields that our class of graphs generalizes median and cellular graphs, which motivates naming our graphs hypercellular. Furthermore, we show that hypercellular graphs are tope graphs of zonotopal complexes of oriented matroids. Finally, we characterize hypercellular graphs as being median-cell -- a property naturally generalizing the notion of median graphs.
△ Less
Submitted 23 August, 2019; v1 submitted 7 June, 2016;
originally announced June 2016.
-
A Tutte polynomial inequality for lattice path matroids
Authors:
Kolja Knauer,
Leonardo Martínez-Sandoval,
Jorge Luis Ramírez Alfonsín
Abstract:
Let $M$ be a matroid without loops or coloops and let $T(M;x,y)$ be its Tutte polynomial. In 1999 Merino and Welsh conjectured that $$\max(T(M;2,0), T(M;0,2))\geq T(M;1,1)$$ holds for graphic matroids. Ten years later, Conde and Merino proposed a multiplicative version of the conjecture which implies the original one. In this paper we prove the multiplicative conjecture for the family of lattice p…
▽ More
Let $M$ be a matroid without loops or coloops and let $T(M;x,y)$ be its Tutte polynomial. In 1999 Merino and Welsh conjectured that $$\max(T(M;2,0), T(M;0,2))\geq T(M;1,1)$$ holds for graphic matroids. Ten years later, Conde and Merino proposed a multiplicative version of the conjecture which implies the original one. In this paper we prove the multiplicative conjecture for the family of lattice path matroids (generalizing earlier results on uniform and Catalan matroids). In order to do this, we introduce and study particular lattice path matroids, called snakes, used as building bricks to indeed establish a strengthening of the multiplicative conjecture as well as a complete characterization of the cases in which equality holds.
△ Less
Submitted 27 October, 2016; v1 submitted 2 October, 2015;
originally announced October 2015.
-
Drawing graphs with vertices and edges in convex position
Authors:
Ignacio García-Marco,
Kolja Knauer
Abstract:
A graph has strong convex dimension $2$, if it admits a straight-line drawing in the plane such that its vertices are in convex position and the midpoints of its edges are also in convex position. Halman, Onn, and Rothblum conjectured that graphs of strong convex dimension $2$ are planar and therefore have at most $3n-6$ edges. We prove that all such graphs have at most $2n-3$ edges while on the o…
▽ More
A graph has strong convex dimension $2$, if it admits a straight-line drawing in the plane such that its vertices are in convex position and the midpoints of its edges are also in convex position. Halman, Onn, and Rothblum conjectured that graphs of strong convex dimension $2$ are planar and therefore have at most $3n-6$ edges. We prove that all such graphs have at most $2n-3$ edges while on the other hand we present a class of non-planar graphs of strong convex dimension $2$. We also give lower bounds on the maximum number of edges a graph of strong convex dimension $2$ can have and discuss variants of this graph class. We apply our results to questions about large convexly independent sets in Minkowski sums of planar point sets, that have been of interest in recent years.
△ Less
Submitted 15 June, 2016; v1 submitted 7 September, 2015;
originally announced September 2015.
-
COMs: Complexes of Oriented Matroids
Authors:
Hans-Juergen Bandelt,
Victor Chepoi,
Kolja Knauer
Abstract:
In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditio…
▽ More
In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asymmetric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of "conditional oriented matroid" (abbreviated COM). These novel structures can be characterized in terms of three cocircuits axioms, generalizing the familiar characterization for oriented matroids. We describe a binary composition scheme by which every COM can successively be erected as a certain complex of oriented matroids, in essentially the same way as a lopsided set can be glued together from its maximal hypercube faces. A realizable COM is represented by a hyperplane arrangement restricted to an open convex set. Among these are the examples formed by linear extensions of ordered sets, generalizing the oriented matroids corresponding to the permutohedra. Relaxing realizability to local realizability, we capture a wider class of combinatorial objects: we show that non-positively curved Coxeter zonotopal complexes give rise to locally realizable COMs.
△ Less
Submitted 3 January, 2018; v1 submitted 22 July, 2015;
originally announced July 2015.
-
Graph drawings with one bend and few slopes
Authors:
Kolja Knauer,
Bartosz Walczak
Abstract:
We consider drawings of graphs in the plane in which edges are represented by polygonal paths with at most one bend and the number of different slopes used by all segments of these paths is small. We prove that $\lceil\fracΔ{2}\rceil$ edge slopes suffice for outerplanar drawings of outerplanar graphs with maximum degree $Δ\geq 3$. This matches the obvious lower bound. We also show that…
▽ More
We consider drawings of graphs in the plane in which edges are represented by polygonal paths with at most one bend and the number of different slopes used by all segments of these paths is small. We prove that $\lceil\fracΔ{2}\rceil$ edge slopes suffice for outerplanar drawings of outerplanar graphs with maximum degree $Δ\geq 3$. This matches the obvious lower bound. We also show that $\lceil\fracΔ{2}\rceil+1$ edge slopes suffice for drawings of general graphs, improving on the previous bound of $Δ+1$. Furthermore, we improve previous upper bounds on the number of slopes needed for planar drawings of planar and bipartite planar graphs.
△ Less
Submitted 27 September, 2015; v1 submitted 14 June, 2015;
originally announced June 2015.
-
Planar digraphs without large acyclic sets
Authors:
Kolja Knauer,
Petru Valicov,
Paul S. Wenger
Abstract:
Given a directed graph, an acyclic set is a set of vertices inducing a subgraph with no directed cycle. In this note we show that there exist oriented planar graphs of order $n$ for which the size of the maximum acyclic set is at most $\lceil \frac{n+1}{2} \rceil$, for any $n$. This disproves a conjecture of Harutyunyan and shows that a question of Albertson is best possible.
Given a directed graph, an acyclic set is a set of vertices inducing a subgraph with no directed cycle. In this note we show that there exist oriented planar graphs of order $n$ for which the size of the maximum acyclic set is at most $\lceil \frac{n+1}{2} \rceil$, for any $n$. This disproves a conjecture of Harutyunyan and shows that a question of Albertson is best possible.
△ Less
Submitted 14 June, 2016; v1 submitted 25 April, 2015;
originally announced April 2015.
-
On the structure of Schnyder woods on orientable surfaces
Authors:
Daniel Gonçalves,
Kolja Knauer,
Benjamin Lévêque
Abstract:
We propose a simple generalization of Schnyder woods from the plane to maps on orientable surfaces of higher genus. This is done in the language of angle labelings. Generalizing results of De Fraysseix and Ossona de Mendez, and Felsner, we establish a correspondence between these labelings and orientations and characterize the set of orientations of a map that correspond to such a Schnyder labelin…
▽ More
We propose a simple generalization of Schnyder woods from the plane to maps on orientable surfaces of higher genus. This is done in the language of angle labelings. Generalizing results of De Fraysseix and Ossona de Mendez, and Felsner, we establish a correspondence between these labelings and orientations and characterize the set of orientations of a map that correspond to such a Schnyder labeling. Furthermore, we study the set of these orientations of a given map and provide a natural partition into distributive lattices depending on the surface homology. This generalizes earlier results of Felsner and Ossona de Mendez. In the toroidal case, a new proof for the existence of Schnyder woods is derived from this approach.
△ Less
Submitted 1 July, 2016; v1 submitted 22 January, 2015;
originally announced January 2015.
-
On the Duality of Semiantichains and Unichain Coverings
Authors:
Bartłomiej Bosek,
Stefan Felsner,
Kolja Knauer,
Grzegorz Matecki
Abstract:
We study a min-max relation conjectured by Saks and West: For any two posets $P$ and $Q$ the size of a maximum semiantichain and the size of a minimum unichain covering in the product $P\times Q$ are equal. For positive we state conditions on $P$ and $Q$ that imply the min-max relation. Based on these conditions we identify some new families of posets where the conjecture holds and get easy proofs…
▽ More
We study a min-max relation conjectured by Saks and West: For any two posets $P$ and $Q$ the size of a maximum semiantichain and the size of a minimum unichain covering in the product $P\times Q$ are equal. For positive we state conditions on $P$ and $Q$ that imply the min-max relation. Based on these conditions we identify some new families of posets where the conjecture holds and get easy proofs for several instances where the conjecture had been verified before. However, we also have examples showing that in general the min-max relation is false, i.e., we disprove the Saks-West conjecture.
△ Less
Submitted 6 January, 2014;
originally announced January 2014.
-
Convexity in partial cubes: the hull number
Authors:
Marie Albenque,
Kolja Knauer
Abstract:
We prove that the combinatorial optimization problem of determining the hull number of a partial cube is NP-complete. This makes partial cubes the minimal graph class for which NP-completeness of this problem is known and improves some earlier results in the literature.
On the other hand we provide a polynomial-time algorithm to determine the hull number of planar partial cube quadrangulations.…
▽ More
We prove that the combinatorial optimization problem of determining the hull number of a partial cube is NP-complete. This makes partial cubes the minimal graph class for which NP-completeness of this problem is known and improves some earlier results in the literature.
On the other hand we provide a polynomial-time algorithm to determine the hull number of planar partial cube quadrangulations.
Instances of the hull number problem for partial cubes described include poset dimension and hitting sets for interiors of curves in the plane.
To obtain the above results, we investigate convexity in partial cubes and characterize these graphs in terms of their lattice of convex subgraphs, improving a theorem of Handa. Furthermore we provide a topological representation theorem for planar partial cubes, generalizing a result of Fukuda and Handa about rank three oriented matroids.
△ Less
Submitted 8 October, 2015; v1 submitted 23 September, 2013;
originally announced September 2013.
-
Making Octants Colorful and Related Covering Decomposition Problems
Authors:
Jean Cardinal,
Kolja Knauer,
Piotr Micek,
Torsten Ueckerdt
Abstract:
We give new positive results on the long-standing open problem of geometric covering decomposition for homothetic polygons. In particular, we prove that for any positive integer k, every finite set of points in R^3 can be colored with k colors so that every translate of the negative octant containing at least k^6 points contains at least one of each color. The best previously known bound was doubl…
▽ More
We give new positive results on the long-standing open problem of geometric covering decomposition for homothetic polygons. In particular, we prove that for any positive integer k, every finite set of points in R^3 can be colored with k colors so that every translate of the negative octant containing at least k^6 points contains at least one of each color. The best previously known bound was doubly exponential in k. This yields, among other corollaries, the first polynomial bound for the decomposability of multiple coverings by homothetic triangles. We also investigate related decomposition problems involving intervals appearing on a line. We prove that no algorithm can dynamically maintain a decomposition of a multiple covering by intervals under insertion of new intervals, even in a semi-online model, in which some coloring decisions can be delayed. This implies that a wide range of swee** plane algorithms cannot guarantee any bound even for special cases of the octant problem.
△ Less
Submitted 29 May, 2014; v1 submitted 10 July, 2013;
originally announced July 2013.
-
Coloring Hypergraphs Induced by Dynamic Point Sets and Bottomless Rectangles
Authors:
Andrei Asinowski,
Jean Cardinal,
Nathann Cohen,
Sébastien Collette,
Thomas Hackl,
Michael Hoffmann,
Kolja Knauer,
Stefan Langerman,
Michał Lasoń,
Piotr Micek,
Günter Rote,
Torsten Ueckerdt
Abstract:
We consider a coloring problem on dynamic, one-dimensional point sets: points appearing and disappearing on a line at given times. We wish to color them with k colors so that at any time, any sequence of p(k) consecutive points, for some function p, contains at least one point of each color.
We prove that no such function p(k) exists in general. However, in the restricted case in which points ap…
▽ More
We consider a coloring problem on dynamic, one-dimensional point sets: points appearing and disappearing on a line at given times. We wish to color them with k colors so that at any time, any sequence of p(k) consecutive points, for some function p, contains at least one point of each color.
We prove that no such function p(k) exists in general. However, in the restricted case in which points appear gradually, but never disappear, we give a coloring algorithm guaranteeing the property at any time with p(k)=3k-2. This can be interpreted as coloring point sets in R^2 with k colors such that any bottomless rectangle containing at least 3k-2 points contains at least one point of each color. Here a bottomless rectangle is an axis-aligned rectangle whose bottom edge is below the lowest point of the set. For this problem, we also prove a lower bound p(k)>ck, where c>1.67. Hence for every k there exists a point set, every k-coloring of which is such that there exists a bottomless rectangle containing ck points and missing at least one of the k colors.
Chen et al. (2009) proved that no such function $p(k)$ exists in the case of general axis-aligned rectangles. Our result also complements recent results from Keszegh and Palvolgyi on cover-decomposability of octants (2011, 2012).
△ Less
Submitted 11 February, 2013;
originally announced February 2013.
-
Making Triangles Colorful
Authors:
Jean Cardinal,
Kolja Knauer,
Piotr Micek,
Torsten Ueckerdt
Abstract:
We prove that for any point set P in the plane, a triangle T, and a positive integer k, there exists a coloring of P with k colors such that any homothetic copy of T containing at least ck^8 points of P, for some constant c, contains at least one of each color. This is the first polynomial bound for range spaces induced by homothetic polygons. The only previously known bound for this problem appli…
▽ More
We prove that for any point set P in the plane, a triangle T, and a positive integer k, there exists a coloring of P with k colors such that any homothetic copy of T containing at least ck^8 points of P, for some constant c, contains at least one of each color. This is the first polynomial bound for range spaces induced by homothetic polygons. The only previously known bound for this problem applies to the more general case of octants in R^3, but is doubly exponential.
△ Less
Submitted 11 December, 2012;
originally announced December 2012.
-
Outerplanar graph drawings with few slopes
Authors:
Kolja Knauer,
Piotr Micek,
Bartosz Walczak
Abstract:
We consider straight-line outerplanar drawings of outerplanar graphs in which a small number of distinct edge slopes are used, that is, the segments representing edges are parallel to a small number of directions. We prove that $Δ-1$ edge slopes suffice for every outerplanar graph with maximum degree $Δ\ge 4$. This improves on the previous bound of $O(Δ^5)$, which was shown for planar partial 3-tr…
▽ More
We consider straight-line outerplanar drawings of outerplanar graphs in which a small number of distinct edge slopes are used, that is, the segments representing edges are parallel to a small number of directions. We prove that $Δ-1$ edge slopes suffice for every outerplanar graph with maximum degree $Δ\ge 4$. This improves on the previous bound of $O(Δ^5)$, which was shown for planar partial 3-trees, a superclass of outerplanar graphs. The bound is tight: for every $Δ\ge 4$ there is an outerplanar graph with maximum degree $Δ$ that requires at least $Δ-1$ distinct edge slopes in an outerplanar straight-line drawing.
△ Less
Submitted 10 April, 2014; v1 submitted 11 May, 2012;
originally announced May 2012.
-
On the bend-number of planar and outerplanar graphs
Authors:
Daniel Heldt,
Kolja Knauer,
Torsten Ueckerdt
Abstract:
The bend-number b(G) of a graph G is the minimum k such that G may be represented as the edge intersection graph of a set of grid paths with at most k bends. We confirm a conjecture of Biedl and Stern showing that the maximum bend-number of outerplanar graphs is 2. Moreover we improve the formerly known lower and upper bound for the maximum bend-number of planar graphs from 2 and 5 to 3 and 4, res…
▽ More
The bend-number b(G) of a graph G is the minimum k such that G may be represented as the edge intersection graph of a set of grid paths with at most k bends. We confirm a conjecture of Biedl and Stern showing that the maximum bend-number of outerplanar graphs is 2. Moreover we improve the formerly known lower and upper bound for the maximum bend-number of planar graphs from 2 and 5 to 3 and 4, respectively.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
Edge-intersection graphs of grid paths: the bend-number
Authors:
Daniel Heldt,
Kolja Knauer,
Torsten Ueckerdt
Abstract:
We investigate edge-intersection graphs of paths in the plane grid, regarding a parameter called the bend-number. I.e., every vertex is represented by a grid path and two vertices are adjacent if and only if the two grid paths share at least one grid-edge. The bend-number is the minimum $k$ such that grid-paths with at most $k$ bends each suffice to represent a given graph. This parameter is relat…
▽ More
We investigate edge-intersection graphs of paths in the plane grid, regarding a parameter called the bend-number. I.e., every vertex is represented by a grid path and two vertices are adjacent if and only if the two grid paths share at least one grid-edge. The bend-number is the minimum $k$ such that grid-paths with at most $k$ bends each suffice to represent a given graph. This parameter is related to the interval-number and the track-number of a graph. We show that for every $k$ there is a graph with bend-number $k$. Moreover we provide new upper and lower bounds of the bend-number of graphs in terms of degeneracy, treewidth, edge clique covers and the maximum degree. Furthermore we give bounds on the bend-number of $K_{m,n}$ and determine it exactly for some pairs of $m$ and $n$. Finally, we prove that recognizing single-bend graphs is NP-complete, providing the first such result in this field.
△ Less
Submitted 20 August, 2012; v1 submitted 15 September, 2010;
originally announced September 2010.
-
How to eat 4/9 of a pizza
Authors:
Kolja Knauer,
Piotr Micek,
Torsten Ueckerdt
Abstract:
Given two players alternately picking pieces of a pizza sliced by radial cuts, in such a way that after the first piece is taken every subsequent chosen piece is adjacent to some previously taken piece, we provide a strategy for the starting player to get 4/9 of the pizza. This is best possible and settles a conjecture of Peter Winkler.
Given two players alternately picking pieces of a pizza sliced by radial cuts, in such a way that after the first piece is taken every subsequent chosen piece is adjacent to some previously taken piece, we provide a strategy for the starting player to get 4/9 of the pizza. This is best possible and settles a conjecture of Peter Winkler.
△ Less
Submitted 24 January, 2011; v1 submitted 15 December, 2008;
originally announced December 2008.