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[0..500,0..500] of boolean;
    ff:array[0..500] 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:=1 to n do
  begin
    readln(xx);
    xx:=xx+' ';
    p:=pos(' ',xx);
    s1:=copy(xx,1,p-1);
    xx:=copy(xx,p+1,length(xx));
    p:=pos(' ',xx);
    s2:=copy(xx,1,p-1);
    xx:=copy(xx,p+1,length(xx));
    p:=pos(' ',xx);
    s3:=copy(xx,1,p-1);
    fillchar(f,sizeof(f),false);
    l1:=length(s1);
    l2:=length(s2);
    l3:=length(s3);
    f[0,0]:=true;
    if s1[1]=s3[1] then f[1,0]:=true;
    if s2[1]=s3[1] then f[0,1]:=true;
    for i:=0 to l1 do
      for j:=0 to l2 do
      begin
        if (s1[i]=s3[i+j]) and f[i-1,j] then f[i,j]:=true;
        if (s2[j]=s3[i+j]) and f[i,j-1] then f[i,j]:=true;
      end;
    if f[l1,l2] then writeln('Data set ',k,': yes')
    else writeln('Data set ',k,': no');
  end;
end.