arXiv++ Combinatorics

Let $k$ be an positive integer. For any two integers $i$ and $j$ in $\{0,1,\dots,k-1\}$, let $|i-j|_k=\min\{|i-j|,k-|i-j|\}$ be the circular distance between $i$ and $j$. Let $t$ be a nonnegative integer. Suppose $f$ is a mapping from $V(G)$ to $\{0,1,\dots,k-1\}$. If adjacent vertices receive different integers, and for each vertex $u$ of $G$, the number of neighbors $v$ of $u$ with $|f(u)-f(v)|_k=1$ is at most $t$, then $f$ is called a $t$-relaxed 2-distant circular $k$-coloring, or simply a $(\frac{k}{2},t)^*$-coloring of $G$. If $G$ has a $(\frac{k}{2},t)^*$-coloring, then $G$ is called $(\frac{k}{2},t)^*$-colorable. In this paper, we prove that, for any two fixed integers $k$ and $t$ with $k\geq2$ and $t\geq1$, deciding whether $G$ is $(\frac{k}{2},t)^*$-colorable is NP-complete expect the case $k=2$ and the case $k=3$ and $t\leq3$, which are polynomially solvable. For any outerplanar graph $G$, e show that all outerplanar graphs are $(\frac{5}{2},4)^*$-colorable, we prove that there is no fixed positive integer $t$ such that all outerplanar graphs are $(\frac{4}{2},t)^*$-colorable.

In an undirected graph, a conflict-free coloring (with respect to open neighborhoods) is an assignment of colors to the vertices of the graph $G$ such that every vertex in $G$ has a uniquely colored vertex in its open neighborhood. The conflict-free coloring problem asks to find the smallest number of colors required for a conflict-free coloring. The conflict-free coloring problem is NP-complete. From results in Abel et. al. [SODA 2017], it can be inferred that every planar graph has a conflict-free coloring with at most nine colors. As the best known lower bound for planar graphs is four colors, it was asked in the same paper if fewer colors would suffice. We make progress in answering this question, by showing that every planar graph can be colored using at most six colors. The same proof idea is used to show that every outerplanar graph can be colored using at most five colors. Using a different approach, we further show that every outerplanar graph can be colored using at most four colors. Finally, we study the problem on Kneser graphs. We show that $k+2$ colors are necessary and sufficient to color the Kneser graph $K(n,k)$ when $n\geq k(k+1)^2 + 1$.

We consider a surrounding variant of cops and robbers on graphs of bounded genus. We obtain bounds on the number of cops required to surround a robber on planar graphs, toroidal graphs, and outerplanar graphs. We also obtain improved bounds for bipartite planar and toroidal graphs. We briefly consider general graphs of bounded genus and graphs with a forbidden minor.

Motivated by the concept of well-covered graphs, we define a graph to be well-bicovered if every vertex-maximal bipartite subgraph has the same order (which we call the bipartite number). We first give examples of them, compare them with well-covered graphs, and characterize those with small or large bipartite number. We then consider graph operations including the union, join, and lexicographic and cartesian products. Thereafter we consider simplicial vertices and 3-colored graphs where every vertex is in triangle, and conclude by characterizing the maximal outerplanar graphs that are well-bicovered.

We present several bijections, in terms of combinatorial objects counted by the Schröder numbers, that are then used (via coloring) for the construction and enumeration of rational Schröder paths with integer slope, ordered rooted trees, and simple rooted outerplanar maps. On the other hand, we derive partial Bell polynomial identities for the little and large Schröder numbers, which allow us to obtain explicit enumeration formulas.

In a representation of a graph $G$ as an edge intersection graph of paths on a grid (EPG) every vertex of $G$ is represented by a path on a grid and two paths share a grid edge iff the corresponding vertices are adjacent. In a monotonic EPG representation every path on the grid is ascending in both rows and columns. In a (monotonic) $B_k$-EPG representation every path on the grid has at most $k$ bends. The (monotonic) bend number $b(G)$ ($b^m(G)$) of a graph $G$ is the smallest natural number $k$ for which there exists a (monotonic) $B_k$-EPG representation of $G$. In this paper we deal with the monotonic bend number of outerplanar graphs and show that $b^m(G)\leqslant 2$ holds for every outerplanar graph $G$. Moreover, we characterize the maximal outerplanar graphs and the cacti with (monotonic) bend number equal to $0$, $1$ and $2$ in terms of forbidden induced subgraphs. As a byproduct we obtain low-degree polynomial time algorithms to construct (monotonic) EPG representations with the smallest possible number of bends for maximal outerplanar graphs and cacti.

The graph coloring game is a two-player game in which, given a graph G and a set of k colors, the two players, Alice and Bob, take turns coloring properly an uncolored vertex of G, Alice having the first move. Alice wins the game if and only if all the vertices of G are eventually colored. The game chromatic number of a graph G is then defined as the smallest integer k for which Alice has a winning strategy when playing the graph coloring game on G with k colors. In this paper, we introduce and study a new version of the graph coloring game by requiring that, after each player's turn, the subgraph induced by the set of colored vertices is connected. The connected game chromatic number of a graph G is then the smallest integer k for which Alice has a winning strategy when playing the connected graph coloring game on G with k colors. We prove that the connected game chromatic number of every outerplanar graph is at most 5 and that there exist outerplanar graphs with connected game chromatic number 4. Moreover, we prove that for every integer k $\ge$ 3, there exist bipartite graphs on which Bob wins the connected coloring game with k colors, while Alice wins the connected coloring game with two colors on every bipartite graph.

We show that every outerplanar graph $G$ can be linearly embedded in the plane such that the number of distinct distances between pairs of adjacent vertices is at most thirteen and there is no intersection between the image of a vertex and that of an edge not containing it. This extends the work of Alon and the second author, where only overlap between vertices was disallowed, thus settling a problem posed by Carmi, Dujmović, Morin and Wood.

A graph $G$ is a non-separating planar graph if there is a drawing $D$ of $G$ on the plane such that (1) no two edges cross each other in $D$ and (2) for any cycle $C$ in $D$, any two vertices not in $C$ are on the same side of $C$ in $D$. Non-separating planar graphs are closed under taking minors and are a subclass of planar graphs and a superclass of outerplanar graphs. In this paper, we show that a graph is a non-separating planar graph if and only if it does not contain $K_1 \cup K_4$ or $K_1 \cup K_{2,3}$ or $K_{1,1,3}$ as a minor. Furthermore, we provide a structural characterisation of this class of graphs. More specifically, we show that any maximal non-separating planar graph is either an outerplanar graph or a subgraph of a wheel or it can be obtained by subdividing some of the side-edges of the 1-skeleton of a triangular prism (two disjoint triangles linked by a perfect matching). Lastly, to demonstrate an application of non-separating planar graphs, we use the characterisation of non-separating planar graphs to prove that there are maximal linkless graphs with $3n-3$ edges which provides an answer to a question asked by Horst Sachs about the number of edges of linkless graphs in 1983.

An injective edge-coloring $c$ of a graph $G$ is an edge-coloring such that if $e_1$, $e_2$, and $e_3$ are three consecutive edges in $G$ (they are consecutive if they form a path or a cycle of length three), then $e_1$ and $e_3$ receive different colors. The minimum integer $k$ such that, $G$ has an injective edge-coloring with $k$ colors, is called the injective chromatic index of $G$ ($χ'_{\textrm{inj}}(G)$). This parameter was introduced by Cardoso et \textit{al.} \cite{CCCD} motivated by the Packet Radio Network problem. They proved that computing $χ'_{\textrm{inj}}(G)$ of a graph $G$ is NP-hard. We give new upper bounds for this parameter and we present the relationships of the injective edge-coloring with other colorings of graphs. The obtained general bound gives 8 for the injective chromatic index of a subcubic graph. If the graph is subcubic bipartite we improve this last bound. We prove that a subcubic bipartite graph has an injective chromatic index bounded by $6$. We also prove that if $G$ is a subcubic graph with maximum average degree less than $\frac{7}{3} $ (resp. $\frac{8}{3} $, $3$), then $G$ admits an injective edge-coloring with at most 4 (resp. $6$, $7$) colors. Moreover, we establish a tight upper bound for subcubic outerplanar graphs.

Let $C_t$ be a cycle of length $t$, and let $P_1,\ldots,P_t$ be $t$ polygon chains. A polygon flower $F=(C_t; P_1,\ldots,P_t)$ is a graph obtained by identifying the $i$th edge of $C_t$ with an edge $e_i$ that belongs to an end-polygon of $P_i$ for $i=1,\ldots,t$. In this paper, we first give an explicit formula for the sandpile group $S(F)$ of $F$, which shows that the structure of $S(F)$ only depends on the numbers of spanning trees of $P_i$ and $P_i/ e_i$, $i=1,\ldots,t$. By analyzing the arithmetic properties of those numbers, we give a simple formula for the minimum number of generators of $S(F)$, by which a sufficient and necessary condition for $S(F)$ being cyclic is obtained. Finally, we obtain a classification of edges that generate the sandpile group. Although the main results concern only a class of outerplanar graphs, the proof methods used in the paper may be of much more general interest. We make use of the graph structure to find a set of generators and a relation matrix $R$, which has the same form for any $F$ and has much smaller size than that of the (reduced) Laplacian matrix, which is the most popular relation matrix used to study the sandpile group of a graph.

For distinct vertices $u$ and $v$ in a graph $G$, the {\em connectivity} between $u$ and $v$, denoted $κ_G(u,v)$, is the maximum number of internally disjoint $u$--$v$ paths in $G$. The {\em average connectivity} of $G$, denoted $\overlineκ(G),$ is the average of $κ_G(u,v)$ taken over all unordered pairs of distinct vertices $u,v$ of $G$. Analogously, for a directed graph $D$, the {\em connectivity} from $u$ to $v$, denoted $κ_D(u,v)$, is the maximum number of internally disjoint directed $u$--$v$ paths in $D$. The {\em average connectivity} of $D$, denoted $\overlineκ(D)$, is the average of $κ_D(u,v)$ taken over all ordered pairs of distinct vertices $u,v$ of $D$. An {\em orientation} of a graph $G$ is a directed graph obtained by assigning a direction to every edge of $G$. For a graph $G$, let $\overlineκ_{\max}(G)$ denote the maximum average connectivity among all orientations of $G$. In this paper we obtain bounds for $\overlineκ_{\max}(G)$ and for the ratio $\overlineκ_{\max}(G)/\overlineκ(G)$ for all graphs $G$ of a given order and in a given class of graphs. Whenever possible, we demonstrate sharpness of these bounds. This problem had previously been studied for trees. We focus on the classes of cubic $3$-connected graphs, minimally $2$-connected graphs, $2$-trees, and maximal outerplanar graphs.

An orientation of $G$ is a digraph obtained from $G$ by replacing each edge by exactly one of two possible arcs with the same endpoints. We call an orientation \emph{proper} if neighbouring vertices have different in-degrees. The proper orientation number of a graph $G$, denoted by $\vecχ(G)$, is the minimum maximum in-degree of a proper orientation of G. Araujo et al. (Theor. Comput. Sci. 639 (2016) 14--25) asked whether there is a constant $c$ such that $\vecχ(G)\leq c$ for every outerplanar graph $G$ and showed that $\vecχ(G)\leq 7$ for every cactus $G.$ We prove that $\vecχ(G)\leq 3$ if $G$ is a triangle-free $2$-connected outerplanar graph and $\vecχ(G)\leq 4$ if $G$ is a triangle-free bridgeless outerplanar graph.

A catacondensed even ring system (shortly CERS) is a simple bipartite 2-connected outerplanar graph with all vertices of degree 2 or 3. In this paper, we investigate the resonance graphs (also called $Z$-transformation graphs) of CERS and firstly show that two even ring chains are resonantly equivalent iff their resonance graphs are isomorphic. As the main result, we characterize CERS whose resonance graphs are daisy cubes. In this way, we greatly generalize the result known for kinky benzenoid graphs. Finally, some open problems are also presented.

In this paper, we study the metric dimension problem in maximal outerplanar graphs. Concretely, if $β(G)$ is the metric dimension of a maximal outerplanar graph $G$ of order $n$, we prove that $2\le β(G) \le \lceil \frac{2n}{5}\rceil$ and that the bounds are tight. We also provide linear algorithms to decide whether the metric dimension of $G$ is 2 and to build a resolving set of size $\lceil \frac{2n}{5}\rceil$ for $G$. Moreover, we characterize the maximal outerplanar graphs with metric dimension 2.

Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set $S$ of vertices of an $n$-vertex graph $G$ such that $G - N[S]$, the graph obtained by deleting the closed neighborhood of $S$, is null. A classical result of Chvátal is that the minimum size is at most $n/3$ if $G$ is a mop. Here we consider a modification by allowing $G - N[S]$ to have isolated vertices and isolated edges only. Let $ι_1(G)$ denote the size of a smallest set $S$ for which this is achieved. We show that if $G$ is a mop on $n \geq 5$ vertices, then $ι_{1}(G) \leq n/5$. We also show that if $n_2$ is the number of vertices of degree $2$, then $ι_{1}(G) \leq \frac{n+n_2}{6}$ if $n_2 \leq \frac{n}{3}$, and $ι_1(G) \leq \frac{n-n_2}{3}$ otherwise. We show that these bounds are best possible.

For a class $\mathcal C$ of graphs, we define $\mathcal C$-edge-brittleness of a graph $G$ as the minimum $\ell$ such that the vertex set of $G$ can be partitioned into sets inducing a subgraph in $\mathcal C$ and there are $\ell$ edges having ends in distinct parts. We characterize classes of graphs having bounded $\mathcal C$-edge-brittleness for a class $\mathcal C$ of forests or a class $\mathcal C$ of graphs with no $K_4\setminus e$ topological minors in terms of forbidden obstructions. We also define $\mathcal C$-vertex-brittleness of a graph $G$ as the minimum $\ell$ such that the edge set of $G$ can be partitioned into sets inducing a subgraph in $\mathcal C$ and there are $\ell$ vertices incident with edges in distinct parts. We characterize classes of graphs having bounded $\mathcal C$-vertex-brittleness for a class $\mathcal C$ of forests or a class $\mathcal C$ of outerplanar graphs in terms of forbidden obstructions. We also investigate the relations between the new parameters and the edit distance.

We say that a graph $H$ is planar unavoidable if there is a planar graph $G$ such that any red/blue coloring of the edges of $G$ contains a monochromatic copy of $H$, otherwise we say that $H$ is planar avoidable. I.e., $H$ is planar unavoidable if there is a Ramsey graph for $H$ that is planar. It follows from the Four-Color Theorem and a result of Gonçalves that if a graph is planar unavoidable then it is bipartite and outerplanar. We prove that the cycle on $4$ vertices and any path are planar unavoidable. In addition, we prove that all trees of radius at most $2$ are planar unavoidable and there are trees of radius $3$ that are planar avoidable. We also address the planar unavoidable notion in more than two colors.

We consider the well-studied cops and robbers game in the context of oriented graphs, which has received surprisingly little attention to date. We examine the relationship between the cop numbers of an oriented graph and its underlying undirected graph, giving a surprising result that there exists at least one graph $G$ for which every strongly connected orientation of $G$ has cop number strictly less than that of $G$. We also refute a conjecture on the structure of cop-win digraphs, study orientations of outerplanar graphs, and study the cop number of line digraphs. Finally, we consider some the aspects of optimal play, in particular the capture time of cop-win digraphs and properties of the relative positions of the cop(s) and robber.

For a simple graph $G=(V,E),$ let $\mathcal{S}_+(G)$ denote the set of real positive semidefinite matrices $A=(a_{ij})$ such that $a_{ij}\neq 0$ if $\{i,j\}\in E$ and $a_{ij}=0$ if $\{i,j\}\notin E$. The maximum positive semidefinite nullity of $G$, denoted $\operatorname{M}_+(G),$ is $\max\{\operatorname{null}(A)|A\in \mathcal{S}_+(G)\}.$ A tree cover of $G$ is a collection of vertex-disjoint simple trees occurring as induced subgraphs of $G$ that cover all the vertices of $G$. The tree cover number of $G$, denoted $T(G)$, is the cardinality of a minimum tree cover. It is known that the tree cover number of a graph and the maximum positive semidefinite nullity of a graph are equal for outerplanar graphs, and it was conjectured in 2011 that $T(G)\leq M_+(G)$ for all graphs [Barioli et al., Minimum semidefinite rank of outerplanar graphs and the tree cover number, $ Elec. J. Lin. Alg.,$ 2011]. We show that the conjecture is true for certain graph families. Furthermore, we prove bounds on $T(G)$ to show that if $G$ is a connected outerplanar graph on $n\geq 2$ vertices, then $\operatorname{M}_+(G)=T(G)\leq \left\lceil\frac{n}{2}\right\rceil$, and if $G$ is a connected outerplanar graph on $n\geq 6$ vertices with no three or four cycle, then $\operatorname{M}_+(G)=T(G)\leq \frac{n}{3}$. We also characterize connected outerplanar graphs with $\operatorname{M}_+(G)=T(G)=\left\lceil\frac{n}{2}\right\rceil.$