Goal Staying Makes Sum-of-Costs Anonymous Multi-Agent Path Finding NP-Hard

Hang Ma

Home/Archive/arXiv

arXiv · 2608.28658

Goal Staying Makes Sum-of-Costs Anonymous Multi-Agent Path Finding NP-Hard

Hang Ma

View original source ↗Read source document ↗Export metadata ↓

Abstract

Anonymous Multi-Agent Path Finding (AMAPF) admits polynomial-time network-flow algorithms for several objectives, including makespan, total distance, and sum-of-costs (SoC) when agents disappear upon reaching goals. We show that standard goal-staying AMAPF is fundamentally different. We first formulate SoC minimization by augmenting the standard time-expanded flow model with goal-settlement constraints and show that the resulting linear programming relaxation is non-integral. We then prove that minimizing SoC in goal-staying AMAPF is NP-hard via a reduction from 3-SAT. Together with the polynomial-time result for the disappearing variant, this establishes a sharp complexity boundary determined by whether completed agents remain at their goals.

Explore related subjects

cs.MA cs.CC cs.RO

Keep this discovery

BibTeX RIS

Hang Ma. 2026-08-21. Goal Staying Makes Sum-of-Costs Anonymous Multi-Agent Path Finding NP-Hard. https://arxiv.org/abs/2608.28658

Cite the original work for its findings. Save a collection to share your selection of sources.

Discover connections

cs.CC subject cs.MA subject cs.RO subject

Connections use source metadata and explicit phrase matches, not verified experimental comparisons.

KEEP EXPLORING

Related papers

arXiv2026

Quantum Blind Rotation for Fast Functional Bootstrapping

Fully homomorphic encryption (FHE) enables privacy-preserving cloud computation, but its efficiency is often limited by the cost of bootstrapping. In particular, existing functional bootstrapping techniques have complexity exponential in the plaintext size. In this work, we show that employing a single quantum server can reduce this dependence. We propose a quantum functional bootstrapping algorithm that allows to evaluate any efficiently computable function in time polynomial in the plaintext size. For general functional bootstrapping over $l$-bit plaintexts, we obtain a time--space tradeoff: poly($l$)-time evaluation can be achieved with O$(2^l)$ qubits, while reducing the space complexity increases the time complexity. Technically, we extend a key classical cryptographic operation, known as \emph{blind rotation}, to the quantum setting by replacing polynomial-exponent encoding with quantum phase encoding. Underlying our extension are insights for the quantum extension of polynomial-based cryptographic tools that may gain dramatic speedups.

quant-ph↗

arXiv2026

Stay Seated: Learning Omnidirectional Humanoid Locomotion on a Passive Mobile Chair with Casters

Humanoid robots with quasi-direct-drive actuators continuously generate joint torque while standing, whereas seated humans delegate weight support to chairs during desk work. As a first step toward seated loco-manipulation, we study omnidirectional seated locomotion on a passive mobile chair, requiring unfixed pelvis-seat contact and intermittent foot-floor propulsion of the robot-chair system. We extend a standard standing velocity-tracking environment with a passive-chair model, seated-state rewards, critic-only chair observations, and task-tailored contact settings. The policy is learned without motion-imitation rewards; its actor uses only proprioception and velocity commands, without contact sensing or chair states. In random-command evaluation, the policies tracked omnidirectional commands through nearly all 20-s rollouts, and the best seated policies could outperform the Standing policy in velocity tracking. Across four training seeds, a $2^3$ full-factorial comparison of symmetry regularization (SY), foot-slip regularization (FS), and command curriculum (CC) showed that FS reduced CoT but increased tracking error and that some FS-only policies converged to stationary local optima. Combining FS with either SY or CC avoided this failure without retuning FS, while SY improved bilateral leg symmetry during longitudinal motion. Direction-resolved analysis showed CoT ordered backward $<$ lateral $\ll$ forward, with planted-leg extension in backward and lateral motion and knee flexion following heel contact in forward motion. The learned policy achieved zero-shot sim-to-real transfer to a Unitree G1 and generated omnidirectional seated locomotion.

cs.RO↗

arXiv2026

Fully Distributed GNE Algorithms for Multi-Robot Placement without Consensus on Multipliers

Recent machine learning research has increasingly focused on equilibrium analysis in non-cooperative games rather than solely on optimal solutions. Many such problems involve shared constraints and can be formulated as Generalized Nash Equilibrium Problems (GNEPs). For strongly monotone games, existing methods compute consensus-based variational GNEs (v-GNEs) by exchanging Lagrange multipliers. We propose a fully distributed continuous-time algorithm for shared linear equality constraints that converges without multiplier exchange and reaches any GNE, reducing communication overhead and improving privacy. Discrete-time schemes are also provided, and the method is validated on a multi-robot placement task.

cs.LG↗