Bipartite Steinhaus Graphs - CiteSeerX

0 downloads 0 Views 198KB Size Report
It is apparent from its de nition that P forms a rotated Pascal's triangle modulo 2. Therefore, we use the name Pascal matrix for P. P = 0. BBBBBBBBBBBBBB@.
DIMACS Technical Report 95-16 June 1995

Bipartite Steinhaus Graphs by Bhaskar DasGupta1

Martin Furer3

;

4

2

DIMACS Rutgers University Piscataway, NJ 08855 Email: [email protected] 2 Research supported in part by NSF grant CCR-92-00270 3 Department of Computer Science & Engineering The Pennsylvania State University University Park, PA 16802 Email: [email protected] 4 Research supported in part by NSF grant CCR-92-18309 1

DIMACS is a cooperative project of Rutgers University, Princeton University, AT&T Bell Laboratories and Bellcore. DIMACS is an NSF Science and Technology Center, funded under contract STC{91{19999; and also receives support from the New Jersey Commission on Science and Technology.

ABSTRACT Steinhaus graphs are simple undirected graphs in which the rst row of the adjacency matrix A = (ars) (excluding the very rst entry which is always 0) is an arbitrary sequence of zeros and ones and the remaining entries in the upper triangular part of A are de ned by ars = (ar?1 s?1 + ar?1 s) mod 2 (for 2  r < s  n). Such graphs have already been studied for their various properties. In this paper we characterize bipartite Steinhaus graphs, and use this characterization to give an exact count as well as linear upper and lower bounds for the number of such graphs on n vertices. These results answer armatively some questions posed by W. M. Dymacek (Discrete Mathematics, 59 (1986) pp. 9-20).

1 Introduction. A Steinhaus graph on n vertices is de ned as follows. The graph is simple and undirected. The entries in the adjacency matrix A = (ars) are de ned by the following relationship (where x  y denotes addition modulo 2):

arr = 0 a s = 0 or 1 ars = ar? s?  ar? ars = asr 1

1

1

1

s

1rn 2sn 2r