Discrete Mathematics 52 (1984) 177-198 North-Holland THE STRUCTURE OF RECTANGLE FAMILIES DIVIDING THE PLANE INTO MAXIMUM NUMBER OF ATOMS A. GYARFAS, J. LEHEL and Zs. TUZA 177 Computer and Automation Institute, Hungarian Academy of Sciences, H-1111 Budapest, Hungary Received 13 November 1983 Introduction Let .s4 = {Al, ... 'An} be a family of sets. The elements X, y E Ai are called equivalent if for every i, 1:::;; i :::;; n, x E Ai if and only if y E Ai. The equivalence classes are called the atoms of the family d. Rado asked in [4] the following question: what is the maximum number f(n, d) of atoms, where the maximum is taken over families of n boxes in the d-dimensional Euclidean space. A box is a parallelepiped with sides parallel to the coordinate axes. A family of n boxes is extremal if it defines f(n, d) atoms. Rado showed that f(n, 1) = 2n -1. The authors of the present paper proved that f(n, 2) = 2n 2 -6n +7 if n deter- mined f(n, 3) asymptotically and gave upper and lower bounds for f(n, d) (see [3]). The present paper is devoted to the two-dimensional extremal families of boxes which we call box diagrams. Our main result, Theorem 3.1, is the characterization of box diagrams. It turns out that all box diagrams can be obtained by a slight modification (peripheral lifting) from a basic type: the caterpillar construction given in Section 2. Box diagrams defined by the caterpillar construction for n = 3 and n = 4 are shown in Figs. 6 and 9 in Section 2. We note that this characteriza- tion describes the structure of box diagrams completely. It is remarkable that one-dimensional extremal families have no structural characterization. As proved in [3], these are interval families with connected overlap graphs for which only a non-structural characterization is known (cf. [2]). We show two consequences of the main result. The first one concerns the enumeration of box diagrams: apart from axial symmetries, there are combinatorially non-equivalent box diagrams for n;::: 3 (Theorem 3.2). The second consequence of the main result is the characterization of simple box 0012-365X/84/$3.00 © 1984, Elsevier Science Publishers B.V. (North-Holland)