URAL 1501

题目大意：有两堆数目均为N的仅含有红黑两种颜色的纸牌。现在需要将它们重新分成每堆中的纸牌颜色都相同的两个牌堆，要求分的过程中，新的两堆的纸牌数目相差不能超过1，且分牌时只能从原有牌堆顶部取牌，求一个满足条件的分牌方案。如果没有，输出：Impossible。（不包括句号）

例如：

inputoutput

400110110

22121112

411001100

Impossible

Time Limit:500MS     Memory Limit:65536KB     64bit IO Format:%I64d & %I64u

数据规模：4<=N<=1000。

理论基础：无。

题目分析：受neko13哥的启发，将自己原先的想法抛弃，择优录取，并成功将其想法消化，现来借花献福。

首先，我们思考如果我们将连续的两个操作看成一个集体操作，那么这个操作必然是1红1黑(从头到尾想一下就明白了)。这样的话，我们就只需要考虑三种情况了（dfs+记忆化）：

1.第一个牌堆的最顶上两张牌不相同，那么如果：去掉第一个牌堆顶上的两张牌后仍是有解的则输出“11”（按照递归的化不久解决所有了？太巧妙了）。

2.第一个牌堆的最顶上两张牌不相同，那么同1理即可。

3.如果第一个牌堆与第二个牌堆顶上的两张牌不一样，去掉那两张牌后如果仍有解，则输出“12”。

如此，上述三种情况都无解的话那就只能输出：Impossible了，问题得到解决。

代码如下：

#include<iostream>#include<cstring>#include<string>#include<cstdlib>#include<cstdio>#include<cmath>#include<algorithm>#include<queue>#include<ctime>#include<vector>using namespace std;typedef double db;#define DBG 0#define maa (1<<31)#define mii ((1<<31)-1)#define ast(b) if(DBG && !(b)) { printf("%d!!|\n", __LINE__); while(1) getchar(); }  //调试#define dout DBG && cout << __LINE__ << ">>| "#define pr(x) #x"=" << (x) << " | "#define mk(x) DBG && cout << __LINE__ << "**| "#x << endl#define pra(arr, a, b)  if(DBG) {\    dout<<#arr"[] |" <<endl; \    for(int i=a,i_b=b;i<=i_b;i++) cout<<"["<<i<<"]="<<arr[i]<<" |"<<((i-(a)+1)%8?" ":"\n"); \    if((b-a+1)%8) puts("");\}template<class T> inline bool updateMin(T& a, T b) { return a>b? a=b, true: false; }template<class T> inline bool updateMax(T& a, T b) { return a<b? a=b, true: false; }typedef long long LL;typedef long unsigned int LU;typedef long long unsigned int LLU;#define N 1000bool dp[N+2][N+2];char a[N+2],b[N+2];int n;bool dfs(int x,int y){    if(!x&&!y)return true;    if(!dp[x][y])dp[x][y]=true;    else    {        return false;    }    if((x-2)>=0&&a[x-1]!=a[x]&&dfs(x-2,y))    {        printf("11");        return true;    }    if((y-2)>=0&&b[y-1]!=b[y]&&dfs(x,y-2))    {        printf("22");        return true;    }    if((y-1)>=0&&(x-1)>=0&&a[x]!=b[y]&&dfs(x-1,y-1))    {        printf("12");        return true;    }    return false;}int main(){    while(~scanf("%d",&n))    {        scanf("%s%s",a+1,b+1);        if(!dfs(n,n))printf("Impossible\n");        else puts("");    }return 0;}

   其中，x,y同时为零就是终止条件了，这不用多讲了，GL&HF。

by:Jsun_moon http://blog.csdn.net/jsun_moon