Scalable Algorithms with Provable Optimality Bounds for the Multiple Watchman Route Problem

1. 通过 cell dominance 和 path dominance 识别“必然伴随被看见”的目标格子，可在不改变可行解集合的前提下删除大量状态；在结构化地图上，目标集合可被压缩到原来的很小一部分。
2. MWRP-CP3 在 MWRP-A* 基础上叠加 CPD、pivot pruning 和批量并行的启发式计算，作者报告其在二维网格上比原始最优基线快 200 倍以上，同时保持最优性证明。
3. 提出 MxWA*，把 makespan 搜索改写为 max_k(g_k + w h_k) 的加权 A*；理论上给出 w-次优保证，实践上比纯最优搜索更能扩展到更大地图和更多 agent。
4. 给出面向 makespan 的 Focal Search 变体（SORC/MORC）及其 anytime 版本，能继续压低解的代价，但效果明显依赖权重和地图结构。
5. 后处理框架通过重新求解“责任区”内的单智能体子问题来继续缩短最长路径，能改善已有次优解，但不保证全局最优，也不处理责任划分的最优性问题。

在四类二维网格地图上评测：Maze、3×3 Room、20% 障碍 Random、Minecraft/game-inspired。所有算法均用 C++ 实现，mTSP 启发式用 CPLEX 线性规划求解，采用 4 邻域移动和 Bresenham 视线。状态空间压缩实验在 3 类地图上、agent 数从 1 到 5、每个配置重复 50 次；运行时对比在 20 个随机起点实例上进行，设置 200 秒超时，并比较原始 MWRP-A*、MWRP-A*+CPD、MWRP-CP3、MxWA*、FS(SORC)、FS(MORC)。消融实验在 32×32 Maze 和 Den101d 上、M=1/3、20 个实例完成；次优算法在 32×32 Maze、6 agents、多个 w 值下测试；anytime 曲线在 Minecraft-inspired 地图、2 agents 上展示；后处理在 32×32 Maze、3 agents 上评估。