Eindeutigkeit eines Sudokus

[Bjoerk]

Delphi-Quellcode:

function TForm1.TestSudoku: boolean;
var
  N, M, K, I, J, J1, K1: integer;
  T: TPoint;
begin
  // Ausdünnung
  // 1. Doppelte Kandidaten entfernen
  Result:= true;
  for N:= 1 to 9 do // Numbers
    for I:= 0 to 8 do // Boxes
      for J:= 0 to 8 do // Indices
      begin
        T:= BoxToRowCol(I, J);
        K:= RowColToIndex(T.X, T.Y); // Edit
        if FCandidates[K].IndexOf(N) > -1 then
          for J1:= 0 to 8 do // Indices
          begin
            T:= BoxToRowCol(I, J1);
            K1:= RowColToIndex(T.X, T.Y); // Edit
            if K <> K1 then
            begin
              M:= FCandidates[K1].IndexOf(N);
              if M > -1 then FCandidates[K1].Del(M);
            end;
          end;
      end;

   und jetzt ??

   wann false (also nicht eindeutig) ????

Ich gehe so vor, daß für alle nicht gesetzten Felder eine Kandidatenliste erstellt wird und anschließend soll TestSudoku nun feststellen, ob das Sudoku so eindeutig (lösbar) ist. Kann man abschätzen, ab welcher Kandidatenanzahl (nach Ausdünnung der Doppel) ein Sudoku eindeutig ist oder wie macht man das ?