bipartite graph
2511 papers tagged with this keyword
Invitation to the subpath number
In this paper we count all the subpaths of a given graph G; including the subpaths of length zero, and we call this quantity the subpath number of G. The subpath number is related to the extensively studied number of subtrees, as it can be considered as counting subtrees with the additional requirement of maximum degree being two. We first give the explicit formula for the subpath number of trees and unicyclic graphs. We show that among connected graphs on the same number of vertices, the minimum of the subpath number is attained for any tree and the maximum for the complete graph. Further, we show that the complete bipartite graph with partite sets of almost equal size maximizes the subpath number among all bipartite graphs. The explicit formula for cycle chains, i.e. graphs in which two consecutive cycles share a single edge, is also given. This family of graphs includes the unbranched catacondensed benzenoids which implies a possible application of the result in chemistry. The paper is concluded with several directions for possible further research where several conjectures are provided.
Connected equitably $Δ$-colorable realizations with $k$-factors
A graph $G$ is said to be equitably $c$-colorable if its vertices can be partitioned into $c$ independent sets that pairwise differ in size by at most one. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $Δ(G)\geq 2$ has an equitable coloring with $Δ(G)$ colors, except when $G$ is complete, an odd cycle, or a balanced bipartite graph with odd sized partitions. Suppose $G$ is a connected graph with a $k$-factor (a regular spanning subgraph) $F$ such that $G$ is not complete, a $1$-factor, nor an odd cycle. When $k\geq 1$ we demonstrate that there is a connected $(k-1)$ edge-connected equitably $Δ(G)$-colorable graph $H$ with a $k$-factor $F'$ such that $G-E(F)=H-E(F')$. If we drop the requirement that $G-E(F)=H-E(F')$, then we can say more. Considering the non-increasing degree sequence $π=(d_{1},\ldots, d_{n})$ of $G$ where $d_{i}=deg_{G}(v_{i})$ for all vertices $\{v_{1},\ldots,v_{n}\}$ of $G$, we call $m(π)=\max\{i|d_{i}\geq i\}$ the strong index of $π$. For $k\geq 0$, we can show that for every $$c\geq \max_{l\leq m(π)}\bigg\{\bigg\lfloor\frac{d_{l}+l}{2}\bigg\rfloor\bigg\}+1$$ we can find a connected $(k-1)$ edge-connected equitably $c$-colorable realization $H$ of $π$ that has a $k$-factor. In a third theorem we show that if $d_{d_{1}-d_{n}+1}\geq d_{1}-d_{n}+k-1$, then some realization of $π$ has a $k$-factor. Together, these three theorems allow us to prove that for all $k$, there is a connected equitably $Δ(G)$-colorable realization $H$ of $π$ with a $k$-factor. Thus, giving support to the validity of the Chen-Lih-Wu Conjecture.
New recursion formula for the interior polynomial based on non-expanding sets
The interior polynomial was originally defined for hypergraphs and later shown to coincide with the Ehrhart polynomial of the root polytope of an associated bipartite graph. In previous work, we derived an alternating cycle recursion formula for the interior polynomial. Here, we introduce a new, more transparent recursion formula based on the structure of non-expanding sets. This formula offers a clearer combinatorial interpretation of the interior polynomial and its connection to polyhedral geometry.
A Polynomial Ramsey Statement for Bounded VC-dimension
A theorem by Ding, Oporowski, Oxley, and Vertigan states that every sufficiently large bipartite graph without twins contains a matching, co-matching, or half-graph of any given size as an induced subgraph. We prove that this Ramsey statement has polynomial dependency assuming bounded VC-dimension of the initial graph, using the recent verification of the Erdős-Hajnal property for graphs of bounded VC-dimension. Since the theorem of Ding et al. plays a role in (finite) model theory, which studies even more restricted structures, we also comment on further refinements of the theorem within this context.
Finding Minimum Matching Cuts in $H$-free Graphs and Graphs of Bounded Radius and Diameter
A matching cut is a matching that is also an edge cut. In the problem Minimum Matching Cut, we ask for a matching cut with the minimum number of edges in the matching. We give polynomial-time algorithms for $P_7$-free, $S_{1,1,2}$-free and $(P_6 + P_4)$-free graphs, which also solve several open cases for the well-studied problem Matching Cut. In addition, we show NP-hardness for $3P_3$-free graphs, implying that Minimum Matching Cut and Matching Cut differ in complexity on certain graph classes. We also give complexity dichotomies for both general and bipartite graphs of bounded radius and diameter.
Erdős Conjecture and AR-Labeling
Given an edge labeling $f$ of a graph $G$, a vertex $v$ is called an $AR$-vertex, if $v$ has distinct edge weight sums for each distinct subset of edges incident on $v$. An injective edge labeling $f$ of a graph $G$ is called an $AR$-labeling of $G$, if $f:E(G) \rightarrow \mathbb{N}$ is such that every vertex in $G$ is an $AR$-vertex under $f$. The minimum $k$ such that there exists an $AR$-labeling $f:E\rightarrow \{1,2,3,\dots,k\}$ is called the $AR$-index of G, denoted by $ARI(G)$. In this paper, using a sequence originating from Erdős subset sum conjecture, a lower bound has been obtained for the $AR$-index of a graph and this bound is used to prove that only finitely many bistars, complete graphs and complete bipartite graphs are $AR$-graphs. The exact values of $AR$-index is obtained for stars and wheels.
On Geodesic Leech Labeling of Some Graph Classes
Let $f:E\rightarrow \{1,2,3,\dots\}$ be an edge labeling of $G$. The geodesic path number of $G$, $t_{gp}(G)$, is the number of geodesic paths in $G$. An edge labeling $f$ is called a geodesic Leech labeling, if the set of weights of the geodesic paths in $G$ is $\{1,2,3,\dots,t_{gp}(G)\}$, where the weight of a path $P$ is the sum of the labels assigned to the edges of $P$. A graph which admits a geodesic Leech labeling is called a geodesic Leech graph. Otherwise, we call it a non-geodesic Leech graph. In this paper, we prove that cycles $C_n$, $n \geq 5$ are non-geodesic Leech graphs. We also prove that there are at most three regular complete bipartite graphs that are geodesic Leech. We show that degree sequence cannot characterize geodesic Leech graphs. The geodesic path number of the wheel graph $W_n$ is obtained and the geodesic Leech labeling of $W_5$ and $W_6$ is given.
Hunting a rabbit: complexity, approximability and some characterizations
In the Hunters and Rabbit game, $k$ hunters attempt to shoot an invisible rabbit on a given graph $G$. In each round, the hunters select $k$ vertices to shoot at, while the rabbit moves along an edge of $G$. The hunters win if, at any point, the rabbit is shot. The hunting number of $G$, denoted $h(G)$, is the minimum integer $k$ such that $k$ hunters have a winning strategy regardless of the rabbit's moves.
The computational complexity of determining $h(G)$ has been one of the longest-standing open questions about the game. Our first main contribution resolves this by proving that computing $h(G)$ is NP-hard, even for bipartite simple graphs. We further show that the problem remains NP-hard even when $h(G) = O(n^ε)$ or when $n - h(G) = O(n^ε)$, where $n$ is the order of $G$. In addition, we prove that it is NP-hard to approximate $h(G)$ additively within $O(n^{1-ε})$.
When a time limit $l$ is imposed on the hunting process, we show that computing $h(G)$ remains NP-hard for any $l \ge 2$ bounded by a polynomial in $n$. On the positive side, we present a polynomial-time $l$-factor approximation algorithm for computing the hunting number with time limit $l$, and we show that $h(G)$ can be computed in polynomial time for bipartite graphs when only two time slots are allowed ($l = 2$).
Finally, we provide a forbidden-subgraph characterization of graphs with loops that satisfy $h(G) = 1$, extending a known characterization for simple graphs.
Enumerating minimal dominating sets and variants in chordal bipartite graphs
Enumerating minimal dominating sets with polynomial delay in bipartite graphs is a long-standing open problem. To date, even the subcase of chordal bipartite graphs is open, with the best known algorithm due to Golovach, Heggernes, Kanté, Kratsch, Saether, and Villanger running in incremental-polynomial time. We improve on this result by providing a polynomial delay and space algorithm enumerating minimal dominating sets in chordal bipartite graphs. Additionally, we show that the total and connected variants admit polynomial and incremental-polynomial delay algorithms, respectively, within the same class. This provides an alternative proof of a result by Golovach et al. for total dominating sets, and answers an open question for the connected variant. Finally, we give evidence that the techniques used in this paper cannot be generalized to bipartite graphs for (total) minimal dominating sets, unless P = NP, and show that enumerating minimal connected dominating sets in bipartite graphs is harder than enumerating minimal transversals in general hypergraphs.
Excluded conformal minors of Birkhoff-von Neumann graphs with equal global forcing number and maximum anti-forcing number
Global forcing number and maximum anti-forcing number of matchable graphs (graphs with a perfect matching) were proposed in completely different situations with applications in theoretical chemistry. Surprisingly for bipartite graphs and some nonbipartite graphs as solid bricks (or Birkhoff-von Neumann graphs) G, the global forcing number gf(G) is at least the maximum anti-forcing number Af(G). It is natural to consider when gf(G) = Af(G) holds. For convenience, we call a matchable graph G strongly uniform if each conformal matchable subgraph G' always satisfies gf(G') = Af(G'). In this article, by applying the ear decomposition theorem and discussing the existence of a Hamilton cycle with positions of chords, we give "excluded conformal minors" and "structural" characterizations of matchable bipartite graphs and Birkhoff-von Neumann graphs that are strongly uniform respectively.
Minimum forcing numbers of perfect matchings of circular and prismatic graphs
Let $G$ be a graph with a perfect matching. Denote by $f(G)$ the minimum size of a matching in $G$ which is uniquely extendable to a perfect matching in $G$. Diwan (2019) proved by linear algebra that for $d$-hypercube $Q_d$ ($d\geq 2)$, $f(Q_n)=2^{d-2}$, settling a conjecture proposed by Pachter and Kim in 1998. Recently Mohammadian generalized this method to obtain a general result: for a bipartite graph $G$ on $n$ vertices, if there exists an involutory matrix $A$ on a field $F$ as a weighted adjacency matrix then $f(G\Box K_2)=\frac{n}{2}$. In this paper, under the same condition we obtain $f(G\Box C_{2k})=n ~(k\ge2)$. Also this method can be applied to some non-balanced bipartite graphs $G$ whenever $G$ admit a weighted bi-adjacency matrix with orthogonal rows.
Bipartite graphs with the double Hall property
The super-neighborhood of a vertex set $A$ in a graph $G$, denoted by $Λ^2(A)$, is the set of vertices adjacent to at least two vertices in $A$. We say that a bipartite graph $G=(X, Y)$ with $|X| \geq 2$ satisfies the double Hall property (with respect to $X$) if $|Λ^2(A)| \geq |A|$ for any subset $A \subseteq X$ with $|A| \geq 2$. Kostochka et al. first conjectured that if a bipartite graph $G=(X, Y)$ satisfies a slightly weaker version of the double Hall property, then $G$ contains a cycle that covers all vertices of $X$. They verified their conjecture for $|X| \leq 6$. In this paper, we extend their result to $|X| = 7$. Later, Salia conjectured that every bipartite graph satisfying the double Hall property has a cycle covering all vertices of $X$. We show that Salia's conjecture is almost equivalent to a much weaker conjecture requiring vertices in $Y$ to have high degrees. By extending a result of Barát et al., we also show that Salia's conjecture holds for some graphs where the vertices of $Y$ have degree either $2$ or very high. Finally, we establish a lower bound for the maximum degree of graphs satisfying the double Hall property and present deterministic and probabilistic constructions of such graphs that approach this bound.
Bipartite Turán number of trees
We start a systematic investigation concerning bipartite Turán number for trees. For a graph $F$ and integers $1 \leq a \leq b$ we define:
$(i)$\quad $ex_b(a, b, F)$ is the largest number of edges that an $F$-free bipartite graph can have with part sizes $a$ and $b$. We write $ex_b(n, F)$ for $ex_b(n, n, F)$.
$(ii)$\quad $ex_{b,c}(a, b, F)$ is the largest number of edges that an $F$-free connected, bipartite graph can have with part sizes $a$ and $b$. We write $ex_{b,c}(n, F)$ for $ex{b,c}(n, n, F)$.
Both definitions are similar for a family $\mathcal{F}$ of graphs.
We prove general lower bounds depending on the maximum degree of $F$, as well as on the cardinalities of the two vertex classes of $F$.
We derive upper and lower bounds for $ex_b(n,F)$ in terms of $ex(2n,F)$ and $ex(n, F)$, the corresponding classical (not bipartite) Turán numbers.
We solve both problems for various classes of graphs, including all trees up to six vertices for any $n$, for double stars $D_{s ,t}$ if $a \geq f(s,t )$, for some families of spiders, and more.
We use these results to supply an answer to a problem raised by L. T. Yuan and X. D. Zhang [{\it Graphs and Combinatorics}, 2017] concerning $ex_b( n, \mathcal{T}_{k,\ell} )$, where $\mathcal{T}_{k,\ell}$ is the family of all trees with vertex classes of respective cardinalities $k$ and $\ell$.
The asymptotic worst-case ratios between Turán-type functions are also inverstigated.
On the stress transit function
The stress interval $S(u,v)$ between $u,v\in V(G)$ is the set of all vertices in a graph $G$ that lie on every shortest $u,v$-path. A set $U \subseteq V(G)$ is stress convex if $S(u,v) \subseteq U$ for any $u,v\in U$. A vertex $v \in V(G)$ is s-extreme if $V(G)-v$ is a stress convex set in $G$. The stress number $sn(G)$ of $G$ is the minimum cardinality of a set $U$ where $\bigcup_{u,v \in U}S(u,v)=V(G)$. The stress hull number $sh(G)$ of $G$ is the minimum cardinality of a set whose stress convex hull is $V(G)$. In this paper, we present many basic properties of stress intervals. We characterize s-extreme vertices of a graph $G$ and construct graphs $G$ with arbitrarily large difference between the number of s-extreme vertices, $sh(G)$ and $sn(G)$. Then we study these three invariants for some special graph families, such as graph products, split graphs, and block graphs. We show that in any split graph $G$, $sh(G)=sn(G)=|Ext_s(G)|$, where $Ext_s(G)$ is the set of s-extreme vertices of $G$. Finally, we show that for $k \in \mathbb{N}$, deciding whether $sn(G) \leq k$ is NP-complete problem, even when restricted to bipartite graphs.
Perfect state transfer between real pure states
Pure states correspond to one-dimensional subspaces of $\mathbb{C}^n$ represented by unit vectors. In this paper, we develop the theory of perfect state transfer (PST) between real pure states with emphasis on the adjacency and Laplacian matrices as Hamiltonians of a graph representing a quantum spin network. We characterize PST between real pure states based on the spectral information of a graph and prove three fundamental results: (i) every periodic real pure state $\mathbf{x}$ admits perfect state transfer with another real pure state $\mathbf{y}$, (ii) every connected graph admits perfect state transfer between real pure states, and (iii) for any pair of real pure states $\mathbf{x}$ and $\mathbf{y}$ and for any time $τ$, there exists a real symmetric matrix $M$ such that $\mathbf{x}$ and $\mathbf{y}$ admits perfect state transfer relative to $M$ at time $τ$. We also determine all real pure states that admit PST in complete graphs, complete bipartite graphs, paths, and cycles. This leads to a complete characterization of pair and plus state transfer in paths and complete bipartite graphs. We give constructions of graphs that admit PST between real pure states. Finally, using results on the spread of graphs, we prove that amongst all $n$-vertex simple unweighted graphs, the least minimum PST time between real pure states relative to the Laplacian is attained by any join graph, while the it is attained by the join of an empty graph and a complete graph of appropriate sizes relative to the adjacency matrix.
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.
Toric ideal of matching polytopes and edge colorings
In the present paper, we investigate the maximal degree of minimal generators of the toric ideal of the matching polytope of a graph. It is known that the toric ideal associated to a bipartite graph is generated by binomials of degree at most $3$. We show that this fact is equivalent to a result in the theory of edge colorings of bipartite multigraphs. Moreover, a characterization of bipartite graphs whose toric ideals are generated by quadratic binomials is given. Finally, we discuss the maximal degree of minimal generators of the toric ideal associated to a general graph and give a conjecture.
Settling the no-$(k+1)$-in-line problem when $k$ is not small
What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform random bipartite graphs and concentration inequalities.
An Empirically Fast Las Vegas Algorithm for Algebraic Shifting
Improved algorithms for computing (partial and full) exterior algebraic shifts of hypergraphs and simplicial complexes are presented. The main benefit is in positive characteristic. Experiments with an implementation in OSCAR with various inputs such as bipartite graphs and triangulations of two and three dimensional manifolds show that the method considerably extends for which simplicial complexes exterior algebraic shifts can be computed in practice.
Degree Realization by Bipartite Multigraphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:2, Graph Theory (January 7, 2026) dmtcs:15158
• View Publication
• BIB
The problem of realizing a given degree sequence by a multigraph can be thought of as a relaxation of the classical degree realization problem (where the realizing graph is simple). This paper concerns the case where the realizing multigraph is required to be bipartite.
The problem of characterizing sequences that can be realized by a bipartite graph has two variants. In the simpler one, termed BDR$^P$, the partition of the sequence into two sides is given as part of the input. A complete characterization for realizability in this variant was given by Gale and Ryser over sixty years ago. However, the variant where the partition is not given, termed BDR, is still open.
For bipartite multigraph realizations, there are also two variants. For BDR$^P$, where the partition is given as part of the input, a characterization was known for determining whether there is a multigraph realization whose underlying graph is bipartite, such that the maximum number of copies of an edge is at most $r$. We present a characterization for determining if there is a bipartite multigraph realization such that the total number of excess edges is at most $t$. We show that optimizing these two measures may lead to different realizations, and that optimizing by one measure may increase the other substantially. As for the variant BDR, where the partition is not given, we show that determining whether a given (single) sequence admits a bipartite multigraph realization is NP-hard. Moreover, we show that this hardness result extends to any graph family which is a sub-family of bipartite graphs and a super-family of paths. On the positive side, we provide an algorithm that computes optimal realizations for the case where the number of balanced partitions is polynomial, and present sufficient conditions for the existence of bipartite multigraph realizations that depend only on the largest degree of the sequence.