Rectangular Layouts and Contact Graphs

Contact graphs of isothetic rectangles unify many concepts from applications including VLSI and architectural design, computational geometry, and GIS. Minimizing the area of their corresponding {\em rectangular layouts} is a key problem. We study the area-optimization problem and show that it is NP-hard to find a minimum-area rectangular layout of a given contact graph. We present O(n)-time algorithms that construct $O(n^2)$-area rectangular layouts for general contact graphs and $O(n\log n)$-area rectangular layouts for trees. (For trees, this is an $O(\log n)$-approximation algorithm.) We also present an infinite family of graphs (rsp., trees) that require $\Omega(n^2)$ (rsp., $\Omega(n\log n)$) area. We derive these results by presenting a new characterization of graphs that admit rectangular layouts using the related concept of {\em rectangular duals}. A corollary to our results relates the class of graphs that admit rectangular layouts to {\em rectangle of influence drawings}.Comment: 28 pages, 13 figures, 55 references, 1 appendi

Orientation-Constrained Rectangular Layouts

We construct partitions of rectangles into smaller rectangles from an input consisting of a planar dual graph of the layout together with restrictions on the orientations of edges and junctions of the layout. Such an orientation-constrained layout, if it exists, may be constructed in polynomial time, and all orientation-constrained layouts may be listed in polynomial time per layout.Comment: To appear at Algorithms and Data Structures Symposium, Banff, Canada, August 2009. 12 pages, 5 figure

Compact Floor-Planning via Orderly Spanning Trees

Floor-planning is a fundamental step in VLSI chip design. Based upon the concept of orderly spanning trees, we present a simple O(n)-time algorithm to construct a floor-plan for any n-node plane triangulation. In comparison with previous floor-planning algorithms in the literature, our solution is not only simpler in the algorithm itself, but also produces floor-plans which require fewer module types. An equally important aspect of our new algorithm lies in its ability to fit the floor-plan area in a rectangle of size (n-1)x(2n+1)/3. Lower bounds on the worst-case area for floor-planning any plane triangulation are also provided in the paper.Comment: 13 pages, 5 figures, An early version of this work was presented at 9th International Symposium on Graph Drawing (GD 2001), Vienna, Austria, September 2001. Accepted to Journal of Algorithms, 200

Area-Universal Rectangular Layouts

A rectangular layout is a partition of a rectangle into a finite set of interior-disjoint rectangles. Rectangular layouts appear in various applications: as rectangular cartograms in cartography, as floorplans in building architecture and VLSI design, and as graph drawings. Often areas are associated with the rectangles of a rectangular layout and it might hence be desirable if one rectangular layout can represent several area assignments. A layout is area-universal if any assignment of areas to rectangles can be realized by a combinatorially equivalent rectangular layout. We identify a simple necessary and sufficient condition for a rectangular layout to be area-universal: a rectangular layout is area-universal if and only if it is one-sided. More generally, given any rectangular layout L and any assignment of areas to its regions, we show that there can be at most one layout (up to horizontal and vertical scaling) which is combinatorially equivalent to L and achieves a given area assignment. We also investigate similar questions for perimeter assignments. The adjacency requirements for the rectangles of a rectangular layout can be specified in various ways, most commonly via the dual graph of the layout. We show how to find an area-universal layout for a given set of adjacency requirements whenever such a layout exists.Comment: 19 pages, 16 figure

On the Duality of Semiantichains and Unichain Coverings

We study a min-max relation conjectured by Saks and West: For any two posets $P$ and $Q$ the size of a maximum semiantichain and the size of a minimum unichain covering in the product $P\times Q$ are equal. For positive we state conditions on $P$ and $Q$ that imply the min-max relation. Based on these conditions we identify some new families of posets where the conjecture holds and get easy proofs for several instances where the conjecture had been verified before. However, we also have examples showing that in general the min-max relation is false, i.e., we disprove the Saks-West conjecture.Comment: 10 pages, 3 figure

A Note on Plus-Contacts, Rectangular Duals, and Box-Orthogonal Drawings

A plus-contact representation of a planar graph $G$ is called $c$-balanced if for every plus shape $+_v$, the number of other plus shapes incident to each arm of $+_v$ is at most $c \Delta +O(1)$, where $\Delta$ is the maximum degree of $G$. Although small values of $c$ have been achieved for a few subclasses of planar graphs (e.g., $2$- and $3$-trees), it is unknown whether $c$-balanced representations with $c<1$ exist for arbitrary planar graphs. In this paper we compute $(1/2)$-balanced plus-contact representations for all planar graphs that admit a rectangular dual. Our result implies that any graph with a rectangular dual has a 1-bend box-orthogonal drawings such that for each vertex $v$, the box representing $v$ is a square of side length $\frac{deg(v)}{2}+ O(1)$.Comment: A poster related to this research appeared at the 25th International Symposium on Graph Drawing & Network Visualization (GD 2017

Nonlinear O(3)O(3) sigma model in discrete complex analysis

We examine a discrete version of the two-dimensional nonlinear $O(3)$ sigma model derived from discrete complex analysis. We adopt two lattices, one rectangular, the other polar. We define a discrete energy $E({f})^{\rm disc.}$ and a discrete area ${\cal{A}}({f})^{\rm disc.}$, where the function $f$ is related to a stereographic projection governed by a unit vector of the model. The discrete energy and area satisfy the inequality $E({f})^{\rm disc.} \ge |{\cal{A}}({f})^{\rm disc.}|$, which is saturated if and only if the function $f$ is discrete (anti-)holomorphic. We show for the rectangular lattice that, except for a factor 2, the discrete energy and the area tend to the usual continuous energy $E({f})$ and the area ${\cal{A}}({f})=4 \pi N, \,\,N\in \pi_2(S^2)$ as the lattice spacings tend to zero. In the polar lattice, we section the plane by $2M$ lines passing through the origin into $2M$ equal sectors and place vertices radially in a geometric progression with a common ratio $q$. For this polar lattice, the Euler--Lagrange equation derived from the discrete energy $E({f})^{\rm disc.}$ yields rotationally symmetric (anti-)holomorphic solutions $f(z)=Cz^{\pm 1}\,\,(C\bar{z}^{\pm 1})$ in the zeroth order of $\kappa:=q^{-1}-q$. We find that the discrete area evaluated by these zeroth-order solutions is expressible as a $q$-integral (the Jackson integral). Moreover, the area tends to $\pm 2\cdot 4\pi$ in the continuum limit ($M \to \infty$ and $q \to 1\!-0$) with fixed discrete conformal structure $\rho_0 =2 \sin{(\pi/M)}/ \kappa$.Comment: v1. 10 pages, 2 figures v2. New title, 19 pages and 3 figures, Sec.2.3 (EL eq. and its continuum limt) and Sec.3 (polar lattice) adde