Balanced bipartite graphs may be completely star-factored

We conclude the study of complete K_1,q-factorizations of complete bipartite graphs of the form K_n,n and show that, so long as the obvious Basic Arithmetic Conditions are satisfied, such complete factorizations must exist. © 1997 John Wiley & Sons, Inc. J Combin Designs 5: 407–415, 1997     

Labeling bipartite permutation graphs with a condition at distance two

An L(p,q)-labeling of a graph G is an assignment f from vertices of G to the set of non-negative integers {0,1,…,λ} such that |f(u)−f(v)|≥p if u and v are adjacent, and |f(u)−f(v)|≥q if u and v are at distance 2 apart. The minimum value of λ for which G has L(p,q)-labeling is denoted by λ_p,q(G). The L(p,q)-labeling problem is related to the channel assignment problem for wireless networks.In this paper, we present a polynomial time algorithm for computing L(p,q)-labeling of a bipartite permutation graph G such that the largest label is at most (2p−1)+q(bc(G)−2), where bc(G) is the biclique number of G. Since λ_p,q(G)≥p+q(bc(G)−2) for any bipartite graph G, the upper bound is at most p−1 far from optimal.     

Kp,q-factorization of complete bipartite graphs

Let K _m,nbe a complete bipartite graph with two partite sets having m and n vertices, respectively. A K _p,q-factorization of K _m,n is a set of edge-disjoint K _p,q-factors of K _m,n which partition the set of edges of K _m,n. When p = 1 and q is a prime number, Wang, in his paper “On K _1,k -factorizations of a complete bipartite graph” (Discrete Math, 1994, 126: 359—364), investigated the K _1,q -factorization of K _m,nand gave a sufficient condition for such a factorization to exist. In the paper “K _1,k -factorizations of complete bipartite graphs” (Discrete Math, 2002, 259: 301—306), Du and Wang extended Wang’s result to the case that q is any positive integer. In this paper, we give a sufficient condition for K _m,n to have a K _p,q-factorization. As a special case, it is shown that the Martin’s BAC conjecture is true when p : q = k : (k+ 1) for any positive integer k.     

Signed and minus domination in bipartite graphs

The paper studies the signed domination number and the minus domination number of the complete bipartite graph K _{p, q} .     

On Moore bipartite digraphs

In the context of the degree/diameter problem for directed graphs, it is known that the number of vertices of a strongly connected bipartite digraph satisfies a Moore‐like bound in terms of its diameter k and the maximum out‐degrees (d₁, d₂) of its partite sets of vertices. It has been proved that, when d₁d₂ > 1, the digraphs attaining such a bound, called Moore bipartite digraphs, only exist when 2 ≤ k ≤ 4. This paper deals with the problem of their enumeration. In this context, using the theory of circulant matrices and the so‐called De Bruijn near‐factorizations of cyclic groups, we present some new constructions of Moore bipartite digraphs of diameter three and composite out‐degrees. By applying the iterated line digraph technique, such constructions also provide new families of dense bipartite digraphs with arbitrary diameter. Moreover, we show that the line digraph structure is inherent in any Moore bipartite digraph G of diameter k = 4, which means that G = L G′, where G′ is a Moore bipartite digraph of diameter k = 3. © 2003 Wiley Periodicals, Inc. J Graph Theory 43: 171–187, 2003     

On <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-factorization of complete bipartite multigraphs

Let λK _m,n be a complete bipartite multigraph with two partite sets having m and n vertices, respectively. A K _p,q -factorization of λK _m,n is a set of edge-disjoint K _p,q -factors of λK _m,n which partition the set of edges of λK _m,n . When p = 1 and q is a prime number, Wang, in his paper [On K _1,q -factorization of complete bipartite graph, Discrete Math., 126: (1994), 359-364], investigated the K _1,q -factorization of K _m,n and gave a sufficient condition for such a factorization to exist. In papers [K _1,k -factorization of complete bipartite graphs, Discrete Math., 259: 301-306 (2002),; K _p,q -factorization of complete bipartite graphs, Sci. China Ser. A-Math., 47: (2004), 473-479], Du and Wang extended Wang’s result to the case that p and q are any positive integers. In this paper, we give a sufficient condition for λK _m,n to have a K _p,q -factorization. As a special case, it is shown that the necessary condition for the K _p,q -factorization of λK _m,n is always sufficient when p : q = k : (k + 1) for any positive integer k.     

On bipartite zero-divisor graphs

A (finite or infinite) complete bipartite graph together with some end vertices all adjacent to a common vertex is called a complete bipartite graph with a horn. For any bipartite graph G, we show that G is the graph of a commutative semigroup with 0 if and only if it is one of the following graphs: star graph, two-star graph, complete bipartite graph, complete bipartite graph with a horn. We also prove that a zero-divisor graph is bipartite if and only if it contains no triangles. In addition, we give all corresponding zero-divisor semigroups of a class of complete bipartite graphs with a horn and determine which complete r-partite graphs with a horn have a corresponding semigroup for r≥3.     

Amply regular graphs with Hoffman’s condition

It is known that, if the minimal eigenvalue of a graph is ?2, then the graph satisfies Hoffman’s condition: for any generated complete bipartite subgraph K _1,3 (a 3-claw) with parts {p} and {q ₁, q ₂, q ₃}, any vertex distinct from p and adjacent to the vertices q ₁ and q ₂ is adjacent to p but not adjacent to q ₃. We prove the converse statement for amply regular graphs containing a 3-claw and satisfying the condition µ > 1.     

Strongly regular graphs with Hoffman’s condition

It is known that if the minimal eigenvalue of a graph is ?2, then the graph satisfies Hoffman’s condition; i.e., for any generated complete bipartite subgraph K _1,3 with parts {p} and {q ₁, q ₂, q ₃}, any vertex distinct from p and adjacent to two vertices from the second part is not adjacent to the third vertex and is adjacent to p. We prove the converse statement, formulated for strongly regular graphs containing a 3-claw and satisfying the condition gm > 1.     

Sphericity exceeds cubicity for almost all complete bipartite graphs

We will prove that sphericity exceeds cubicity for complete bipartite graphs K(m,n) with max (m,n) > n₀, that sph K(n,n) ≥ n, and that as a result of the latter there is a complete bipartite graph with sphericity exceeding cubicity for every value of cubicity at least 6. This answers the question of Fishburn [1].     

Heterochromatic tree partition numbers for complete bipartite graphs

An r-edge-coloring of a graph G is a surjective assignment of r colors to the edges of G. A heterochromatic tree is an edge-colored tree in which any two edges have different colors. The heterochromatic tree partition number of an r-edge-colored graph G, denoted by t_r(G), is the minimum positive integer p such that whenever the edges of the graph G are colored with r colors, the vertices of G can be covered by at most p vertex-disjoint heterochromatic trees. In this paper we give an explicit formula for the heterochromatic tree partition number of an r-edge-colored complete bipartite graph K_m,n.     

Sharp bounds for the number of 3‐independent partitions and the chromaticity of bipartite graphs

Given a graph G and an integer k ≥ 1, let α(G, k) denote the number of k‐independent partitions of G. Let ??^?s(p,q) (resp., ??₂^?s(p,q)) denote the family of connected (resp., 2‐connected) graphs which are obtained from the complete bipartite graph K_p,q by deleting a set of s edges, where p ≥ q ≥ 2. This paper first gives a sharp upper bound for α(G,3), where G ∈ ?? ^?s(p,q) and 0 ≤ s ≤ (p ? 1)(q ? 1) (resp., G ∈ ?? ₂^?s(p,q) and 0 ≤ s ≤ p + q ? 4). These bounds are then used to show that if G ∈ ?? ^?s(p,q) (resp., G ∈ ?? ₂^?s (p,q)), then the chromatic equivalence class of G is a subset of the union of the sets ??^?s_i(p+i,q?i) where max and s_i = s ? i(p?q+i) (resp., a subset of ??₂^?s(p,q), where either 0 ≤ s ≤ q ? 1, or s ≤ 2q ? 3 and p ≥ q + 4). By applying these results, we show finally that any 2‐connected graph obtained from K_p,q by deleting a set of edges that forms a matching of size at most q ? 1 or that induces a star is chromatically unique. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 48–77, 2001     

On 3-colorings of bipartite p-threshold graphs

In this paper some extremal properties of 3-colorings of bipartite complete graphs in the class of all bipartite p-threshold graphs that are uniquely 2-colorable are proved. As a consequence it is shown that the complete bipartite graphs K_{p, p + r} where p ? 2 and 0 ? r < are chromatically unique. A useful result concerning the maximization of a sum of powers of two under certain restrictions, which has an arithmetical interest, is also presented.     

Resolvable balanced bipartite designs

A block B denotes a set of k = k₁ + k₂ elements which are divided into two subsets, B¹ and B², where ∣Bⁱ∣ = k_i, i = 1 or 2. Two elements are said to be linked in B if and only if they belong to different subsets of B. A balanced bipartite design, BBD(v, k₁, k₂, λ), is an arrangement of v elements into b blocks, each containing k elements such that each element occurs in exactly r blocks and any two distinct elements are linked in exactly λ blocks. A resolvable balanced bipartite design, RBBD(v, k₁, k₂, λ), is a BBD(v, k₁, k₂, λ), the b blocks of which can be divided into r sets which are called complete replications, such that each complete replication contains all the v elements of the design.Necessary conditions for the existence of RBBD(v, 1, k₂, λ) and RBBD(v, n, n, λ) are obtained and it is shown that some of the conditions are also sufficient. In particular, necessary and sufficient conditions for the existence of RBBD(v, 1, k₂, λ), where k₂ is odd or equal to two, and of RBBD(v, n, n, λ), where n is even and 2n ? 1 is a prime power, are given.     

Reconstructing some bipartite graphs from their spanning trees

It is shown that the complete bipartite graph K_m,n, for any pair m, n, and all subgraphs of K_2,n, for any n, are uniquely reconstructable from their spanning trees.     

Quadrilateral embeddings of bipartite graphs

Current graphs and a theorem of White are used to show the existence of almost complete regular bipartite graphs with quadrilateral embeddings conjectured by Pisanski. Decompositions of K_n and K_{n, n} into graphs with quadrilateral embeddings are discussed, and some thickness results are obtained. Some new genus results are also obtained.     

The chromaticity of complete bipartite graphs with at most one edge deleted

Let K(p, q), p ≤ q, denote the complete bipartite graph in which the two partite sets consist of p and q vertices, respectively. In this paper, we prove that (1) the graph K(p, q) is chromatically unique if p ≥ 2; and (2) the graph K(p, q) - e obtained by deleting an edge e from K(p, q) is chromatically unique if p ≥ 3. The first result was conjectured by Salzberg, López, and Giudici, who also proved the second result under the condition that q - p ≤ 1.     

Classification of reflexible regular embeddings and self-Petrie dual regular embeddings of complete bipartite graphs

In this paper, we classify the reflexible regular orientable embeddings and the self-Petrie dual regular orientable embeddings of complete bipartite graphs. The classification shows that for any natural number n, say (p₁,p₂,…,p_k are distinct odd primes and a_i>0 for each i?1), there are t distinct reflexible regular embeddings of the complete bipartite graph K_n,n up to isomorphism, where t=1 if a=0, t=2^k if a=1, t=2^k+1 if a=2, and t=3·2^k+1 if a?3. And, there are s distinct self-Petrie dual regular embeddings of K_n,n up to isomorphism, where s=1 if a=0, s=2^k if a=1, s=2^k+1 if a=2, and s=2^k+2 if a?3.     

On the connectivity of bipartite distance-balanced graphs

A connected graph Γ is said to be distance-balanced whenever for any pair of adjacent vertices u,v of Γ the number of vertices closer to u than to v is equal to the number of vertices closer to v than to u. In [K. Handa, Bipartite graphs with balanced (a,b)-partitions, Ars Combin.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≥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.     

Absolute retracts of bipartite graphs

A bipartite graph G is an absolute retract if every isometric embedding g of G into a bipartite graph H is a coretraction (that is, there exists an edge-preserving map h from H to G such that hg is the identity map on G). Examples of absolute retracts are provided by chordal bipartite graphs and the covering graphs of modular lattices of breadth two. We give a construction and several characterizations of bipartite absolute retracts involving Helly type conditions. Bipartite absolute retracts apply to competitive location theory: they are precisely those bipartite graphs on which locational equilibria (Condorcet solutions) always exist.All graphs in this paper are finite, connected, and without loops or multiple edges.