arXiv++ Combinatorics

Given a point set, mostly a grid in our case, we seek upper and lower bounds on the number of curves that are needed to cover the point set. We say a curve covers a point if the curve passes through the point. We consider such coverings by monotonic curves, lines, orthoconvex curves, circles, etc. We also study a problem that is converse of the covering problem -- if a set of $n^2$ points in the plane is covered by $n$ lines then can we say something about the configuration of the points?

A $p$-centered coloring of a graph $G$, where $p$ is a positive integer, is a coloring of the vertices of $G$ in such a way that every connected subgraph of $G$ either contains a vertex with a unique color or contains more than $p$ different colors. We give an explicit construction of a $p$-centered coloring using $O(p)$ colors for the planar grid.

A graph is $k$-clique-extendible if there is an ordering of the vertices such that whenever two $k$-sized overlapping cliques $A$ and $B$ have $k-1$ common vertices, and these common vertices appear between the two vertices $a,b\in (A\setminus B)\cup (B\setminus A)$ in the ordering, there is an edge between $a$ and $b$, implying that $A\cup B$ is a $(k+1)$-sized clique. Such an ordering is said to be a $k$-C-E ordering. These graphs arise in applications related to modelling preference relations. Recently, it has been shown that a maximum sized clique in such a graph can be found in $n^{O(k)}$ time when the ordering is given. When $k$ is $2$, such graphs are precisely the well-known class of comparability graphs and when $k$ is $3$ they are called triangle-extendible graphs. It has been shown that triangle-extendible graphs appear as induced subgraphs of visibility graphs of simple polygons, and the complexity of recognizing them has been mentioned as an open problem in the literature. While comparability graphs (i.e. $2$-C-E graphs) can be recognized in polynomial time, we show that recognizing $k$-C-E graphs is NP-hard for any fixed $k \geq 3$ and co-NP-hard when $k$ is part of the input. While our NP-hardness reduction for $k \geq 4$ is from the betweenness problem, for $k=3$, our reduction is an intricate one from the $3$-colouring problem. We also show that the problems of determining whether a given ordering of the vertices of a graph is a $k$-C-E ordering, and that of finding an $\ell$-sized (or maximum sized) clique in a $k$-C-E graph, given a $k$-C-E ordering, are complete for the parameterized complexity classes co-W[1] and W[1] respectively, when parameterized by $k$. However we show that the former is fixed-parameter tractable when parameterized by the treewidth of the graph.

A linear forest is an acyclic graph whose each connected component is a path; or in other words, it is an acyclic graph whose maximum degree is at most 2. A linear coloring of a graph $G$ is an edge coloring of $G$ such that the edges in each color class form a linear forest. The linear arboricity of $G$, denoted as $χ'_l(G)$, is the minimum number of colors required in any linear coloring of $G$. It is easy to see that for any graph $G$, $χ'_l(G)\geq\left\lceil\frac{Δ(G)}{2}\right\rceil$, where $Δ(G)$ is the maximum degree of $G$. The Linear Arboricity Conjecture of Akiyama, Exoo and Harary from 1980 states that for every graph $G$, $χ'_l(G)\leq \left \lceil \frac{Δ(G)+1}{2}\right\rceil$. Basavaraju et al. showed that the conjecture is true for 3-degenerate graphs and provided a linear time algorithm for computing a linear coloring using at most $\left\lceil\frac{Δ(G)+1}{2}\right\rceil$ colors for any input 3-degenerate graph $G$. Recently, Chen, Hao and Yu showed that $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ for any $k$-degenerate graph $G$ having $Δ(G)\geq 2k^2-k$. From this result, we have $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ for every 3-degenerate graph $G$ having $Δ(G)\geq 15$. We show that this equality holds for every 3-degenerate graph $G$ having $Δ(G)\geq 9$. Moreover, by extending the techniques used, we show a different proof for the Linear Arboricity Conjecture on 3-degenerate graphs. Next, we prove that for every 2-degenerate graph $G$, $χ'_l(G)=\left\lceil\frac{Δ(G)}{2}\right\rceil$ if $Δ(G)\geq 5$. We conjecture that this equality holds also when $Δ(G)\in\{3,4\}$ and show that this is the case for some well-known subclasses of 2-degenerate graphs.

A circular-arc graph is the intersection graph of arcs of a circle. It is a well-studied graph model with numerous natural applications. A certifying algorithm is an algorithm that outputs a certificate, along with its answer (be it positive or negative), where the certificate can be used to easily justify the given answer. While the recognition of circular-arc graphs has been known to be polynomial since the 1980s, no polynomial-time certifying recognition algorithm is known to date, despite such algorithms being found for many subclasses of circular-arc graphs. This is largely due to the fact that a forbidden structure characterization of circular-arc graphs is not known, even though the problem has been intensely studied since the seminal work of Klee in the 1960s. In this contribution, we settle this problem. We present the first forbidden structure characterization of circular-arc graphs. Our obstruction has the form of mutually avoiding walks in the graph. It naturally extends a similar obstruction that characterizes interval graphs. As a consequence, we give the first polynomial-time certifying algorithm for the recognition of circular-arc graphs.

A blocking quadruple (BQ) is a quadruple of vertices of a graph such that any two vertices of the quadruple either miss (have no neighbours on) some path connecting the remaining two vertices of the quadruple, or are connected by some path missed by the remaining two vertices. This is akin to the notion of asteroidal triple used in the classical characterization of interval graphs by Lekkerkerker and Boland. We show that a circular-arc graph cannot have a blocking quadruple. We also observe that the absence of blocking quadruples is not in general sufficient to guarantee that a graph is a circular-arc graph. Nonetheless, it can be shown to be sufficient for some special classes of graphs, such as those investigated by Bonomo et al. In this note, we focus on chordal graphs, and study the relationship between the structure of chordal graphs and the presence/absence of blocking quadruples. Our contribution is two-fold. Firstly, we provide a forbidden induced subgraph characterization of chordal graphs without blocking quadruples. In particular, we observe that all the forbidden subgraphs are variants of the subgraphs forbidden for interval graphs. Secondly, we show that the absence of blocking quadruples is sufficient to guarantee that a chordal graph with no independent set of size five is a circular-arc graph. In our proof we use a novel geometric approach, constructing a circular-arc representation by traversing around a carefully chosen clique tree.