Вхождение матрицы в матрицу, Вхождение матрицы в матрицу Опции

[Xopek]

Дано задание написать программу...
Тема: дихотомический поиск в матрице на включение.
Короче надо определить включает ли матрица A в себя матрицу B.
Подскажите плиз теорию и если есть мона исходники.

[Altair]

Если как сказал Клем, то вот я тут написал кое что

{$R-}
Type
  TType = Integer;
Type
  PVector = ^TVector;
  TVector = Array[1 .. 1] of TType;
  PDynMatrix = ^TDynMatrix;
  TDynMatrix = Array[1 .. 1] of PVector;

Var
  A,B: PDynMatrix;
  n1,n2, m1, m2, i, j, k, l, s, si,sj: Word;
  pr:boolean;
Begin
  pr:=false;
  Write('n1 = '); ReadLn(n1);
  Write('m1 = '); ReadLn(m1);
  Write('n2 = '); ReadLn(n2);
  Write('m2 = '); ReadLn(m2);
  GetMem(A, n1 * SizeOf(PVector));
  GetMem(B, n2 * SizeOf(PVector));
  For i := 1 To n1 Do     GetMem(A^[i], m1 * SizeOf(TType));
  For i := 1 To n2 Do     GetMem(B^[i], m2 * SizeOf(TType));

  //enter matrix

  For i := 1 To n1 Do begin
    For j := 1 To m1 Do begin
      write('a[',i,',',j,']='); readln(A^[I]^[J]);
    end;
   end;
  For i := 1 To n2 Do begin
    For j := 1 To m2 Do begin
      write('b[',i,',',j,']='); readln(B^[I]^[J]);
    end;
   end;

  for i:=1 to n1 do begin
    for j:=1 to m1 do begin
      if a^[i]^[j] = b^[1]^[1] then begin
         s:=0;
         for k:=1 to n2 do for l:=1 to m2 do begin
           if a^[i+k-1]^[j+l-1] = b^[k]^[l] then inc(s);
         end;
         if s=sqr(n2) then begin pr:=true; si:=i; sj:=j end
       end
     end
   end;

  if pr then writeln('IN!!!',' i=',si,' j=',sj) else writeln('not found');readln;
  For i := 1 To n1 Do  FreeMem(A^[i], m1 * SizeOf(TType));
  FreeMem(A, n1 * SizeOf(PVector));
  For i := 1 To n2 Do  FreeMem(b^[i], m2 * SizeOf(TType));
  FreeMem(b, n2 * SizeOf(PVector));

End.

n1 x m1 - размерность 1 матрицы (А)
n2 x m2 - размерность 2 матрицы (В)
выводит Входит или нет и если да то номер строки и столбца