arXiv++ Combinatorics

In this paper, we investigate the ratio of the numbers of odd and even cycles in outerplanar graphs. We verify that the ratio generally diverges to infinity as the order of a graph diverges to infinity. We also give sharp estimations of the ratio for several classes of outerplanar graphs, and obtain a constant upper bound of the ratio for some of them. Furthermore, we consider similar problems in graphs with some pairs of forbidden subgraphs/minors, and propose a challenging problem concerning claw-free graphs.

A set $D$ of vertices in $G$ is a disjunctive dominating set in $G$ if every vertex not in $D$ is adjacent to a vertex of $D$ or has at least two vertices in $D$ at distance $2$ from it in $G$. The disjunctive domination number, $γ^{d}_2(G)$, of $G$ is the minimum cardinality of a disjunctive dominating set in $G$. In this paper, we show that if $G$ be a graph of order at least $3$, $δ(G)\geq 2$ and with no component isomorphic to any of eight forbidden graphs, then $γ^{d}_2(G)\leq \frac{|G|}{3}$. Moreover, we provide an infinite family of graphs attaining this bound. In addition, we also study the case that $G$ is a claw-free graph with minimum degree at least two.

For every graph $X$, we consider the class of all connected $\{K_{1,3}, X\}$-free graphs which are distinct from an odd cycle and have independence number at least $4$, and we show that all graphs in the class are perfect if and only if $X$ is an induced subgraph of some of $P_6$, $K_1 \cup P_5$, $2P_3$, $Z_2$ or $K_1 \cup Z_1$. Furthermore, for $X$ chosen as $2K_1 \cup K_3$, we list all eight imperfect graphs belonging to the class; and for every other choice of $X$, we show that there are infinitely many such graphs. In addition, for $X$ chosen as $B_{1,2}$, we describe the structure of all imperfect graphs in the class.

Graph complements G(n) of cyclic graphs are circulant, vertex-transitive, claw-free, strongly regular, Hamiltonian graphs with a Z(n) symmetry, Shannon capacity 2 and known Wiener and Harary index. There is an explicit spectral zeta function and tree or forest data. The forest-tree ratio converges to e. The graphs G(n) are Cayley graphs and so Platonic with isomorphic unit spheres G(n-3)^+, complements of path graphs. G(3d+3) are homotop to wedge sums of two d-spheres and G(3d+2),G(3d+4) are homotop to d-spheres, G(3d+1)^+ are contractible, G(3d+2)^+,G(3d+3)^+ are d-spheres. Since disjoint unions are dual to Zykov joins, graph complements of 1-dimensional discrete manifolds G are homotop to a point, a sphere or a wedge sums of spheres. If the length of every connected component of a 1-manifold is not divisible by 3, the graph complement of G is a sphere. In general, the graph complement of a forest is either contractible or a sphere. All induced strict subgraphs of G(n) are either contractible or homotop to spheres. The f-vectors G(n) or G(n)^+ satisfy a hyper Pascal triangle relation, the total number of simplices are hyper Fibonacci numbers. The simplex generating functions are Jacobsthal polynomials, generating functions of k-king configurations on a circular chess board. While the Euler curvature of circle complements G(n) is constant by symmetry, the discrete Gauss-Bonnet curvature of path complements G(n)^+ can be expressed explicitly from the generating functions. There is now a non-trivial 6 periodic Gauss-Bonnet curvature universality in the complement of Barycentric limits. The Brouwer-Lefschetz fixed point theorem produces a 12-periodicity of the Lefschetz numbers of all graph automorphisms of G(n). There is also a 12-periodicity of Wu characteristic. This is a 4 periodicity in dimension.These are manifestations of stable homotopy features, but combinatorial.

Paths $P_1,\ldots,P_k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P_i$ and $P_j$ have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P_i$ such that each $P_i$ connects $s_i$ and $t_i$. This is a classical graph problem that is NP-complete even for $k=2$. We study it for AT-free graphs. Unlike its subclasses of permutation graphs and cocomparability graphs, the class of AT-free graphs has no geometric intersection model. However, by a new, structural analysis of the behaviour of Induced Disjoint Paths for AT-free graphs, we prove that it can be solved in polynomial time for AT-free graphs even when $k$ is part of the input. This is in contrast to the situation for other well-known graph classes, such as planar graphs, claw-free graphs, or more recently, (theta,wheel)-free graphs, for which such a result only holds if $k$ is fixed. As a consequence of our main result, the problem of deciding if a given AT-free graph contains a fixed graph $H$ as an induced topological minor admits a polynomial-time algorithm. In addition, we show that such an algorithm is essentially optimal by proving that the problem is W[1]-hard with parameter $|V_H|$, even on a subclass of AT-free graph, namely cobipartite graphs. We also show that the problems $k$-in-a-Path and $k$-in-a-Tree are polynomial-time solvable on AT-free graphs even if $k$ is part of the input. These problems are to test if a graph has an induced path or induced tree, respectively, spanning $k$ given vertices.

Motivated by an application in condensed matter physics and quantum information theory, we prove that every non-null even-hole-free claw-free graph has a simplicial clique, that is, a clique $K$ such that for every vertex $v \in K$, the set of neighbours of $v$ outside of $K$ is a clique. In fact, we prove the existence of a simplicial clique in a more general class of graphs defined by forbidden induced subgraphs.

An orientation $D$ of a graph $G=(V,E)$ is a digraph obtained from $G$ by replacing each edge by exactly one of the two possible arcs with the same end vertices. For each $v \in V(G)$, the indegree of $v$ in $D$, denoted by $d^-_D(v)$, is the number of arcs with head $v$ in $D$. An orientation $D$ of $G$ is proper if $d^-_D(u)\neq d^-_D(v)$, for all $uv\in E(G)$. An orientation with maximum indegree at most $k$ is called a $k$-orientation. The proper orientation number of $G$, denoted by $\overrightarrowχ(G)$, is the minimum integer $k$ such that $G$ admits a proper $k$-orientation. We prove that determining whether $\overrightarrowχ(G) \leq k$ is NP-complete for chordal graphs of bounded diameter, but can be solved in linear-time in the subclass of quasi-threshold graphs. When parameterizing by $k$, we argue that this problem is FPT for chordal graphs and argue that no polynomial kernel exists, unless $NP\subseteq coNP/\ poly$. We present a better kernel to the subclass of split graphs and a linear kernel to the class of cobipartite graphs. Concerning bounds, we prove tight upper bounds for subclasses of block graphs. We also present new families of trees having proper orientation number at most 2 and at most 3. Actually, we prove a general bound stating that any graph $G$ having no adjacent vertices of degree at least $c+1$ have proper orientation number at most $c$. This implies new classes of (outer)planar graphs with bounded proper orientation number. We also prove that maximal outerplanar graphs $G$ whose weak-dual is a path satisfy $\overrightarrowχ(G)\leq 13$. Finally, we present simple bounds to the classes of chordal claw-free graphs and cographs.

Perfect Matching-Cut is the problem of deciding whether a graph has a perfect matching that contains an edge-cut. We show that this problem is NP-complete for planar graphs with maximum degree four, for planar graphs with girth five, for bipartite five-regular graphs, for graphs of diameter three and for bipartite graphs of diameter four. We show that there exist polynomial time algorithms for the following classes of graphs: claw-free, $P_5$-free, diameter two, bipartite with diameter three and graphs with bounded tree-width.

Let $γ_g(G)$ be the game domination number of a graph $G$. Rall conjectured that if $G$ is a traceable graph, then $γ_g(G) \le \left\lceil \frac{1}{2}n(G)\right\rceil$. Our main result verifies the conjecture over the class of line graphs. Moreover, in this paper we put forward the conjecture that if $δ(G) \geq 2$, then $γ_g(G) \leq \left\lceil \frac{1}{2}n(G) \right\rceil$. We show that both conjectures hold true for claw-free cubic graphs. We further prove the upper bound $γ_g(G) \le \left\lceil \frac{11}{20} \, n(G) \right\rceil$ over the class of claw-free graphs of minimum degree at least $2$. Computer experiments supporting the new conjecture and sharpness examples are also presented.

For any graph $G$, assume that $J(G)$ is the cover ideal of $G$. Let $J(G)^{(k)}$ denote the $k$th symbolic power of $J(G)$. We characterize all graphs $G$ with the property that $J(G)^{(k)}$ has a linear resolution for some (equivalently, for all) integer $k\geq 2$. Moreover, it is shown that for any graph $G$, the sequence $\big({\rm reg}(J(G)^{(k)})\big)_{k=1}^{\infty}$ is nondecreasing. Furthermore, we compute the largest degree of minimal generators of $J(G)^{(k)}$ when $G$ is either an unmixed of a claw-free graph.

Given a graph, the conflict-free coloring problem on open neighborhoods (CFON) asks to color the vertices of the graph so that all the vertices have a uniquely colored vertex in its open neighborhood. The smallest number of colors required for such a coloring is called the conflict-free chromatic number and denoted $χ_{ON}(G)$. In this note, we study this problem on $S_k$-free graphs where $S_k$ is a star on $k+1$ vertices. When $G$ is $S_k$-free, we show that $χ_{ON}(G) = O(k\cdot \log^{2+ε}Δ)$, for any $ε> 0$, where $Δ$ denotes the maximum degree of $G$. Further, we show existence of claw-free ($S_3$-free) graphs that require $Ω(\log Δ)$ colors.

A decomposition of a graph is a set of subgraphs whose edges partition those of $G$. The 3-decomposition conjecture posed by Hoffmann-Ostenhof in 2011 states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph, and a matching. It has been settled for special classes of graphs, one of the first results being for Hamiltonian graphs. In the past two years several new results have been obtained, adding the classes of plane, claw-free, and 3-connected tree-width 3 graphs to the list. In this paper, we regard a natural extension of Hamiltonian graphs: removing a Hamiltonian cycle from a cubic graph leaves a perfect matching. Conversely, removing a perfect matching $M$ from a cubic graph $G$ leaves a disjoint union of cycles. Contracting these cycles yields a new graph $G_M$. The graph $G$ is star-like if $G_M$ is a star for some perfect matching $M$, making Hamiltonian graphs star-like. We extend the technique used to prove that Hamiltonian graphs satisfy the 3-decomposition conjecture to show that 3-connected star-like graphs satisfy it as well.

In a series of papers, of which this is the first, we study sufficient conditions for Hamiltonicity in terms of forbidden induced subgraphs and extend such results to locally finite infinite graphs. For this we use topological circles within the Freudenthal compactification of a locally finite graph as infinite cycles. In this paper we focus on conditions involving claws, nets and bulls as induced subgraphs. We extend Hamiltonicity results for finite claw-free and net-free graphs by Shepherd to locally finite graphs. Moreover, we generalise a classification of finite claw-free and net-free graphs by Shepherd to locally finite ones. Finally, we extend to locally finite graphs a Hamiltonicity result by Ryjáček involving a relaxed condition of being bull-free.

In this paper we extend a result about a sufficient condition for Hamiltonicity for finite graphs by Broersma and Veldmann to locally finite graphs. In order to do this we use topological circles within the Freudenthal compactification of a locally finite graph as infinite cycles. The condition we focus on in this paper is in terms of forbidden induced subgraphs, namely being claw-free and a relaxation of being paw-free.

For a subset $S$ of vertices in a graph $G$, a vertex $v \in S$ is an enclave of $S$ if $v$ and all of its neighbors are in $S$, where a neighbor of $v$ is a vertex adjacent to $v$. A set $S$ is enclaveless if it does not contain any enclaves. The enclaveless number $Ψ(G)$ of $G$ is the maximum cardinality of an enclaveless set in $G$. As first observed in 1997 by Slater [J. Res. Nat. Bur. Standards 82 (1977), 197--202], if $G$ is a graph with $n$ vertices, then $γ(G) + Ψ(G) = n$ where $γ(G)$ is the well-studied domination number of $G$. In this paper, we continue the study of the competition-enclaveless game introduced in 2001 by Phillips and Slater [Graph Theory Notes N. Y. 41 (2001), 37--41] and defined as follows. Two players take turns in constructing a maximal enclaveless set $S$, where one player, Maximizer, tries to maximize $|S|$ and one player, Minimizer, tries to minimize~$|S|$. The competition-enclaveless game number $Ψ_g^+(G)$ of $G$ is the number of vertices played when Maximizer starts the game and both players play optimally. We study among other problems the conjecture that if $G$ is an isolate-free graph of order $n$, then $Ψ_g^+(G) \ge \frac{1}{2}n$. We prove this conjecture for regular graphs and for claw-free graphs.

For a graph $G=(V(G),E(G))$, an Italian dominating function (ID function) of $G$ is a function $f:V(G)\rightarrow \{0,1,2\}$ such that for each vertex $v\in V(G)$ with $f(v)=0$, $f(N(v))\geq2$, that is, either there is a vertex $u \in N(v)$ with $f (u) = 2$ or there are two vertices $x,y\in N(v)$ with $f(x)=f(y)=1$. A function $f:V(G)\rightarrow \{0,1,2\}$ is a covering Italian dominating function (CID function) of $G$ if $f$ is an ID function and $\{v\in V(G)\mid f(v)\neq0\}$ is a vertex cover set. The covering Italian domination number (CID number) $γ_{cI}(G)$ is the minimum weight taken over all CID functions of $G$. In this paper, we study the CID number in graphs. We show that the problem of computing this parameter is NP-hard even when restricted to some well-known families of graphs, and find some bounds on this parameter. We characterize the family of graphs for which their CID numbers attain the upper bound twice their vertex cover number as well as all claw-free graphs whose CID numbers attain the lower bound half of their orders. We also give the characterizations of some families of graphs with small or large CID numbers.

Given a graph $G=(V,E)$, $S\subseteq V$ is a dominating set if every $v\in V\setminus S$ is adjacent to an element of $S$. The Minimum Dominating Set problem asks for a dominating set with minimum cardinality. It is well known that its decision version is $NP$-complete even when $G$ is a claw-free graph. We give a complexity dichotomy for the Minimum Dominating Set problem for the class of $(claw, H)$-free graphs when $H$ has at most six vertices. In an intermediate step we show that the Minimum Dominating Set problem is $NP$-complete for cubic graphs.

Lov{á}sz showed that a matching covered graph $G$ has an ear decomposition starting with an arbitrary edge of $G$. Let $G$ be a graph which has a perfect matching. We call $G$ cycle-nice if for each even cycle $C$ of $G$, $G-V(C)$ has a perfect matching. If $G$ is a cycle-nice matching covered graph, then $G$ has ear decompositions starting with an arbitrary even cycle of $G$. In this paper, we characterize cycle-nice claw-free plane graphs. We show that the only cycle-nice simple 3-connected claw-free plane graphs are $K_4$, $W_5$ and $\overline C_6$. Furthermore, every cycle-nice 2-connected claw-free plane graph can be obtained from a graph in the family ${\cal F}$ by a sequence of three types of operations, where ${\cal F}$ consists of even cycles, a diamond, $K_4$, and $\overline C_6$.

Yang et al. proved that every 3-connected, essentially 11-connected line graph is Hamilton-connected. This was extended by Li and Yang to 3-connected, essentially 10-connected graphs. Strengthening their result further, we prove that 3-connected, essentially 9-connected line graphs are Hamilton-connected. We use a method based on quasigraphs in combination with the discharging technique. The result extends to claw-free graphs.

Let $G=(V,E)$ be a graph and $n$ a positive integer. Let $I_n(G)$ be the abstract simplicial complex whose simplices are the subsets of $V$ that do not contain an independent set of size $n$ in $G$. We study the collapsibility numbers of the complexes $I_n(G)$ for various classes of graphs, focusing on the class of graphs with maximum degree bounded by $Δ$. As an application, we obtain the following result: Let $G$ be a claw-free graph with maximum degree at most $Δ$. Then, every collection of $\left\lfloor\left(\fracΔ{2}+1\right)(n-1)\right\rfloor+1$ independent sets in $G$ has a rainbow independent set of size $n$.