| Summary: | Polyomino Venn (or polyVenn) diagrams are Venn diagrams whose curves are the perimeters of orthogonal polyominoes drawn on the integer lattice. Minimum area polyVenn diagrams are those in which each of the 2<sup><em>n</em></sup> intersection regions, in a diagram of <em>n</em> polyominoes, consists of exactly one unit square. We construct minimum area polyVenn diagrams in bounding rectangles of size 2<sup><em>r</em></sup>×2<sup><em>c</em></sup> whenever <em>r</em>, <em>c</em> ≥ 2. Our construction is inductive, and depends on two <q>expansion</q>results. First, a minimum area polyVenn diagram in a 2<sup><em>r</em></sup>×2<sup><em>c</em></sup> rectangle can be expanded to produce another that fits into a 2<sup><em>r</em>+1</sup>×2<sup><em>c</em>+1</sup> rectangle. Second, a minimum area polyVenn in a 2<sup>2</sup>×2<sup><em>c</em></sup> rectangle can be expanded to produce another that fits into a 2<sup>2</sup>×2<sup><em>c</em>+3</sup> bounding rectangle. Finally, for even <em>n</em> we construct <em>n</em>-set polyVenn diagrams in bounding rectangles of size (2<sup><em>n</em>/2</sup>-1)×(2<sup><em>n</em>/2</sup>+1) in which the empty set is <em>not</em> represented as a unit square.
|
|---|
