arXiv++ Combinatorics

Let $D$ be a digraph of order $n$ and size $m$ with the property that no out-neighborhood or in-neighborhood of any vertex is acyclic. We show that, if $D$ is strongly connected, then $m\geq 7n/3$, and, if $D$ is strongly $2$-connected, then $m\geq 8n/3$. Both results are best-possible.

For a non-negative integer $k$, a vertex cut in a graph is $k$-degenerate if it induces a $k$-degenerate subgraph. We show that a graph of order $n$ at least $2k+2$ without a $k$-degenerate cut has the size at least $\frac{1}{2}\left(k+Ω\left(\sqrt{k}\right)\right)n$ and that a graph of order $n$ at least $5$ without a $2$-degenerate cut has the size at least $\frac{27n-35}{10}$. For $k\geq 2$, we show that a connected graph $G$ of order $n$ at least $k+6$ and size $m$ at most $\frac{k+3}{2}n+\frac{k-1}{2}$ has a minimum $k$-degenerate cut.

Let $G$ be a $K_4$-free graph of order $n$ and let $k$ be an integer with $0\leq k\leq n$. We show the existence of positive constants $η$ and $ν$ such that $G$ has at most $(4-η)^{(5-η)k-n}(5-η)^{n-(4-η)k}$ maximal independent sets of order $k$ and at most $O\left((12-ν)^{\frac{n}{4}}\right)$ maximal induced bipartite subgraphs.

Kamyczura introduced the notion of a majority additive $k$-coloring of a graph $G$ as a function $c: V(G) \to \{1,2,\ldots,k\}$ such that $$\left|\left\{u \in N_G(v):\sum_{w \in N_G(u)} c(w) = s \right\}\right|\leq \max\left\{1,\frac{d_G(v)}{2}\right\}$$ for every vertex $v$ of $G$ and every positive integer $s$. We show that every graph $G$ of maximum degree $Δ$ admitting a majority additive coloring has a majority additive $\mathcal{O}\left(Δ^2\right)$-coloring. Under additional restrictions we improve this to sublinear in $Δ$. We show that determining whether a majority additive $k$-coloring exists for a given graph is NP-complete for all $k\geq 2$.

For a tree $T$, let $lp(T)$ be the number of different lengths of leaf to leaf paths in $T$. For a degree sequence $s$ of a tree, let ${\rm rad}(s)$ be the minimum radius of a tree with degree sequence $s$. Recently, Di Braccio, Katsamaktsis, Ma, Malekshahian, and Zhao provided a lower bound on $lp(T)$ in terms of the number of leaves and the maximum degree of $T$, answering a related question posed by Narins, Pokrovskiy, and Szabó. Here we show $lp(T)\geq {\rm rad}(s)-\log_2\left({\rm rad}(s)\right)$ for a tree $T$ with no vertex of degree $2$ and degree sequence $s$, and discuss possible improvements and variants.

Let $G$ be a graph of order $n$, maximum degree at most $Δ$, and no component of order $2$. Inspired by the famous 1-2-3-conjecture, Bensmail, Marcille, and Orenga define a proper pushing scheme of $G$ as a function $ρ:V(G)\to\mathbb{N}_0$ for which $$σ:V(G)\to\mathbb{N}_0:u\mapsto \left(1+ρ(u)\right)d_G(u)+\sum_{v\in N_G(u)}ρ(v)$$ is a vertex coloring, that is, adjacent vertices receive different values under $σ$. They show the existence of a proper pushing scheme $ρ$ with $\max\{ ρ(u):u\in V(G)\}\leq Δ^2$ and conjecture that this upper bound can be improved to $Δ$. We show their conjecture for cubic graphs and regular bipartite graphs. Furthermore, we show the existence of a proper pushing scheme $ρ$ with $\sum_{u\in V(G)}ρ(u)\leq \left(2Δ^2+Δ\right)n/6$.

We provide theoretical insights around the cutwidth of a graph and the One-Sided Crossing Minimization (OSCM) problem. OSCM was posed in the Parameterized Algorithms and Computational Experiments Challenge 2024, where the cutwidth of the input graph was the parameter in the parameterized track. We prove an asymptotically sharp upper bound on the size of a graph in terms of its order and cutwidth. As the number of so-called unsuited pairs is one of the factors that determine the difficulty of an OSCM instance, we provide a sharp upper bound on them in terms of the order $n$ and the cutwidth of the input graph. If the cutwidth is bounded by a constant, this implies an $\mathcal{O}(2^n)$-time algorithm, while the trivial algorithm has a running time of $\mathcal{O}(2^{n^2})$. At last, we prove structural properties of the so-called crossing numbers in an OSCM instance.

For a finite, simple, and undirected graph $G$ with $n$ vertices and average degree $d$, Nikiforov introduced the degree deviation of $G$ as $s=\sum_{u\in V(G)}\left|d_G(u)-d\right|$. Provided that $G$ has largest eigenvalue $λ$, minimum degree at least $δ$, and maximum degree at most $Δ$, where $0\leqδ<d<Δ<n$, we show $$s\leq \frac{2n(Δ-d)(d-δ)}{Δ-δ} \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\mbox{and}\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, λ\geq \begin{cases} \frac{d^2n}{\sqrt{d^2n^2-s^2}} & \mbox{, if } s\leq \frac{dn}{\sqrt{2}},\\[3mm] \frac{2s}{n} & \mbox{, if } s> \frac{dn}{\sqrt{2}}. \end{cases}$$ Our results are based on a smoothing technique relating the degree deviation and the largest eigenvalue to low-dimensional non-linear optimization problems.

Confirming a conjecture posed by Caro, it was shown by Chen and Yu that every graph $G$ with $n$ vertices and at most $2n-4$ edges has a stable cutset, which is a stable set of vertices whose removal disconnects the graph. Le and Pfender showed that all graphs with $n$ vertices and $2n-3$ edges without stable cutset arise recursively glueing together triangles and triangular prisms along an edge or triangle. Le and Pfender's proof contains a gap, which we fill in the present article.

We propose the conjecture that every graph $G$ of order $n$ with less than $3n-6$ edges has a vertex cut that induces a forest. Maximal planar graphs do not have such vertex cuts and show that the density condition would be best possible. We verify the conjecture for planar graphs and show that every graph $G$ of order $n$ with less than $\frac{11}{5}n-\frac{18}{5}$ edges has a vertex cut that induces a forest.

For a finite, simple, and undirected graph $G$ with $n$ vertices, $m$ edges, and largest eigenvalue $λ$, Nikiforov introduced the degree deviation of $G$ as $s=\sum_{u\in V(G)}\left|d_G(u)-\frac{2m}{n}\right|$. Contributing to a conjecture of Nikiforov, we show $λ-\frac{2m}{n}\leq \sqrt{\frac{2s}{3}}$. For our result, we show that the largest eigenvalue of a graph that arises from a bipartite graph with $m_{A,B}$ edges by adding $m_A$ edges within one of the two partite sets is at most $\sqrt{m_A+m_{A,B}+\sqrt{m_A^2+2m_Am_{A,B}}}$, which is a common generalization of results due to Stanley and Bhattacharya, Friedland, and Peled.

Graph isomorphism, subgraph isomorphism, and maximum common subgraphs are classical well-investigated objects. Their (parameterized) complexity and efficiently tractable cases have been studied. In the present paper, for a given set of forests, we study maximum common induced subforests and minimum common induced superforests. We show that finding a maximum subforest is NP-hard already for two subdivided stars while finding a minimum superforest is tractable for two trees but NP-hard for three trees. For a given set of $k$ trees, we present an efficient greedy $\left(\frac{k}{2}-\frac{1}{2}+\frac{1}{k}\right)$-approximation algorithm for the minimum superforest problem. Finally, we present a polynomial time approximation scheme for the maximum subforest problem for any given set of forests.

A common subgraph of two graphs $G_1$ and $G_2$ is a graph that is isomorphic to subgraphs of $G_1$ and $G_2$. In the largest common subgraph problem the task is to determine a common subgraph for two given graphs $G_1$ and $G_2$ that is of maximum possible size ${\rm lcs}(G_1,G_2)$. This natural problem generalizes the well-studied graph isomorphism problem, has many applications, and remains NP-hard even restricted to unions of paths. We present a simple $4$-approximation algorithm for forests, and, for every fixed $ε\in (0,1)$, we show that, for two given forests $F_1$ and $F_2$ of order at most $n$, one can determine in polynomial time a common subgraph $F$ of $F_1$ and $F_2$ with at least ${\rm lcs}(F_1,F_2)-εn$ edges. Restricted to instances with ${\rm lcs}(F_1,F_2)\geq cn$ for some fixed positive $c$, this yields a polynomial time approximation scheme. Our approach relies on the approximation of the given forests by structurally simpler forests that are composed of copies of only $O(\log (n))$ different starlike rooted trees and iterative quantizations of the options for the solutions.

One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph $G$, we are given a so-called conflict graph $\hat{G}$ on the edges of $G$, and we ask for an edge-cutset $M$ of $G$ that is independent in $\hat{G}$. Since conflict-free settings are popular generalizations of classical optimization problems and Conflict-Free Cut was not considered in the literature so far, we start the study of the problem. We show that the problem is $\textsf{NP}$-complete even when the maximum degree of $G$ is 5 and $\hat{G}$ is 1-regular. The same reduction implies an exponential lower bound on the solvability based on the Exponential Time Hypothesis. We also give parameterized complexity results: We show that the problem is fixed-parameter tractable with the vertex cover number of $G$ as a parameter, and we show $\textsf{W[1]}$-hardness even when $G$ has a feedback vertex set of size one, and the clique cover number of $\hat{G}$ is the parameter. Since the clique cover number of $\hat{G}$ is an upper bound on the independence number of $\hat{G}$ and thus the solution size, this implies $\textsf{W[1]}$-hardness when parameterized by the cut size. We list polynomial-time solvable cases and interesting open problems. At last, we draw a connection to a symmetric variant of SAT.

The Independent Cutset problem asks whether there is a set of vertices in a given graph that is both independent and a cutset. Such a problem is $\textsf{NP}$-complete even when the input graph is planar and has maximum degree five. In this paper, we first present a $\mathcal{O}^*(1.4423^{n})$-time algorithm for the problem. We also show how to compute a minimum independent cutset (if any) in the same running time. Since the property of having an independent cutset is MSO$_1$-expressible, our main results are concerned with structural parameterizations for the problem considering parameters that are not bounded by a function of the clique-width of the input. We present $\textsf{FPT}$-time algorithms for the problem considering the following parameters: the dual of the maximum degree, the dual of the solution size, the size of a dominating set (where a dominating set is given as an additional input), the size of an odd cycle transversal, the distance to chordal graphs, and the distance to $P_5$-free graphs. We close by introducing the notion of $α$-domination, which allows us to identify more fixed-parameter tractable and polynomial-time solvable cases.

Došlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. For a graph $G$ of order $n$ and maximum degree at most $Δ$, we show $Mo(G)\leq \fracΔ{2}n^2-(1-o(1))c_Δn\log(\log(n)),$ where $c_Δ>0$ only depends on $Δ$ and the $o(1)$ term only depends on $n$. Furthermore, for integers $n_0$ and $Δ$ at least $3$, we show the existence of a $Δ$-regular graph of order $n$ at least $n_0$ with $Mo(G)\geq \fracΔ{2}n^2-c'_Δn\log(n),$ where $c'_Δ>0$ only depends on $Δ$.

We show that every graph $G$ of maximum degree $Δ$ and sufficiently large order has a vertex cutset $S$ of order at most $Δ$ that induces a subgraph $G[S]$ of maximum degree at most $Δ-3$. For $Δ\in \{ 4,5\}$, we refine this result by considering also the average degree of $G[S]$. If $G$ has no $K_{r,r}$ subgraph, then we show the existence of a vertex cutset that induces a subgraph of maximum degree at most $\left(1-\frac{1}{r\choose 2}\right)Δ+O(1)$.

Albertson defined the irregularity of a graph $G$ as $irr(G)=\sum\limits_{uv\in E(G)}|d_G(u)-d_G(v)|$. For a graph $G$ with $n$ vertices, $m$ edges, maximum degree $Δ$, and $d=\left\lfloor \frac{Δm}{Δn-m}\right\rfloor$, we show $$irr(G)\leq d(d+1)n+\frac{1}Δ\left(Δ^2-(2d+1)Δ-d^2-d\right)m.$$

Let $G$ be a finite, simple, and undirected graph of order $n$ and average degree $d$. Up to terms of smaller order, we characterize the minimal intervals $I$ containing $d$ that are guaranteed to contain some vertex degree. In particular, for $d_+\in \left(\sqrt{dn},n-1\right]$, we show the existence of a vertex in $G$ of degree between $d_+-\left(\frac{(d_+-d)n}{n-d_++\sqrt{d_+^2-dn}}\right)$ and $d_+$.

Došlić et al. defined the Mostar index of a graph $G$ as $Mo(G)=\sum\limits_{uv\in E(G)}|n_G(u,v)-n_G(v,u)|$, where, for an edge $uv$ of $G$, the term $n_G(u,v)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$. They conjectured that $Mo(G)\leq 0.\overline{148}n^3$ for every graph $G$ of order $n$. As a natural upper bound on the Mostar index, Geneson and Tsai implicitly consider the parameter $Mo^\star(G)=\sum\limits_{uv\in E(G)}\big(n-\min\{ d_G(u),d_G(v)\}\big)$. For a graph $G$ of order $n$, they show that $Mo^\star(G)\leq \frac{5}{24}(1+o(1))n^3$. We improve this bound to $Mo^\star(G)\leq \left(\frac{2}{\sqrt{3}}-1\right)n^3$, which is best possible up to terms of lower order. Furthermore, we show that $Mo^\star(G)\leq \left(2\left(\fracΔ{n}\right)^2+\left(\fracΔ{n}\right)-2\left(\fracΔ{n}\right)\sqrt{\left(\fracΔ{n}\right)^2+\left(\fracΔ{n}\right)}\right)n^3$ provided that $G$ has maximum degree $Δ$.