同一骨架 2026 年云南预赛 · P006115
两题的覆盖构造都要从少数控制点推广到整个三角形。把覆盖区域看成圆盘或线段的定距邻域后,利用凸性检查分块三角形的顶点,才能证明没有漏掉边角之外的区域。
固定圆盘覆盖点集与沿折线移动探测器,使用的是不同覆盖集,却共享凸分块的完整覆盖论证。
等边三角形区域的最短探测路径
工兵用信号探测器,探测边长为 千米的等边三角形区域内的地雷。已知探测器的有效作业距离为 千米。从三角形的一个顶点出发,工兵至少需要行走多少距离才能完成探测任务?(要求说明理由)
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先独立尝试,再展开工具说明与想法来源。
先回想这道题的想法,再试试当前题。
线段的闭r邻域是线段与半径r圆盘的向量和,因两者凸而凸;若它包含三角形三个顶点,就包含整个三角形。两定点距离和可由凸性或反射法估计。
想法从哪来:完成探测至少要靠近另外两个顶点,因此先把路线与这两个探测圆盘的首次到达顺序拿来估下界。若先到B附近,三角不等式可把后半段替换成到C的距离减探测半径;而B附近点离对边仍有最小高度,再用对称性控制到A、C距离和。这个下界提示折线路径的转折点应放在B到对边中点的高上。构造出等长路线还不够,只探到三个顶点不能自动覆盖三角形;利用线段固定半径邻域为凸集,证明两段路线分别覆盖两个拼满原区域的三角形,才完成充分性。路径的终点可以在C之前,因为探测有半径。
用另外两个顶点的探测圆给出任意路线的下界,再构造两段折线。覆盖验证不能只看 与 ,还要利用中点 覆盖靠近边 的区域。
设等边三角形为 ,从 出发,并令
任何完成任务的路线都必须进入以 为圆心、半径 的圆盘。若路线先到达 ,满足 ,以后到达 ,满足 ,则路线长度 满足
点 到直线 的距离为 ,故 到直线 的距离至少为 。以 中点为原点、 为横轴,若 的坐标为 ,则 ,从而
由 (1)、(2) 得
反向次序同理。
设 为 中点, 为 中点,则
在线段 上取点 ,使 。沿折线 行走,路程为
线段 的闭 邻域是凸集;它包含 ,并由 包含 ,故覆盖整个 。同理,线段 的闭 邻域包含 ,故覆盖整个 。两三角形之并为 ,所以路线确实完成探测。
因此最短路程为
,故 位于线段 内。下界和构造相等,且覆盖的是整个三角形而非仅靠近顶点 的两个小三角形。
区域覆盖最短路必须同时证明全局下界和构造的完整覆盖;线段定半径邻域的凸性可把顶点覆盖推广到凸子三角形。
下界需把先后接近B、C转为受距离限制的AX+CX最小值,达到下界还必须设计折线并证明整个区域被探测;覆盖验证与长度计算同等必要。
同一骨架 2026 年云南预赛 · P006115
两题的覆盖构造都要从少数控制点推广到整个三角形。把覆盖区域看成圆盘或线段的定距邻域后,利用凸性检查分块三角形的顶点,才能证明没有漏掉边角之外的区域。
固定圆盘覆盖点集与沿折线移动探测器,使用的是不同覆盖集,却共享凸分块的完整覆盖论证。
已记下,谢谢!