『The Captain 最短路建图优化』

最新推荐文章于 2024-09-10 20:27:07 发布

转载最新推荐文章于 2024-09-10 20:27:07 发布 · 57 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/Parsnip/p/10360838.html

本文探讨了平面上n个点间的最短路径问题，通过优化建图策略减少不必要的边，实现高效求解。文章详细分析了在不同坐标方向上存在中间点时，特定边对最短路径的贡献无效的情况，并提出了基于此理论的解决方案。

The Captain(BZOJ 4152)

Description

给定平面上的n个点，定义(x1,y1)到(x2,y2)的费用为min(|x1-x2|,|y1-y2|)，求从1号点走到n号点的最小费用。

Input Format

第一行包含一个正整数n(2<=n<=200000)，表示点数。
接下来n行，每行包含两个整数xi,yi(0<=xi,yi<=10^9)，依次表示每个点的坐标。

Output Format

一个整数，即最小费用。

Sample Input

Sample Output

解析

假如说我们直接将平面中的每一个点视为图中的每一个点的话，这就是一道最短路问题。但是显而易见的是我们需要连\(n^2\)条边，这是一定会超时的，主要考虑如何建图优化。

手推几个样例可以发现图中有很多无用的边存在，我们考虑证明什么情况下的连边是不必要的。

证明:
对于任意两点\(P,Q\)，其距离为\(\min\{\Delta x,\Delta y\}\).

距离取\(\Delta x\)：
假如在横坐标意义上\(P,Q\)有中间点\(M\).
\(PM\)取\(\Delta x_{pm}\)，\(MQ\)取\(\Delta x_{mq}\)，则\(PQ\)连边和\(PM\)，\(MQ\)等价.
\(PM\)取\(\Delta x_{pm}\)，\(MQ\)取\(\Delta y_{mq}\)，由于\(\Delta y_{mq}<\Delta x_{mq}\)，\(PQ\)连边大于\(PM\)，\(MQ\).
\(PM\)取\(\Delta y_{pm}\)，\(MQ\)取\(\Delta x_{mq}\)，由于\(\Delta y_{pm}<\Delta x_{pm}\)，\(PQ\)连边大于\(PM\)，\(MQ\).
\(PM\)取\(\Delta y_{pm}\)，\(MQ\)取\(\Delta y_{mq}\)，由于\(\Delta y_{pm}<\Delta x_{pm}\)，\(\Delta y_{mq}<\Delta x_{mq}\)，\(PQ\)连边大于\(PM\)，\(MQ\).
所以，当\(P,Q\)距离取\(\Delta x\)，且横坐标意义上\(P,Q\)有中间点\(M\)时，\(PQ\)连边一定不能对最优解造成贡献。
距离取\(\Delta y\)：
假如在纵坐标意义上\(P,Q\)有中间点\(M\)，同理\(PQ\)连边一定不能对最优解造成贡献。

得出结论：当\(P,Q\)距离取\(\Delta x\)，且横坐标意义上\(P,Q\)有中间点\(M\)，或者距离取\(\Delta y\)，纵坐标意义上\(P,Q\)有中间点\(M\)时，\(PQ\)连边一定不能对最优解造成贡献。

那么这就是不必要连的边。相反，则任意两点\(U,V\)距离取\(\Delta x\)，且横坐标意义上\(U,V\)相邻，或者\(U,V\)距离取\(\Delta y\)，且纵坐标意义上\(U,V\)相邻时，\(U,V\)连边是必要的。

那么我们把必要的边连起来就行了，这样的边至多有\(2n\)条，堆优化\(Dijkstra\)解决最短路问题。

\(Code:\)



#include<bits/stdc++.h>
using namespace std;
const int N=200000+80;
struct node{int num,x,y;}p[N];
struct edge{int ver,val,next;}e[N*4];
int n,t,Last[N*4],dis[N],vis[N];
inline bool cmp1(node p1,node p2){return p1.x<p2.x;}
inline bool cmp2(node p1,node p2){return p1.y<p2.y;}
inline bool check1(node p1,node p2){return p2.x-p1.x<=abs(p1.y-p2.y);}
inline bool check2(node p1,node p2){return p2.y-p1.y<abs(p1.x-p2.x);}
inline void insert(int x,int y,int v)
{
    e[++t].val=v;e[t].ver=y;
    e[t].next=Last[x];Last[x]=t;
}
inline void input(void)
{
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        scanf("%d%d",&p[i].x,&p[i].y);
        p[i].num=i;
    }
}
inline void init(void)
{
    sort(p+1,p+n+1,cmp1);
    for(int i=1;i<n;i++)
    {
        if(check1(p[i],p[i+1]))
            insert(p[i].num,p[i+1].num,p[i+1].x-p[i].x),insert(p[i+1].num,p[i].num,p[i+1].x-p[i].x);;
    }
    sort(p+1,p+n+1,cmp2);
    for(int i=1;i<n;i++)
    {
        if(check2(p[i],p[i+1]))
            insert(p[i].num,p[i+1].num,p[i+1].y-p[i].y),insert(p[i+1].num,p[i].num,p[i+1].y-p[i].y);
    }
}
inline void dijkstra(void)
{
    memset(dis,0x3f,sizeof dis);
    priority_queue< pair<int,int>,vector< pair<int,int> >,greater< pair<int,int> > >Heap;
    dis[1]=0;Heap.push(make_pair(0,1));
    while(!Heap.empty())
    {
        int temp=Heap.top().second;
        Heap.pop();
        if(vis[temp])continue;
        vis[temp]=true;
        for(int i=Last[temp];i;i=e[i].next)
        {
            if(dis[e[i].ver]>dis[temp]+e[i].val)
            {
                dis[e[i].ver]=dis[temp]+e[i].val;
                Heap.push(make_pair(dis[e[i].ver],e[i].ver));
            }
        }
    }
}
int main(void)
{
    input();
    init();
    dijkstra();
    printf("%d\n",dis[n]);
    return 0;
}

转载于:https://www.cnblogs.com/Parsnip/p/10360838.html