Проверка графа на двудольность

 //проверка двудольности
const MaxN = 10001;
type TAdj = ^pAdj;
     pAdj = record
                ver: LongInt;
                next: TAdj;
            end;
var adj: array[0..MaxN] of TAdj;   // Граф - списки смежности
    color: array[1..MaxN] of byte; // Пройденные вершины
    x, y,   a, N, M: LongInt;     
 
procedure Add(v1, v2: LongInt);  // Добавляем ребро
var tmp: TAdj;
begin
    new(tmp);                    // Для этого создаем переменную
    tmp^.ver := v2;              // Запоминаем нужную информацию
    tmp^.next := adj[v1];        // Прибавляем к ней существующий список
    adj[v1] := tmp;              // Заменяем ею в массиве
end;       
 
 
 
function bipartite: Boolean;
var ok: Boolean;
 
  procedure dfs(v, clr: LongInt);
  var w: TAdj;
  begin
      color[v] := clr;
      w := adj[v];
 
      while w <> nil do
      begin
          if color[w^.ver] = 0 then dfs(w^.ver, (clr mod 2)+1) else
                if color[w^.ver] = clr then ok := false;
              if not ok then exit;  
          w := w^.next;
      end;
  end;                                  
 
begin
    ok := true;
    for i := 1 to N do
      if color[i] = 0 then dfs(i, 1);
    bipartite := ok;
end;