arXiv++ Combinatorics

Automated floor plan generation is an important problem in computational architectural design. The goal is to construct a floor plan from user-defined room numbers and door requirements. The user specifies which rooms must share a door and which rooms must not be adjacent. However, these requirements do not determine the exact placement or shape of the rooms. The task is therefore to arrange the rooms in a single floor plan so that all required door connections are satisfied and no rooms overlap. To address this problem, we propose DPLAN (Door Connectivity to Floor Plan Generation), a graph-based prototype that generates floor plans from door and non-adjacency constraints. The framework operates in three stages. First, the user-defined graph is examined and, if disconnected, additional edges are added to connect its components. Second, a bi-connected plane triangulation is constructed to ensure the existence of a floor plan without overlapping rooms or empty spaces. Third, the triangulated graph is transformed into floor plans. For rectangular floor plans (RFPs), separating triangles are removed by modifying edges without adding new vertices, thereby avoiding the creation of extra rooms. For orthogonal floor plans (OFPs), separating triangles are removed by introducing additional vertices, allowing rectilinear room shapes. By enforcing both door and non-adjacency requirements, the framework generates floor plans that satisfy the given constraints. The method is implemented in Python and includes a prototype for interactive constraint specification and floor plan visualization. Currently, the framework supports rectangular plot boundaries. Future work includes support for non-rectangular plots, dimension-based scaling, and circulation modeling.

A rectangular floorplan is a partition of a rectangle into smaller rectangles such that no four rectangles meet at a single point. Rectangular floorplans arise naturally in a variety of applications, including VLSI design, architectural layout, and cartography, where efficient and flexible spatial subdivisions are required. A central concept in this domain is that of area-universality: a floorplan (or more generally, a rectangular layout) is area-universal if, for any assignment of target areas to its constituent rectangles, there exists a combinatorially equivalent layout that realizes these areas. In this paper, we investigate the structural conditions under which an outerplanar graph admits an area-universal rectangular layout. We establish a necessary and sufficient condition for area-universality in this setting, thereby providing a complete characterization of admissible outerplanar graphs. Furthermore, we present an algorithmic construction that guarantees that the resulting layout is always area-universal.

We present a graph-theoretic framework for constructing floor plans that support non-rectangular modules, with particular emphasis on L-shaped and T-shaped geometries. Unlike traditional approaches that primarily focus on rectangular modules and outer boundary constraints, our method explicitly incorporates structural restrictions that arise when realizing more complex module shapes within rectangular floor-plan representations. The framework is based on triangulated graphs and investigates how algorithmic graph theory techniques can be used to embed L and T-shaped modules while preserving prescribed adjacencies. We show that not every triangulated graph admits such realizations and identify structural limitations that prevent the existence of the desired module geometries. To capture these limitations, we introduce a shape-preservation constraint that ensures module geometries cannot be altered through boundary deformation, as such changes would either increase the combinatorial complexity of neighboring modules or violate adjacency relationships. We propose a linear-time construction algorithm based on a prioritized canonical ordering that realizes L and T-shaped modules in graphs containing at least one internal K4, or two internal K4 subgraphs satisfying specific existence conditions. The algorithm is simple, constructive, and directly implementable, making it suitable for practical floor-plan generation workflows. We conclude by discussing extensions to additional module shapes and broader classes of supporting graph structures.

A plane graph is called a rectangular graph if each of its edges can be oriented either horizontally or vertically, each of its interior regions is a four-sided region and all interior regions can be fitted in a rectangular enclosure. Only planar graphs can be dualized. If the dual of a plane graph is a rectangular graph, then the plane graph is a rectangularly dualizable graph. In 1985, Koźmiński and Kinnen presented a necessary and sufficient condition for the existence of a rectangularly dualizable graph for a separable connected plane graph. In this paper, we present a counter example for which the conditions given by them for separable connected plane graphs fail and hence, we derive a necessary and sufficient condition for a plane graph to be a rectangularly dualizable graph.

A plane graph is called a rectangular graph if each of its edges can be oriented either horizontally or vertically, each of its interior regions is a four-sided region and all interior regions can be fitted in a rectangular enclosure. If the dual of a plane graph is a rectangular graph, then the plane graph is a rectangularly dualizable graph. A rectangular dual is it area-universal if any assignment of areas to each of its regions can be realized by a combinatorially weak equivalent rectangular dual. It is still unknown that there exists no polynomial time algorithm to construct an area-universal rectangular dual for a rectangularly dualizable graph . In this paper, we describe a class of rectangularly dualizable graphs wherein each graph can be realized by an area-universal rectangular dual. We also present a polynomial time algorithm for its construction.

A plane graph is said to be a rectangular graph if each of its edges can be oriented horizontal or vertical, its internal regions are four-sided and it has a rectangular enclosure. If dual of a planar graph is a rectangular graph, then the graph is said to be a rectangular dualizable graph (RDG). In this paper, we present adjacency transformations between RDGs and present polynomial time algorithms for their transformations. An RDG $\mathcal{G}=(V, E)$ is called maximal RDG (MRDG) if there does not exist an RDG $\mathcal{G'}=(V, E')$ with $E' \supset E$. An RDG $\mathcal{G}=(V, E)$ is said to be an edge-reducible if there exists an RDG $\mathcal{G'}=(V, E')$ such that $E\supset E'$. If an RDG is not edge-reducible, it is said to be an edge-irreducible RDG. We show that there always exists an MRDG for a given RDG. We also show that an MRDG is edge-reducible and can always be transformed to a minimal one (an edge-irreducible RDG).