12 Jan
2007
12 Jan
'07
2 p.m.
"x y" <infolist(a)citromail.hu> writes:
Én valszin kicsit késni fogok, de ott leszek. Addig
valaki segítsen, ha tud:
-Mi az a rezolúció?
Egy tetelbizonyitasi modszer, ami a Prolog vegrehajtas alapja. Pl. az
A \/ B \/ \ C \/ D
es
P \/ C \/ Q
klozok rezolvense a
A \/ B \/ D \/ P \/ Q
kloz.
-Az all_distinct szûkítése: állítólag maximális
párosítást keres, viszont
ahhoz, hogy ki tudja szûrni azokat az értékeket, amelyek feleslegesek,
minden maximális párosításra szüksége van, az pedig elég lassú, vagy nem?
Nem tudom az algoritmus komplexitasat. Ha erdekel, itt megtalalod az
algoritmus reszleteit:
http://www.cs.toronto.edu/~fbacchus/csc2512/OtherPapers/aaai94-alldiff.pdf
-Peter