bipartite graph
2604 papers tagged with this keyword
A note on induced Turán numbers
Loh, Tait, Timmons and Zhou introduced the notion of induced Turán numbers, defining $\operatorname{ex}(n, \{H, F\text{-ind}\})$ to be the greatest number of edges in an $n$-vertex graph with no copy of $H$ and no induced copy of $F$. Their and subsequent work has focussed on $F$ being a complete bipartite graph. In this short note, we complement this focus by asymptotically determining the induced Turán number whenever $H$ is not bipartite and $F$ is not an independent set nor a complete bipartite graph.
On the Rank, Kernel, and Core of Sparse Random Graphs
Published
• View Publication
• BIB
We study the rank of the adjacency matrix $A$ of a random Erdos Renyi graph $G\sim \mathbb{G}(n,p)$. It is well known that when $p = (\log(n) - ω(1))/n$, with high probability, $A$ is singular. We prove that when $p = ω(1/n)$, with high probability, the corank of $A$ is equal to the number of isolated vertices remaining in $G$ after the Karp-Sipser leaf-removal process, which removes vertices of degree one and their unique neighbor. We prove a similar result for the random matrix $B$, where all entries are independent Bernoulli random variables with parameter $p$. Namely, we show that if $H$ is the bipartite graph with bi-adjacency matrix $B$, then the corank of $B$ is with high probability equal to the max of the number of left isolated vertices and the number of right isolated vertices remaining after the Karp-Sipser leaf-removal process on $H$. Additionally, we show that with high probability, the $k$-core of $\mathbb{G}(n, p)$ is full rank for any $k \geq 3$ and $p = ω(1/n)$. This partially resolves a conjecture of Van Vu for $p = ω(1/n)$. Finally, we give an application of the techniques in this paper to gradient coding, a problem in distributed computing.
Constructive Characterization of Critical Bipartite Grafts
Factor-critical graphs are a classical concept in matching theory that constitute an important component of the Gallai-Edmonds canonical decomposition and Edmonds' algorithm for maximum matchings. Lovász provided a constructive characterization of factor-critical graphs in terms of ear decompositions. This characterization has been a useful inductive tool for studying factor-critical graphs and also connects them with Edmonds' algorithm.
Joins in grafts, also known as $T$-joins in graphs, are a classical variant of matchings proposed in terms of parity. Minimum joins and grafts are generalizations of perfect matchings and graphs with perfect matchings, respectively. Accordingly, graft analogues of fundamental concepts and results from matching theory, such as canonical decompositions, will develop the theory of minimum join. In this paper, we propose a new concept, critical quasicombs, as a bipartite graft analogue of factor-critical graphs and provide a constructive characterization of critical quasicombs using a graft version of ear decompositions. This characterization can be considered as a bipartite graft analogue of Lovász' result. From our results, the Dulmage-Mendelsohn canonical decomposition, originally a theory for bipartite graphs, has been generalized for bipartite grafts.
On the Decycling Number of Bubble-sort Star Graphs
Bubble-sort star graphs are a combination of star graphs and bubble sort graphs. They are bipartite graphs and also form a family of Cayley graphs. The decycling number of a graph is the minimum number of vertices whose removal from the graph results in an acyclic subgraph. In this paper, we prove the decycling number D(n) of an n-dimensional bubble-sort star graph for n <= 5. We also show D(n) satisfies the inequalities for n >= 6.
Four Amazing Positivities with Dimers/i-Matchings
We collect a number of striking recent results in a study of dimers on infinite regular bipartite lattices and also on regular bipartite graphs. We clearly separate rigorously proven results from conjectures. A primary goal is to show people: here is a field which is ripe for further interesting research. We separate four classes of endeavor, of which we here extract two items to whet one's appetite. Primo,for hyper-rectangular lattices of every dimension the first 20 virial coefficients are positive. (One has no understanding of this yet!) Secondo, all regular bipartite graphs with less than $14$ vertices satisfy graph positivity, defined below. (Here there is some understanding.)
Almost color-balanced perfect matchings in color-balanced complete graphs
Published
• View Publication
• BIB
For a graph $G$ and a not necessarily proper $k$-edge coloring $c:E(G)\to \{ 1,\ldots,k\}$, let $m_i(G)$ be the number of edges of $G$ of color $i$, and call $G$ {\it color-balanced} if $m_i(G)=m_j(G)$ for every two colors $i$ and $j$. Several famous open problems relate to this notion; Ryser's conjecture on transversals in latin squares, for instance, is equivalent to the statement that every properly $n$-edge colored complete bipartite graph $K_{n,n}$ has a color-balanced perfect matching. We contribute some results on the question posed by Kittipassorn and Sinsap (arXiv:2011.00862v1) whether every $k$-edge colored color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$. For a perfect matching $M$ of $K_{2kn}$, a natural measure for the total deviation of $M$ from being color-balanced is $f(M)=\sum\limits_{i=1}^k|m_i(M)-n|$. While not every color-balanced complete graph $K_{2kn}$ has a color-balanced perfect matching $M$, that is, a perfect matching with $f(M)=0$, we prove the existence of a perfect matching $M$ with $f(M)=O\left(k\sqrt{kn\ln(k)}\right)$ for general $k$ and $f(M)\leq 2$ for $k=3$; the case $k=2$ has already been studied earlier. An attractive feature of the problem is that it naturally invites the combination of a combinatorial approach based on counting and local exchange arguments with probabilistic and geometric arguments.
Mutual Visibility in Graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $P\subseteq V$ a set of points. Two points are mutually visible if there is a shortest path between them without further points. $P$ is a mutual-visibility set if its points are pairwise mutually visible. The mutual-visibility number of $G$ is the size of any largest mutual-visibility set. In this paper we start the study about this new invariant and the mutual-visibility sets in undirected graphs. We introduce the mutual-visibility problem which asks to find a mutual-visibility set with a size larger than a given number. We show that this problem is NP-complete, whereas, to check whether a given set of points is a mutual-visibility set is solvable in polynomial time. Then we study mutual-visibility sets and mutual-visibility numbers on special classes of graphs, such as block graphs, trees, grids, tori, complete bipartite graphs, cographs. We also provide some relations of the mutual-visibility number of a graph with other invariants.
Global rigidity of complete bipartite graphs
This note gives a detailed proof of the following statement. Let $d\in \mathbb{N}$ and $m,n \ge d + 1$, with $m + n \ge \binom{d+2}{2} + 1$. Then the complete bipartite graph $K_{m,n}$ is generically globally rigid in dimension $d$.
Sampling Colorings and Independent Sets of Random Regular Bipartite Graphs in the Non-Uniqueness Region
Published
• View Publication
• BIB
For spin systems, such as the $q$-colorings and independent-set models, approximating the partition function in the so-called non-uniqueness region, where the model exhibits long-range correlations, is typically computationally hard for bounded-degree graphs. We present new algorithmic results for approximating the partition function and sampling from the Gibbs distribution for spin systems in the non-uniqueness region on random regular bipartite graphs. We give an $\mathsf{FPRAS}$ for counting $q$-colorings for even $q=O\big(\tfracΔ{\logΔ}\big)$ on almost every $Δ$-regular bipartite graph. This is within a factor $O(\logΔ)$ of the sampling algorithm for general graphs in the uniqueness region and improves significantly upon the previous best bound of $q=O\big(\tfrac{\sqrtΔ}{(\logΔ)^2}\big)$ by Jenssen, Keevash, and Perkins (SODA'19). Analogously, for the hard-core model on independent sets weighted by $λ>0$, we present an $\mathsf{FPRAS}$ for estimating the partition function when $λ=Ω\big(\tfrac{\logΔ}Δ\big)$, which improves upon previous results by an $Ω(\log Δ)$ factor. Our results for the colorings and hard-core models follow from a general result that applies to arbitrary spin systems. Our main contribution is to show how to elevate probabilistic/analytic bounds on the marginal probabilities for the typical structure of phases on random bipartite regular graphs into efficient algorithms, using the polymer method. We further show evidence that our result for colorings is within a constant factor of best possible using current polymer-method approaches.
On the fixed-parameter tractability of the partial vertex cover problem with a matching constraint in edge-weighted bipartite graphs
Published
• View Publication
• BIB
In the classical partial vertex cover problem, we are given a graph $G$ and two positive integers $R$ and $L$. The goal is to check whether there is a subset $V'$ of $V$ of size at most $R$, such that $V'$ covers at least $L$ edges of $G$. The problem is NP-hard as it includes the Vertex Cover problem. Previous research has addressed the extension of this problem where one has weight-functions defined on sets of vertices and edges of $G$. In this paper, we consider the following version of the problem where on the input we are given an edge-weighted bipartite graph $G$, and three positive integers $R$, $S$ and $T$. The goal is to check whether $G$ has a subset $V'$ of vertices of $G$ of size at most $R$, such that the edges of $G$ covered by $V'$ have weight at least $S$ and they include a matching of weight at least $T$. In the paper, we address this problem from the perspective of fixed-parameter tractability. One of our hardness results is obtained via a reduction from the bi-objective knapsack problem, which we show to be W[1]-hard with respect to one of parameters. We believe that this problem might be useful in obtaining similar results in other situations.
Polynomial bounds for chromatic number. I. Excluding a biclique and an induced tree
Published
• View Publication
• BIB
Let H be a tree. It was proved by Rodl that graphs that do not contain H as an induced subgraph, and do not contain the complete bipartite graph $K_{t,t}$ as a subgraph, have bounded chromatic number. Kierstead and Penrice strengthened this, showing that such graphs have bounded degeneracy. Here we give a further strengthening, proving that for every tree H, the degeneracy is at most polynomial in t. This answers a question of Bonamy, Pilipczuk, Rzazewski, Thomasse and Walczak.
Efficient Algorithm for Checking 2-Chordal (Doubly Chordal) Bipartite Graphs
We present an algorithm for determining whether a bipartite graph $G$ is 2-chordal (formerly doubly chordal bipartite). At its core this algorithm is an extension of the existing efficient algorithm for determining whether a graph is chordal bipartite. We then introduce the notion of $k$-chordal bipartite graphs and show by inductive means that a slight modification of our algorithm is sufficient to detect this property. We show that there are no nontrivial $k$-chordal bipartite graphs for $k \geq 4$ and that both the 2-chordal bipartite and 3-chordal bipartite problem are contained within complexity class P.
Intersection models and forbidden pattern characterizations for 2-thin and proper 2-thin graphs
Published in Discrete Applied Mathematics 339 (2023), 53-77
• View Publication
• BIB
The \emph{thinness} of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Graphs with thinness at most two include, for example, bipartite convex graphs. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. \emph{Proper thinness} is defined analogously, generalizing proper interval graphs, and a larger family of NP-complete problems are known to be polynomially solvable for graphs with bounded proper thinness.
The complexity of recognizing 2-thin and proper 2-thin graphs is still open. In this work, we present characterizations of 2-thin and proper 2-thin graphs as intersection graphs of rectangles in the plane, as vertex intersection graphs of paths on a grid (VPG graphs), and by forbidden ordered patterns. We also prove that independent 2-thin graphs are exactly the interval bigraphs, and that proper independent 2-thin graphs are exactly the bipartite permutation graphs.
Finally, we take a step towards placing the thinness and its variations in the landscape of width parameters, by upper bounding the proper thinness in terms of the bandwidth.
Hamilton-laceable bi-powers of locally finite bipartite graphs
Published
• View Publication
• BIB
In this paper we strengthen a result due to Li by showing that the third bi-power of a locally finite connected bipartite graph that admits a perfect matching is Hamilton-laceable, i.e. any two vertices from different bipartition classes are endpoints of some common Hamilton arc.
Comparing Upper Broadcast Domination and Boundary Independence Numbers of Graphs
A broadcast on a nontrivial connected graph G with vertex set V is a function f from V to {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all v in V. The weight of f is the sum of the function values taken over V. A vertex u hears f from v if f(v) is positive and d(u,v) is at most f(v). A broadcast f is dominating if every vertex of G hears f. The upper broadcast number of G is Γ_{b}(G), which is the maximum weight of a minimal dominating broadcast on G. A broadcast f is boundary independent if, for any vertex w that hears f from vertices v_{1},...,v_{k}, where k is at least 2, the distance d(w,v_{i}) equals f(v_{i}) for each i. The maximum weight of a boundary independent broadcast is the boundary independence broadcast number α_{bn}(G). We compare α_{bn} to Γ_{b}, showing that neither is an upper bound for the other. We show that the differences Γ_{b}-α_{bn} and α_{bn}-Γ_{b} are unbounded, the ratio α_{bn}/Γ_{b} is bounded for all graphs, and Γ_{b}/α_{bn} is bounded for bipartite graphs but unbounded in general.
Coloring graph classes with no induced fork via perfect divisibility
Published
• View Publication
• BIB
For a graph $G$, $χ(G)$ will denote its chromatic number, and $ω(G)$ its clique number. A graph $G$ is said to be perfectly divisible if for all induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A$, $B$ such that $H[A]$ is perfect and $ω(H[B]) < ω(H)$. An integer-valued function $f$ is called a $χ$-binding function for a hereditary class of graphs $\cal C$ if $χ(G) \leq f(ω(G))$ for every graph $G\in \cal C$. The fork is the graph obtained from the complete bipartite graph $K_{1,3}$ by subdividing an edge once. The problem of finding a polynomial $χ$-binding function for the class of fork-free graphs is open. In this paper, we study the structure of some classes of fork-free graphs; in particular, we study the class of (fork,$F$)-free graphs $\cal G$ in the context of perfect divisibility, where $F$ is a graph on five vertices with a stable set of size three, and show that every $G\in \cal G$ satisfies $χ(G)\leq ω(G)^2$. We also note that the class $\cal G$ does not admit a linear $χ$-binding function.
Distance signless Laplacian spectral radius and perfect matching in graphs and bipartite graphs
The distance matrix $\mathcal{D}$ of a connected graph $G$ is the matrix indexed by the vertices of $G$ which entry $\mathcal{D}_{i,j}$ equals the distance between the vertices $v_i$ and $v_j$. The distance signless Laplacian matrix $\mathcal{Q}(G)$ of graph $G$ is defined as $\mathcal{Q}(G)=Diag(Tr)+\mathcal{D}(G)$, where $Diag(Tr)$ is the diagonal matrix of the vertex transmissions in $G$. The largest eigenvalue of $\mathcal{Q}(G)$ is called the distance signless Laplacian spectral radius of $G$, written as $η_1(G)$. And a perfect matching in a graph is a set of disadjacent edges covering every vertex of $G$. In this paper, we present two suffcient conditions in terms of the distance signless Laplacian sepectral radius for the exsitence of perfect matchings in graphs and bipatite graphs.
The spanning $k$-trees, perfect matchings and spectral radius of graphs
Published
• View Publication
• BIB
A $k$-tree is a spanning tree in which every vertex has degree at most $k$. In this paper, we provide a sufficient condition for the existence of a $k$-tree in a connected graph with fixed order in terms of the adjacency spectral radius and the signless Laplacian spectral radius, respectively. Also, we give a similar condition for the existence of a perfect matching in a balanced bipartite graph with fixed order and minimum degree.
Minimum Scan Cover and Variants -- Theory and Experiments
Published
• View Publication
• BIB
We consider a spectrum of geometric optimization problems motivated by contexts such as satellite communication and astrophysics. In the problem Minimum Scan Cover with Angular Costs, we are given a graph $G$ that is embedded in Euclidean space. The edges of $G$ need to be scanned, i.e., probed from both of their vertices. In order to scan their edge, two vertices need to face each other; changing the heading of a vertex incurs some cost in terms of energy or rotation time that is proportional to the corresponding rotation angle. Our goal is to compute schedules that minimize the following objective functions: (i) in Minimum Makespan Scan Cover (MSC-MS), this is the time until all edges are scanned; (ii) in Minimum Total Energy Scan Cover (MSC-TE), the sum of all rotation angles; (iii) in Minimum Bottleneck Energy Scan Cover (MSC-BE), the maximum total rotation angle at one vertex.
Previous theoretical work on MSC-MS revealed a close connection to graph coloring and the cut cover problem, leading to hardness and approximability results. In this paper, we present polynomial-time algorithms for 1D instances of MSC-TE and MSC-BE, but NP-hardness proofs for bipartite 2D instances. For bipartite graphs in 2D, we also give 2-approximation algorithms for both MSC-TE and MSC-BE. Most importantly, we provide a comprehensive study of practical methods for all three problems. We compare three different mixed-integer programming and two constraint programming approaches, and show how to compute provably optimal solutions for geometric instances with up to 300 edges. Additionally, we compare the performance of different meta-heuristics for even larger instances.
On the number of $k$-gons in finite projective planes
Let $Π$ be a projective plane of order $n$ and $Γ_Π$ be its Levi graph (the point-line incidence graph). For fixed $k \geq 3$, let $c_{2k}(Γ_Π)$ denote the number of $2k$-cycles in $Γ_Π$. In this paper we show that
$$
c_{2k}(Γ_Π) = \frac{1}{2k}n^{2k} + O(n^{2k-2}), \hspace{0.5cm} n \rightarrow \infty.
$$
We also state a conjecture regarding the third and fourth largest terms in the asymptotic of the number of $2k$-cycles in $Γ_Π$. This result was also obtained independently by Voropaev in 2012.
Let $\text{ex}(v, C_{2k}, \mathcal{C}_{\text{odd}}\cup \{C_4\})$ denote the greatest number of $2k$-cycles amongst all bipartite graphs of order $v$ and girth at least 6. As a corollary of the result above, we obtain
$$
\text{ex}(v, C_{2k}, \mathcal{C}_{\text{odd}}\cup \{C_4\}) = \left(\frac{1}{2^{k+1}k}-o(1)\right)v^k, \hspace{0.5cm} v \rightarrow \infty.
$$