bipartite graph
2604 papers tagged with this keyword
On the path-avoidance vertex-coloring game
Published in Electronic Journal of Combinatorics 18(1), Research Paper 163, 33 pp., 2011
• Search Publication
For any graph $F$ and any integer $r\geq 2$, the \emph{online vertex-Ramsey density of $F$ and $r$}, denoted $m^*(F,r)$, is a parameter defined via a deterministic two-player Ramsey-type game (Painter vs.\ Builder). This parameter was introduced in a recent paper \cite{mrs11}, where it was shown that the online vertex-Ramsey density determines the threshold of a similar probabilistic one-player game (Painter vs.\ the binomial random graph $G_{n,p}$). For a large class of graphs $F$, including cliques, cycles, complete bipartite graphs, hypercubes, wheels, and stars of arbitrary size, a simple greedy strategy is optimal for Painter and closed formulas for $m^*(F,r)$ are known. In this work we show that for the case where $F=P_\ell$ is a (long) path, the picture is very different. It is not hard to see that $m^*(P_\ell,r)= 1-1/k^*(P_\ell,r)$ for an appropriately defined integer $k^*(P_\ell,r)$, and that the greedy strategy gives a lower bound of $k^*(P_\ell,r)\geq \ell^r$. We construct and analyze Painter strategies that improve on this greedy lower bound by a factor polynomial in $\ell$, and we show that no superpolynomial improvement is possible.
On the edge-balanced index sets of product graphs
Published in J. Indones. Math. Soc. Special Edition (2011) p. 71-78
• View Publication
• BIB
We characterize strongly edge regular product graphs and find the edge-balanced index sets of complete bipartite graphs without a perfect matching, the direct product $K_n\times K_2$. We also prove a lemma that is helpful to determine the edge-balanced index sets of regular graphs.
On Laplacian like energy of trees
Published in MATCH Commun. Math. Comput. Chem. 64 (2010) 111--122
• Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. Laplacian--like energy of a graph is newly proposed graph invariant, defined as the sum of square roots of Laplacian eigenvalues. For bipartite graphs, the Laplacian--like energy coincides with the recently defined incidence energy $IE (G)$ of a graph. In [D. Stevanovi\' c, \textit{Laplacian--like energy of trees}, MATCH Commun. Math. Comput. Chem. 61 (2009), 407--417.] the author introduced a partial ordering of graphs based on Laplacian coefficients. We point out that original proof was incorrect and illustrate the error on the example using Laplacian Estrada index. Furthermore, we found the inverse of Jacobian matrix with elements representing derivatives of symmetric polynomials of order $n$, and provide a corrected elementary proof of the fact: Let $G$ and $H$ be two $n$-vertex graphs; if for Laplacian coefficients holds $c_k (G) \leqslant c_k (H)$ for $k = 1, 2, ..., n - 1$, then $LEL (G) \leqslant LEL (H)$. In addition, we generalize this theorem and provide a necessary condition for functions that satisfy partial ordering based on Laplacian coefficients.
On the Chromatic Thresholds of Hypergraphs
Published in Combinator. Probab. Comp. 25 (2016) 172-212
• View Publication
• BIB
Let F be a family of r-uniform hypergraphs. The chromatic threshold of F is the infimum of all non-negative reals c such that the subfamily of F comprising hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. This parameter has a long history for graphs (r=2), and in this paper we begin its systematic study for hypergraphs.
Łuczak and Thomassé recently proved that the chromatic threshold of the so-called near bipartite graphs is zero, and our main contribution is to generalize this result to r-uniform hypergraphs. For this class of hypergraphs, we also show that the exact Turán number is achieved uniquely by the complete (r+1)-partite hypergraph with nearly equal part sizes. This is one of very few infinite families of nondegenerate hypergraphs whose Turán number is determined exactly. In an attempt to generalize Thomassen's result that the chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the chromatic threshold of the family of 3-uniform hypergraphs not containing {abc, abd, cde}, the so-called generalized triangle.
In order to prove upper bounds we introduce the concept of fiber bundles, which can be thought of as a hypergraph analogue of directed graphs. This leads to the notion of fiber bundle dimension, a structural property of fiber bundles that is based on the idea of Vapnik-Chervonenkis dimension in hypergraphs. Our lower bounds follow from explicit constructions, many of which use a hypergraph analogue of the Kneser graph. Using methods from extremal set theory, we prove that these Kneser hypergraphs have unbounded chromatic number. This generalizes a result of Szemerédi for graphs and might be of independent interest. Many open problems remain.
Chromatic polynomials of complements of bipartite graphs
Published
• View Publication
• BIB
Bicliques are complements of bipartite graphs; as such each consists of two cliques joined by a number of edges. In this paper we study algebraic aspects of the chromatic polynomials of these graphs. We derive a formula for the chromatic polynomial of an arbitrary biclique, and use this to give certain conditions under which two of the graphs have chromatic polynomials with the same splitting field. Finally, we use a subfamily of bicliques to prove the cubic case of the $α+n$ conjecture, by showing that for any cubic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root.
A version of Tutte's polynomial for hypergraphs
Tutte's dichromate T(x,y) is a well known graph invariant. Using the original definition in terms of internal and external activities as our point of departure, we generalize the valuations T(x,1) and T(1,y) to hypergraphs. In the definition, we associate activities to hypertrees, which are generalizations of the indicator function of the edge set of a spanning tree. We prove that hypertrees form a lattice polytope which is the set of bases in a polymatroid. In fact, we extend our invariants to integer polymatroids as well. We also examine hypergraphs that can be represented by planar bipartite graphs, write their hypertree polytopes in the form of a determinant, and prove a duality property that leads to an extension of Tutte's Tree Trinity Theorem.
On the Structure of the Minimum Critical Independent Set of a Graph
Published
• View Publication
• BIB
Let G=(V,E). A set S is independent if no two vertices from S are adjacent. The number d(X)= |X|-|N(X)| is the difference of X, and an independent set A is critical if d(A) = max{d(I):I is an independent set}. Let us recall that ker(G) is the intersection of all critical independent sets, and core(G) is the intersection of all maximum independent sets. Recently, it was established that ker(G) is a subset of core(G) is true for every graph, while the corresponding equality holds for bipartite graphs. In this paper we present various structural properties of ker(G). The main finding claims that ker(G) is equal to the union of all inclusion minimal independent sets with positive difference.
Critical Sets in Bipartite Graphs
Published
• View Publication
• BIB
Let G=(V,E) be a graph. A set S is independent if no two vertices from S are adjacent, alpha(G) is the size of a maximum independent set, and core(G) is the intersection of all maximum independent sets. The number d(X)=|X|-|N(X)| is the difference of the set X, and d_{c}(G)=max{d(I):I is an independent set} is called the critical difference of G. A set X is critical if d(X)=d_{c}(G). For a graph G we define ker(G) as the intersection of all critical independent sets, while diadem(G) is the union of all critical independent sets. For a bipartite graph G=(A,B,E), with bipartition {A,B}, Ore defined delta(X)=d(X) for every subset X of A, while delta_0(A)=max{delta(X):X is a subset of A}. Similarly is defined delta_0(B). In this paper we prove that for every bipartite graph G=(A,B,E) the following assertions hold: d_{c}(G)=delta_0(A)+delta_0(B); ker(G)=core(G); |ker(G)|+|diadem(G)|=2*alpha(G).
On the Connectivity of Bipartite Distance-Balanced Graphs
A connected graph $\G$ is said to be {\it distance-balanced} whenever for any pair of adjacent vertices $u,v$ of $\G$ the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$. In [Bipartite graphs with balanced $(a,b)$-partitions, {\em Ars Combin.} {\bf 51} (1999), 113-119] Handa asked whether every bipartite distance-balanced graph, that is not a cycle, is 3-connected. In this paper the Handa question is answered in the negative. Moreover, we show that a minimal bipartite distance-balanced graph, that is not a cycle and is not 3-connected, has 18 vertices and is unique. In addition, we give a complete classification of non-3-connected bipartite distance-balanced graphs for which the minimal distance between two vertices in a 2-cut is three. All such graphs are regular and for each $k \geq 3$ there exists an infinite family of such graphs which are $k$-regular.
Furthermore, we determine a number of structural properties that a bipartite distance-balanced graph, which is not 3-connected, must have. As an application, we give a positive answer to the Handa question for the subfamily of bipartite strongly distance-balanced graphs.
On Distance Spectral Radius and Distance Energy of Graphs
Published in MATCH Commun. Math. Comput. Chem. 64 (2010) 261-280
• Search Publication
For a connected graph, the distance spectral radius is the largest eigenvalue of its distance matrix, and the distance energy is defined as the sum of the absolute values of the eigenvalues of its distance matrix. We establish lower and upper bounds for the distance spectral radius of graphs and bipartite graphs, lower bounds for the distance energy of graphs, and characterize the extremal graphs. We also discuss upper bounds for the distance energy.
The Metric Dimension of Regular Bipartite Graphs
Published in Bull. Math. Soc. Sci. Math. Roumanie Tome 54(102) No. 1, 2011, 15-28
• Search Publication
A set of vertices $W$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $W$. A metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. A bipartite graph G(n,n) is a graph whose vertex set $V$ can be partitioned into two subsets $V_1$ and $V_2,$ with $|V_1|=|V_2|=n,$ such that every edge of $G$ joins $V_1$ and $V_2$. The graph $G$ is called $k$-regular if every vertex of $G$ is adjacent to $k$ other vertices. In this paper, we determine the metric dimension of $k$-regular bipartite graphs G(n,n) where $k=n-1$ or $k=n-2$.
Chomp on Graphs and Subsets
The game subset take-away begins with a simplicial complex Δ. Two players take turns removing any element of Δas well as all other elements which contain it, and the last player able to move wins. Graph Chomp is a special case of subset take-away played on a simplicial complex with only vertices and edges. The game has previously only been analyzed for complete graphs, forest graphs, and very small special cases of higher-dimensional simplicial complexes. We generalize a common method of reducing some game positions to simpler ones by symmetry and provide a complete analysis of complete n-partite graphs for arbitrary n and all bipartite graphs. Finally, we give partial results for odd-cycle pseudotrees, which are non-bipartite graphs with a single cycle.
A Note on Set Graceful Labeling of Graphs
We settle affirmatively a conjecture posed in [S. M. Hegde, Set colorings of graphs, European Journal of Combinatorics 30 (4) (2009), 986--995]: If some subsets of a set X are assigned injectively to all vertices of a complete bipartite graph G such that the collection of all sets, each of which is the symmetric difference of the sets assigned to the ends of some edge, is the set of all nonempty subsets of X, then G is a star.
Nontrivial independent sets of bipartite graphs and cross-intersecting families
Published
• View Publication
• BIB
Let $G(X,Y)$ be a connected, non-complete bipartite graph with $|X|\leq |Y|$. An independent set $A$ of $G(X,Y)$ is said to be trivial if $A\subseteq X$ or $A\subseteq Y$. Otherwise, $A$ is nontrivial. By $α(X,Y)$ we denote the size of maximal-sized nontrivial independent sets of $G(X,Y)$. We prove that if the automorphism group of $G(X,Y)$ is transitive on $X$ and $Y$, then $α(X,Y)=|Y|-d(X)+1$, where $d(X)$ is the common degree of vertices in $X$. We also give the structures of maximal-sized nontrivial independent sets of $G(X,Y)$. As applications of this result, we give the upper bound of sizes of two cross-$t$-intersecting families of finite sets, finite vector spaces and permutations.
H-colouring bipartite graphs
Published
• View Publication
• BIB
For graphs $G$ and $H$, an {\em $H$-colouring} of $G$ (or {\em homomorphism} from $G$ to $H$) is a function from the vertices of $G$ to the vertices of $H$ that preserves adjacency. $H$-colourings generalize such graph theory notions as proper colourings and independent sets.
For a given $H$, $k \in V(H)$ and $G$ we consider the proportion of vertices of $G$ that get mapped to $k$ in a uniformly chosen $H$-colouring of $G$. Our main result concerns this quantity when $G$ is regular and bipartite. We find numbers $0 \leq a^-(k) \leq a^+(k) \leq 1$ with the property that for all such $G$, with high probability the proportion is between $a^-(k)$ and $a^+(k)$, and we give examples where these extremes are achieved. For many $H$ we have $a^-(k) = a^+(k)$ for all $k$ and so in these cases we obtain a quite precise description of the almost sure appearance of a randomly chosen $H$-colouring.
As a corollary, we show that in a uniform proper $q$-colouring of a regular bipartite graph, if $q$ is even then with high probability every colour appears on a proportion close to $1/q$ of the vertices, while if $q$ is odd then with high probability every colour appears on at least a proportion close to $1/(q+1)$ of the vertices and at most a proportion close to $1/(q-1)$ of the vertices.
Our results generalize to natural models of weighted $H$-colourings, and also to bipartite graphs which are sufficiently close to regular. As an application of this latter extension we describe the typical structure of $H$-colourings of graphs which are obtained from $n$-regular bipartite graphs by percolation, and we show that $p=1/n$ is a threshold function across which the typical structure changes.
The approach is through entropy, and extends work of J. Kahn, who considered the size of a randomly chosen independent set of a regular bipartite graph.
H-coloring tori
Published
• View Publication
• BIB
For graphs $G$ and $H$, an $H$-coloring of $G$ is a function from the vertices of $G$ to the vertices of $H$ that preserves adjacency. $H$-colorings encode graph theory notions such as independent sets and proper colorings, and are a natural setting for the study of hard-constraint models in statistical physics.
We study the set of $H$-colorings of the even discrete torus ${\mathbb Z}^d_m$, the graph on vertex set ${0, ..., m-1}^d$ ($m$ even) with two strings adjacent if they differ by 1 (mod $m$) on one coordinate and agree on all others. This is a bipartite graph, with bipartition classes ${\mathcal E}$ and ${\mathcal O}$. In the case $m=2$ the even discrete torus is the discrete hypercube or Hamming cube $Q_d$, the usual nearest neighbor graph on ${0,1}^d$.
We obtain, for any $H$ and fixed $m$, a structural characterization of the space of $H$-colorings of ${\mathbb Z}^d_m$. We show that it may be partitioned into an exceptional subset of negligible size (as $d$ grows) and a collection of subsets indexed by certain pairs $(A,B) \in V(H)^2$, with each $H$-coloring in the subset indexed by $(A,B)$ having all but a vanishing proportion of vertices from ${\mathcal E}$ mapped to vertices from $A$, and all but a vanishing proportion of vertices from ${\mathcal O}$ mapped to vertices from $B$. This implies a long-range correlation phenomenon for uniformly chosen $H$-colorings of ${\mathbb Z}^d_m$ with $m$ fixed and $d$ growing.
Our proof proceeds through an analysis of the entropy of a uniformly chosen $H$-coloring, and extends an approach of Kahn, who had considered the special case of $m=2$ and $H$ a doubly infinite path. All our results generalize to a natural weighted model of $H$-colorings.
Small (2,s)-colorable graphs without 1-obstacle representations
An obstacle representation of a graph G is a set of points on the plane together with a set of polygonal obstacles that determine a visibility graph isomorphic to G. The obstacle number of G is the minimum number of obstacles over all obstacle representations of G. Alpert, Koch, and Laison gave a 12-vertex bipartite graph and proved that its obstacle number is two. We show that a 10-vertex induced subgraph of this graph has obstacle number two. Alpert et al. also constructed very large graphs with vertex set consisting of a clique and an independent set in order to show that obstacle number is an unbounded parameter. We specify a 70-vertex graph with vertex set consisting of a clique and an independent set, and prove that it has obstacle number greater than one. This is an ancillary document to our article in press. We conclude by showing that a 10-vertex graph with vertex set consisting of two cliques has obstacle number greater than one, improving on a result therein.
The generalized connectivity of complete bipartite graphs
Let $G$ be a nontrivial connected graph of order $n$, and $k$ an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$. Moreover, $κ_{n}(G)$ is the maximum number of edge-disjoint spanning trees of $G$.
This paper mainly focus on the $k$-connectivity of complete bipartite graphs $K_{a,b}$. First, we obtain the number of edge-disjoint spanning trees of $K_{a,b}$, which is $\lfloor\frac{ab}{a+b-1}\rfloor$, and specifically give the $\lfloor\frac{ab}{a+b-1}\rfloor$ edge-disjoint spanning trees. Then based on this result, we get the $k$-connectivity of $K_{a,b}$ for all $2\leq k \leq a+b$. Namely, if $k>b-a+2$ and $a-b+k$ is odd then $κ_{k}(K_{a,b})=\frac{a+b-k+1}{2}+\lfloor\frac{(a-b+k-1)(b-a+k-1)}{4(k-1)}\rfloor,$ if $k>b-a+2$ and $a-b+k$ is even then $κ_{k}(K_{a,b})=\frac{a+b-k}{2}+\lfloor\frac{(a-b+k)(b-a+k)}{4(k-1)}\rfloor,$ and if $k\leq b-a+2$ then $κ_{k}(K_{a,b})=a. $
The Complexity of Approximately Counting Stable Roommate Assignments
Published in JCSS 2012
• View Publication
• BIB
We investigate the complexity of approximately counting stable roommate assignments in two models: (i) the $k$-attribute model, in which the preference lists are determined by dot products of "preference vectors" with "attribute vectors" and (ii) the $k$-Euclidean model, in which the preference lists are determined by the closeness of the "positions" of the people to their "preferred positions". Exactly counting the number of assignments is #P-complete, since Irving and Leather demonstrated #P-completeness for the special case of the stable marriage problem. We show that counting the number of stable roommate assignments in the $k$-attribute model ($k \geq 4$) and the 3-Euclidean model($k \geq 3$) is interreducible, in an approximation-preserving sense, with counting independent sets (of all sizes) (#IS) in a graph, or counting the number of satisfying assignments of a Boolean formula (#SAT). This means that there can be no FPRAS for any of these problems unless NP=RP. As a consequence, we infer that there is no FPRAS for counting stable roommate assignments (#SR) unless NP=RP. Utilizing previous results by the authors, we give an approximation-preserving reduction from counting the number of independent sets in a bipartite graph (#BIS) to counting the number of stable roommate assignments both in the 3-attribute model and in the 2-Euclidean model. #BIS is complete with respect to approximation-preserving reductions in the logically-defined complexity class $#RHΠ_1$. Hence, our result shows that an FPRAS for counting stable roommate assignments in the 3-attribute model would give an FPRAS for all of $#RHΠ_1$. We also show that the 1-attribute stable roommate problem always has either one or two stable roommate assignments, so the number of assignments can be determined exactly in polynomial time.
On the edit distance from $K_{2,t}$-free graphs (Extended Version)
Published
• View Publication
• BIB
The edit distance between two graphs on the same vertex set is defined to be the size of the symmetric difference of their edge sets. The edit distance function of a hereditary property, $\mathcal{H}$, is a function of $p$, and measures, asymptotically, the furthest graph of edge density $p$ from $\mathcal{H}$ under this metric. In this paper, we address the hereditary property $\forb(K_{2,t})$, the property of having no induced copy of the complete bipartite graph with 2 vertices in one class and $t$ in the other. Employing an assortment of techniques and colored regularity graph constructions, we are able to determine the edit distance function over the entire domain $p\in [0,1]$ when $t=3,4$ and extend the interval over which the edit distance function for $\forb(K_{2,t})$ is known for all values of $t$, determining its maximum value for all odd $t$. We also prove that the function for odd $t$ has a nontrivial interval on which it achieves its maximum. These are the only known principal hereditary properties for which this occurs.
In the process of studying this class of functions, we encounter some surprising connections to extremal graph theory problems, such as strongly regular graphs and the problem of Zarankiewicz.
This is an extended version of a paper with the same name now published in the Journal of Graph Theory \cite{jgt_version}. In particular, this version contains Appendix A, which has tables and graphs pertaining to the hereditary property $\forb(K_{2,t})$ for small $t$, and Appendix B, which has the proofs of Lemma 31, Proposition 32, Proposition 33, and Lemma 34.