bipartite graph
2604 papers tagged with this keyword
Representation Complexity of Semi-algebraic Graphs
Published
• View Publication
• BIB
The representation complexity of a bipartite graph $G=(P,Q)$ is the minimum size $\sum_{i=1}^s (|A_i|+|B_i|)$ over all possible ways to write $G$ as a (not necessarily disjoint) union of complete bipartite subgraphs $G=\cup_{i=1}^s A_i\times B_i$ where $A_i\subset P, B_i\subset Q$ for $i=1,\dots, s$. In this paper we prove that if $G$ is \emph{semi-algebraic}, i.e. when $P$ is a set of $m$ points in $\mathbb{R}^{d_1}$, $Q$ is a set of $n$ points in $\mathbb{R}^{d_2}$ and the edges are defined by some semi-algebraic relations, the representation complexity of $G$ is $O( m^{\frac{d_1d_2-d_2}{d_1d_2-1}+\varepsilon} n^{\frac{d_1d_2-d_1}{d_1d_2-1}+\varepsilon}+m^{1+\varepsilon}+n^{1+\varepsilon})$ for arbitrarily small positive $\varepsilon$. This generalizes results by Apfelbaum-Sharir and Solomon-Sharir. As a consequence, when $G$ is $K_{u,u}$-free for some positive integer $u$, its number of edges is $O(u m^{\frac{d_1d_2-d_2}{d_1d_2-1}+\varepsilon} n^{\frac{d_1d_2-d_1}{d_1d_2-1}+\varepsilon}+ u m^{1+\varepsilon}+u n^{1+\varepsilon})$. This bound is stronger than that of Fox, Pach, Sheffer, Suk and Zahl when the first term dominates and $u$ grows with $m,n$. Another consequence is that we can find a large complete bipartite subgraph in a semi-algebraic graph when the number of edges is large. Similar results hold for semi-algebraic hypergraphs.
Chromatic number, Clique number, and Lovász's bound: In a comparison
In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number. He showed that if neighborhood complex $\mathcal{N}(G)$ of a graph $G$ is topologically $k$-connected, then its chromatic number is at least $k+3$. Then he completed his proof by showing that this bound is tight for the Kneser graph. However, there are some graphs where this bound is not useful at all, even comparing by the obvious bound; the clique number. For instance, if a graph contains no complete bipartite graph $\mathcal{K}_{l, m}$, then its Lovász's bound is at most $l+m-1$. But, it can have an arbitrarily large chromatic number.
In this note, we present new graphs showing that the gaps between the chromatic number, the clique number, and the Lovász bound can be arbitrarily large. More precisely, for given positive integers $l, m$ and $2\leq p\leq q$, we construct a connected graph which contains a copy of $\mathcal{K}_{l,m}$, and its chromatic number, clique number, and Lovász's bound are $q$, $p$, and $3$, respectively.
Localization game on geometric and planar graphs
Published in Discrete Applied Mathematics, 251 (2018), 30-39
• View Publication
• BIB
The main topic of this paper is motivated by a localization problem in cellular networks. Given a graph $G$ we want to localize a walking agent by checking his distance to as few vertices as possible. The model we introduce is based on a pursuit graph game that resembles the famous Cops and Robbers game. It can be considered as a game theoretic variant of the \emph{metric dimension} of a graph. We provide upper bounds on the related graph invariant $ζ(G)$, defined as the least number of cops needed to localize the robber on a graph $G$, for several classes of graphs (trees, bipartite graphs, etc). Our main result is that, surprisingly, there exists planar graphs of treewidth $2$ and unbounded $ζ(G)$. On a positive side, we prove that $ζ(G)$ is bounded by the pathwidth of $G$. We then show that the algorithmic problem of determining $ζ(G)$ is NP-hard in graphs with diameter at most $2$. Finally, we show that at most one cop can approximate (arbitrary close) the location of the robber in the Euclidean plane.
Variable Version Lovász Local Lemma: Beyond Shearer's Bound
Published
• View Publication
• BIB
A tight criterion under which the abstract version Lovász Local Lemma (abstract-LLL) holds was given by Shearer decades ago. However, little is known about that of the variable version LLL (variable-LLL) where events are generated by independent random variables, though this model of events is applicable to almost all applications of LLL. We introduce a necessary and sufficient criterion for variable-LLL, in terms of the probabilities of the events and the event-variable graph specifying the dependency among the events. Based on this new criterion, we obtain boundaries for two families of event-variable graphs, namely, cyclic and treelike bigraphs. These are the first two non-trivial cases where the variable-LLL boundary is fully determined. As a byproduct, we also provide a universal constructive method to find a set of events whose union has the maximum probability, given the probability vector and the event-variable graph. Though it is #P-hard in general to determine variable-LLL boundaries, we can to some extent decide whether a gap exists between a variable-LLL boundary and the corresponding abstract-LLL boundary. In particular, we show that the gap existence can be decided without solving Shearer's conditions or checking our variable-LLL criterion. Equipped with this powerful theorem, we show that there is no gap if the base graph of the event-variable graph is a tree, while gap appears if the base graph has an induced cycle of length at least 4. The problem is almost completely solved except when the base graph has only 3-cliques, in which case we also get partial solutions. A set of reduction rules are established that facilitate to infer gap existence of an event-variable graph from known ones. As an application, various event-variable graphs, in particular combinatorial ones, are shown to be gapful/gapless.
Edge-Transitive Graphs
Published in Involve 12 (2019) 1329-1341
• View Publication
• BIB
A graph is said to be edge-transitive if its automorphism group acts transitively on its edges. It is known that edge-transitive graphs are either vertex-transitive or bipartite. In this paper we present a complete classification of all connected edge-transitive graphs on less than or equal to $20$ vertices. We then present a construction for an infinite family of edge-transitive bipartite graphs, and use this construction to show that there exists a non-trivial bipartite subgraph of $K_{m,n}$ that is connected and edge-transitive whenever $gcd(m,n)>2$. Additionally, we investigate necessary and sufficient conditions for edge transitivity of connected $(r,2)$ biregular subgraphs of $K_{m,n}$, as well as for uniqueness, and use these results to address the case of $gcd(m,n)=2$. We then present infinite families of edge-transitive graphs among vertex-transitive graphs, including several classes of circulant graphs. In particular, we present necessary conditions and sufficient conditions for edge-transitivity of certain circulant graphs.
Homotopy type of the independence complexes of a family of regular bipartite graphs
In this article, we define a family of regular bipartite graphs and show that the homotopy type of the independence complexes of this family is the wedge sum of spheres of certain dimensions.
Neighborhood Complexes of Some Exponential Graphs
Published in The Electronic Journal of Combinatorics, 23(2) (2016), #P2.26
• View Publication
• BIB
In this article, we consider the bipartite graphs $K_2 \times K_n$. We first show that the connectedness of $\mathcal{N}(K_{n+1}^{K_n}) =0$.
Further, we show that $\text{Hom}(K_2 \times K_{n}, K_{m})$ is homotopic to $S^{m-2}$, if $2\leq m <n$.
Fractional matching preclusion number of graphs
Published
• View Publication
• BIB
Let $G$ be a graph with an even number of vertices. The matching preclusion number of $G$, denoted by $mp(G)$, is the minimum number of edges whose deletion leaves the resulting graph without a perfect matching. We introduced a $0$-$1$ linear programming which can be used to find matching preclusion number of graphs. In this paper, by relaxing of the $0$-$1$ linear programming we obtain a linear programming and call its optimal objective value as fractional matching preclusion number of graph $G$, denoted by $mp_f(G)$. We show $mp_f(G)$ can be computed in polynomial time for any graph $G$. By using perfect matching polytope, we transform it as a new linear programming whose optimal value equals the reciprocal of $mp_f(G)$. For bipartite graph $G$, we obtain an explicit formula for $mp_f(G)$ and show that $\lfloor mp_f(G) \rfloor$ is the maximum integer $k$ such that $G$ has a $k$-factor. Moreover, for any two bipartite graphs $G$ and $H$, we show $mp_f(G \square H) \geqslant mp_f(G)+\lfloor mp_f(H) \rfloor$, where $G \square H$ is the Cartesian product of $G$ and $H$.
The Graovac-Pisanski index of connected bipartite graphs with applications to hydrocarbon molecules
Published in Fuller. Nanotub. Car. N. 29 (2021) 884-889
• View Publication
• BIB
The Graovac-Pisanski index, also called the modified Wiener index, was introduced in 1991 and represents an extension of the original Wiener index, because it considers beside the distances in a graph also its symmetries. Similarly as Wiener in 1947 showed the correlation of the Wiener indices of the alkane series with the boiling points, in 2018 the connection between the Graovac-Pisanski index and the melting points of some hydrocarbon molecules was established. In this paper, we prove that the Graovac-Pisanski index of any connected bipartite graph as well as of any connected graph on an even number of vertices is an integer number. These results are applied to some important families of hydrocarbon molecules. By using a computer programme, the graphs with a non-integer Graovac-Pisanski index on at most nine vertices are counted. Finally, an infinite class of unicyclic graphs with a non-integer Graovac-Pisanski index is described.
Asymptotic normality of Laplacian coefficients of graphs
Published in J. Math. Anal. Appl. 455 (2017) 2030-2037
• View Publication
• BIB
Let $G$ be a simple graph with $n$ vertices and let $$C(G;x)=\sum_{k=0}^n(-1)^{n-k}c(G,k)x^k$$ denote the Laplacian characteristic polynomial of $G$. Then if the size $|E(G)|$ is large compared to the maximum degree $Δ(G)$, Laplacian coefficients $c(G,k)$ are approximately normally distributed (by central and local limit theorems). We show that Laplacian coefficients of the paths, the cycles, the stars, the wheels and regular graphs of degree $d$ are approximately normally distributed respectively. We also point out that Laplacian coefficients of the complete graphs and the complete bipartite graphs are approximately Poisson distributed respectively.
Regularity of symbolic powers of cover ideals of graphs
Published
• View Publication
• BIB
Let $G$ be a graph which belongs to either of the following classes: (i) bipartite graphs, (ii) unmixed graphs, or (iii) claw--free graphs. Assume that $J(G)$ is the cover ideal $G$ and $J(G)^{(k)}$ is its $k$-th symbolic power. We prove that$$k{\rm deg}(J(G))\leq {\rm reg}(J(G)^{(k)})\leq (k-1){\rm deg}(J(G))+|V(G)|-1.$$We also determine families of graphs for which the above inequalities are equality.
The extremal function for bipartite linklessly embeddable graphs
Published in Combinatorica. 39 (2019), 1081-1104
• View Publication
• BIB
An embedding of a graph in $3$-space is linkless if for every two disjoint cycles there exists an embedded ball that contains one of the cycles and is disjoint from the other. We prove that every bipartite linklessly embeddable (simple) graph on $n\ge5$ vertices has at most $3n-10$ edges, unless it is isomorphic to the complete bipartite graph $K_{3,n-3}$.
Harmonic Index of Total Graphs of Some Graphs
Let G = G(V,E) be a graph with | V | vertices and | E | edges and total graph, T(G) is obtained from G. In This paper we have study the Harmonic index of total graph for standards graphs, bipartite graph of particular type, regular graph, Grid graph Gm,n and Complete Binary tree.
Strong geodetic number of complete bipartite graphs and of graphs with specified diameter
The strong geodetic problem is a recent variation of the classical geodetic problem. For a graph $G$, its strong geodetic number ${\rm sg}(G)$ is the cardinality of a smallest vertex subset $S$, such that each vertex of $G$ lies on one fixed geodesic between a pair of vertices from $S$. In this paper, some general properties of the strong geodesic problem are studied, especially in connection with diameter of a graph. The problem is also solved for balanced complete bipartite graphs.
New Canonical Decomposition in Matching Theory
Published
• View Publication
• BIB
In matching theory, one of the most fundamental and classical branches of combinatorics, {\em canonical decompositions} of graphs are powerful and versatile tools that form the basis of this theory. However, the abilities of the known canonical decompositions, that is, the {\em Dulmage-Mendelsohn}, {\em Kotzig-Lovász}, and {\em Gallai-Edmonds} decompositions, are limited because they are only applicable to particular classes of graphs, such as bipartite graphs, or they are too sparse to provide sufficient information. To overcome these limitations, we introduce a new canonical decomposition that is applicable to all graphs and provides much finer information. We focus on the notion of {\em factor-components} as the fundamental building blocks of a graph; through the factor-components, our new canonical decomposition states how a graph is organized and how it contains all the maximum matchings. The main results that constitute our new theory are the following: (i) a canonical partial order over the set of factor-components, which describes how a graph is constructed from its factor-components; (ii) a generalization of the Kotzig-Lovász decomposition, which shows the inner structure of each factor-component in the context of the entire graph; and (iii) a canonically described interrelationship between (i) and (ii), which integrates these two results into a unified theory of a canonical decomposition. These results are obtained in a self-contained way, and our proof of the generalized Kotzig-Lovász decomposition contains a shortened and self-contained proof of the classical counterpart.
On regular induced subgraphs of generalized polygons
Published in J. Combin. Theory Ser. A 158 (2018), 254-275
• View Publication
• BIB
The cage problem asks for the smallest number $c(k,g)$ of vertices in a $k$-regular graph of girth $g$ and graphs meeting this bound are known as cages. While cages are known to exist for all integers $k \ge 2$ and $g \ge 3$, the exact value of $c(k, g)$ is known only for some small values of $k, g$ and three infinite families where $g \in \{6, 8, 12\}$ and $k - 1$ is a prime power. These infinite families come from the incidence graphs of generalized polygons. Some of the best known upper bounds on $c(k,g)$ for $g \in \{6, 8, 12\}$ have been obtained by constructing small regular induced subgraphs of these cages. In this paper, we first use the Expander Mixing Lemma to give a general lower bound on the size of an induced $k$-regular subgraph of a regular bipartite graph in terms of the second largest eigenvalue of the host graph. We use this bound to show that the known construction of $(k,6)$-graphs using Baer subplanes of the Desarguesian projective plane is the best possible. For generalized quadrangles and hexagons, our bounds are new. In particular, we improve the known lower bound on the size of a $q$-regular induced subgraphs of the classical generalized quadrangle $\mathsf{Q}(4,q)$ and show that the known constructions are asymptotically sharp. For prime powers $q$, we also improve the known upper bounds on $c(q,8)$ and $c(q,12)$ by giving new geometric constructions of $q$-regular induced subgraphs in the symplectic generalized quadrangle $\mathsf{W}(3,q)$ and the split Cayley hexagon $\mathsf{H}(q)$, respectively. Our constructions show that \[c(q,8) \le 2(q^3 - q\sqrt{q} - q)\] for $q$ an even power of a prime, and \[c(q, 12) \le 2(q^5 - 3q^3)\] for all prime powers $q$. For $q \in \{3,4,5\}$ we also give a computer classification of all $q$-regular induced subgraphs of the classical generalized quadrangles of order $q$.
Excluded $t$-factors in Bipartite Graphs: Unified Framework for Nonbipartite Matchings, Restricted 2-matchings, and Matroids
Published
• View Publication
• BIB
We propose a framework for optimal $t$-matchings excluding the prescribed $t$-factors in bipartite graphs. The proposed framework is a generalization of the nonbipartite matching problem and includes several problems, such as the triangle-free $2$-matching, square-free $2$-matching, even factor, and arborescence problems. In this paper, we demonstrate a unified understanding of these problems by commonly extending previous important results. We solve our problem under a reasonable assumption, which is sufficiently broad to include the specific problems listed above. We first present a min-max theorem and a combinatorial algorithm for the unweighted version. We then provide a linear programming formulation with dual integrality and a primal-dual algorithm for the weighted version. A key ingredient of the proposed algorithm is a technique to shrink forbidden structures, which corresponds to the techniques of shrinking odd cycles, triangles, squares, and directed cycles in Edmonds' blossom algorithm, a triangle-free $2$-matching algorithm, a square-free $2$-matching algorithm, and an arborescence algorithm, respectively.
Some new sufficient conditions for $2p$-Hamilton-biconnectedness of graphs
Published
• View Publication
• BIB
A balanced bipartite graph $G$ is said to be $2p$-Hamilton-biconnected if for any balanced subset $W$ of size $2p$ of $V(G)$, the subgraph induced by $V(G)\backslash W$ is Hamilton-biconnected. In this paper, we prove that "Let $p\geq0$ and $G$ be a balanced bipartite graph of order $2n$ with minimum degree $δ(G)\geq k$, where $n\geq 2k-p+2$ and $k\geq p$. If the number of edges $ e(G)>n(n-k+p-1)+(k+2)(k-p+1), $ then $G$ is $2p$-Hamilton-biconnected except some exceptions." Furthermore, this result is used to present two new spectral conditions for a graph to $2p$-Hamilton-biconnected. Moreover, the similar results are also presented for nearly balanced bipartite graphs.
Nonbipartite Dulmage-Mendelsohn Decomposition for Berge Duality
Published
• View Publication
• BIB
The Dulmage-Mendelsohn decomposition is a classical canonical decomposition in matching theory applicable for bipartite graphs, and is famous not only for its application in the field of matrix computation, but also for providing a prototypal structure in matroidal optimization theory. The Dulmage-Mendelsohn decomposition is stated and proved using the two color classes, and therefore generalizing this decomposition for nonbipartite graphs has been a difficult task. In this paper, we obtain a new canonical decomposition that is a generalization of the Dulmage-Mendelsohn decomposition for arbitrary graphs, using a recently introduced tool in matching theory, the basilica decomposition. Our result enables us to understand all known canonical decompositions in a unified way. Furthermore, we apply our result to derive a new theorem regarding barriers. The duality theorem for the maximum matching problem is the celebrated Berge formula, in which dual optimizers are known as barriers. Several results regarding maximal barriers have been derived by known canonical decompositions, however no characterization has been known for general graphs. In this paper, we provide a characterization of the family of maximal barriers in general graphs, in which the known results are developed and unified.
Recognizing Graphs Close to Bipartite Graphs with an Application to Colouring Reconfiguration
Published
• View Publication
• BIB
We continue research into a well-studied family of problems that ask whether the vertices of a graph can be partitioned into sets $A$ and~$B$, where $A$ is an independent set and $B$ induces a graph from some specified graph class ${\cal G}$. We let ${\cal G}$ be the class of $k$-degenerate graphs. This problem is known to be polynomial-time solvable if $k=0$ (bipartite graphs) and NP-complete if $k=1$ (near-bipartite graphs) even for graphs of maximum degree $4$. Yang and Yuan [DM, 2006] showed that the $k=1$ case is polynomial-time solvable for graphs of maximum degree $3$. This also follows from a result of Catlin and Lai [DM, 1995]. We consider graphs of maximum degree $k+2$ on $n$ vertices. We show how to find $A$ and $B$ in $O(n)$ time for $k=1$, and in $O(n^2)$ time for $k\geq 2$. Together, these results provide an algorithmic version of a result of Catlin [JCTB, 1979] and also provide an algorithmic version of a generalization of Brook's Theorem, which was proven in a more general way by Borodin, Kostochka and Toft [DM, 2000] and Matamala [JGT, 2007]. Moreover, the two results enable us to complete the complexity classification of an open problem of Feghali et al. [JGT, 2016]: finding a path in the vertex colouring reconfiguration graph between two given $\ell$-colourings of a graph of maximum degree $k$.