bipartite graph
2604 papers tagged with this keyword
Bipartite Powers of Certain Classes of Bipartite Graphs
Published
• View Publication
• BIB
The concept of graph powers has been extensively studied in graph theory. Analogous to graph powers, Chandran et al. [3] introduced the notion of bipartite powers for bipartite graphs. In this paper, we show that the class of interval bigraphs, as well as the class of proper interval bigraphs are closed under the operation of taking bipartite powers. Finally, we define strongly closed property for bipartite graphs under powers and have shown that the class of chordal bipartite graphs is strongly closed under bipartite powers.
Computing Hamiltonian Paths with Partial Order Restrictions
Published in ACM Transactions on Computation Theory 17(1), Article 5 (2025)
• View Publication
• BIB
When solving the Hamiltonian path problem it seems natural to be given additional precedence constraints for the order in which the vertices are visited. For example one could decide whether a Hamiltonian path exists for a fixed starting point, or that some vertices are visited before another vertex. We consider the problem of finding a Hamiltonian path that observes all precedence constraints given in a partial order on the vertex set. We show that this problem is $\mathsf{NP}$-complete even if restricted to complete bipartite graphs and posets of height 2. In contrast, for posets of width $k$ there is a known $\mathcal{O}(k^2 n^k)$ algorithm for arbitrary graphs with $n$ vertices. We show that it is unlikely that the running time of this algorithm can be improved significantly, i.e., there is no $f(k) n^{o(k)}$ time algorithm under the assumption of the Exponential Time Hypothesis. Furthermore, for the class of outerplanar graphs, we give an $\mathcal{O}(n^2)$ algorithm for arbitrary posets.
On the $Q$-polynomial property of the full bipartite graph of a Hamming graph
The $Q$-polynomial property is an algebraic property of distance-regular graphs, that was introduced by Delsarte in his study of coding theory. Many distance-regular graphs admit the $Q$-polynomial property. Only recently the $Q$-polynomial property has been generalized to graphs that are not necessarily distance-regular. In [ J. Combin. Theory Ser. A, 205:105872, 2024 ], it was shown that graphs arising from the Hasse diagrams of the so-called attenuated space posets are $Q$-polynomial. These posets could be viewed as $q$-analogs of the Hamming posets, which were not studied in [ J. Combin. Theory Ser. A, 205:105872, 2024 ]. The main goal of this paper is to fill this gap by showing that the graphs arising from the Hasse diagrams of the Hamming posets are $Q$-polynomial.
The maximum number of cliques in graphs with given fractional matching number and minimum degree
Published
• View Publication
• BIB
Recently, Ma, Qian and Shi determined the maximum size of an $n$-vertex graph with given fractional matching number $s$ and maximum degree at most $d$. Motivated by this result, we determine the maximum number of $\ell$-cliques in a graph with given fractional matching number and minimum degree, which generalizes Shi and Ma's result about the maximum size of a graph with given fractional matching number and minimum degree at least one. We also determine the maximum number of complete bipartite graphs in a graph with prescribed fractional matching number and minimum degree.
Spectral expansion properties of pseudorandom bipartite graphs
An $(a,b)$-biregular bipartite graph is a bipartite graph with bipartition $(X, Y)$ such that each vertex in $X$ has degree $a$ and each vertex in $Y$ has degree $b$. By the bipartite expander mixing lemma, biregular bipartite graphs have nice pseudorandom and expansion properties when the second largest adjacency eigenvalue is not large. In this paper, we prove several explicit properties of biregular bipartite graphs from spectral perspectives. In particular, we show that for any $(a,b)$-biregular bipartite graph $G$, if the spectral gap is greater than $\frac{2(k-1)}{\sqrt{(a+1)(b+1)}}$, then $G$ is $k$-edge-connected; and if the spectral gap is at least $\frac{2k}{\sqrt{(a+1)(b+1)}}$, then $G$ has at least $k$ edge-disjoint spanning trees. We also prove that if the spectral gap is at least $\frac{(k-1)\max\{a,b\}}{2\sqrt{ab - (k-1)\max\{a,b\}}}$, then $G$ is $k$-connected for $k\ge 2$; and if the spectral gap is at least $\frac{6k+2\max\{a,b\}}{\sqrt{(a-1)(b-1)}}$, then $G$ has at least $k$ edge-disjoint spanning 2-connected subgraphs. We have stronger results in the paper.
Extremal minimal bipartite matching covered graphs
Published
• View Publication
• BIB
A connected graph, on four or more vertices, is matching covered (aka 1-extendable) if every edge is present in some perfect matching. An ear decomposition theorem exists for bipartite matching covered graphs due to Hetyei. From the results and proofs of Lovász and Plummer, that rely on Hetyei's theorem, one may deduce that any minimal bipartite matching covered graph has at least $2(m-n+2)$ vertices of degree two (where minimal means that deleting any edge results in a graph that is not matching covered); such a graph is said to be extremal if it attains the stated lower bound.
In this paper, we provide a complete characterization of the class of extremal minimal bipartite matching covered graphs. In particular, we prove that every such graph $G$ is obtained from two copies of a tree devoid of degree two vertices, say $T$ and $T'$, by adding edges -- each of which joins a leaf of $T$ with the corresponding leaf of $T'$.
Apart from the aforementioned bound, there are four other bounds that appear in, or may be deduced from, the work of Lovász and Plummer. Each of these bounds leads to a notion of extremality. In this paper, we obtain a complete characterization of all of these extremal classes and also establish relationships between them. Two of our characterizations are in the same spirit as the one stated above. For the remaining two extremal classes, we reduce each of them to one of the already characterized extremal classes using standard matching theoretic operations.
A connected graph is k-extendable if it has a matching of cardinality $k$ and each such matching extends to a perfect matching. We also discuss bounds proved by Lou (1999) for minimal k-extendable bipartite graphs. We conjecture stronger bounds and provide evidence for our conjectures by constructing tight examples that are straightforward generalizations of the ones that appear in the 1-extendable case.
On two-coloring bipartite uniform hypergraphs
Of a given bipartite graph $G = (V, E)$, it is elementary to construct a bipartition in time $O(|V| + |E|)$. For a given $k$-graph $H = H^{(k)}$ with $k \geq 3$ fixed, Lovász proved that deciding whether $H$ is bipartite is NP-complete. Let $\mathcal{B}_n$ denote the collection of all $[n]$-vertex bipartite $k$-graphs. We construct, of a given $H \in \mathcal{B}_n$, a bipartition in time averaging $O(n^k)$ over the class $\mathcal{B}_n$. We provide two proofs of our result. When $k = 3$, this result expedites one of Person and Schacht.
On bipartite biregular large graphs
Published
• View Publication
• BIB
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ and $s$. Moreover, we find some biMoore graphs, that is, bipartite biregular graphs that attain the Moore bound.
The Low-Degree Hardness of Finding Large Independent Sets in Sparse Random Hypergraphs
Published
• View Publication
• BIB
We study the algorithmic task of finding large independent sets in Erdos-Renyi $r$-uniform hypergraphs on $n$ vertices having average degree $d$. Krivelevich and Sudakov showed that the maximum independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$. We show that the class of low-degree polynomial algorithms can find independent sets of density $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$ but no larger. This extends and generalizes earlier results of Gamarnik and Sudan, Rahman and Virag, and Wein on graphs, and answers a question of Bal and Bennett. We conjecture that this statistical-computational gap holds for this problem.
Additionally, we explore the universality of this gap by examining $r$-partite hypergraphs. A hypergraph $H=(V,E)$ is $r$-partite if there is a partition $V=V_1\cup\cdots\cup V_r$ such that each edge contains exactly one vertex from each set $V_i$. We consider the problem of finding large balanced independent sets (independent sets containing the same number of vertices in each partition) in random $r$-partite hypergraphs with $n$ vertices in each partition and average degree $d$. We prove that the maximum balanced independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$ asymptotically. Furthermore, we prove an analogous low-degree computational threshold of $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$. Our results recover and generalize recent work of Perkins and the second author on bipartite graphs.
While the graph case has been extensively studied, this work is the first to consider statistical-computational gaps of optimization problems on random hypergraphs. Our results suggest that these gaps persist for larger uniformities as well as across many models. A somewhat surprising aspect of the gap for balanced independent sets is that the algorithm achieving the lower bound is a simple degree-1 polynomial.
Complexity of polytope diameters via perfect matchings
The Circuit diameter of polytopes was introduced by Borgwardt, Finhold and Hemmecke as a fundamental tool for the study of circuit augmentation schemes for linear programming and for estimating combinatorial diameters. Determining the complexity of computing the circuit diameter of polytopes was posed as an open problem by Sanità as well as by Kafer, and was recently reiterated by Borgwardt, Grewe, Kafer, Lee and Sanità.
In this paper, we solve this problem by showing that computing the circuit diameter of a polytope given in halfspace-description is strongly NP-hard. To prove this result, we show that computing the combinatorial diameter of the perfect matching polytope of a bipartite graph is NP-hard. This complements a result by Sanità (FOCS 2018) on the NP-hardness of computing the diameter of fractional matching polytopes and implies the new result that computing the diameter of a $\{0,1\}$-polytope is strongly NP-hard, which may be of independent interest. In our second main result, we give a precise graph-theoretic description of the monotone diameter of perfect matching polytopes and use this description to prove that computing the monotone (circuit) diameter of a given input polytope is strongly NP-hard as well.
Size Ramsey numbers of small graphs versus fans or paths
For two graphs $G_1$ and $G_2$, the size Ramsey number $\hat{r}(G_1,G_2)$ is the smallest positive integer $m$ for which there exists a graph $G$ of size $m$ such that for any red-blue edge-coloring of the graph $G$, $G$ contains either a red subgraph isomorphic to $G_1$, or a blue subgraph isomorphic to $G_2$. Let $P_n$ be a path with $n$ vertices, $nK_2$ a matching with $n$ edges, and $F_n$ a graph with $n$ triangles sharing exactly one vertex. If $G_1$ is a small fixed graph and $G_2$ denotes any graph from a graph class, one can sometimes completely determine $\hat{r}(G_1,G_2)$. Faudree and Sheehan confirmed all size Ramsey numbers of $P_3$ versus complete graphs in 1983. The next year Erdős and Faudree confirmed that of $2K_2$ versus complete graphs and complete bipartite graphs. We obtain three more Ramsey results of this type. For $n\ge 3$, we prove that $\hat{r}(P_3,F_n)=4n+4$ if $n$ is odd, and $\hat{r}(P_3,F_n)=4n+5$ if $n$ is even. This result refutes a conjecture proposed by Baskoro et al. We also show that $\hat{r}(2K_2,F_2)=12$ and $\hat{r}(2K_2,F_n)=5n+3$ for $n\ge 3$. In addition, we prove that $\hat{r}(2K_2,nP_m)=\min\{nm+1, (n+1)(m-1)\}$. This result verifies a conjecture posed by Vito and Silaban.
Degree Sequence Optimization and Extremal Degree Enumerators
Published
• View Publication
• BIB
The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum of given functions evaluated at the subgraph degrees. Here we study this problem by replacing degree sequences, via suitable nonlinear transformations, by suitable degree enumerators, and we introduce suitable degree enumerator polytopes.
We characterize their vertices, that is, the extremal degree enumerators, for complete graphs and some complete bipartite graphs, and use these characterizations to obtain simpler and faster algorithms for optimization over degree sequences for such graphs.
On the $A_α$-index of graphs with given order and dissociation number
Published
• View Publication
• BIB
Given a graph $G,$ a subset of vertices is called a maximum dissociation set of $G$ if it induces a subgraph with vertex degree at most 1, and the subset has maximum cardinality. The cardinality of a maximum dissociation set is called the dissociation number of $G$. The adjacency matrix and the degree diagonal matrix of $G$ are denoted by $A(G)$ and $D(G),$ respectively. In 2017, Nikiforov proposed the $A_α$-matrix: $A_α(G)=αD(G)+(1-α)A(G),$ where $α\in[0,1].$ The largest eigenvalue of this novel matrix is called the $A_α$-index of $G.$ In this paper, we firstly determine the connected graph (resp. bipartite graph, tree) having the largest $A_α$-index over all connected graphs (resp. bipartite graphs, trees) with fixed order and dissociation number. Secondly, we describe the structure of all the $n$-vertex graphs having the minimum $A_α$-index with dissociation number $τ$, where $τ\geqslant\lceil\frac{2}{3}n\rceil.$ Finally, we identify all the connected $n$-vertex graphs with dissociation number $τ\in\{2,\lceil\frac{2}{3}n\rceil,n-1,n-2\}$ having the minimum $A_α$-index.
Monochromatic partitions in 2-edge-coloured bipartite graphs
We study two variations of the Gyarfas--Lehel conjecture on the minimum number of monochromatic components needed to cover an edge-coloured complete bipartite graph. Specifically, we show the following. - For p>> (\log n/n)^{1/2}, w.h.p.~every 2-colouring of the random bipartite graph G~ G(n,n,p) admits a cover of all but O(1/p) vertices of G using at most three vertex-disjoint monochromatic components. - For every 2-colouring of a bipartite graph G with parts of size n and minimum degree (13/16+o(1))n, the vertices of G can be covered using at most three vertex-disjoint monochromatic components.
The Real Tropical Geometry of Neural Networks
We consider a binary classifier defined as the sign of a tropical rational function, that is, as the difference of two convex piecewise linear functions. The parameter space of ReLU neural networks is contained as a semialgebraic set inside the parameter space of tropical rational functions. We initiate the study of two different subdivisions of this parameter space: a subdivision into semialgebraic sets, on which the combinatorial type of the decision boundary is fixed, and a subdivision into a polyhedral fan, capturing the combinatorics of the partitions of the dataset. The sublevel sets of the 0/1-loss function arise as subfans of this classification fan, and we show that the level-sets are not necessarily connected. We describe the classification fan i) geometrically, as normal fan of the activation polytope, and ii) combinatorially through a list of properties of associated bipartite graphs, in analogy to covector axioms of oriented matroids and tropical oriented matroids. Our findings extend and refine the connection between neural networks and tropical geometry by observing structures established in real tropical geometry, such as positive tropicalizations of hypersurfaces and tropical semialgebraic sets.
Obligatory hypergraphs
Published
• View Publication
• BIB
Erdős and Hajnal proved that every graph of uncountable chromatic number contains arbitrarily large finite, complete, bipartite graphs. We extend this result to hypergraphs.
On the Ohba Number and Generalized Ohba Numbers of Complete Bipartite Graphs
Published
• View Publication
• BIB
We say that a graph $G$ is chromatic-choosable when its list chromatic number $χ_{\ell}(G)$ is equal to its chromatic number $χ(G)$. Chromatic-choosability is a well-studied topic, and in fact, some of the most famous results and conjectures related to list coloring involve chromatic-choosability. In 2002 Ohba showed that for any graph $G$ there is an $N \in \mathbb{N}$ such that the join of $G$ and a complete graph on at least $N$ vertices is chromatic-choosable. The Ohba number of $G$ is the smallest such $N$. In 2014, Noel suggested studying the Ohba number, $τ_{0}(a,b)$, of complete bipartite graphs with partite sets of size $a$ and $b$. In this paper we improve a 2009 result of Allagan by showing that $τ_{0}(2,b) = \lfloor \sqrt{b} \rfloor - 1$ for all $b \geq 2$, and we show that for $a \geq 2$, $τ_{0}(a,b) = Ω( \sqrt{b} )$ as $b \rightarrow \infty$. We also initiate the study of some relaxed versions of the Ohba number of a graph which we call generalized Ohba numbers. We present some upper and lower bounds of generalized Ohba numbers of complete bipartite graphs while also posing some questions.
Matchings in multipartite hypergraphs
Published
• View Publication
• BIB
A folklore result on matchings in graphs states that if $G$ is a bipartite graph whose vertex classes $A$ and $B$ each have size $n$, with $\mathrm{deg}(u) \geq a$ for every $u \in A$ and $\mathrm{deg}(v) \geq b$ for every $v \in B$, then $G$ admits a matching of size $\min\{n, a+b\}$. In this paper we establish the analogous result for large $k$-partite $k$-uniform hypergraphs, answering a question of Han, Zang and Zhao, who previously demonstrated that this result holds under the additional condition that the minimum degrees into at least two of the vertex classes are large. A key part of our proof is a study of rainbow matchings under a combination of degree and multiplicity conditions, which may be of independent interest.
Quasiperiods of Magic Labeling Quasipolynomials
A magic labeling of a graph is a labeling of the edges by nonnegative integers such that the label sum over the edges incident to every vertex is the same. This common label sum is known as the index. We count magic labelings by maximum edge label, rather than index, using an Ehrhart-theoretic approach. In contrast to Stanley's 1973 work showing that the function counting magic labelings with bounded index is a quasipolynomial with quasiperiod $2$, we show by construction that the minimum quasiperiod of the quasipolynomial counting magic labelings with bounded maximum label can be arbitrarily large, even for planar bipartite graphs. Unfortunately, this rules out a certain Ehrhart-theoretic approach to proving Hartsfield and Ringel's Antimagic Graph Conjecture. However, we show that this quasipolynomial is in fact a polynomial for any bipartite graph with matching preclusion number at most $1$, which includes any bipartite graph with a leaf.
Tight general bounds for the extremal numbers of 0-1 matrices
Published
• View Publication
• BIB
A zero-one matrix $M$ is said to contain another zero-one matrix $A$ if we can delete some rows and columns of $M$ and replace some $1$-entries with $0$-entries such that the resulting matrix is $A$. The extremal number of $A$, denoted $\operatorname{ex}(n,A)$, is the maximum number of $1$-entries that an $n\times n$ zero-one matrix can have without containing $A$. The systematic study of this function for various patterns $A$ goes back to the work of Füredi and Hajnal from 1992, and the field has many connections to other areas of mathematics and theoretical computer science. The problem has been particularly extensively studied for so-called acyclic matrices, but very little is known about the general case (that is, the case where $A$ is not necessarily acyclic). We prove the first asymptotically tight general result by showing that if $A$ has at most $t$ $1$-entries in every row, then $\operatorname{ex}(n,A)\leq n^{2-1/t+o(1)}$. This verifies a conjecture of Methuku and Tomon.
Our result also provides the first tight general bound for the extremal number of vertex-ordered graphs with interval chromatic number $2$, generalizing a celebrated result of Füredi, and Alon, Krivelevich and Sudakov about the (unordered) extremal number of bipartite graphs with maximum degree $t$ in one of the vertex classes.