---
title: Connected Unlabeled MAPF (CUMAPF)
url: https://www.emergentmind.com/topics/connected-unlabeled-multi-agent-pathfinding-cumapf
type: topic
---

# Connected Unlabeled MAPF (CUMAPF)

Searching arXiv for CUMAPF and closely related connected MAPF papers.
Connected Unlabeled Multi-Agent Pathfinding (CUMAPF) is a variant of multi-agent pathfinding in which a team of identical agents must move from an initial occupied vertex set to a target vertex set while avoiding conflicts and remaining connected as a group at every time step. In the graph-based formulation emphasized by recent work, the agents are interchangeable, the occupied vertices at each step must induce a connected subgraph, and the objective is to minimize makespan [2510.19567]. CUMAPF is distinguished both from standard MAPF, which does not require team connectivity, and from unlabeled MAPF, which is polynomial-time solvable in optimization form via max-flow reductions, because the added connectivity constraint makes the problem substantially harder; recent work explicitly notes NP-hardness even on highly restricted graph classes, including 2D grid settings [2510.19567].

## 1. Formal definition and problem scope

The standard graph model used for CUMAPF takes a finite, simple, connected, undirected graph \(G=(V,E)\), a set of \(n\) agents, and initial and target vertex sets \(S,T\subseteq V\) with \(|S|=|T|=n\). A configuration is written as
\[
\mathcal Q=(q_1,\dots,q_n)\in V^n,
\]
where \(q_i\) is agent \(i\)'s vertex, and a configuration is connected if the induced subgraph \(G[\mathcal Q]\) is connected [2510.19567].

A plan is a sequence
\[
\Pi=[Q_0=S,Q_1,\dots,Q_{t^\ast}=T]
\]
subject to four conditions. First, it must be reachable: each agent moves to a neighbor or waits. Second, it must be vertex-conflict-free. Third, it must be swap-conflict-free. Fourth, it must be connected at every step, meaning every intermediate configuration induces a connected subgraph [2510.19567]. The objective is to minimize makespan \(t^\ast\) [2510.19567].

This formulation makes the unlabeled character explicit: agents are interchangeable, and the target specification is a set rather than an agent-specific assignment. That unlabeled aspect contrasts with labeled connected MAPF formulations in which each agent \(a_i\) has its own designated goal \(g_i\). A closely related but distinct example is MALCR, “Multi-Agent Path Finding with Limited Communication Range,” where each agent has a specific start and a specific goal and the team must remain connected through communication links at all times [2501.02770]. That problem is structurally close to the “connected” component of CUMAPF, but it is not a standard unlabeled formulation [2501.02770].

## 2. Connectivity as the defining constraint

In CUMAPF, connectivity is enforced configuration-wise: every intermediate configuration \(Q_k\) must induce a connected subgraph \(G[Q_k]\) [2510.19567]. This requirement is global rather than pairwise. Standard MAPF algorithms typically reason about local collision constraints, but CUMAPF requires preservation of a connected occupied set throughout the entire execution [2510.19567].

Recent algorithmic work enforces this constraint by restricting which occupied vertices may be vacated. In PULL, the next configuration is generated by moving agents along a single path-like chain of assignments while ensuring that no moved vertex is a cut vertex of the occupied subgraph after the move [2510.19567]. The paper formalizes this using \(Reach_G(v)\), the set of vertices reachable from \(v\), and \(\textsf{Cut}(G)\), the set of cut vertices. For a candidate starting vertex \(t\), the safe starting set is
\[
V_S=(F\setminus B)\setminus(V'\cup\{t\}),
\]
where \(F\) is a reachable set and \(B\) is the set of cut vertices in the relevant induced graph [2510.19567]. The central invariant is stated explicitly:

> If the current configuration is connected, then after each internal assignment step the new configuration remains connected, collision-free, and reachable. [2510.19567]

This connectivity notion differs from communication-constrained connected MAPF formulations. In MALCR, pairwise communication is governed by an agent communication constraint (ACOMM), under which two agents can communicate only if their Euclidean distance is within a range \(r_c\), and the full team must satisfy a team communication constraint (TCOMM) by forming a spanning tree whose edges satisfy ACOMM [2501.02770]. That is an always-connected communication graph under a range bound, rather than the induced-subgraph connectivity condition used in graph-based CUMAPF [2501.02770].

A second distinction arises in decentralized unlabeled planning. TP-SWAP assumes a connected underlying graph and local communication neighborhoods, with chain communication allowed, but it does not require a single global connected communication graph at all times [2408.14948]. This makes it relevant to distributed coordination in CUMAPF-like settings, but not identical to formulations that require continuous global connectivity of the full team [2408.14948].

## 3. Complexity and hardness

The complexity-theoretic position of CUMAPF is one of its defining features. While unlabeled MAPF is polynomial-time solvable for the optimization version via max-flow reductions, CUMAPF is reported as NP-hard even on very restricted graphs [2510.19567]. The same work notes two stronger hardness statements: deciding whether the optimal makespan is \(2\) or more is NP-hard, and approximating makespan within factor \(3/2\) is NP-hard [2510.19567].

These hardness results motivate the search for algorithms that are complete and polynomial-time per step, or exact only on small instances. PULL is presented as a complete and polynomial-time algorithm with a simple design, operating as a rule-based one-step configuration generator [2510.19567]. Its per-step runtime is
\[
O(\Delta^2 n^2),
\]
where \(\Delta\) is the maximum degree of the graph, and in 2D grid graphs this becomes
\[
O(n^2)
\]
because \(\Delta\) is constant [2510.19567]. Using the stated makespan bound,
\[
t^\ast \le \operatorname{diam}(G)+n-1,
\]
the full-plan runtime is
\[
O(|V|\cdot \Delta^2 n^2),
\]
and the bound is stated as tight [2510.19567].

The same paper also makes clear that polynomial-time completeness does not imply global optimality. It gives adversarial instances where PULL produces a makespan \(O(n)\) even when the optimum is \(2\) [2510.19567]. This establishes a central structural fact about CUMAPF: tractable complete generation of connected plans is possible, but exact optimality remains difficult enough to require heavier search procedures.

## 4. The PULL configuration generator

PULL is the first algorithm in the supplied material that directly targets CUMAPF as such [2510.19567]. It is framed as a configuration generator: given the current connected configuration \(Q\) and target set \(T\), it outputs a subsequent connected configuration \(Q'\) in one step [2510.19567]. Repeated application from \(S\) eventually reaches \(T\) [2510.19567].

Its high-level behavior has two cases. If some target vertices are already occupied, meaning \(Q\cap T\neq\emptyset\), the algorithm finds connected components of \(G[Q\cap T]\), sorts them by size, and processes neighboring target vertices around the largest components first so that the occupied target region grows monotonically [2510.19567]. Otherwise, when \(Q\cap T=\emptyset\), it sorts neighboring candidate vertices by their distance to the target set and pulls one agent along a shortest route toward the target [2510.19567].

The central inner procedure is written as \((t,R,V')\), where \(t\in N(Q)\) is a candidate vertex to grow toward, \(R\subseteq A\) is the set of agents already committed in the current one-step generation, and \(V'\subseteq V\) is a set of vertices forbidden as starting points for the current chain [2510.19567]. It computes reachable vertices \(F\), cut vertices \(B\), then forms
\[
V_S=(F\setminus B)\setminus(V'\cup\{t\}).
\]
If \(V_S=\emptyset\), the procedure fails. Otherwise it selects
\[
\textsf{cur}\in \argmax_{v\in V_S}\min_{y\in T}\dist(v,y),
\]
and repeatedly assigns the agent at \(\textsf{cur}\) to move one step closer to \(t\) along a BFS tree,
\[
Q^{to}[i] \leftarrow \textsf{next}(\textsf{cur},t),
\]
until the chain reaches \(t\) or no safe vertex remains [2510.19567].

The completeness proof relies on two monotonic progress arguments. If initially \(Q\cap T=\emptyset\), each successful step decreases the minimum distance between some occupied vertex and the target by \(1\). Once \(Q\cap T\neq\emptyset\), the size of the largest connected component of \(Q\cap T\) grows monotonically, with
\[
p^{\max}_{\tau+1}\ge p^{\max}_{\tau}+1.
\]
Therefore, after finitely many steps, all agents occupy target vertices [2510.19567].

The following table summarizes the main stated properties of PULL.

| Aspect | Stated property | Source |
|---|---|---|
| Problem class | Connected Unlabeled Multi-Agent Pathfinding | [2510.19567] |
| Algorithm type | Complete, polynomial-time, rule-based configuration generator | [2510.19567] |
| Per-step runtime | \(O(\Delta^2 n^2)\); \(O(n^2)\) in 2D grid | [2510.19567] |
| Makespan bound | \(t^\ast \le \operatorname{diam}(G)+n-1\) | [2510.19567] |
| Optimality status | Complete but not globally optimal | [2510.19567] |

A plausible implication is that PULL is best viewed as a constructive backbone for CUMAPF: it guarantees connected progress under the model assumptions, but its deterministic rule structure trades off optimality for completeness and scalability.

## 5. Exact solving and hybrid search

Because PULL can be suboptimal, the same work integrates it with LaCAM\*, a search-based MAPF solver that is eventually optimal [2510.19567]. The adapted procedure takes the current configuration \(Q\), targets \(T\), and a set of search constraints \(C\), where the constraints specify certain agents and their required next-step moves [2510.19567]. If a constrained agent conflicts with an unconstrained one, the algorithm raises the priority of the relevant vertex so that PULL will preferentially move the conflicting agent away [2510.19567]. After generation, the result is checked, and if it is disconnected or still contains vertex conflicts, the procedure returns \(\bot\); swap conflicts are then resolved or rejected [2510.19567].

In this context, “eventually optimal” means that as the search continues, the solver eventually finds and returns an optimal makespan solution, provided enough time [2510.19567]. The experiments reported for this combined solver use adversarial small instances such as 2-3-0, 5-5-0, and 10-3-0, where it can recover optimal solutions on sufficiently small cases, but may struggle to reach optimality within a two-hour budget on harder instances [2510.19567]. This suggests that exact CUMAPF remains computationally expensive even when a complete configuration generator is available.

A related exact-search perspective appears in connected labeled MAPF. CCBS adapts conflict-based search to Connected Multi-Agent Path Finding (CMAPF), replacing collision conflicts with disconnection conflicts relative to a designated base [2006.03280]. In that model, a configuration is connected iff the set \(\{B,c_1,\dots,c_k\}\) forms a connected subgraph under the communication relation \(E_c\), and the optimization objective is makespan [2006.03280]. The Neg-only variant is stated to be complete and optimal, while the Self/Other-only variant is not complete in general, though it is complete in a special case on sight-moveable graphs when all agents start at the base [2006.03280]. Although this is not an unlabeled formulation and the core CMAPF model allows co-location rather than enforcing standard MAPF collision rules, it provides an exact-search template for connectivity-constrained planning [2006.03280].

This suggests a broader methodological pattern: CUMAPF admits lightweight complete generation procedures such as PULL, but exact solving typically requires embedding connectivity-aware generation into a larger search framework.

## 6. Relations to neighboring formulations

CUMAPF sits at the intersection of three neighboring problem classes: unlabeled MAPF, connected MAPF, and communication-constrained multi-agent planning.

The relationship to unlabeled MAPF is direct. In AMAPF, agents are interchangeable and the requirement is that each goal be reached by some agent and every agent end at some goal [2408.14948]. TP-SWAP addresses this setting in a fully decentralized fashion by combining target swapping, priority swapping, and a local rule-based execution procedure [2408.14948]. Each agent maintains a target-priority table \(TP\), where \(TP[\tau]\) stores the highest priority currently known to have claimed target \(\tau\), and uses TP-UPDATE to restore assignment consistency within local communication subgroups [2408.14948]. The paper proves completeness under assumptions including a connected graph \(\mathcal G\), instantaneous and error-free communication, synchronized movement, local communication subgroups, unique priorities, and a finite number of targets equal to the number of agents [2408.14948].

The relationship to connected MAPF is more nuanced. CCBS studies a variant in which agents must remain connected to each other and to a designated base throughout execution [2006.03280]. That is a connectivity requirement of the same general family, but the model differs in three important respects recorded in the supplied material: it is labeled, it optimizes over executions in a topological graph \(G=\langle V,E_m,E_c\rangle\), and the core formulation explicitly allows agents to share vertices at the same time step [2006.03280]. It is therefore relevant as a connectivity-search method rather than as a direct solver for unlabeled collision-avoiding CUMAPF.

The relationship to communication-constrained planning is illustrated by MALCR. There, connectivity is maintained through a communication-range constraint rather than through connectivity of the occupied subgraph itself [2501.02770]. The team must satisfy TCOMM, meaning a spanning tree over agents whose edges satisfy the pairwise distance condition of ACOMM [2501.02770]. The paper’s major contribution is dynamic leading, implemented in the MA-DL framework, where the leader is not fixed globally and may be reselected when planning stalls or when communication-at-goal issues arise [2501.02770]. The method is explicitly labeled, not unlabeled, but it is highly relevant to the connectivity-maintenance side of CUMAPF [2501.02770].

A concise comparison is useful.

| Formulation | Unlabeled? | Connectivity requirement |
|---|---|---|
| CUMAPF / PULL | Yes | \(G[Q_k]\) connected at every step |
| TP-SWAP AMAPF | Yes | Connected workspace graph; local communication subgroups |
| MALCR / MA-DL | No | Team connected by communication links under range \(r_c\) |
| CMAPF / CCBS | No | Agents connected to each other and to a designated base |

This taxonomy clarifies a common misconception. Not every “connected MAPF” result is a CUMAPF result. MALCR and CCBS address connectivity, but neither is an unlabeled formulation [2501.02770; 2006.03280]. TP-SWAP is unlabeled and decentralized, but it does not require continuous global connectivity among all agents [2408.14948]. PULL is the direct CUMAPF algorithm in the supplied set [2510.19567].

## 7. Empirical behavior, applications, and limitations

The experimental profile reported for PULL emphasizes scalability on randomly generated instances with hundreds of agents [2510.19567]. The experiments use random-32-32-20, random-48-48-20, random-64-64-20, and warehouse-10-20-10-2-2; they generate instances with \(100\) to \(1000\) agents and two random connected subgraphs as initial and target sets [2510.19567]. The implementation is in Python and was run on a Mini PC with Intel Core i9-13900H CPU and 32 GB RAM [2510.19567]. Since there was no prior suboptimal CUMAPF solver, the baseline is a simple “single-path” variant, together with a trivial lower bound based on bottleneck matching \(LB\) [2510.19567]. The paper reports that runtime scales well and grows more slowly than the worst-case \(O(n^2)\) trend in practice; in 2D grids, the average time depends mainly on \(n\), not strongly on \(|V|\), matching the theory [2510.19567]. It also reports that PULL’s makespan relative to \(LB\) is substantially smaller than the simple baseline, and for \(n=500\), PULL’s makespan/\(LB\) is roughly \(0.3\) times or less than the simple method’s across the tested maps [2510.19567].

The application domains named for CUMAPF and closely related connected planning include self-reconfiguration, marching, platooning, swarm navigation, programmable matter, and search and rescue [2510.19567; 2501.02770; 2006.03280]. In these settings, standard MAPF is insufficient precisely because it does not guarantee preservation of team connectivity [2510.19567].

Several limitations are explicit in the supplied material. PULL is complete and polynomial-time, but not globally optimal [2510.19567]. LaCAM\* combined with PULL is eventually optimal, but difficult instances may remain expensive under substantial time budgets [2510.19567]. TP-SWAP is complete for decentralized AMAPF under its communication and synchronization assumptions, but does not impose a single always-connected communication network [2408.14948]. MALCR’s MA-DL framework is incomplete because its greedy SAPF module returns the first shortest valid path it finds rather than exploring all alternatives, and the formulation is labeled rather than unlabeled [2501.02770]. CCBS provides an optimal exact algorithm only in its Neg-only variant; its more aggressive positive-constraint branching is incomplete in general, and its core CMAPF formulation does not include the standard MAPF collision model [2006.03280].

Taken together, these results place CUMAPF as a distinct research problem rather than a minor extension of existing MAPF variants. Its defining feature is the requirement that an interchangeable multi-agent team move without fragmenting, and the main current algorithmic directions are rule-based connected configuration generation, exact search with connectivity-aware successor generation, and decentralized unlabeled coordination under local communication assumptions [2510.19567; 2408.14948].

Source: https://www.emergentmind.com/topics/connected-unlabeled-multi-agent-pathfinding-cumapf