精读笔记

Problem Setting

《Coverage Path Planning: Classical Foundations, Recent Advances, and Future Directions》（arXiv preprint / 2026-07-14）处理的不是一个具体 CPP 算法问题，而是 CPP 领域在问题定义层面的扩张：从经典单机器人 2D 完全覆盖，扩展到 unknown environment、多机器人协作、复杂 3D 表面、平台约束、学习辅助和视觉覆盖。

真正困难点在于：CPP 的核心矛盾已经不再只是“如何扫完整个区域并减少路径长度”，而是“如何在不完整环境知识、复杂几何、执行约束和协调成本下，仍然构造可执行、可扩展、可恢复的覆盖策略”。以前方法卡住的地方也很清楚：局部在线规则便宜但 myopic；全局优化质量高但依赖已知地图且不可扩展；多机器人方法提升效率但引入分配、通信和冲突；3D / visual CPP 看似只是几何扩展，实际把 coverage objective 从 area traversal 改写成 sensing-quality-driven planning。

Motivation

已有路线不够的根本原因是经典 CPP 的抽象过于干净：已知 workspace、单机器人、规则 footprint、简单运动模型、覆盖即遍历。这些假设在真实机器人任务里同时失效。作者抓住的核心观察是：近十年 CPP 的进展不是某个算法族胜出，而是问题约束不断增加后，规划结构被迫层级化、图结构化、资源化和感知目标化。

关键缺口是 survey 层面的：Choset / Galceran-Carreras 时代的 taxonomy 能解释 cellular decomposition、STC、online/offline，但解释不了为什么最近的方法都在做 subarea graph、coverage tree、viewpoint set cover、multi-depot routing、energy-aware scheduling、learning-guided allocation。也就是说，缺的不是更多方法列表，而是一个能把“覆盖”重新放到约束、几何、协调和 sensing objective 中理解的框架。

Core Idea

论文真正的核心思想是：CPP 的现代演化可以看成对 coverage problem 的多层重构。底层仍然是覆盖轨迹生成，但高层逐渐变成了结构发现、区域组织、任务分配和约束管理。作者用六类问题设置组织文献，本质上是在说：CPP 不应再只按算法机制分类，而应按“什么因素改变了 coverage 的可行解空间和优化目标”来分类。

这个建模方式引入的 inductive bias 是层级结构。无论是 single-robot online CPP 的 non-local guidance、多机器人 CPP 的 subarea-level coordination、3D CPP 的 layered / contour / surface decomposition，还是 visual CPP 的 viewpoint hierarchy，它们都在把低层连续覆盖问题转成更稀疏的高层图问题。这个转化使规划更 scalable，也让不同平台约束能被插入到高层 cost、feasibility 或 allocation 中。和 prior survey 的本质差异在于，它更关注“问题结构如何变化”，而不是“用了哪种路径生成算法”。

Method

1. 问题驱动 taxonomy：解决传统算法族分类无法覆盖新问题变体的问题。核心变化是把 CPP 的分支看作由 robot team size、geometry、constraints、learning 和 sensing objective 驱动，而不是由 STC / decomposition / potential field 等技术标签驱动。

2. Offline / online 作为贯穿维度：解决环境知识差异被低估的问题。offline 方法的核心是利用先验地图做分解和排序；online 方法的核心是边建图边避免 myopia、dead end 和 coverage holes。这个维度解释了为什么 online CPP 最近转向 non-local decision structures。

3. Subarea / graph abstraction：解决原始 coverage 空间过大、局部规则短视的问题。无论是 cells、ranks、coverage trees、subarea graphs、viewpoint clusters，本质都是把覆盖任务压缩成可排序、可分配、可重规划的结构单元。

4. Constraint injection：解决传统 CPP path 不可执行的问题。能量、曲率、缆绳、形态约束不是后处理细节，而是会改变 coverage feasibility，因此必须进入 target selection、transition cost、return scheduling 或 region assignment。

5. Learning-as-component：解决手工启发式在复杂分配和排序任务中扩展性有限的问题。论文把 learning 放在路径生成、subarea sequencing、task allocation、coordination 等组件中，而不是把 learning 描述成完整替代 classical CPP 的端到端方案。这个判断基本正确。

Key Insight / Why It Works

这篇论文最有价值的 insight 是：CPP 的有效方法几乎都在做“覆盖空间的结构压缩”。经典 cellular decomposition 压缩几何拓扑；rank-based 方法压缩 turn-cost-sensitive coverage；STC 把覆盖转成树遍历；online non-local 方法用 higher-level graph 避免局部贪心；multi-robot 方法用 subarea assignment 降低冲突；3D / visual CPP 用层、轮廓、surface patches 或 viewpoints 把连续几何变成离散规划对象。

因此，CPP 的核心进展不是某个 planner 更聪明，而是 representation 更适合任务约束。很多性能增益本质上来自 better inductive bias：让 planner 在正确的抽象层上做决策。局部 grid policy 的上限很低，因为它缺少剩余未覆盖区域的拓扑状态；TSP / graph routing 有用，是因为它显式暴露了 sequencing structure；subarea-level multi-robot coordination 有用，是因为它把 collision avoidance 和 workload balance 从 cell-level 冲突提升到 region-level 分配。

learning-based CPP 在这篇 survey 中被放得比较准确：它目前更多是 heuristic learning / cost approximation / policy imitation，而不是覆盖规划理论的突破。所谓 learning 提升，很多可能主要来自 data coverage、benchmark distribution fit 或 imitation of optimization expert。文中未充分说明这些方法在 out-of-distribution geometry、不同 footprint、传感噪声、通信限制下是否仍成立。这里的“智能”很可能更接近 retrieval / amortized optimization，而不是形成长期状态建模或可靠推理。

可能只是 engineering / scaling 的部分包括：多机器人中大量 workload balancing heuristics、visual CPP 中 dense viewpoint sampling + TSP pipeline、3D CPP 中 mesh clustering / hierarchical acceleration，以及 learning-based 方法中的 GNN / MARL 替换启发式模块。它们有工程价值，但未必改变 CPP 的基本问题结构。真正值得迁移的是层级表示、非局部覆盖状态、约束前置建模和 learned component 与 formal planner 的分工。

Relation To Prior Work

最接近的是 Choset 2001 和 Galceran & Carreras 2013 这类 CPP survey，但这篇的不同点不是覆盖更多论文，而是把 CPP 从 classical 2D mobile robot problem 重新放到现代机器人系统约束下。早期 survey 的主轴是 decomposition 和 coverage completeness；这篇的主轴是问题设置如何改变 planner 的结构。

与 UAV-specific、agriculture-specific、indoor CPP evaluation 类 survey 相比，这篇不是应用域综述，而是试图建立横跨问题变体的机制地图。它把 multi-robot、3D、constrained、visual、learning-based CPP 作为同一技术谱系的分化结果来看，这一点是实质贡献。

看似新的许多方向其实是已有思想重组：visual CPP 的 set cover + TSP 与 classical viewpoint planning 关系很深；multi-robot CPP 的 allocation + routing 继承 VRP / mTSP；learning-based CPP 很多是用学习近似排序、分配或局部动作选择；3D CPP 的 layered decomposition 是 2D CPP 的几何 lift。实质创新更多在于问题耦合：例如 online unknown environment 下的 non-local coverage graph、多机器人动态重分配、几何重建与覆盖规划闭环、平台约束进入 coverage feasibility。

Dataset / Evaluation

作为 survey，论文没有统一 dataset 或 benchmark，也没有系统复现实验。它的 evaluation 主要是文献覆盖、分类表和 qualitative comparison。这个证据足以支持“领域结构化梳理”和“趋势识别”，但不足以支持某条路线在性能上更优。

任务覆盖范围较广：单机器人、多机器人、3D、约束、学习、视觉都被纳入；但跨场景可比性弱，因为不同论文的环境规模、地图先验、robot model、sensor assumption、coverage metric 和任务目标差异很大。真实世界 / 真机证据在被综述文献中存在，但 survey 本身没有统一分析 sim-to-real gap。

benchmark limitation 很明显：CPP 领域缺少能同时评估 completeness、path efficiency、turn cost、energy、robustness、communication failure、mapping uncertainty 和 execution feasibility 的统一基准。因此很多 claim 实际只在局部假设下成立。尤其 learning-based CPP 的泛化 claim 没有被强验证；增益来源不清，可能主要来自训练分布和测试分布高度一致。

Limitation

这篇论文的主要限制来自 survey 形态本身。它能建立 taxonomy，但无法解决不同路线之间的因果归因。比如一个方法优于另一个方法，到底是因为 non-local representation、better decomposition、more computation、more prior map information，还是因为场景更简单，文中通常无法区分。

第二个限制是对 online deployment 的现实复杂度仍然讨论不足。真实 CPP 中 mapping noise、localization drift、dynamic obstacles、partial observability、actuation uncertainty 和 sensor footprint distortion 会直接破坏 coverage state 的可靠性；但多数被综述方法仍默认地图更新足够准确、coverage marking 足够可靠。

第三，learning-based CPP 的上限没有被充分拆解。当前学习模块大多没有 completeness / safety / robustness guarantee，泛化可能依赖 benchmark overlap。所谓“学习到规划策略”更可能是 amortized heuristic 或 expert policy retrieval。文中虽然指出 guarantee 较弱，但没有进一步区分哪些学习任务值得学，哪些只是把 TSP / allocation 的启发式换成数据驱动近似。

第四，taxonomy 仍然是并列分区式的。现实任务经常同时是 online + multi-robot + 3D + energy-constrained + visual inspection，但论文主要按类别分别讨论。统一组合问题才是 deployment 中的真实上限，也是现有 CPP 方法最缺的部分。

Takeaway

• 1. CPP 的主线已经从“生成一条覆盖路径”转向“构造可用于覆盖的层级决策结构”。
• 未来真正重要的是 coverage representation，而不是单个局部移动规则。
• 2. Subarea decomposition 是最可迁移的思想。
• 它不仅用于 offline coverage，也用于 online non-local guidance、多机器人分配、3D surface planning 和 visual viewpoint hierarchy。

一句话总结

这篇论文的贡献不是新算法，而是把 CPP 从经典几何覆盖问题重新定位为由层级表示、约束建模、协同分配和感知目标共同驱动的现代机器人规划问题。