Mutual placement of bipartite graphs - Semantic Scholar

Report 9 Downloads 154 Views
Discrete Mathematics North-Holland

85

121 (1993) 85-92

Mutual placement of bipartite graphs* Jean-Luc

Fouquet

Laboratoire de Recherche en Irzformatique, 91405 Orsay Cedex, France

CIA 410 du C.N.R.S.,

Uniwrsite

de Paris-&d,

Bat. 490,

A. Pawel Wojda* * Departement

de Mathematiques

Received 31 October Revised 14 February

et Irzformatique. Faculte des Sciences, 72017 Le Mans Cedex, France

1990 1991

Abstract Fouquet, J.-L. and A.P. Wojda, (1993) 85-92.

Mutual

placement

of bipartite

graphs,

Discrete

Mathematics

121

Let G =(L, R, E) and H =(L’, R’, E’) be bipartite graphs. A bijection 4: L w R + L’v R’ is said to be of a biplacement of G and H if 4(L)= L’ and ~$(x)~$(y)gE’ for every edge xy of G. A biplacement G and its copy is called a 2-placement of G. We prove that, with some exceptions, every bipartite graph G of order n and size at most n - 2 has a 2-placement. We also give some sufficient conditions for bipartite graphs G and H to have a biplacement.

1. Introduction

Let G = (L, R, E) be a bipartite graph with a vertex set V(G) = L u R and an edge set E. We denote then L(G) = L, R(G) = R, and we call these sets the left and the right set of bipartition of the vertex set of G. The cardinality of the vertex set of G is called the order of G and is denoted by u(G), while the cardinality of the edge set E(G) = E is the size of G, denoted by e(G). For a vertex XEV(G), N(x, G) denotes the set of its neighbors in G. The degree d(x, G) of the vertex x in G is the cardinal of the set N(x, G); d,(G) and d,(G) are maximum vertex degree in the set L(G) and R(G), respectively. A vertex x of G is said to be pendent if d(x, G)= 1. Correspondence to: A. Pawel Wojda, Instytut Matematyki, Akademia Gorniczo-Hutnicza, Al. Mickiewicza 30, 30-059 Krakow, Poland. * Partially supported by Polish Research Grant KBE p/05/003/90-2. **On leave from lnstytut Matematyki, Akademia Gorniczo-Hutnicza, Al. Mickiewicza 30, 30-059 Krakow, Poland. 0012-365X/93/$06.00

6

1993-Elsevier

Science Publishers

B.V. All rights reserved

86

J.-L. Fouquet. A.P.

Wojdu

K,, stands for the complete bipartite graph with )L(K,,)I =p and IR(K,,)( =q. If JLJ =p and ]RJ =q, we say that G is a (p,q)-bipartite graph. Then Gbip is the complement joining

of G in K,,.

Gbip =(L,R,E’),

Thus

where

L with R which are not in E. For bipartite

G I”;H the vertex-disjoint

union

R(GI:H)=R(G)uR(H),

E(G:H)=E(G)uE(H)

R(H) are supposed

of graphs

to be mutually

E’ consists

graphs

G and H. Thus,

of all the edges

G and H, we denote

by

L(G ?J H) = L(G) u L(H),

and the sets L(G),R(G),L(H)

and

disjoint.

Let G=(L,R, E) and H=(L’,R’, E’) be two (p,q)-bipartite graphs. We say that G and H are mutually placeable (or just mp) if there is a bijection 4 : L u R + L’ u R’ such that

cj(L)=L’

and, for every edge xy~E,

cj(x)&(y)

is not an edge of H. The

function 4 is called the biplacement of G and H. A 2-placement of G is a biplacement of G and its copy. If such a 2-placement of G exists then we say that G is 2-placeable. Finding a biplacement of two (p, q)-bipartite graphs G and H is equivalent to finding in the graph K,,- G a copy of H. We then call the edges of G black and the edges of H red. A 2-placement of (p, q)-bipartite graph G is a red copy G, of Gb = G, such that L(G,)= L(G,), R(Gb)=R(G,) and E(G,)nE(G,)=tii Note that for two bipartite graphs G and H it may happen that for some bipartitions of the vertex sets they may be mp while they are not mp for some other bipartitions. Thus, if one asks if bipartite graphs G and H are mp then the left and right sets of bipartitions of the sets V(G) and V(H) must be made precise. Exhaustive surveys of the results concerning the problems of placing of graphs are given in [2, Chapter S] and [S, Chapter 41; however, the particular case of placement of bipartite graphs, in the sense of the definition given above, has probably not been considered yet. See also [3] for another approach to the placement of bipartite graphs. In this paper we give some sufficient conditions for bipartite graphs to be mp or 2-placeable.

2. 2-Placements In the main result of this section we shall prove that every (p,q)-bipartite graph (p, q 3 2) of size at most p + q - 2 is either 2-placable or its size is exactly p + q - 2 and G is in a family of graphs which is defined below. A (p, q)-bipartite graph of size q (p) is said to be left-side bistar SL(p, q) (right-side bistar SR(p, q)) if there is a vertex of degree q (p) in its left (right) set of bipartition. Note that if p 3 2 then two left-side stars are mp, while SL( p, q) and SR( p, q) are not mp. For p 3 1 and q >, 1 the (p, q)-bipartite graph BS(p, q) is the vertex-disjoint union of the left-side star SL(1, q - 1) and the right-side star SR(p - 1, l), as shown in Fig. la. The vertices denoted by x and y in Fig. la are called the centers of BS(p,q). Let r, s, t be nonnegative integers such that r+s+t>, 1. Then the graphs F = F(3, r, s, t) are defined as follows: F is a (3,2(r + s + t)- 1)-bipartite graph of size 2(r+s+t) such that L(F)={ a1,az,as}, R(F)=A,uAzuAsu& lA,l=r, lAzl=~, for i = 1,2,3 (mod 3) and the vertices of lA3(=t, IB(=r+S+t-1, N(Uf,F)=AiUAi+l

Mutual placement

a

. w :A

b

of bipartite graphs

87

r

B (3,r, s) (Cl

Hf3,r. sj (d) Fig. 1

B are isolated (see Fig. 2, where the vertices of L(F) are indicated by l , while o stand for the vertices of R(F)). For r and s nonnegative integers, r B 1, B = B(3, r, s) is (3,2r + s - 1)-bipartite graph ofsize2r+ssuchthatL(B)={a,b,c},R(B)=AuBuC,~AJ=r,~B(=s,(C~=v-1and xywithx~L(B),yVER(B)isanedgeofB(3,r,s)ifandonlyifx~{a,b}andy~Aorx=c and DEB (see Fig. lc). H=H(3, r, s) is the (3,2r+ 2s- 1)-bipartite graph of size 2r + 2s in which L(H)= {a, b, c}, while R(H) is the union of four mutually disjoint sets A, B, C and D with JAJ=ICJ=r, IBI=IDJ+l=s, N(a,H)=AuB, N(b,H)=BuC, while c is isolated vertex (see Fig. lc). We define Y(p,q) to be the set of (p,q)-bipartite graphs G such that either - p > 3, q > 3 and G is isomorphic to BS( p, q), or - p + q = 2r + 2s + 2t + 2, 3 E( p, q) and G is isomorphic to F(3, r, s, t), or - p+q=2r+s+2, 3c{p,q}, s32r and G is isomorphic to B(3,r,s), or else - p+q=2r+2s+2, 3~{p, q} and G is isomorphic to H(3,r, s).

J.-L. Fouquet, A.P. Wojda

88

It is not difficult to see that every graph in 9(p, q) is (p, q)-bipartite has no 2-placement.

of size p + q - 2 and

Theorem 2.1. Let G be a (p, q)-bipartite graph of size at most p + q - 2, p > 2, q > 2. Then either G is 2-placeable

To prove Theorem

or e(G)=p+q-2

and G~%(p,q).

1, we shall need two lemmas.

Lemma 2.2. Every (2, q)-bipartite graph G of size at most q has a 2-placement. Proof. We may suppose @=IN(a,G)-N(b,G)I,

that the size of G is equal to q. Let L(G)= P=IN(b,G)-N(a,G)l

q=a+P+2y=a+fi+y+

y=jl(

and

the

{a, b}, and put

and Y=IN(a,G)nN(b,G)J. We have I is the set of isolated vertices in R(G). Thus, G, in which N(a,G,)=(N(b,G)-N(a,G))ul and defines a 2-placement of G. 0

111, where

red

graph

N(b,G,)=(N(a,G)-N(b,G))ul

Lemma 2.3. Let p and q be two integers, p > 3, q > 3. Suppose that, for p’ > 2, q’ > 2 and p’+q’, 3, there is in L(G) a vertex v such that d(v, G) > 2. If the graph G’= G - {u, v} is 2-placeable then it is not difficult to prove that the same holds for G. If it is not the case then either p=3 or else d(v, G)=2 and G’~9(p-2,q). When p = 3, then one may show that G is either 2-placeable or isomorphic with H(3, r, s, t). By inspection of all possible cases, the reader may check that also when d(v, G)=2 and G’eY(p, q) then either G is 2-placeable or G~%(p,q). Case 2: There is no isolated vertex in G and there are two pendent vertices u and u such that u and v are in the same set of bipartition of V(G) and N (u, G) # N (v, G).

Let us denote by x the neighbor of u and by y the neighbor of v. We may suppose that u, VEL(G). Note that if p= 3 then there is only one graph of size p+q -2, without isolated vertex and with two pendent vertices u, VEL(G), N (u, G) #N (v, G) and, moreover, this graph has a 2-placement. Thus, suppose that p 2 4.

Mutual placement of‘ bipartite graphs

If G’= G- {u, O} has a 2-placement,

4’ say, then define a 2-placement

following way: - $(w)=~‘(w) for WEI’({u,u}; ~ if ~‘(x)#x and $‘(y)#y then ~(u)=u

all possible

cases.

of G in the

and c#J(u)=u;

- if either $‘(x)=x or 4’(y)=y then c$(u)=u and ~(u)=u. If G’ has no 2-placement then G’E%(p’,q’). The reader may conclude inspecting

89

the lemma

0

Now we may prove the main theorem

of this section.

Proof of Theorem 2.1 (by induction on p + q). By Lemma 2.2, the theorem holds when either p or q is equal to 2. So, we may suppose that ~33, q33 and that the theorem holds for every (p’, q’)-bipartite graph G’ of size at most p’ + q’ - 2 when p’ + q’

o(Hi) for i= 1, . . . . m, we have necessarily k 2 2. By Lemma 2.3, we may assume that there is no isolated vertex in G and that neither in L(G) nor in R(G) there are no two pendent vertices with different neighbors. Thus, k=2 and, moreover, Tl u T2 = BS(r, s), r, ~23, and there is no pendent vertex in uH,)=e(H,u...uH,) and H1,...,H, are vertexHlu...uH,. So, u(H,u... disjoint cycles. Let xeL(G) and PER be the centers of Tl u T,, and let UEL(H,) and bER(H,) be two consecutive vertices on the cycle HI. The graph H = HI u ... u H,-- {a, b) satisfies e(H) = u(H)- 3 and, by the induction hypothesis, H has a 2-placement, 4’ say. Then 4 defined by - +(cc)=~‘(N) for aelf({u,b,x,y}, -

4(4=x,

is a 2-placement

4(x)=u,

$(b)=y,

&y)=b

of G. This proves Theorem

3. B&placement of two (p,q)-bipartite

2.1.

0

graphs

Theorem 3.1. Let G and H be two (p, q)-bipartite graphs such that e(G)e(H)dpq. Then G and H are mp unless {G, H} = {F,, F,}, wh ere either F1 is the leji-side bistur and there is no isolated vertex in L(F,),

or F, is the right-side star and there is no isolated vertex

in R(F,).

Proof. Let G and H be two graphs satisfying the assumptions of the theorem. For ecE(G) and fEE(H), we shall denote by U(e,S) the set of all bijections o of L(G)uR(G) onto L(H)uR(H), such that a(L(G))=L(H) and a*(e)=& The number of all bijections CJof L(G)uR(G) onto L(H)uR(H) satisfying o(L(G))=L(H) and which are not a biplacement of G and H is then equal to the cardinality of the set

90

J.-L. Fouyuet.

U(e,f). u=u?&(G)UfcEW)

are

exactly

Wqjda

We then have

and since lU(e,f)I=(p-l)!(q-l)!, There

A.P.

we obtain

p!q!

bijections

lUlGp!q!.

o:L(G)uR(G)+L(H)uR(H)

satisfying

a(L(G) = L(H)). If 1U 1