1212: [HNOI2004]L语言

1212: [HNOI2004]L语言

Time Limit: 10 Sec  Memory Limit: 162 MB
Submit: 643  Solved: 252
[Submit][Status]

Description

标点符号的出现晚于文字的出现，所以以前的语言都是没有标点的。现在你要处理的就是一段没有标点的文章。 一段文章T是由若干小写字母构成。一个单词W也是由若干小写字母构成。一个字典D是若干个单词的集合。 我们称一段文章T在某个字典D下是可以被理解的，是指如果文章T可以被分成若干部分，且每一个部分都是字典D中的单词。 例如字典D中包括单词{‘is’, ‘name’, ‘what’, ‘your’}，则文章‘whatisyourname’是在字典D下可以被理解的 因为它可以分成4个单词：‘what’, ‘is’, ‘your’, ‘name’，且每个单词都属于字典D，而文章‘whatisyouname’ 在字典D下不能被理解，但可以在字典D’=D+{‘you’}下被理解。这段文章的一个前缀‘whatis’，也可以在字典D下被理解 而且是在字典D下能够被理解的最长的前缀。 给定一个字典D，你的程序需要判断若干段文章在字典D下是否能够被理解。 并给出其在字典D下能够被理解的最长前缀的位置。

Input

输入文件第一行是两个正整数n和m，表示字典D中有n个单词，且有m段文章需要被处理。 之后的n行每行描述一个单词，再之后的m行每行描述一段文章。 其中1<=n, m<=20，每个单词长度不超过10，每段文章长度不超过1M。

Output

对于输入的每一段文章，你需要输出这段文章在字典D可以被理解的最长前缀的位置。

Sample Input

4 3
is
name
what
your
whatisyourname
whatisyouname
whaisyourname

Sample Output

14
6
0 整段文章’whatisyourname’都能被理解
前缀’whatis’能够被理解
没有任何前缀能够被理解

HINT

 

Source

Dp 字符串

题解：我真心不明白这道题为啥会被上一个DP的标签。。。觉得好晕。。。

说思路——先是根据字典建立AC自动机，然后用这个跑啊跑，跑啊跑。。。用一个数组记录下长度为N的前缀是否可以被接受，然后跑啊跑，跑啊跑，别的没了。。。几乎是AC自动机裸题啊（HansBug：居然比phile快了耶，我2352ms，你可是3000+ms哦么么哒 phile：呵呵呵好吧我也是醉了）

 type
     point=^node;
     node=record
                st:ansistring;
                ex:longint;
                jump,fat:point;
                next:array['A'..'Z'] of point;
     end;
 var
    i,j,k,l,m,n:longint;
    head,p1,p2:point;
    s1:ansistring;
    a:array[..] of longint;
 function getpoint:point;
          var p1:point;c1:char;
          begin
               new(p1);
               p1^.ex:=;
               p1^.st:='';
               p1^.fat:=nil;
               p1^.jump:=head;
               for c1:='A' to 'Z' do p1^.next[c1]:=nil;
               getpoint:=p1;
          end;
 procedure ins(s1:ansistring);
           var
              s2:ansistring;
              i,j,k,l:longint;
              p1,p2:point;
           begin
                p1:=head;s2:='';
                for i:= to length(s1) do
                    begin
                         s2:=s2+s1[i];
                         if p1^.next[s1[i]]=nil then
                            begin
                                 p2:=getpoint;
                                 p2^.st:=s2;
                                 p2^.fat:=p1;
                                 p1^.next[s1[i]]:=p2;;
                            end;
                         p1:=p1^.next[s1[i]];
                         if i=length(s1) then p1^.ex:=;
                    end;
           end;
 procedure linkit;
           var
              i,j,k,l,f,r:longint;
              p1,p2:point; c1:char;
              d:array[..] of point;
           begin
                f:=;r:=;
                d[]:=head;
                while f<r do
                      begin
                           for c1:='A' to 'Z' do
                               begin
                                    if d[f]^.next[c1]<>nil then
                                       begin
                                            d[r]:=d[f]^.next[c1];
                                            if (d[f]<>head) then
                                               begin
                                                    p2:=d[f]^.jump;
                                                    while (p2^.next[c1]=nil) and (p2<>head) do p2:=p2^.jump;
                                                    if p2^.next[c1]<>nil then d[r]^.jump:=p2^.next[c1];
                                               end;
                                            inc(r);
                                       end;
                               end;
                           inc(f);
                      end;
           end;
 function cal(s1:ansistring):longint;
          var
             i,j,k,l:longint;
             p1,p2:point;
          begin
               p1:=head;l:=;
               fillchar(a,sizeof(a),);
               a[]:=;
               for i:= to length(s1) do
                   begin
                        if p1^.next[s1[i]]=nil then
                            begin
                                 while (p1^.next[s1[i]]=nil) and (p1<>head) do p1:=p1^.jump;
                                 if p1^.next[s1[i]]<>nil then p1:=p1^.next[s1[i]]
                            end
                        else p1:=p1^.next[s1[i]];
                        p2:=p1;
                        while p2<>head do
                              begin
                                   if (p2^.ex=) and (a[i-length(p2^.st)]=) then
                                      begin
                                           a[i]:=;
                                           l:=i;break;
                                      end;
                                   p2:=p2^.jump;
                              end;
                   end;
               exit(l);
          end;
 
 begin
      readln(n,m);head:=getpoint;
      head^.jump:=head;
      for i:= to n do
          begin
               readln(s1);
               ins(upcase(s1));
          end;
      linkit;
      for i:= to m do
          begin
               readln(s1);
               writeln(cal(upcase(s1)));
          end;
      readln;
 end.