'testStandardSatisfiable' kollidiert mit Spezifikation?
GoogleCodeExporter opened this issue · comments
Hallo.
Der Test 'testStandardSatisfiable' kollidiert meiner Meinung nach mit der
Spezifikation von 'getSatisfyingAssignment'.
Denn:
Der Test schlägt fehl, da meine Implementation für die Formel "(a \/ c) /\ (a
\/ ~b) /\ (b \/ ~a)" folgende Belegung der Map zurückgibt: '{b=true, a=true}'.
Der Grund, aus dem der Test fehl schlägt ist:
"Mapping for variable c is missing (variable occurs in clause (a \/ c)),
therefore the cnf (a \/ c) /\ (a \/ ~b) /\ (b \/ ~a) is not satisfied."
Wenn man sich aber den Kommentar bei 'getSatisfyingAssignment' anschaut, dann
steht da in den Kommentaren:
"Variablen die in der Map keine Zuordnung erhalten, können auf einen
beliebigen Wert gesetzt werden."
Also ist es doch korrekt, dass c nicht in der Map enthalten ist, da c beliebig
sein kann, wenn a und b wahr sind. (Kann man sich ja anhand einer
Wahrheitstabelle schnell klar machen.)
Voele Grüße.
Original issue reported on code.google.com by k.hoff...@gmail.com
on 9 Jul 2012 at 6:37
Sehe ich NICHT so. Ich halte das für völlig idiotisch.
Es ist aber tatsächlich so:
https://forum.st.cs.uni-saarland.de/boards/viewthread?thread=1539
Ich werde eine Weile brauchen, dafür sind meine Tests so gar nicht gedacht.
Danke für den Bericht
Original comment by Nichmen...@gmail.com
on 9 Jul 2012 at 7:55
- Changed state: Started
Original comment by Nichmen...@gmail.com
on 9 Jul 2012 at 7:56
Wenn du mal hier nachschaust:
https://forum.st.cs.uni-saarland.de/boards/viewthread?thread=1538 dann sollte
der Test eigentlich nicht fehl schlagen, sondern beide Möglichkeiten zulassen.
Ich finde die Spezifikation an der Stelle ziemlich mies.
Original comment by k.hoff...@gmail.com
on 9 Jul 2012 at 8:18
Ich habe eben nochmal explizit nachgefragt.
Und danach nochmal.
@Tobias: Danke, dass Du mir bist jetzt noch nicht den Kopf abgerissen hast :)
Aber ich muss leider genauso hartnäckig Dich nerven, wie unser Projekt
bewertet wird.
Update ist draußen, Sache erledigt -- denke ich.
Falls noch etwas ist: Entweder neues Ticket, oder dieses hier neu öffnen.
Original comment by Nichmen...@gmail.com
on 9 Jul 2012 at 8:36
- Changed state: Fixed