bipartite graph
2511 papers tagged with this keyword
Distance spectral radius conditions for edge-disjoint spanning trees and a forest with constraints
Let $k\ge 2$ be a positive integer and let $G$ be a simple graph of order $n$ with minimum degree $δ$. A graph $G$ is said to have property $P(k, d)$ if it contains $k$ edge-disjoint spanning trees and an additional forest $F$ with edge number $|E(F)| > \frac{d-1}{d}(n-1)$, such that if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. Let $D(G)$ be the distance matrix of $G$. We denote $ρ_D(G)$ as the largest eigenvalue of $D(G)$, which is called the distance spectral radius of $G$. In this paper, we investigate the relationship between the distance spectral radius and the property $P(k, δ)$. We prove that for a connected graph $G$ of order $n \ge 2k+8$ with minimum degree $δ\ge k+2$, if $ρ_D(G) \le ρ_D(K_{k-1} \vee (K_{n-k} \cup K_1))$, then $G$ possesses property $P(k, δ)$. Furthermore, for a connected balanced bipartite graph $G$ of order $n \ge 4k+8$ with minimum degree $δ\ge k+2$, we show that if $ρ_D(G) \le ρ_D(K_{\frac{n}{2}, \frac{n}{2}} \setminus E(K_{1, \frac{n}{2}-k+1}))$, then $G$ also possesses property $P(k, δ)$. Our results generalize the work of Fan et al. [Discrete Appl. Math. 376 (2025), 31--40] from the existence of $k$ edge-disjoint spanning trees to the more refined structural property $P(k, δ)$.
Asymptotic enumeration of constrained bipartite, directed and oriented graphs by degree sequence
In the sufficiently sparse case, we find the probability that a uniformly random bipartite graph with given degree sequence contains no edge from a specified set of edges. This enables us to enumerate loop-free digraphs and oriented graphs with given in-degree and out-degree sequences, and obtain subgraph probabilities. Our theorems are not restricted to the near-regular case. As an application, we determine the expected permanent of sparse or very dense random matrices with given row and column sums; in the regular case, our formula holds over all densities. We also draw conclusions about the degrees of a random orientation of a random undirected graph with given degrees, including its number of Eulerian orientations.
Stability of the Strong Domination Number of Graphs
This paper introduces and studies the stability of the strong domination number of a graph, denoted $\operatorname{st}_{γ_{st}}(G)$, defined as the minimum number of vertices whose removal changes the strong domination number $γ_{st}(G)$. We determine exact values of this stability parameter for several fundamental graph classes, including paths, cycles, wheels, complete bipartite graphs, friendship graphs, book graphs, and balanced complete multipartite graphs. General bounds on $\operatorname{st}_{γ_{st}}(G)$ are established, along with a Nordhaus Gaddum type inequality. The behavior of stability under graph operations such as join, corona, and Cartesian product is also investigated. Structural characterizations of graphs with given stability values are provided, and several open problems and directions for future research are outlined.
Adjacency-diametrical matrix of a graph
The adjacency-diametrical matrix (AD matrix) of a connected graph $G$ with diameter $d$, denoted by $AD(G)$, is the matrix indexed by the vertices of $G$ in which the $(i,j)$-entry of $AD(G)$ is $1$ if $d_G(v_i,v_j)=1$, is $d$ if $d_G(v_i,v_j)=d$, and $0$ otherwise, where $d_G(v_i,v_j)$ denotes the distance between the vertices $v_i$ and $v_j$ in $G$. We determine the spectrum of the AD matrix for paths, cycles, and double star graphs and obtain its determinant for a connected graph. We characterize a class of bipartite graphs using the coefficients of the characteristic polynomial and the eigenvalues of the AD matrix. We establish bounds relating the eigenvalues of the AD matrix to various graph invariants, and we determine the spectrum of the AD matrix for graphs formed by the join, lexicographic product, and Cartesian product operations under certain conditions on the constituent graphs.
Some lemmas on spectral radius of graphs: including an application
For a graph $G$, the spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. In this paper, we give three lammas on $ρ(G)$ when $G$ contains a spanning complete bipartite graph. Using these lemmas and typical spectral method, we characterized the unique extremal graph with the maximum spectral radius among all planar graphs of large order $n$ without a cycle of length $\ell$, where $5\leq \ell\leq n$.
On extremal graphs with respect to the ABS index
Recently, Ali et al. posed several open problems concerning extremal graphs with respect to the ABS index. These problems involve characterizing graphs that attain the maximum ABS index within specific graph classes, including: connected graphs with n vertices and p cut-vertices; (ii) connected graphs of order n with vertex k-partiteness; and (iii) connected bipartite graphs of order n with a fixed vertex connectivity κ. In this paper, we provide complete solutions to all of these problems.
Graphs with large maximum forcing number
For a graph $G$ with order $2n$ and a perfect matching, let $f(G)$ and $F(G)$ denote the minimum and maximum forcing number of $G$ respectively. Then $0\leq f(G)\leq F(G)\leq n-1$. Liu and Zhang [10] ever proposed a conjecture: $e(G)\geq \frac{n^2}{n-F(G)}$, where $e(G)$ denotes the number of edges of $G$. In this paper we confirm this conjecture and obtain $F(G)\leq n-\frac{n^2}{e(G)}$. If $F(G)=n-1$, Liu and Zhang [9] proved that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along 4-cycles. If $G$ is bipartite and $F(G)\geq n-k$, $1\leq k\leq n-1$, we show that any two perfect matchings of $G$ can be obtained from each other by a series of matching switches along even cycles of length at most $2(k+1)$. Finally, we ask whether $f(G)\geq \lceil\frac{n}{k}\rceil-1$ holds for such bipartite graphs $G$, and give positive answers for the cases $k=1,2$. Further we show all minimum forcing numbers of the bipartite graphs $G$ of order $2n$ and with $F(G)=n-2$ form an integer interval $[\lfloor\frac{n}{2}\rfloor, n-2]$.
Completely independent Steiner trees and corresponding tree connectivity
The $S$-Steiner tree packing problem provides mathematical foundations for optimizing multi-path information transmission, particularly in designing fault-tolerant parallelized routing architectures for massive-scale network infrastructures. In this article, we propose the definitions of completely independent $S$-Steiner trees (CISSTs for short) and generalized $k^*$-connectivity, which generalize the definitions of internally disjoint $S$-Steiner trees and generalized $k$-connectivity. Given a connected graph $G = (V,E)$ and a vertex subset $S\subseteq V, |S|\geq 2,$ an $S$-Steiner tree of $G$ is a subtree in $G$ that spans all nodes in $S.$ The $S$-Steiner trees $T_1,T_2,\cdots, T_k$ of $G$ are completely independent pairwise if for any $1\leq p<q\leq k,$ $E(T_p)\cap E(T_q)=\emptyset$ , $V(T_p)\cap V(T_q)=S,$ and for any two vertices $x_{1},x_{2}$ in $S$, the paths connecting $x_{1}$ and $x_{2}$ in $T_p,T_q$ are pairwise internally disjoint. The packing number of CISSTs, denoted by $κ^*_G(S),$ is the maximum number of CISSTs in $G.$ The generalized $k^*$-connectivity $κ_k^*(G)$ is the minimum $κ_G^*(S)$ for $S$ ranges over all $k$-subsets of $V(G).$ We provide a detailed characterization of CISSTs. Also, we investigate the CISSTs of complete graphs and complete bipartite graphs. Furthermore, we determine the generalized $k^*$-connectivity for complete graphs and give a tight lower bound of the generalized $k^*$-connectivity for complete bipartite graphs.
Induced minors and subpolynomial treewidth
Given a family $\mathcal{H}$ of graphs, we say that a graph $G$ is $\mathcal{H}$-induced-minor-free if no induced minor of $G$ is isomorphic to a member of $\mathcal{H}$, We denote by $W_{t\times t}$ the $t$-by-$t$ hexagonal grid, and by $K_{t,t}$ the complete bipartite graph with both sides of the bipartition of size $t$. We show that the class of $\{K_{t,t},W_{t\times t}\}$-induced minor-free graphs with bounded clique number has subpolynomial treewidth. Specifically, we prove that for every integer $t$ there exist $ε\in (0,1]$ and $c \in \mathbb{N}$ such that every $n$-vertex $\{K_{t,t},W_{t\times t}\}$-induced minor-free graph with no clique of size $t$ has treewidth at most $2^{c\log^{1-ε}n}$.
On the Complexity of Bipartite Degree Realizability
We study the \emph{Bipartite Degree Realization} (BDR) problem: given a graphic degree sequence $D$, decide whether it admits a realization as a bipartite graph. While bipartite realizability for a fixed vertex partition can be decided in polynomial time via the Gale--Ryser theorem, the computational complexity of BDR without a prescribed partition remains unresolved. We address this question through a parameterized analysis.
For constants $0 \le c_1 \le c_2 \le 1$, we define $\mathrm{BDR}_{c_1,c_2}$ as the restriction of BDR to degree sequences of length $n$ whose degrees lie in the interval $[c_1 n, c_2 n]$. Our main result shows that $\mathrm{BDR}_{c_1,c_2}$ is solvable in polynomial time whenever $0 \le c_1 \le c_2 \le \frac{\sqrt{c_1(c_1+4)}-c_1}{2}$, as well as for all $c_1 > \tfrac12$. The proof relies on a reduction to extremal \emph{least balanced degree sequences} and a detailed verification of the critical Gale--Ryser inequalities, combined with a bounded subset-sum formulation.
We further show that, assuming the NP-completeness of unrestricted BDR, the problem $\mathrm{BDR}_{c_1,c_2}$ remains NP-complete for all $0 < c_2 < \frac{1}{2}$ and $c_1 < 1 - c_2 - \sqrt{1-2c_2}$. % This establishes a sharp conditional boundary between tractable and intractable parameter regimes. Our results clarify the algorithmic landscape of bipartite degree realization and contribute to the broader study of potentially bipartite graphic degree sequences.
The dimer model and dynamical incidence geometry
We propose a geometric counterpart of the dimer model on bipartite graphs. A state of our model consists of a choice of a point for each white vertex and hyperplane for each black vertex. This data is subject to certain conditions determined by the graph; the resulting configurations are called coherent double circuit configurations. We show that our model behaves consistently under standard local moves of the dimer model. On the geometric side, this gives rise to a new class of theorems in linear incidence geometry - dynamical incidence theorems. Examples include results on pentagram maps, pentagram spirals, and Q-nets. We also examine the problem of parametrizing coherent double circuit configurations. In particular, we study whether, once the white-vertex part of the data is fixed, one can recover the black-vertex data from a point on the spectral curve.
Characterization of Complete Bipartite Graphs via Resistance Spectra
The notion of resistance distance, introduced by Klein and Randić, has become a fundamental concept in spectral graph theory and network analysis, as it captures both the structural and electrical properties of a graph. The associated resistance spectrum serves as a graph invariant and plays an important role in problems related to graph isomorphism. For an undirected graph $G=(V,E)$, the resistance distance $R_G(u,v)$ between two distinct vertices $u$ and $v$ is defined as the effective resistance between them when each edge of $G$ is replaced by a $1\,Ω$ resistor. The multiset of all resistance distances over unordered pairs of distinct vertices is called the \emph{resistance spectrum} of $G$, denoted by $\operatorname{RS}(G)$. A graph $G$ is said to be \emph{determined by its resistance spectrum} if, for any graph $H$, the equality $\operatorname{RS}(H)=\operatorname{RS}(G)$ implies that $H$ is isomorphic to $G$. Complete bipartite graphs, denoted by $K_{m,n}$, are highly symmetric and constitute an important class of graphs in graph theory. In this paper, by exploiting properties of resistance distances, we prove that the complete bipartite graphs $K_{n,n}$, $K_{n,n+1}$, $K_{2,n}$, and $K_{m,n}$ with $m>3n+1$ are uniquely determined by their resistance spectra.
Chordal signed graphs and signed bigraphs
Chordal graphs and chordal bigraphs enjoy beautiful characterizations, in terms of forbidden subgraphs, vertex/edge orderings, vertex/edge separating sets, and tree-like representations. In this paper, we introduce chordal signed graphs and chordal signed bigraphs. Interestingly, chordal signed graphs are equivalent to strict chordal digraphs studied by Hell and Hernández-Cruz. A forbidden subdigraph characterization of strict chordal digraphs can be translated to a forbidden subgraph characterization of chordal signed graphs. We give a forbidden subgraph characterization of chordal signed bigraphs. The forbidden subgraphs for chordal signed bigraphs are analogous to those for chordal signed graphs but the proofs are much more complicated and intriguing.
Vertex-edge domination on subclasses of bipartite graphs
Given a simple undirected graph $G = (V, E)$, the open neighbourhood of a vertex $v \in V$ is defined as $N_G(v) = \{u \in V \mid uv \in E\}$, and the closed neighbourhood as $N_G[v] = N_G(v) \cup \{v\}$. A subset $D \subseteq V$ is called a vertex-edge dominating set if, for every edge $uv \in E$, at least one vertex from $D$ appears in $N_G[u] \cup N_G[v]$; that is, $\vert (N_G[u] \cup N_G[v]) \cap D\vert \geq 1$. Intuitively, a vertex-edge dominating set ensures that every edge, as well as all edges incident to either of its endpoints, is dominated by at least one vertex from the set. The \textsc{Min-VEDS} problem asks for a vertex-edge dominating set of minimum size in a given graph. This problem is known to be NP-complete even for bipartite graphs. In this paper, we strengthen this hardness result by proving that the problem remains NP-complete for two specific subclasses of bipartite graphs: star-convex and comb-convex bipartite graphs. For a graph $G$ on $n$ vertices, it is known that the \textsc{Min-VEDS} problem cannot be approximated within a factor of $(1 - ε)\ln |V|$ for any $ε> 0$, unless $\text{NP} \subseteq \text{DTIME}(|V|^{O(\log \log |V|)})$. We also prove that this inapproximability result holds even for star-convex and comb-convex bipartite graphs. On the positive side, we present a polynomial-time algorithm for computing a minimum vertex-edge dominating set in convex bipartite graphs. A polynomial-time algorithm for this graph class was also proposed by B{ü}y{ü}k{ç}olak et al.~\cite{buyukccolak2025linear}, but we show that their algorithm has certain flaws by providing instances where it fails to produce an optimal solution. We address this issue by presenting a modified algorithm that correctly computes an optimal solution.
Maximum number of spanning trees and connectivity: Graphs with a fixed minimum degree and bipartite graphs
The number of spanning trees in a graph $G$ is the total number of distinct spanning subgraphs of $G$ that are trees. In this paper we characterize the unique graph with a prescribed vertex (resp. edge) connectivity, minimum degree and order that attains the maximum number of spanning trees. Moreover, all the bipartite graphs are determined with a given vertex (resp. edge) connectivity and order maximizing the number of spanning trees.
The parameterized complexity of Strong Conflict-Free Vertex-Connection Colorability
This paper continues the study of a new variant of graph coloring with a connectivity constraint recently introduced by Hsieh et al. [COCOON 2024]. A path in a vertex-colored graph is called conflict-free if there is a color that appears exactly once on its vertices. A connected graph is said to be strongly conflict-free vertex-connection $k$-colorable if it admits a (proper) vertex $k$-coloring such that any two distinct vertices are connected by a conflict-free shortest path. Among others, we show that deciding, for a given graph $G$ and an integer $k$, whether $G$ is strongly conflict-free $k$-colorable is fixed-parameter tractable when parameterized by the vertex cover number. But under the standard complexity-theoretic assumption NP $\not\subseteq$ coNP/poly, deciding, for a given graph $G$, whether $G$ is strongly conflict-free $3$-colorable does not admit a polynomial kernel, even for bipartite graphs. This kernel lower bound is in stark contrast to the ordinal $k$-Coloring problem which is known to admit a polynomial kernel when parameterized by the vertex cover number.
On the $P$-vertex problem in Bipartite Graphs
Property $(P)$, introduced in recent work and rooted in the classical theory of Parter vertices, concerns the existence of a nonsingular matrix $A\in S(G)$ for which every vertex of $G$ is a $P$-vertex. Previous investigations have fully characterized the property for trees, established it for cycles, extended it to unicyclic graphs, and shown that bipartite graphs with a perfect matching always satisfy property $(P)$. However, whether the converse holds for connected bipartite graphs remains open in general.
In this paper, we make progress toward answering this question on multiple fronts. We first prove that every connected bipartite graph satisfying property $(P)$ must be balanced, providing a fundamental necessary condition. We further establish complete characterizations for several significant families of bipartite graphs. Specially, we show that every connected bipartite graph of order at most $8$ has property $(P)$ if and only if it has a perfect matching, and more generally, that a connected bipartite graph of order $8+2k$ with at least $k$ pendant edges satisfies property $(P)$ exactly when it has a perfect matching. We further prove that within the class of triangular bipartite graphs, property $(P)$ is equivalent to the existence of a perfect matching, providing a full characterization for this broad structural subclass.
In addition, we introduce the threaded union over a graph, a general operation for assembling larger graphs from smaller components, and show that threaded union over a tree--cycle block graph preserves property $(P)$. This significantly generalizes earlier result about joining two graphs with property $(P)$ by a single edge preserves property $(P)$.
Multiplicity Bounds for Arbitrary Eigenvalues of Connected Signed Graphs
The study of eigenvalue multiplicities plays a central role in the spectral theory of signed graphs, extending several classical results from the unsigned setting. While most existing work focuses on the nullity of a signed graph (the multiplicity of the eigenvalue $0$), much less is known for arbitrary eigenvalues. In this paper, we establish a sharp upper bound for the multiplicity $m(G_σ, λ)$ of any real eigenvalue $λ$ of a connected signed graph $G_σ$ in terms of its girth. Our main result shows that \[ m(G_σ, λ) \le n - g(G_σ) + 2, \] where $n$ is the number of vertices and $g(G_σ)$ is the girth. We prove that equality holds if and only if $G_σ$ is switching equivalent to one of the following extremal families: \begin{itemize}
\item[(i)] a balanced complete graph with $λ= -1$;
\item[(ii)] an antibalanced complete graph with $λ= 1$; or
\item[(iii)] a balanced complete bipartite graph with $λ= 0$. \end{itemize} This fully extends and generalizes the known result for the nullity case ($λ= 0$), originally due to Wu et al.\ (2022), to the entire eigenvalue spectrum. Our approach combines Cauchy interlacing, switching equivalence, and a structural analysis of induced cycles in signed graphs. We also provide a characterization of eigenvalues with multiplicity $1$ and $2$ for signed cycles, and include examples illustrating the sharpness and spectral behavior of the extremal families.
Bell Numbers and Stirling Numbers of the Mycielskian of Trees
We establish explicit formulas for Bell numbers and graphical Stirling numbers of complete multipartite graphs, complete bipartite graphs with removed perfect matchings, and Mycielskian trees. For complete multipartite graphs $K(n_1,\ldots,n_\ell)$, we provide a simplified proof that $B(G) = \prod_{i=1}^\ell \bell{n_i}$. We derive $B(K_{n,n} - M) = \sum_{k=0}^{n} \binom{n}{k} \bell{k}^2$ for removed perfect matching $M$, and for Mycielskian star graphs, $B(M(St_n); 3) = 2^n + 1$ and $B(M(St_n); 2n) = 2n^2 - 3n + 3$. Results extend to Mycielskians of arbitrary trees. Our computational verifications establish links between graphical Bell numbers and fundamental sequences in combinatorics and pattern avoidance, including identification of several OEIS entries: A000051, A096376, A116735, A384980, A384981, A384988, A385432, and A385437.
A poset representation for stable contracts in a two-sided market generated by integer choice functions
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$.
In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, explain how to construct the rotations efficiently, and devise a weighted poset in which the lattice of closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.