arXiv++ Combinatorics

One important problem in a network is to locate an (invisible) moving entity by using distance-detectors placed at strategical locations. For instance, the metric dimension of a graph $G$ is the minimum number $k$ of detectors placed in some vertices $\{v_1,\cdots,v_k\}$ such that the vector $(d_1,\cdots,d_k)$ of the distances $d(v_i,r)$ between the detectors and the entity's location $r$ allows to uniquely determine $r \in V(G)$. In a more realistic setting, instead of getting the exact distance information, given devices placed in $\{v_1,\cdots,v_k\}$, we get only relative distances between the entity's location $r$ and the devices (for every $1\leq i,j\leq k$, it is provided whether $d(v_i,r) >$, $<$, or $=$ to $d(v_j,r)$). The centroidal dimension of a graph $G$ is the minimum number of devices required to locate the entity in this setting. We consider the natural generalization of the latter problem, where vertices may be probed sequentially until the moving entity is located. At every turn, a set $\{v_1,\cdots,v_k\}$ of vertices is probed and then the relative distances between the vertices $v_i$ and the current location $r$ of the entity are given. If not located, the moving entity may move along one edge. Let $ζ^* (G)$ be the minimum $k$ such that the entity is eventually located, whatever it does, in the graph $G$. We prove that $ζ^* (T)\leq 2$ for every tree $T$ and give an upper bound on $ζ^*(G\square H)$ in cartesian product of graphs $G$ and $H$. Our main result is that $ζ^* (G)\leq 3$ for any outerplanar graph $G$. We then prove that $ζ^* (G)$ is bounded by the pathwidth of $G$ plus 1 and that the optimization problem of determining $ζ^* (G)$ is NP-hard in general graphs. Finally, we show that approximating (up to any constant distance) the entity's location in the Euclidean plane requires at most two vertices per turn.

Albertson and Berman conjectured that every planar graph has an induced forest on half of its vertices. The best known lower bound, due to Borodin, is that every planar graph has an induced forest on two fifths of its vertices. In a related result, Chartran and Kronk, proved that the vertices of every planar graph can be partitioned into three sets, each of which induce a forest. We show tighter results for 2-outerplanar graphs. We show that every 2-outerplanar graph has an induced forest on at least half the vertices by showing that its vertices can be partitioned into two sets, each of which induces a forest. We also show that every 2-outerplanar graph has an induced outerplanar graph on at least two-thirds of its vertices.

For each positive integer $n$, the Fibonacci-sum graph $G_n$ on vertices $1,2,\ldots,n$ is defined by two vertices forming an edge if and only if they sum to a Fibonacci number. It is known that each $G_n$ is bipartite, and all Hamiltonian paths in each $G_n$ have been classified. In this paper, it is shown that each $G_n$ has at most one non-trivial automorphism, which is given explicitly. Other properties of $G_n$ are also found, including the degree sequence, the treewidth, the nature of the bipartition, and that $G_n$ is outerplanar.

We study the phase diagram of random outerplanar maps sampled according to non-negative Boltzmann weights that are assigned to each face of a map. We prove that for certain choices of weights the map looks like a rescaled version of its boundary when its number of vertices tends to infinity. The Boltzmann outerplanar maps are then shown to converge in the Gromov-Hausdorff sense towards the $α$-stable looptree introduced by Curien and Kortchemski (2014), with the parameter $α$ depending on the specific weight-sequence. This allows us to describe the transition of the asymptotic geometric shape from a deterministic circle to the Brownian tree.

We consider the so-called coupon-coloring of the vertices of a graph where every color appears in every open neighborhood, and our aim is to determine the maximal number of colors in such colorings. In other words, every color class must be a total dominating set in the graph and we study the total domatic number of the graph. We determine this parameter in every maximal outerplanar graph, and show that every Hamiltonian maximal planar graph has domatic number at least two, partially answering a conjecture of Goddard and Henning.

Leclerc and Zelevinsky, motivated by the study of quasi-commuting quantum flag minors, introduced the notions of strongly separated and weakly separated collections. These notions are closely related to the theory of cluster algebras, to the combinatorics of the double Bruhat cells, and to the totally positive Grassmannian. A key feature, called the purity phenomenon, is that every maximal by inclusion strongly (resp., weakly) separated collection of subsets in $[n]$ has the same cardinality. In this paper, we extend these notions and define $\mathcal{M}$-separated collections for any oriented matroid $\mathcal{M}$. We show that maximal by size $\mathcal{M}$-separated collections are in bijection with fine zonotopal tilings (if $\mathcal{M}$ is a realizable oriented matroid), or with one-element liftings of $\mathcal{M}$ in general position (for an arbitrary oriented matroid). We introduce the class of pure oriented matroids for which the purity phenomenon holds: an oriented matroid $\mathcal{M}$ is pure if $\mathcal{M}$-separated collections form a pure simplicial complex, i.e., any maximal by inclusion $\mathcal{M}$-separated collection is also maximal by size. We pay closer attention to several special classes of oriented matroids: oriented matroids of rank $3$, graphical oriented matroids, and uniform oriented matroids. We classify pure oriented matroids in these cases. An oriented matroid of rank $3$ is pure if and only if it is a positroid (up to reorienting and relabeling its ground set). A graphical oriented matroid is pure if and only if its underlying graph is an outerplanar graph, that is, a subgraph of a triangulation of an $n$-gon. We give a simple conjectural characterization of pure oriented matroids by forbidden minors and prove it for the above classes of matroids (rank $3$, graphical, uniform).

If $A$ is an independent set of a graph $G$ such that the vertices in $A$ have different degrees, then we call $A$ an irregular independent set of $G$. If $D$ is a dominating set of $G$ such that the vertices that are not in $D$ have different numbers of neighbours in $D$, then we call $D$ an irregular dominating set of $G$. The size of a largest irregular independent set of $G$ and the size of a smallest irregular dominating set of $G$ are denoted by $α_{ir}(G)$ and $γ_{ir}(G)$, respectively. We initiate the investigation of these two graph parameters. For each of them, we obtain sharp bounds in terms of basic graph parameters such as the order, the size, the minimum degree and the maximum degree, and we obtain Nordhaus-Gaddum-type bounds. We also establish sharp bounds relating the two parameters. Furthermore, we characterize the graphs $G$ with $α_{ir}(G)=1$, we determine those that are planar, and we determine those that are outerplanar.

In this paper, we study the achromatic and the pseudoachromatic numbers of planar and outerplanar graphs as well as planar graphs of girth 4 and graphs embedded on a surface. We give asymptotically tight results and lower bounds for maximal embedded graphs.

An injective coloring of a graph is a vertex coloring where two vertices with common neighbor receive distinct colors. The minimum integer $k$ that $G$ has a $k-$injective coloring is called injective chromatic number of $G$ and denoted by $χ_i(G)$. In this paper, the injective chromatic number of outerplanar graphs with maximum degree $Δ$ and girth $g$ is studied. It is shown that for every outerplanar graph, $χ_i(G)\leq Δ+2$, and this bound is tight. Then, it is proved that for outerplanar graphs with $Δ=3$, $χ_i(G)\leq Δ+1$ and the bound is tight for outerplanar graphs of girth three and $4$. Finally, it is proved that, the injective chromatic number of $2-$connected outerplanar graphs with $Δ=3$, $g\geq 6$ and $Δ\geq 4$, $g\geq 4$ is equal to $Δ$.

The concept of metric dimension has applications in a variety of fields, such as chemistry, robotic navigation, and combinatorial optimization. We show bounds for graphs with $n$ vertices and metric dimension $β$. For Hamiltonian outerplanar graphs, we have $β\leq \left\lceil\frac{n}2\right\rceil$; for outerplanar graphs in general, we have $β\leq \left\lfloor\frac{2n}{3}\right\rfloor$; for maximal planar graphs, we have $β\leq \left\lfloor\frac{3n}{4}\right\rfloor$. We also show that bipyramids have a metric dimension of $\left\lfloor\frac{2n}{5}\right\rfloor + 1$. It is conjectured that the metric dimension of maximal planar graphs in general is on the order of $\left\lfloor\frac{2n}{5}\right\rfloor$.

Although it has recently been proved that the packing chromatic number is unbounded on the class of subcubic graphs, there exists subclasses in which the packing chromatic number is finite (and small). These subclasses include subcubic trees, base-3 Sierpi{ń}ski graphs and hexagonal lattices.In this paper we are interested in the packing chromatic number of subcubic outerplanar graphs. We provide asymptotic bounds depending on structural properties of the outerplanar graphs and determine sharper bounds for some classes of subcubic outerplanar graphs.

A conflict-free k-coloring of a graph assigns one of k different colors to some of the vertices such that, for every vertex v, there is a color that is assigned to exactly one vertex among v and v's neighbors. Such colorings have applications in wireless networking, robotics, and geometry, and are well-studied in graph theory. Here we study the natural problem of the conflict-free chromatic number chi_CF(G) (the smallest k for which conflict-free k-colorings exist). We provide results both for closed neighborhoods N[v], for which a vertex v is a member of its neighborhood, and for open neighborhoods N(v), for which vertex v is not a member of its neighborhood. For closed neighborhoods, we prove the conflict-free variant of the famous Hadwiger Conjecture: If an arbitrary graph G does not contain K_{k+1} as a minor, then chi_CF(G) <= k. For planar graphs, we obtain a tight worst-case bound: three colors are sometimes necessary and always sufficient. We also give a complete characterization of the computational complexity of conflict-free coloring. Deciding whether chi_CF(G)<= 1 is NP-complete for planar graphs G, but polynomial for outerplanar graphs. Furthermore, deciding whether chi_CF(G)<= 2 is NP-complete for planar graphs G, but always true for outerplanar graphs. For the bicriteria problem of minimizing the number of colored vertices subject to a given bound k on the number of colors, we give a full algorithmic characterization in terms of complexity and approximation for outerplanar and planar graphs. For open neighborhoods, we show that every planar bipartite graph has a conflict-free coloring with at most four colors; on the other hand, we prove that for k in {1,2,3}, it is NP-complete to decide whether a planar bipartite graph has a conflict-free k-coloring. Moreover, we establish that any general} planar graph has a conflict-free coloring with at most eight colors.

This paper studies graphs that have two tree decompositions with the property that every bag from the first decomposition has a bounded-size intersection with every bag from the second decomposition. We show that every graph in each of the following classes has a tree decomposition and a linear-sized path decomposition with bounded intersections: (1) every proper minor-closed class, (2) string graphs with a linear number of crossings in a fixed surface, (3) graphs with linear crossing number in a fixed surface. Here `linear size' means that the total size of the bags in the path decomposition is $O(n)$ for $n$-vertex graphs. We then show that every $n$-vertex graph that has a tree decomposition and a linear-sized path decomposition with bounded intersections has $O(\sqrt{n})$ treewidth. As a corollary, we conclude a new lower bound on the crossing number of a graph in terms of its treewidth. Finally, we consider graph classes that have two path decompositions with bounded intersections. Trees and outerplanar graphs have this property. But for the next most simple class, series parallel graphs, we show that no such result holds.

A pair of non-adjacent edges is said to be separated in a circular ordering of vertices, if the endpoints of the two edges do not alternate in the ordering. The circular separation dimension of a graph $G$, denoted by $π^\circ(G)$, is the minimum number of circular orderings of the vertices of $G$ such that every pair of non-adjacent edges is separated in at least one of the circular orderings. This notion is introduced by Loeb and West in their recent paper. In this article, we consider two subclasses of planar graphs, namely $2$-outerplanar graphs and series-parallel graphs. A $2$-outerplanar graph has a planar embedding such that the subgraph obtained by removal of the vertices of the exterior face is outerplanar. We prove that if $G$ is $2$-outerplanar then $π^\circ(G) = 2$. We also prove that if $G$ is a series-parallel graph then $π^\circ(G) \leq 2$.

We study a model of random $\mathcal{R}$-enriched trees that is based on weights on the $\mathcal{R}$-structures and allows for a unified treatment of a large family of random discrete structures. We establish distributional limits describing local convergence around fixed and random points in this general context, limit theorems for component sizes when $\mathcal{R}$ is a composite class, and a Gromov--Hausdorff scaling limit of random metric spaces patched together from independently drawn metrics on the $\mathcal{R}$-structures. Our main applications treat a selection of examples encompassed by this model. We consider random outerplanar maps sampled according to arbitrary weights assigned to their inner faces, and classify in complete generality distributional limits for both the asymptotic local behaviour near the root-edge and near a uniformly at random drawn vertex. We consider random connected graphs drawn according to weights assigned to their blocks and establish a Benjamini--Schramm limit. We also apply our framework to recover in a probabilistic way a central limit theorem for the size of the largest $2$-connected component in random graphs from planar-like classes. We prove Benjamini--Schramm convergence of random $k$-dimensional trees and establish both scaling limits and local weak limits for random planar maps drawn according to Boltzmann-weights assigned to their $2$-connected components.

In 1966, Gallai asked whether all longest paths in a connected graph share a common vertex. Counterexamples indicate that this is not true in general. However, Gallai's question is positive for certain well-known classes of connected graphs, such as split graphs, interval graphs, circular arc graphs, outerplanar graphs, and series-parallel graphs. A graph is $2K_2$-free if it does not contain two independent edges as an induced subgraph. In this paper, we show that in nonempty $2K_2$-free graphs, every vertex of maximum degree is common to all longest paths. Our result implies that all longest paths in a nonempty $2K_2$-free graph have a nonempty intersection. In particular, it gives a new proof for the result on split graphs, as split graphs are $2K_2$-free.

In this paper we study a family of algorithms, introduced by Chan [SODA 1999] and called LR-algorithms, for drawing ordered rooted binary trees. In particular, we are interested in constructing LR-drawings (that are drawings obtained via LR-algorithms) with small width. Chan showed three different LR-algorithms that achieve, for an ordered rooted binary tree with $n$ nodes, width $O(n^{0.695})$, width $O(n^{0.5})$, and width $O(n^{0.48})$. We prove that, for every $n$-node ordered rooted binary tree, an LR-drawing with minimum width can be constructed in $O(n^{1.48})$ time. Further, we show an infinite family of $n$-node ordered rooted binary trees requiring $Ω(n^{0.418})$ width in any LR-drawing; no lower bound better than $Ω(\log n)$ was previously known. Finally, we present the results of an experimental evaluation that allowed us to determine the minimum width of all the ordered rooted binary trees with up to $451$ nodes. Our interest in LR-drawings is mainly motivated by a result of Di Battista and Frati [Algorithmica 2009], who proved that $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(n^{1.48})$ area by means of a drawing algorithm which resembles an LR-algorithm. We deepen the connection between LR-drawings and outerplanar straight-line drawings by proving that, if $n$-node ordered rooted binary trees have LR-drawings with $f(n)$ width, for any function $f(n)$, then $n$-vertex outerplanar graphs have outerplanar straight-line drawings in $O(f(n))$ area. Finally, we exploit a structural decomposition for ordered rooted binary trees introduced by Chan in order to prove that every $n$-vertex outerplanar graph has an outerplanar straight-line drawing in $O(n\cdot 2^{\sqrt{2 \log_2 n}} \sqrt{\log n})$ area.

The metric dimension of a graph is the minimum size of a set of vertices such that each vertex is uniquely determined by the distances to the vertices of that set. Our aim is to upper-bound the order $n$ of a graph in terms of its diameter $d$ and metric dimension $k$. In general, the bound $n\leq d^k+k$ is known to hold. We prove a bound of the form $n=\mathcal{O}(kd^2)$ for trees and outerplanar graphs (for trees we determine the best possible bound and the corresponding extremal examples). More generally, for graphs having a tree decomposition of width $w$ and length $\ell$, we obtain a bound of the form $n=\mathcal{O}(kd^2(2\ell+1)^{3w+1})$. This implies in particular that $n=\mathcal{O}(kd^{\mathcal{O}(1)})$ for graphs of constant treewidth and $n=\mathcal{O}(f(k)d^2)$ for chordal graphs, where $f$ is a doubly-exponential function. Using the notion of distance-VC dimension (introduced in 2014 by Bousquet and Thomassé) as a tool, we prove the bounds $n\leq (dk+1)^{t-1}+1$ for $K_t$-minor-free graphs, and $n\leq (dk+1)^{d(3\cdot 2^{r}+2)}+1$ for graphs of rankwidth at most $r$.

In this paper, we investigate rainbow connection number $rc(G)$ of bridgeless outerplanar graphs $G$ with diameter 2 or 3. We proved the following results: If $G$ has diameter $2,$ then $rc(G)=3$ for fan graphs $F_{n}$ with $n\geq 7$ or $C_5,$ otherwise $rc(G)=2;$ if $G$ has diameter $3,$ then $rc(G)\leq 4$ and the bound is sharp.

The separation dimension of a graph $G$, written $π(G)$, is the minimum number of linear orderings of $V(G)$ such that every two nonincident edges are "separated" in some ordering, meaning that both endpoints of one edge appear before both endpoints of the other. We introduce the fractional separation dimension $π_f(G)$, which is the minimum of $a/b$ such that some $a$ linear orderings (repetition allowed) separate every two nonincident edges at least $b$ times. In contrast to separation dimension, fractional separation dimension is bounded: always $π_f(G)\le 3$, with equality if and only if $G$ contains $K_4$. There is no stronger bound even for bipartite graphs, since $π_f(K_{m,m})=π_f(K_{m+1,m})=\frac{3m}{m+1}$. We also compute $π_f(G)$ for cycles and some complete tripartite graphs. We show that $π_f(G)<\sqrt 2$ when $G$ is a tree and present a sequence of trees on which the value tends to $4/3$. Finally, we consider analogous problems for circular orderings, where pairs of nonincident edges are separated unless their endpoints alternate. Let $π^\circ(G)$ be the number of circular orderings needed to separate all pairs and $π_f^\circ(G)$ be the fractional version. Among our results: (1) $π^\circ(G)=1$ if and only $G$ is outerplanar. (2) $π^\circ(G)\le2$ when $G$ is bipartite. (3) $π^\circ(K_n)\ge\log_2\log_3(n-1)$. (4) $π_f^\circ(G)\le\frac{3}{2}$, with equality if and only if $K_4\subseteq G$. (5) $π_f^\circ(K_{m,m})=\frac{3m-3}{2m-1}$.