---
title: Space Planning Problems (SPP) Overview
url: https://www.emergentmind.com/topics/space-planning-problems-spp
type: topic
---

# Space Planning Problems (SPP) Overview

Space Planning Problems (SPP) denote a heterogeneous family of optimization, planning, and constraint-satisfaction problems in which admissible decisions are governed by spatial structure, temporal evolution, resource limits, and safety or feasibility requirements. In the cited literature, the term covers architectural space layout planning, socially distanced seat allocation, general space–time facility activation, safety-critical multi-vehicle path planning, volumetric planning in configuration space, and satellite mission scheduling under physics-based constraints [1303.4017] [2105.05017] [1809.09678] [1603.05208] [1109.3145] [2601.11354]. Across these formulations, the common core is the joint selection of entities, locations, geometric relations, and often activation times, subject to exclusion, adjacency, capacity, kinematic, or uncertainty constraints.

## 1. Terminological scope and problem families

In architectural CAD, Medjdoub & Yannou formulate space layout planning as a constraint-based design problem over rectangular spaces, where the objective is to enumerate consistent conceptual design solutions called topological solutions before introducing exact geometry [1303.4017]. In workplace planning under social distancing, the problem is cast as selecting a maximum number of safe seats under pairwise distance constraints, yielding a binary optimization problem over candidate workspaces [2105.05017]. In operations research, Barbati et al. define a general space–time model whose basic variable $x_{ilt}$ jointly answers what facility is activated, where it is assigned, and when it is started, thereby combining elements of knapsack, location, and scheduling models [1809.09678].

A different line of work treats SPP as a dynamic safety problem. In "Safe Sequential Path Planning Under Disturbances and Imperfect Information" [1603.05208], the problem is to guarantee collision avoidance and target reachability for multiple vehicles under disturbances and incomplete information. In "Sample-Based Planning with Volumes in Configuration Space" [1109.3145], planning occurs in $\mathcal C_{\rm free}$, where feasible motion is approximated by convex volumes rather than isolated samples. AstroReason-Bench uses the term in yet another, explicitly space-mission sense: SPP becomes a family of high-stakes planning problems for satellites, ground stations, targets, and inter-satellite links, with heterogeneous objectives and strict physical constraints [2601.11354].

This distribution of usages suggests that SPP is best understood not as a single canonical problem class, but as a broad modeling idiom centered on spatial feasibility, combinatorial decision structure, and constrained temporal deployment.

## 2. Core mathematical representations

The architectural formulation begins from a knowledge model in which a Space is an isothetic rectangle with integer-valued, module-based attributes $x_1,y_1,x_2,y_2,L,W,S$ and class-constraints
$$
x_2=x_1+L,\qquad y_2=y_1+W,\qquad S=L\times W.
$$
A Room adds orientation $\in\{0^\circ,90^\circ\}$, while a BuildingUnit enforces inclusion in the unit contour, non-overlap among spaces, and contour total-recovery [1303.4017].

The social-distancing seat-allocation model uses a binary variable
$$
x_i\in\{0,1\},\quad i\in R,
$$
with objective
$$
\max_x \sum_{i\in R} x_i,
$$
and conflict constraints
$$
x_i+x_j\le 1,\quad \forall (i,j)\in E_D,
$$
where $E_D=\{(i,j):i<j,\ d_{ij}<D\}$ and $d_{ij}$ is the Euclidean distance between seat centroids [2105.05017]. This is exactly a maximum independent set problem on the conflict graph $G=(V,E)$ with $V=R$ and $E=E_D$.

The general space–time model takes
$$
x_{ilt}\in\{0,1\},
$$
with $x_{ilt}=1$ if facility $i$ is activated in location $l$ at the start of period $t$, and $0$ otherwise. Its constraints include period budgets, single activation, optional precedence, and optional location/time capacity, while the objective is an aggregated discounted score built from criterion weights, facility-location scores, and discount factors $v(t)$ [1809.09678].

The multi-UAV SPP framework is formulated through Hamilton–Jacobi reachability. For vehicle $Q_i$, the value function satisfies
$$
\frac{\partial V_i}{\partial t}(x,t)
+\min_{u_i\in U_i}\max_{d_i\in D_i}\nabla V_i(x,t)\cdot f_i(x,u_i,d_i)=0,
$$
for $t\le STA_i$, with terminal condition $V_i(STA_i,x)=l_i(x)$ [1603.05208]. The Ball-Tree formulation, by contrast, represents connected subsets of free configuration space with volumes
$$
B(x,r)=\{y\in\mathcal C\mid d(y,x)\le r\},
$$
and assigns each tree node a center $v.x\in\mathcal C_{\rm free}$ and radius $v.r\ge 0$ [1109.3145].

AstroReason-Bench defines a space-mission SPP instance by a set of satellites $S$, ground stations $G$, targets $T$, optional inter-satellite links $L$, a horizon $[0,T_{\rm end}]$, and decision variables
$$
x=\{x_{\rm obs},x_{\rm down},x_{\rm slew},x_{\rm isl}\},
$$
where each variable indicates scheduling an observation, downlink, slew, or inter-satellite link in a candidate window [2601.11354].

## 3. Constraint structures

A defining feature of SPP formulations is the centrality of structured constraints. In architectural layout planning, topological constraints include generalized adjacency$(e_1,e_2,d_1,d_2)$, on-contour constraints, staircase-entry adjacency, logical disjunctions, and implicit reduction constraints such as non-overlapping$(e_1,e_2)$, incoherent-space-elimination, symmetry elimination among identical spaces, and orientation propagation [1303.4017]. A topological solution is an assignment of all adjacency-direction variables $Dir_{ij}$, together with orientation choice-points, such that the specification and implicit constraints remain arc-consistent and at least one full geometric instantiation exists.

In the seat-allocation setting, the constraints are pairwise and metric: if two seats are closer than the minimum distance $D$, they cannot both be selected. The resulting conflict graph may be decomposed into connected components, and if a component is bipartite, one may choose the larger color class as a feasible allocation for that component [2105.05017].

The space–time operations-research model enriches spatial placement with budget and temporal structure. Its constraints are
- budget at each period,
- single activation,
- optional precedence,
- optional location/time capacity,
- binary or continuous interpretations of $x_{ilt}$,
and it also supports multi-stakeholder weights and uncertainty via scenario trees [1809.09678].

In safe sequential path planning, the relevant constraints are dynamic and adversarial. Lower-priority vehicles treat higher-priority vehicles as moving obstacles, with three information models: centralized control, least-restrictive control, and robust trajectory tracking. The induced obstacle for a lower-priority vehicle is constructed as an over-approximation of the higher-priority vehicle’s possible positions under the relevant disturbance and information assumptions [1603.05208].

AstroReason-Bench organizes constraints into three explicit classes:
- resource constraints, including nonnegative energy buffers and bounded data storage;
- kinematic constraints, requiring enough time between observation windows to accommodate slew and settle times;
- concurrency constraints, limiting simultaneous downlinks and inter-satellite links while allowing communication to overlap observations modulo resource budgets [2601.11354].

These formulations show that “space” in SPP may refer to Euclidean floorplans, conflict geometry, discrete facility locations, vehicle position tubes, configuration spaces, or orbital opportunity windows, but in each case feasibility is expressed through explicit spatial relations.

## 4. Decomposition strategies and algorithmic paradigms

A recurrent design principle in SPP research is decomposition. Medjdoub & Yannou explicitly separate topology and geometry: first instantiate directional relations and topological choice-points, then solve the remaining geometric CSP and, if required, optimize it with branch-and-bound [1303.4017]. Their topology enumeration uses a space-selection heuristic of “most constrained first” and a variable-selection heuristic that chooses the adjacency variable with smallest domain for the selected space.

The seat-allocation work similarly exploits problem structure. After building the conflict graph, the graph is decomposed into connected components; bipartite components are handled through two-coloring, while non-bipartite components are modified by deleting nodes participating in odd cycles until bipartiteness is restored [2105.05017]. The same paper compares this graph-partition strategy with a constrained random walk and an ILP formulation.

Sequential path planning achieves a different decomposition: a strict total ordering $1\prec 2\prec \dots \prec N$ is imposed on vehicles, so that each vehicle solves a reachability problem only in its own state dimension while treating higher-priority vehicles as time-varying obstacles [1603.05208]. This converts an otherwise exponentially scaling coupled reachability problem into a linearly scaling sequence of single-vehicle computations.

Shkolnik & Tedrake’s Ball-Tree algorithm decomposes free space into convex volumes rather than points. Expansion uses the nearest-volume rule
$$
v_{\rm near}=\arg\min_{v\in T}\{d(q,v.x)-v.r\},
$$
and in the inexact variant radii are trimmed whenever collision evidence invalidates part of a ball [1109.3145]. The effect is to reject samples that fall inside already covered volumes and to focus exploration on free-surface regions and narrow passages.

Barbati et al. provide a different kind of decomposition in the objective space. Their model supports weighted-sum optimization, Compromise Programming for balancing location or criterion payoffs, and an interactive methodology based on the Dominance-based Rough Set Approach, in which a decision maker iteratively classifies solutions as “good” or “others” and new inequalities are induced from these judgments [1809.09678].

AstroReason-Bench standardizes interaction rather than decomposition of variables. All benchmark families are exposed through a single Model Context Protocol and Python API, with a ReAct loop based on `get_state()`, `stage_action(a)`, `commit()`, and `evaluate()` [2601.11354]. This unification is itself a methodological statement: heterogeneous SPP instances can be given a common action semantics even when their internal objectives differ.

## 5. Guarantees, complexity, and conservatism

Several SPP formulations emphasize formal guarantees. In architectural planning, the topological enumeration procedure is designed so that no topologies are missed, none are inconsistent, and no duplicates are produced; the worst-case complexity is $O(4^{n(n-1)/2})$, but in practice the number of topological solutions is reported as less than 100 for $n\approx 20$ [1303.4017]. Once topology is fixed, geometric optimization is solved by depth-first branch-and-bound, with the global constraint `Cost < C_1` used to prune inferior solutions.

In safe sequential path planning, safety follows from over-approximating higher-priority vehicles’ reachable positions. Each lower-priority vehicle computes a backward reachable set that excludes
$$
G_i(t)=\bigcup_{j<i} O_i^j(t),
$$
and because each $O_i^j(t)$ is an over-approximation of all possible higher-priority positions under the adopted assumptions, any real trajectory under the optimal policy avoids collisions in the worst case [1603.05208]. The complexity drops from exponential in the joint state dimension to $O(N\cdot C)$, where each vehicle solves one BRS PDE and possibly one FRS PDE or one error-bound PDE.

The Ball-Tree method maintains probabilistic completeness in both exact and inexact variants. In the exact case, any uncovered free-surface region has nonzero sampling probability; in the inexact case, repeated probing trims away invalid portions until the same expansion argument applies [1109.3145]. A further $\delta$-Ball-Tree variant guarantees the same completeness reasoning if a feasible path exists whose minimum clearance from $\mathcal C_{\rm obs}$ exceeds $\delta$.

The seat-allocation literature makes a different trade-off. The constrained random-walk heuristic has no optimality guarantee, whereas the ILP formulation is exact for the binary model and can incorporate additional business rules; the graph-partition approach occupies an intermediate position, exploiting special structure for speed while potentially degrading at larger distancing thresholds [2105.05017].

These examples illustrate a pervasive tension in SPP research: stronger guarantees typically require stronger modeling assumptions, more conservative over-approximations, or more expensive exact computation.

## 6. Representative applications and empirical behavior

Empirical studies span design, occupancy planning, autonomous navigation, and satellite operations.

| Domain | Representative result | Source |
|---|---|---|
| Architectural layout | Two-Floor House: 49 topological solutions in $\approx 5$ s; geometric optima in $<2$ s each | [1303.4017] |
| Seat allocation | On a 300-seat floorplan at 72 in: Random-walk 149 seats, Graph-partition 162 seats, ILP 162 seats | [2105.05017] |
| Multi-UAV path planning | Centralized method: LDT $\approx [-1.35,-1.37,-1.94,-2.04]$; 100% success | [1603.05208] |
| Configuration-space planning | Bug Trap: Ball-Tree mean time 14.6 s vs RRT 75.4 s; mean nodes 246 vs 17 739 | [1109.3145] |
| Space–time facility planning | Didactic 8-facility / 2-location / 5-year example solved by CPLEX with six activated facilities | [1809.09678] |
| Satellite mission planning | SatNet: $\Delta$-MILP achieves $U_{rms}=0.30$; best agent listed is Gemini 3 Flash with $U_{rms}=0.53$ | [2601.11354] |

The architectural case studies include a Maculet House with 72 topologies in 30 min and 72 geometric optima for corridor-area in 33 s, and an Office with Patio with 102 topologies, less than 2 min enumeration, and geometric refinement in less than 2 min [1303.4017]. The social-distancing study reports that the random-walk heuristic is fast but delivers 5–10% fewer seats than the others, while the graph-partition approach is almost as good as the ILP at low–medium distances and degrades by up to 7% at large $D$ [2105.05017].

The UAV study evaluates four vehicles with Dubins-like kinematics
$$
\dot p_x=v\cos\theta+d_x,\qquad \dot p_y=v\sin\theta+d_y,\qquad \dot\theta=\omega+d_\theta,
$$
with $v\in[0.5,1]$, $|\omega|\le 1$, $|(d_x,d_y)|\le 0.1$, and $|d_\theta|\le 0.2$. Method 2 is the most conservative, with LDT $\approx [-1.35,-1.97,-2.66,-3.39]$, while Method 3 uses reduced turn-rate, fixed speed, and error bound $R_{EB}=0.075$, yielding LDT $\approx [-1.61,-3.16,-3.57,-2.47]$ [1603.05208].

AstroReason-Bench broadens empirical SPP evaluation to agentic systems. Across five benchmark families, current agents substantially underperform specialized solvers on some tasks while showing nontrivial competence on others. For Revisit Optimization, SA achieves $M_{gap}=13.65$ h and Claude Sonnet 4.5 achieves $18.83$ h with $M_{map}=1.00$; for Regional Coverage, Gemini 3 Flash attains $M_{cov}=0.11$; for Stereo Imaging, Qwen3 Coder reaches $M_{cov}=0.18$; and for Latency Optimization, Kat Coder Pro is the only listed agent with nonzero availability, $M_{avail}=0.07$ and $M_{lat}=58.4$ ms [2601.11354].

## 7. Limitations, misconceptions, and current research directions

A common misconception is that SPP denotes one stable mathematical object. The surveyed literature shows instead that the label spans several problem classes whose unifying feature is constrained spatial decision-making rather than a single shared formalism. This suggests caution when transferring algorithms or benchmark claims across subfields.

The limitations are domain-specific. The architectural framework is restricted to orthogonal, isothetic rectangles; corridors are limited to at most two rectangles; disjunctions of topological specifications are handled only in restricted form; and optimization criteria are currently limited to corridor area and wall length [1303.4017]. In multi-UAV planning, the least-restrictive control model is deliberately conservative because lower-priority vehicles only know the intersection of a higher-priority vehicle’s BRS and FRS, not its realized policy [1603.05208]. In Ball-Tree planning, the exact version requires clearance queries that may be expensive in high-DOF or complex geometry, and in obstacle-dense regions the method can collapse toward standard RRT behavior because radii shrink toward zero [1109.3145]. In seat allocation, heuristic methods trade optimality for speed, and larger social-distance thresholds can erode the quality of graph-partition solutions [2105.05017].

The current frontier in space-mission SPP emphasizes benchmarking and hybridization. AstroReason-Bench identifies resource mismanagement, geometric ignorance, insufficient environment exploration, and failures of compound constraint reasoning as recurring agent failure modes, while also proposing directions such as hybrid LLM+MILP systems, explicit search/planning submodules, analysis-versus-action phases, multi-agent training, deep-space trajectory design, satellite constellation design, and architectural co-optimization [2601.11354]. Barbati et al. point toward uncertain and multi-stakeholder planning through scenario trees, Compromise Programming, and DRSA, while Medjdoub & Yannou propose polygonal or curved building contours, richer functional specifications, uncertain or soft constraints with weighted penalties, multi-floor stacked units, and industrial plant layout extensions [1809.09678] [1303.4017].

Taken together, these directions indicate that SPP research is moving toward richer uncertainty models, stronger interaction between geometry and combinatorics, and hybrid solver architectures that combine exact optimization, reachability, sampling, and agentic planning under a common spatial decision framework.

Source: https://www.emergentmind.com/topics/space-planning-problems-spp