UVA502字符串构造题

这题不是很明确题意就没下手敲代码，百度了下题解，抄袭了下别人的代码：

如果在输入要删除的文件当中，构造一个最严格的过滤串，只要在输入不要删除的文件中过滤串都能过滤掉这些不删除的文件则表示有解，而只要有一个不需要删除的文件没有被过滤串过滤掉 则表示整个情况是impossible的。

这样我们可以把输入要删除文件分一堆，不删除文件分一堆。先遍历要删除文件，从而构造一个最严格过滤串（这样就不用回溯多次构造过滤串），然后用获得的过滤串去遍历不删除的文件，只要全部过滤掉，这输出这个过滤串，反之 只要有一个 没有被过滤掉直接退出遍历，输出impossible。

关于过滤串的构造：1、对应位字符相等，则过滤串对应位为该字符。2、对应位字符串不等，则过滤串该位为 '?'。3、对应串不等，但是出现在末端，比如其中一个串到达了'.'位置或者是‘\0’位置，则过滤串对应位为‘*’。

注意：字符串模拟要小心，特别是指针的移动细节，比较字符，跳转等等。总之就是要模拟就必须要非常细心。

剪枝：当不删除文件数量为0时，则表示输入的文件全部删除，没必要去生成最严格过滤串，直接输出 DEL *.* 即可。

两次WA的原因：

第一次：在处理过滤串过滤不删除文件的遍历过程中，到达'.'后 退出循环，没有考虑可能是这样的情况 过滤串指针指向'*'位置 而它的后一位就是'.'位置了 而不删除文件指针指向了'.'导致循环提早跳出，然后直接判断不等得出相关结论。实际上 '*'与'.'是符合相容情况的如何 A*. 与A.  是可以相容的 并不排斥。

第二次：过滤串是要检查所有的不删除文件们后  这些都能过滤才能得出结论 说明 过滤串是有效的，而自己仅在判断一个不删除文件的过程中，直接用return 提前结束了不删除文件的遍历。这样并不能保证所有的不删除文件都能过滤。

具体细节参考代码：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<map>
#include<set>
#include<cmath>
#include<climits>
#include<vector>
#include<cfloat>
#include<queue>
#include<cctype>
#include<cstdlib>
#include<string>
#define LL long long
using namespace std;

string s[1010],ans;
int num,num1,cu[1010];

int main()
{
    int t,m=0;
    scanf("%d\n",&t);
    while(t--)
    {
        num=0;
        do
        {
            getline(cin,s[num]);
        }while(s[num++]!="");
        num--;
        sort(s,s+num);
        num1=0;
        for(int i=0;i<num;i++)
        {
            if(s[i][0]=='+') num1=i+1;
            cu[i]=s[i].find('.')+1;
            s[i]+='.';
        }
        ans="";
        int cur=0;
        bool flag=1;
        while(flag)
        {
            cur++;
            char c=s[num1][cur];
            bool p=0;
            for(int i=num1;i<num;i++)
            {
                if((s[i][cur]=='.'&&c!='.')||(s[i][cur]!='.'&&c=='.'))
                {
                    ans+="*.";
                    flag=0;
                    break;
                }
                if(s[i][cur]!=c) p=1;
            }
            if(flag)
            {
                if(p) ans+='?';
                else ans+=c;
                if(c=='.') break;
            }
        }
        cur=-1;
        flag=1;
         while(flag)
        {
            cur++;
            char c=s[num1][cur+cu[num1]];
            bool p=0;
            for(int i=num1;i<num;i++)
            {
                if((s[i][cur+cu[i]]=='.'&&c!='.')||(s[i][cur+cu[i]]!='.'&&c=='.'))
                {
                    ans+="*.";
                    flag=0;
                    break;
                }
                if(s[i][cur+cu[i]]!=c) p=1;
            }
            if(flag)
            {
                if(p) ans+='?';
                else ans+=c;
                if(c=='.') break;
            }
        }
        flag=1;
        for(int i=0,acu=ans.find('.')+1;i<num1;i++)
        {
            bool p=1;
            cur=-1;
            while(1)
            {
                cur++;
                if(ans[cur]=='*') break;
                if(ans[cur]=='?'&&s[i][cur+1]!='.') continue;
                if(ans[cur]!=s[i][cur+1])
                {
                    p=0;
                    break;
                }
                if(ans[cur]=='.') break;
            }
            cur=-1;
            while(1)
            {
                cur++;
                if(ans[cur+acu]=='*') break;
                if(ans[cur+acu]=='?'&&s[i][cur+cu[i]]!='.') continue;;
                if(ans[cur+acu]!=s[i][cur+cu[i]])
                {
                    p=0;
                    break;
                }
                if(ans[cur+acu]=='.') break;
            }
            if(p) flag=0;
        }
        ans.erase(ans.size()-1);
        if(m++) cout<<endl;
        if(flag) cout<<"DEL "<<ans<<endl;
        else cout<<"IMPOSSIBLE"<<endl;
    }
    return 0;
}