非常规最短路（HDU 5335，Walk Out）

题目连接：

https://vjudge.net/problem/HDU-5335

题意：

给你一个n*m的01矩阵，要求你从左上角走到右下角（可以迂回），路径将形成一个字符串，把这个字符串看成二进制数，这就是距离的定义。要你找一个最短的距离，并输出之。

常规的最短路是累计边权或者点权的。

而这类最短路是将路径上的字符连接成字符串的。

而这个题目是将字符串理解成二进制数。

1、字符串和数字的区别

主要讨论排序方式。

字符串是按字典序排序的，而数字是按大小排序的。

字符串之所以按字典序排序是为了方便人们查字典，同时也就有了字典树这个数据结构。

数字之所以按大小排序是为了方便人们计数，同时也就有了自然数这个概念。

更具体一点，字符串为了方便人们查找，所以习惯从左端对齐，然后从左到右逐个字符比较大小，直到决出胜负。

而数字为了方便人们从零开始计数，所以习惯从右端对齐，然后从左到右比较每个数字，直到决出胜负。

因为0在数字中代表没有，所以应该省略前导零，除非这个数就是0。

可以发现区别是对齐方式不同，相同点是对齐后的比较方式相同。

长度将影响对齐方式，如果长度相等，那么数字便可以当做字符串来比较，而字符串也当做数字来比较。（前提是数字要去掉前导零，因为对齐方式以及0的含义的不同，对数字没有意义的前导零对字符串就有意义了。）

2、字符串上的最短路

我们讨论一个更普通的问题，如果题目中的01矩阵改成小写字母矩阵，然后直接将路径形成的字符串定义为距离，并问你最短路（字典序最小），那么该怎么做呢？

首先，在字符串的领域里，‘0’和‘a’是一样的——因为他们都是最小的字符，而且他们没有“没有”的意思。

其次，无论是前导零还是前导‘a’还是任何其他的前导字符都是有影响的。它们拖后了后面字符的比较时间，降低了它们的重要性，让别人先与自己比较，只有在自己和别人相等时才会考虑后面的字符。

这就导致，如果可以，你应该尽量拖后那些更大的字符进行比较。

比如一个数据：

1 3

aab

如果我们直接走到终点，那就是字符串就是aab。

可是我们可以迂回一下，拖延字符b的比较时间，aaaab。显然这个字符串的字典序是更小的，显然我们可以无限迂回下去，aaaaaaaaaaa......aaaaaaaaab。

这只是一个两种字符的特例，当然可以推广到01或者多个字符。

换句话说，这类问题很多时候是没有答案的（除非你没办法迂回）。

然而，我们只要添加一个条件：在长度最短的情况下，字典序最小，题目就有答案了，因为长度最短的字符串是有限个的，其中当然也就存在字典序最小的字符串。

这个条件和“有向无环”是相似的，因为有向无环图一定有最短路和最长路，进而字符串的长度是有界的，种类自然是有限的，也就有字典序最小的字符串了。

有相当多的题目是上述两类。

一些经典的：拓扑排序+字典序最小，DAG上的DP+字典序最小，最短路+字典序最小。

一些灵活的：比如本题。

3、数字上的最短路

一般问题就用经典算法。

但是本题是将一个字符串看成数字。

字符串太长，不可能转化成整形再来比较，如果使用高精度时空复杂度将增加一维，无法承受。

当成数字的字符串和当成字符串的字符串是不一样的。

主要区别就是前导0和对齐方式的不同。

因为0这个字符在数学上有特殊的意义，它代表没有，所以前面多加几个都无所谓，如果换成1就不行，换成a也不行。

而‘0’这个字符在字符串上没有什么特别之处，只不过没有比它更小的字符罢了，如果禁止使用‘0’，那么‘1’也一样是最小的字符，如果只能用字母，‘a’也是一样。

关键是出现了0，而它又可能前导，所以我们要特殊判断它。

在字符串中，增加一个字符影响不是很大，因为是左端对齐的缘故，新增的字符不会影响前面字符的统治力。

然而在数字中，是右端对齐的，所以每新增一个字符，前面字符的统治力都将上一个等级，这就有很大影响。

如果前面的字符是0，那么没有关系，毕竟0乘以任何数都是0。否则哪怕是1前移一个位数都是很大的增长。

这种数字独有的特点就提供了一个隐含条件：在去掉前导0的条件下，数字的位数越短的一定越小，否则可以按字典序比较。

题目的解法就已经出来了：特判前导0+最短路+字典序最小。

关于最短路+字典序最小的一些讲解见紫书P173，以及例题：https://vjudge.net/problem/UVA-1599

自己的一些思考和总结：http://blog.csdn.net/xl2015190026/article/details/72876896

代码

#include<stdio.h>
#include<vector>
#include<queue>
#include<algorithm>
using namespace std;
const int maxn = 1010;
typedef pair<int,int> pii;

int n,m;
char MAP[maxn][maxn];
int vis[maxn][maxn];
int mark[maxn<<2];
char ans[maxn<<2];
int anslen;

void init()
{
    scanf("%d %d",&n,&m);
    for(int i=0;i<n;i++) scanf("%s",MAP[i]);
    anslen=0;
}

void mem(int a[][maxn])
{
    for(int i=0;i<n;i++) for(int j=0;j<m;j++) a[i][j]=0;
}

int dr[4]={-1, 0, 1, 0};
int dc[4]={ 0 ,1, 0,-1};

int MAX;

bool ok(int r,int c)
{
    return 0<=r&&r<n&&0<=c&&c<m;
}

bool pre()
{
    vector<pii>temp;
    mem(vis);
    queue<pii>Q;
    Q.push(make_pair(0,0));
    vis[0][0]=1;
    while(!Q.empty())
    {
        pii now = Q.front();
        Q.pop();
        if(now.first+1==n&&now.second+1==m)
        {
            return true;
        }
        else if(MAP[now.first][now.second]=='1')
        {
            MAX=max(MAX,now.first+now.second);
            temp.push_back(now);
        }
        else for(int i=0;i<4;i++)
        {
            int rr = now.first+dr[i];
            int cc = now.second+dc[i];
            if(ok(rr,cc)&&!vis[rr][cc])
            {
                vis[rr][cc]=1;
                Q.push(make_pair(rr,cc));
            }
        }
    }
    for(int i=0;i<=m+n;i++) mark[i]=1;
    mem(vis);
    for(int i=0;i<(int)temp.size();i++) if(temp[i].first+temp[i].second==MAX)
    {
        vis[temp[i].first][temp[i].second]=1;
    }
    return false;
}

int ddr[2]={1,0};
int ddc[2]={0,1};

int solve()
{
    init();
    MAX=0;
    if(pre()) return 0*printf("%c\n",MAP[n-1][m-1]);
    anslen=MAX;
    ans[anslen++]='1';
    while(anslen<n+m-2)
    {
        for(int r=0;r<n;r++)
        {
            int c = anslen-1-r;
            if(ok(r,c)&&vis[r][c])
            {
                for(int i=0;i<2;i++)
                {
                    int rr = r+ddr[i];
                    int cc = c+ddc[i];
                    if(ok(rr,cc)) mark[anslen]=min(mark[anslen],MAP[rr][cc]-'0');
                }
            }
        }

        for(int r=0;r<n;r++)
        {
            int c = anslen-1-r;
            if(ok(r,c)&&vis[r][c])
            {
                for(int i=0;i<2;i++)
                {
                    int rr = r+ddr[i];
                    int cc = c+ddc[i];
                    if(ok(rr,cc)&&MAP[rr][cc]==mark[anslen]+'0') vis[rr][cc]=1;
                }
            }
        }

        ans[anslen]=mark[anslen]+'0';
        anslen++;
    }
    ans[anslen++]=MAP[n-1][m-1];
    ans[anslen]=0;
    return 0*printf("%s\n",ans+MAX);
}

int main()
{
    int T;
    scanf("%d",&T);
    while(T--) solve();
    return 0;
}