graph
35150 papers tagged with this keyword
On the minimum vertex cover of snarks
A vertex cover of a graph $G$ is a subset of vertices $C \subseteq V(G)$ such that every edge of $G$ is incident to at least one vertex in $C$. The vertex cover number of $G$ is the minimum cardinality of a vertex cover of $G$ and is denoted by $τ(G)$. A snark is a connected, bridgeless, cubic graph that has an edge chromatic number of four, meaning its edges cannot be properly colored with only three colors. In this work, we investigate the problem of determining the value of a minimum vertex cover for classes of snark graphs. Given a positive integer $k$, we firstly prove that determining whether an arbitrary snark has a vertex cover $C$ with size $|C| \leq k$ is an NP-complete problem. Secondly, we determine the vertex cover number $τ(G)$ for several subclasses of snark graphs, such as Flower snarks, Goldberg snarks, Generalized Blanuša snarks and Loupekine snarks.
A dense-case theorem for Seymour's second neighborhood conjecture
Seymour's second neighborhood conjecture asserts that every finite oriented graph has a vertex with at least as many exact second outneighbors as outneighbors. Established cases include tournaments, proved by Fisher (1996), and oriented graphs of minimum outdegree at most six, proved by Kaneko and Locke (2001); a recent preprint of Sadhukhan, Sandeep, and Sen (2026) treats minimum outdegree seven. For dense incomplete graphs, Fidler and Yuster (2007) proved the conjecture when the missing edges form a matching, a star, or a clique, Ghazal (2012) extended this direction to generalized stars, and Dara, Francis, Jacob, and Narayanan (2022) proved it when the missing edges can be partitioned into a matching and a star. We give a short counting proof of the conjecture for every oriented graph of order $n=2δ+2$, where $δ$ is the minimum outdegree, with no prescribed structure on the missing edges. Together with Fisher's tournament theorem, this implies the conjecture for every oriented graph satisfying $n\le2δ+2$. Combined with the known minimum-outdegree results, this raises the best lower bound known to us on the order of a counterexample from $16$ to $17$ and, conditional on the preprint of Sadhukhan, Sandeep, and Sen (2026), from $18$ to $19$.
On the difference between clique partition and clique covering numbers of graphs
For a graph $G$, let $\cpn(G)$ and $\ccn(G)$ denote the minimum numbers of cliques whose edge sets partition and cover $E(G)$, respectively, and put $f(n)=\max_{|V(G)|=n}\bigl(\cpn(G)-\ccn(G)\bigr).$ In 1983, Erdős, Faudree, and Ordman asked whether there is a sequence of graphs $G_n$ such that $|V(G_n)|=n$ and $\cpn(G_n)-\ccn(G_n)=n^2/4+O(n)$. The question appears as Problem 66 in Chung's survey \cite{ChungProblems} and is also listed on the UCSD Erdős Problems website. Caccetta, Erdős, Ordman, and Pullman proved that $f(n)=n^2/4-o(n^2)$. We prove that $f(n)=\left\lfloor\frac{n^2}{4}\right\rfloor-Θ(n^{4/3}),$ and hence answer the question in the negative.
Tripartite Zarankiewicz numbers and norm graphs
For fixed integers $s\ge t\ge2$, let $\operatorname{ex}(n,n,n,K_{s,t})$ denote the maximum number of edges in a tripartite $K_{s,t}$-free graph with $n$ vertices in each part. When $s\ge(t-1)!+1$, let $r$ be the largest integer satisfying $s\ge(t-1)!r^{t-1}+1$. Using the quotient norm graphs of Alon, Rónyai and Szabó, we prove that \[ \operatorname{ex}(n,n,n,K_{s,t}) \ge \left(\frac{3}{2^{1/t}}r^{1-1/t}+o(1)\right)n^{2-1/t}. \] Improving an upper bound of Tait and Timmons, we prove that, for all $s\ge t\ge 2$, \[
\operatorname{ex}(n,n,n,K_{s,t})\le \left(\frac{3}{2^{1/t}}(s-t+1)^{1/t}+o(1)\right)n^{2-1/t}. \] Together, these bounds recover the results for $t=2$, and give the new asymptotic formula \[
\operatorname{ex}(n,n,n,K_{3,3})
=\left(\frac{3}{\sqrt[3]{2}}+o(1)\right)n^{5/3}. \] Analogous results extend to $k$-partite graphs containing no $K_{s, t}$ whose $s$-vertex or $t$-vertex side lies in a single part. As an application of our tripartite construction, we determine the tripartite multicolor Ramsey number of $K_{3,3}$ asymptotically.
Every 2-Subdivision of a Cubic Graph Is Antimagic
Let G be a finite simple cubic graph, not necessarily connected, and let S_2(G) be obtained by subdividing every edge of G twice. Li (2025) developed general constructions for antimagic labelings of repeated subdivisions, but the cubic case G(3) = S_2(G) is not covered by those methods. Our first proof constructs an edge labeling of G in which every vertex sum is sufficiently large and occurs at most twice, and then uses an orientation after subdivision to separate the remaining equal sums. A second, direct construction uses the same path decomposition to make the internal contribution at each original vertex constant, while a unique endpoint contribution distinguishes the resulting sums. The direct construction further shows that S_2(G) is strongly antimagic whenever every vertex of G has odd degree at least three.
Average hitting times and recurrence structures II: Cartesian products of powers of cycles and regular graphs
In our previous work \cite{MiezakiTamura2026}, we clarified the second-order linear recurrence structures appearing in the average hitting times on the $k$-th power graph $C_N^k$ of the cycle graph. In this paper, for a connected $r$-regular graph $G$ on $m$ vertices, we investigate the average hitting times of the simple random walk on the Cartesian product graph $C_N^k \square G$. By using discrete Fourier analysis in the $C_N^k$ direction and the Laplacian spectral decomposition of $G$, we decompose the average hitting time into a component proportional to the average hitting time on $C_N^k$ and correction terms arising from the nonzero Laplacian eigenspaces of $G$. For each nonzero Laplacian eigenvalue, we introduce a Chebyshev-type polynomial, and when all of its roots are simple, we express the correction term as a finite Green-type sum. Furthermore, for two vertices having the same $G$-coordinate, we transform this expression into a second-order linear recurrence representation of the form $V_\ell V_{N-\ell}/V_N$.
When $G$ is a walk-regular graph, the average hitting time between two vertices having the same $G$-coordinate depends only on the Laplacian eigenvalues of $G$ and their multiplicities. We also derive formulas for the number of spanning trees and the number of two-component spanning forests of $C_N^k \square G$, and give several explicit examples.
On Arithmetic Cordial Labeling of Product Graphs
Let $η$ be a fixed positive integer. Let $S$ be a subset of $\mathbb{Z}$, $\star:S\times S\to \mathbb{Z}$ be a binary function, and $ζ_η:\{ξ\in \mathbb{Z}:\gcd(ξ,η)=1\}\to \{0,1\}$ be a function. For a simple graph $G$ of order $n$, a bijective function $f:V(G)\to S$ (where $|S|=n$) is called an arithmetic cordial labeling modulo $η$ under the arithmetic structure $\langle S,ζ_η,\star\rangle$ if the induced function $f_η^*:E(G)\to \{0,1\}$, defined by $f_η^*(ab)=1$ whenever $\gcd(f(a)\star f(b),η)= 1$ and $ζ_η(f(a)\star f(b))=1$; otherwise, $f_η^*(ab)=0$, satisfies the condition $|e_{f_η^*}(0)-e_{f_η^*}(1)|\leq 1$, where $e_{f_η^*}(i)$ is the number of edges with label $i$ ($i=0,1$). In this paper, the arithmetic cordial labeling of product graphs, namely, corona, lexicographic, cartesian, tensor, and strong, is explored under the operation of addition.
Nonisomorphic Graphs Can Share an Arbitrarily Large Fraction of Their Vertex-Deleted Cards
For a graph $G$, its vertex deck is the multiset of graphs obtained by deleting one vertex. Bowler, Brown, and Fenner (BBF) proposed $2\lfloor(n-1)/3\rfloor$ as the maximum possible overlap between the decks of two nonisomorphic $n$-vertex graphs, for all sufficiently large $n$. We first give an explicit pair of connected nonisomorphic graphs on $78$ vertices with at least $51$ common cards, exceeding BBF's predicted value of $50$. We then construct, for every even $r\ge4$, families at arbitrarily large orders whose overlap fraction is asymptotically at least $1-1/r$. Consequently, for every $α<1$, infinitely many pairs have more than $αn$ common cards, so the attainable fraction is arbitrarily close to the full deck. For representative instances, the predicted overlaps were also checked by complete deck generation and isomorphism testing with Brendan McKay's nauty tools.
On spanning trees whose degrees are congruent to one modulo $\ell$
An $\ell$-congruent spanning tree of a nontrivial connected graph is a spanning tree in which every vertex has degree congruent to one modulo $\ell$. This notion provides a common generalization of classical spanning trees and odd spanning trees. We show, via a constructive greedy algorithm, that every $n$-vertex graph $G$ satisfying $n\equiv2\pmod{\ell}$ and $δ(G)>\frac{(\ell-1)n}{\ell}$ has an $\ell$-congruent spanning tree. For the special case of odd spanning trees ($\ell=2$), our algorithmic approach simplifies the original proof by Zheng and Wu. We also derive formulas for the numbers of $\ell$-congruent spanning trees in complete graphs and complete bipartite graphs. These formulas specialize to the classical spanning-tree formulas when $\ell=1$ and to the corresponding odd-spanning-tree formulas when $\ell=2$.
Perfect State Transfer on Oriented Circulant Graphs: A Complete Classification
The continuous-time quantum walk on an oriented circulant graph is determined by the Fourier eigenvalues of its Hermitian adjacency matrix. We classify perfect state transfer (PST) between distinct vertices in every nonempty oriented circulant graph. We show that each such graph is described by an odd primitive quadratic Dirichlet character of conductor $Δ$, a set of gcd-classes, and a choice between the two orientations of each selected class. For a graph of order $n$, we derive an explicit formula for every Fourier eigenvalue without assuming that $n/Δ$ is coprime to $Δ$. We prove that PST occurs only for $Δ\in\{3,4,8\}$ and give necessary and sufficient conditions on the connection set for each conductor. Equivalently, the square-free radicands of oriented circulant graphs with PST are exactly $1$, $2$, and $3$. More generally, when $λ_j=\sqrt{D}η_j$ with $η_j\in\mathbb{Z}$, congruences satisfied by the integers $η_j$ determine all PST pairs and times, the minimum period, and the largest vertex sets supporting multiple state transfer (MST). In this class, pretty good state transfer is equivalent to PST. We also determine the connected orders and enumerate the resulting graphs.
On ${\rm b}^{\ast}$-Coloring and $z$-Coloring of graphs with high girth
In a proper vertex coloring $c$ of a graph $G$, a vertex $u$ is called a b-vertex if $u$ is adjacent to a vertex in every other color class. A ${\rm b}^{\ast}$-coloring is a proper coloring in which a b-vertex is adjacent to a b-vertex in every other color class. A Grundy coloring is a proper coloring obtained by the First-Fit (greedy) coloring procedure. A $z$-coloring of $G$ is a ${\rm b}^{\ast}$-coloring that is also a Grundy coloring. The ${\rm b}^{\ast}$-chromatic number (resp., $z$-chromatic number), denoted by ${\rm b}^{\ast}(G)$ (resp., $z(G)$), is the maximum number of colors used in a ${\rm b}^{\ast}$-coloring (resp., $z$-coloring) of $G$. Every graph admits a ${\rm b}^{\ast}$-coloring and a $z$-coloring that can be found using a polynomial-time coloring heuristic. Let ${\rm m}^{\ast}(G)$ be the largest integer $k$ such that a vertex of degree at least $k$ in $G$ has $k$ neighbors of degree at least $k$. We employ list-coloring techniques to prove that if $G$ has a girth of at least $7$, then ${\rm b}^{\ast}(G) = {\rm m}^{\ast}(G)+ 1$. A similar result is obtained for graphs of girth at least $6$ when ${\rm m}^{\ast}=3$. Finally, we prove that if the girth is at least $2k+2$ and $G$ contains a specific tree as an ordinary subgraph, then $z(G)\geq k$.
Two Relaxations of the Dominating Hadwiger's Conjecture
Illingworth and Wood recently proposed the Dominating Hadwiger's Conjecture, a strengthening of Hadwiger's Conjecture which asserts that every graph with no dominating $K_t$-model is $(t-1)$-colorable. We prove two relaxations of this conjecture. First, we show that every graph with average degree $Ct (\log t)^2$ contains a dominating $K_t$-model for some absolute constant $C$. This bound improves on the $2^{t-2}$ due to Illingworth and Wood and is within an $O(\log t)$ factor from optimal. Second, we prove that the vertices of every graph with no dominating $K_t$-model can be partitioned into $t-1$ parts such that the subgraph induced by each part has bounded maximum degree.
The Hajnal-Szemerédi theorem in digraphs revisited
Treglown conjectured (in a complementary form) that for every positive integer $k$, every digraph $D$ satisfying $\min\{d^+(v),d^-(v)\}\le k-1$ for all $v\in V(D)$ has an equitable acyclic $k$-coloring. If true, this would imply the acyclic coloring versions of the Hajnal-Szemerédi theorem for digraphs proved by Czygrinow, DeBiasio, Kierstead, and Molla (which in turn imply the original Hajnal-Szemerédi theorem for graphs).
As it turns out, there is a simple reduction implicit in Aboulker, Oijid, Petit, Rocton, and Simon which surprisingly shows that Treglown's conjecture (and thus the results of Czygrinow, DeBiasio, Kierstead, and Molla) follows directly from the original Hajnal--Szemerédi theorem for graphs. We slightly modify the reduction in order to show that there exists a polynomial time algorithm for finding an equitable acyclic $k$-coloring in such a digraph.
On the Turán Density of $C_{10}$ in the Hypercube
The $n$-dimensional hypercube $Q_n$ is the graph with vertex set $\{0,1\}^n$ in which two vertices are adjacent if they differ in exactly one coordinate. For a graph $H$, let $\operatorname{ex}(Q_n,H)$ be the maximum number of edges in an $H$-free subgraph of $Q_n$. The hypercube Turán density of $H$ is defined by $π_{\square}(H) = \lim_{n \rightarrow \infty} \operatorname{ex}(Q_n,H)/|E(Q_n)|$. In this short note, we prove \[
π_{\square}(C_{10})\leq π_{\square}(C_6). \] Combined with Baber's upper bound on $π_{\square}(C_6)$, this yields $π_{\square}(C_{10})\leq 0.36577$. Our proof first bounds the number of copies of $C_6$ in $C_{10}$-free subgraphs of $Q_n$, and then applies an averaging argument over the subcubes of $Q_n$.
Coloring sparse random Cayley graphs
It is shown that there exists $c > 0$ so that the Cayley graph over any finite abelian group $Z$ generated by $c \log |Z|$ random elements is properly 3-colorable with high probability (as $|Z| \to \infty$). This is asymptotically tight and improves the best-known bound due to Alon of $\frac{1}{4}\log \log |Z|$ elements. It also settles the abelian case of Alon's suggestion that a bound of $c \log |G|$ may hold for any finite solvable group $G$.
A Sharp Product Bound for Disjoint Cross-Intersecting 3-Graphs with Covering Number Three
Lin, Frankl, and Wu proved that the product of the sizes of two cross-intersecting 3-uniform hypergraphs with covering number three is at most 121. They conjectured that requiring the families to be disjoint lowers the sharp bound to 100. We prove this conjecture. The smaller family has at most eleven edges; after fixing it, the other family may be enlarged to its external family of 3-transversals. Splitting by matching number leaves an elementary intersecting case and two finite kernels. We prove the correctness of both encodings and every pruning rule, and exhaustive C++20 computations give the external-blocker maxima 21, 19, 16, 14, 12, 11, 10, 9 for family sizes 4 through 11. Concrete witnesses are checked independently in Python. A pair of ten-edge families on six vertices attains product 100.
Complexity and algorithms for proper conflict-free coloring in graphs
A proper conflict-free (PCF) $k$-coloring of a graph $G$ is a proper $k$-coloring such that there exists a color that appears exactly once in the neighborhood of every non-isolated vertex $v\in V(G)$. The PCF chromatic number, denoted by $χ_{pcf}(G)$, is the least integer $k$ such that there exists a PCF $k$-coloring of $G$. Given a graph $G$ and a positive integer $k$, PCF $k$-COLORABILITY is to decide whether $G$ admits a PCF $k$-coloring. Ahn et al. [Discrete Appl. Math. 377 (2025) 10-17] proved that PCF $k$-COLORABILITY is NP-complete for bipartite graphs. We strengthen this result by proving that PCF $k$-COLORABILITY is NP-complete for perfect elimination bipartite graphs, which is a proper subclass of bipartite graphs. We also show that the PCF chromatic number of a graph cannot be approximated within $O(n^{1-\varepsilon})$ unless P=NP, for any $\varepsilon>0$. On the positive side, we provide linear-time algorithms for PCF $k$-COLORABILITY in block graphs, proper interval graphs, chain graphs, and pseudo-split graphs. We show that $χ_{pcf}(G)\leq ω(G)+1$ for block graphs, proper interval graphs, and pseudo-split graphs (except $C_5$), and we characterize all graphs for which the equality holds.
How Difficult Is It to Recognize CIS Graphs?
A graph $G$ is called $CIS$ if each maximal clique intersects each maximal stable set of $G$, with maximality taken with respect to set inclusion. CIS graphs resemble perfect graphs in several respects and have interesting applications in game theory. The complexity of recognizing CIS graphs was posed as an open problem by Chvátal in the 1990s and has since led to conflicting conjectures. We settle the problem by showing that recognizing CIS graphs is $\mathsf{coNP}\text{-complete}$.
Deletion-contraction properties of graphically stable spaces
Graphically stable spaces $\overline{\mathcal{M}}_{g,G}$ parametrize marked nodal curves whose permitted collisions of markings are determined by a graph. We study intersection numbers of $ψ$-classes on $\overline{\mathcal{M}}_{g,G}$, as well as the classes $[M_{g,G}]$ in the Grothendieck ring of varieties. In both settings, we show that the geometry is governed by an underlying graphical structure, expressed through deletion-contraction relations. As consequences, we derive string and dilaton equations and express several families of $ψ$-class integrals in terms of the chromatic polynomial. We also express the Grothendieck class of $M_{0,G}$ over an arbitrary field in terms of the chromatic polynomial and identify various Euler characteristics with combinatorial quantities. Along the way, we obtain a new formula for Crapo's $β$-invariant of graphs. Finally, we extend these relations to genus one and, under a chromatic condition, to higher genus.
Multiway $f$-Cut is fixed-parameter tractable
A connectivity function on a finite set $E$ is a function $f\colon 2^E\to\mathbb Z$ that is submodular and symmetric, with $f(\varnothing)=0$. Given a connectivity function $f$ via a value oracle, terminals $t_1,\ldots,t_r\in E$, and an integer $k$, the Multiway $f$-Cut problem asks whether $E$ has a partition $(P_1,\ldots,P_r)$ with $t_i\in P_i$ for every $i$ and $\sum_{i=1}^r f(P_i)\le k$. We prove that Multiway $f$-Cut is fixed-parameter tractable parameterized by $k$.
Cut functions of graphs are connectivity functions, so as a special case we recover the classical result that Edge Multiway Cut in graphs is fixed-parameter tractable. Our proof of correctness is completely elementary, and is arguably the simplest known proof of this fact.