graph
34516 papers tagged with this keyword
Domination on Vertex-weighted Graphs Induce by a Coloring
This paper introduces the concept of domination in the context of colored graphs (where each color assigns a weight to the vertices of its class), termed up-color domination, where a vertex dominating another must be heavier than the other. That idea defines, on one hand, a new parameter measuring the size of minimal dominating sets satisfying specific constraints related to vertex colors. The paper proves that the optimization problem associated with that concept is an NP-complete problem, even for bipartite graphs with three colors. On the other hand, a weight-based variant, the up-color domination weight, is proposed, further establishing its computational hardness. The work also explores the relationship between up-color domination and classical domination and coloring concepts. Efficient algorithms for trees are developed that use their acyclic structure to achieve polynomial-time solutions.
Total $k$-coalition: bounds, exact values and an application to double coalition
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (July 16, 2025) dmtcs:15231
• View Publication
• BIB
Let $G=\big{(}V(G),E(G)\big{)}$ be a graph with minimum degree $k$. A subset $S\subseteq V(G)$ is called a total $k$-dominating set if every vertex in $G$ has at least $k$ neighbors in $S$. Two disjoint sets $A,B\subset V(G)$ form a total $k$-coalition in $G$ if none of them is a total $k$-dominating set in $G$ but their union $A\cup B$ is a total $k$-dominating set. A vertex partition $Ω=\{V_{1},\ldots,V_{|Ω|}\}$ of $G$ is a total $k$-coalition partition if each set $V_{i}$ forms a total $k$-coalition with another set $V_{j}$. The total $k$-coalition number ${\rm TC}_{k}(G)$ of $G$ equals the maximum cardinality of a total $k$-coalition partition of $G$. In this paper, the above-mentioned concept are investigated from combinatorial points of view. Several sharp lower and upper bounds on ${\rm TC}_{k}(G)$ are proved, where the main emphasis is given on the invariant when $k=2$. As a consequence, the exact values of ${\rm TC}_2(G)$ when $G$ is a cubic graph or a $4$-regular graph are obtained. By using similar methods, an open question posed by Henning and Mojdeh regarding double coalition is answered. Moreover, ${\rm TC}_3(G)$ is determined when $G$ is a cubic graph.
Vertex connectivity of chordal graphs
Let $G$ be a finite graph and $κ(G)$ the vertex connectivity of $G$. A chordal graph $G$ is called chordal$^*$ if no vertex of $G$ is adjacent to all other vertices of $G$. Using the syzygy theory in commutative algebra, it is proved that every chordal$^*$ graph $G$ on $n$ vertices satisfies $κ(G) \leq (n - 1) - \lceil2\sqrt{n}-2\,\rceil$. Furthermore, given an integer $0 \leq κ\leq (n - 1) - \lceil2\sqrt{n}-2\,\rceil$, a chordal$^*$ graph $G$ on $n$ vertices satisfying $κ(G) = κ$ is constructed.
Spanning trees of claw-free graphs with few leaves and branch vertices
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (November 20, 2025) dmtcs:15247
• View Publication
• BIB
Let $T$ be a tree. A vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. A graph is said to be claw-free if it does not contain $K_{1,3}$ as an induced subgraph. In this paper, we study the spanning trees with a bounded number of leaves and branch vertices of claw-free graphs. Applying the main results, we also give some improvements of previous results on the spanning trees with few branch vertices for the case of claw-free graphs.
On the distance spectral gap and construction of D-equienergetic graphs
Let $D(G)$ denote the distance matrix of a connected graph $G$ with $n$ vertices. The distance spectral gap of a graph $G$ is defined as $δ_{D^G} = ρ_1 - ρ_2$, where $ρ_1$ and $ρ_2$ represent the largest and second largest eigenvalues of $D(G)$, respectively. For a $k$-transmission regular graph $G$, the second smallest eigenvalue of the distance Laplacian matrix equals the distance spectral gap of $G$. In this article, we obtain some upper and lower bounds for the distance spectral gap of a graph in terms of the sum of squares of its distance eigenvalues. Additionally, we provide some bounds for the distance eigenvalues and distance energy of graphs. Furthermore, we construct new families of non $D$-cospectral $D$-equienergetic graphs with diameters of $3$ and $4$.
Faster diameter computation in graphs of bounded Euler genus
We show that for any fixed integer $k \geq 0$, there exists an algorithm that computes the diameter and the eccentricies of all vertices of an input unweighted, undirected $n$-vertex graph of Euler genus at most $k$ in time \[ \mathcal{O}_k(n^{2-\frac{1}{25}}). \] Furthermore, for the more general class of graphs that can be constructed by clique-sums from graphs that are of Euler genus at most $k$ after deletion of at most $k$ vertices, we show an algorithm for the same task that achieves the running time bound \[ \mathcal{O}_k(n^{2-\frac{1}{356}} \log^{6k} n). \] Up to today, the only known subquadratic algorithms for computing the diameter in those graph classes are that of [Ducoffe, Habib, Viennot; SICOMP 2022], [Le, Wulff-Nilsen; SODA 2024], and [Duraj, Konieczny, Potępa; ESA 2024]. These algorithms work in the more general setting of $K_h$-minor-free graphs, but the running time bound is $\mathcal{O}_h(n^{2-c_h})$ for some constant $c_h > 0$ depending on $h$. That is, our savings in the exponent, as compared to the naive quadratic algorithm, are independent of the parameter $k$. The main technical ingredient of our work is an improved bound on the number of distance profiles, as defined in [Le, Wulff-Nilsen; SODA 2024], in graphs of bounded Euler genus.
Sufficient conditions for a graph with minimum degree to be k-critical with respect to [1,b]-odd factor
A spanning subgraph $F$ of a graph $G$ is called a $[1,b]$-odd factor if $b\equiv1$ (mod 2) and $d_F(v)\in\{1,3,\ldots,b\}$ for every $v\in V(G)$. A graph $G$ of order $n\geq k+2$ is $k$-critical with respect to $[1,b]$-odd factor if for any $X\subseteq V(G)$ with $|X|=k$, $G-X$ has a $[1,b]$-odd factor. In this paper, we provide a size and spectral radius conditions for a graph with minimum degree to be $k$-critical with respect to $[1,b]$-odd factor, respectively.
Cycles and paths through specified vertices in graphs with a given clique number
B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least $\frac{n}{2}$ in any $2$-connected graph of order $n$. Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least $n-ω$ in any $2$-connected graph $G$ of order $n$ with clique number $ω$ unless $G$ is a specific graph. Moreover, we show that for any pair of vertices whose degrees are at least $n-ω+1$ in a graph $G$ of order $n$ with clique number $ω$, there exists a path joining them which contains all vertices of degree at least $n-ω+1$ unless $G$ belongs to certain graph classes. In doing so, we prove the existence of a $(u,v)$-path through all vertices whose degrees at least $\frac{n+1}{2}$ in any graph of order $n$, where $u,v$ are two distinct vertices of degree at least $\frac{n+1}{2}$.
Enumerating the number of $k$-matchings in successively amalgamated graphs
Published in Appl. Math. Comput. 510 (2026) Paper 129703, 9 pp
• View Publication
• BIB
In this paper, the transfer matrix technique using the $k$-matching vector is developed to compute the number of $k$-matchings in an arbitrary graph which can be constructed by successive amalgamations over sets of cardinality two. This widely extends known methods from the literature developed for computing the number of $k$-matchings in benzenoid chains, octagonal chains, cyclooctatetraene chains, and arbitrary cyclic chains. Two examples demonstrating how the present method can be applied are given, one of then being an elaborated chemical example.
Complexity Framework For Forbidden Subgraphs V: Beyond Simple Graphs
We continue the study of the recently-introduced C123-framework, for (simple) graph problems restricted to inputs specified by the forbidding of some finite set of subgraphs, to more general graph problems possibly involving multiedges and self-loops. We study specifically the problems Multigraph Matching Cut, Multigraph d-Cut and Partially Reflexive Stable Cut in this connection. The last may be seen as a Surjective Homomorphism problem to a path P_3 in which both leaves are looped while the interior vertex is loopless. We consider also another family of Surjective Homomorphism problems to a cycle in which only one vertex is loopless.
When one forbids a single (simple) subgraph, our first three problems exhibit the same complexity behaviour as C123-problems, but on finite sets of forbidden subgraphs, the classification appears more complex. While Multigraph Matching Cut and Multigraph d-Cut have the same classification as C123-problems, already Partially Reflexive Stable Cut fails to have. This is witnessed by forbidding as subgraphs both C_3 and H_1. Indeed, the difference of behaviour occurs only around pendant subdivisions of nets and pendant subdivisions of H_1. We examine this area in close detail.
Our other Surjective Homomorphism problem, ostensibly somewhat similar to Partially Reflexive Stable Cut, behaves very differently when the input is restricted to some class that is H-subgraph-free. For example, it is solvable in polynomial time on any class of bounded degree. Also, its hardness will never be preserved under any form of edge subdivision.
Weak and strong local irregularity of digraphs
Local Irregularity Conjecture states that every simple connected graph, except special cacti, can be decomposed into at most three locally irregular graphs, i.e., graphs in which adjacent vertices have different degrees. The connected minimization problem, finding the minimum number $k$ such that a graph can be decomposed into $k$ locally irregular graphs, is known to be NP-hard in general (Baudon, Bensmail, and Sopena, 2015). This naturally raises interest in the study of related problems. Among others, the concept of local irregularity was defined for digraphs in several different ways. In this paper we present the following new methods of defining a locally irregular digraph. The first one, weak local irregularity, is based on distinguishing adjacent vertices by indegree-outdegree pairs, and the second one, strong local irregularity, asks for different balanced degrees (i.e., difference between the outdegree and the indegree of a vertex) of adjacent vertices. For both of these irregularities, we define locally irregular decompositions and colorings of digraphs. We discuss relation of these concept to others, which were studied previously, and provide related conjectures on the minimum number of colors in weak and strong locally irregular colorings. We support these conjectures with new results, using the chromatic and structural properties of digraphs and their skeletons (Eulerian and symmetric digraphs, orientations of regular graphs, cacti, etc.).
On finite approximations of transitive graphs
In this note we answer a question of Johannes Carmesin, which was circulated at the Oberwolfach Workshop on "Graph Theory" in January 2025. We provide a unimodular, locally finite, and vertex-transitive graph without any perfect finite $r$-local model for $r \in \mathbb N$ large enough.
A Note on Subgroup Perfect Codes in Cayley Graphs
In this paper, we give a necessary and sufficient condition for a subgroup to be a perfect code for finite groups. As an application, we determine all subgroup perfect codes of extraspecial 2-groups and finite groups whose Sylow 2-subgroup is extraspecial.
Maximum flow and self-avoiding walk on bunkbed graphs
We consider two combinatorial models on bunkbed graphs: maximum flow and self-avoiding walks. A bunkbed graph is defined as the Cartesian product $G\times K_2$, where $G$ is a finite graph and $K_2$ is the complete graph on two vertices, labelled $0$ and $1$. For the maximum flow problem, we show that if the bunkbed graph $G\times K_2$ has non-negative, reflection-symmetric edge capacities, then for any $u, v\in V(G)$, the maximum flow strength from $(u,0)$ to $(v,0)$ in $G\times K_2$ is at least as large as that from $(u,0)$ to $(v,1)$.
For the self-avoiding walk model on a bunkbed graph $G\times K_2$, we investigate whether there are more self-avoiding walks from $(u,0)$ to $(v,1)$ than from $(u,0)$ to $(v,0)$. We prove that this holds when $G=K_n$ is a complete graph and $n$ is sufficiently large. Additionally, we provide examples where the statement does not holds and pose the question of whether it remains true when $\{u,v\}$ is not a cut-edge of $G$.
Bounds on Elliptic Sombor and Euler Sombor indices of join and corona product of graphs
The Elliptic Somber and Euler Somber indices are newly defined topological indices based on the Somber index. Our paper presents calculations of the upper and lower bounds of these indices for the join and corona product of arbitrary graphs. Furthermore, we demonstrate that these bounds are attained when both graphs are regular.
Classification of quartic bicirculant nut graphs
A graph is called a nut graph if zero is its eigenvalue of multiplicity one and its corresponding eigenvector has no zero entries. A graph is a bicirculant if it admits an automorphism with two equally sized vertex orbits. There are four classes of connected quartic bicirculant graphs. We classify the quartic bicirculant graphs that are nut graphs by investigating properties of each of these four classes.
Tight Bounds for Hypercube Minor-Universality
Benjamini, Kalifa and Tzalik recently proved that there is an absolute constant $c>0$ such that any graph with at most $c\cdot2^d/d$ edges and no isolated vertices is a minor of the $d$-dimensional hypercube $Q_d$, while there is an absolute constant $K > 0$ such that $Q_d$ is not $(K\cdot2^d/\sqrt{d})$-minor-universal. We show that $Q_d$ does not contain 3-uniform expander graphs with $C\cdot2^d/d$ edges as minors. This matches the lower bound up to a constant factor and answers one of their questions.
On the extreme complexity of certain nearly regular graphs
The complexity of a graph is the number of its labeled spanning trees. It is demonstrated that the seven known triangle-free strongly regular graphs, such as the Higman-Sims graph, are graphs of maximal complexity among all graphs of the same order and degree; their complements are shown to be of minimal complexity. A generalization to nearly regular graphs with two distinct eigevalues of the Laplacian is presented. Conjectures and applications of these results to biological problems on neuronal activity are described.
Oriented diameter of the complete tripartite graph (II)
For a graph $G$, let $\mathbb{D}(G)$ denote the set of all strong orientations of $G$, and the oriented diameter of $G$ is $f(G)=\min \{diam(D) \mid D \in \mathbb{D}(G)\}$, which is the minimum value of the diameters $diam(D)$ where $D \in \mathbb{D}(G)$. In this paper, we determine the oriented diameter of complete tripartite graphs $K(3,3, q)$ and $K(3,4, q)$, these are special cases that arise in determining the oriented diameter of $K(3, p, q)$.
A short proof of the generalized Conway--Gordon--Sachs theorem
The famous Conway--Gordon--Sachs theorem for the complete graph on six vertices was extended to the general complete graph on $n$ vertices by Kazakov--Korablev as a congruence modulo $2$, and its integral lift was given by Morishita--Nikkuni. However, the proof is complicated and long. In this paper, we provide a shorter proof of the generalized Conway--Gordon--Sachs theorem over integers.