boolesche Funktionen vergleichen

[JasonDX]

Zitat von Panthrax:

Delphi-Quellcode:

type
  TAusdruck = function (const X, Y: Cardinal): Boolean;

function LösungMöglich(const A1, A2: TAusdruck): Boolean;
var
  X1, X2, Y1, X2: Cardinal;
begin
  for X1 := Low(Cardinal) to High(Cardinal) do
    for Y1 := Low(Cardinal) to High(Cardinal) do
      for X2 := Low(Cardinal) to High(Cardinal) do
        for Y2 := Low(Cardinal) to High(Cardinal) do
          if A1(X1, Y1) and A2(X2, Y2) then
            Exit(True);
  Result := False;
end;

Das ist knapp übers Ziel hinausgeschossen. So wie ich das verstanden habe, sucht er ein Wertepaar (x, y) sodass f1(x, y) und f2(x, y) hält. Deine Lösung sucht zwei verschiedene Wertepaare, welche jeweils eine Funktion erfüllen müssen, d.h. du untersuchst nur insgesamt, ob die Funktionen getrennt voneinander erfüllbar sind. Folglich lässt sich der Aufwand für die Berechnung etwas verringern:

Delphi-Quellcode:

type
  TAusdruck = function (const x, y: Cardinal): Boolean;

function LösungMöglich(const f1, f2: TAusdruck): Boolean;
var
  x, y: Cardinal;
begin
  for x := Low(Cardinal) to High(Cardinal) do
    for y := Low(Cardinal) to High(Cardinal) do
      if f1(x, y) and f2(x, y) then
        Exit(True);
  Result := False;
end;

greetz
jason