poj2192

初看这道题，以为是先用SA和SC求LCS，再从SC中把SA剔除，看剩下来的是不是SB（……）

显然不对;因为SC与SA的公共子串不止一种，判断不一定正确。

于是考虑SC中每一个字符，如果能够匹配，那么不是SA中的就是SB中的；

定义bool s[i,j]为SA前i个，SB前j个能否组成SC前i+j个；

所以s[i,j]=true (s[i-1,j] and SA[i]=s[i+j]) or (s[i,j-1] and SB[j]=s[i+j]);

则最后能匹配的条件为s[length(SA),length(SB)]=true

 var f:array[..,..] of boolean;
     ff:array[..] of boolean;
     xx,s1,s2,s3:ansistring;
     l1,l2,l3,k,i,j,p,n,x,y:integer;
     check:boolean;
 function max(a,b:integer):integer;
   begin
     if a>b then max:=a else max:=b;
   end;

 begin
   readln(n);
   for k:= to n do
   begin
     readln(xx);
     xx:=xx+' ';
     p:=pos(' ',xx);
     s1:=copy(xx,,p-);
     xx:=copy(xx,p+,length(xx));
     p:=pos(' ',xx);
     s2:=copy(xx,,p-);
     xx:=copy(xx,p+,length(xx));
     p:=pos(' ',xx);
     s3:=copy(xx,,p-);
     fillchar(f,sizeof(f),false);
     l1:=length(s1);
     l2:=length(s2);
     l3:=length(s3);
     f[,]:=true;
     if s1[]=s3[] then f[,]:=true;
     if s2[]=s3[] then f[,]:=true;
     for i:= to l1 do
       for j:= to l2 do
       begin
         if (s1[i]=s3[i+j]) and f[i-,j] then f[i,j]:=true;
         if (s2[j]=s3[i+j]) and f[i,j-] then f[i,j]:=true;
       end;
     if f[l1,l2] then writeln('Data set ',k,': yes')
     else writeln('Data set ',k,': no');
   end;
 end.