Stehen die beiden Parameter minClauseLength und maxClauseLength in diesem Aufgabentyp wirklich für die Längen der einzelnen Klauseln? Von konkret gestellten Instanzen her sieht es nicht so aus. Sondern eher so, als würden diese Parameter hier in Wirklichkeit die Rolle ausüben, die in anderen Aufgabentypen von minClauseAmount und maxClauseAmount gespielt wird.
Zum Parameter minSteps gibt es kein Pendant maxSteps. Heißt das, es könnten auch Instanzen generiert werden, wo ein beliebig größerer Wert als minSteps an Schritten benötigt wird? Oder heißt es, dass nur Instanzen generiert werden, die mit minSteps lösbar sind (und nicht mit weniger Schritten lösbar sind)? Im letzteren Fall wäre vielleicht auch eine andere Benennung des Parameters sinnvoll.
Und müsste es eventuell eine Beziehung zwischen den verschiedenen Parametern geben? Zum Beispiel wurde im aktuellen Semester diese Konfiguration genutzt:
ResolutionConfig
{ baseConf = BaseConfig
{ minClauseLength = 4
, maxClauseLength = 5
, usedLiterals = "ABCDE"
}
, minSteps = 4
, ...Aber alle erzeugten Instanzen hatten genau 5 Klauseln. Also das "4 bis 5" aus der Aufgabenstellung scheint nicht wirklich eine Wahl gewesen zu sein. Vielleicht weil bei der verwendeten Generierungsstrategie es gar nicht möglich ist, eine Instanz mit nur 4 Klauseln zu kriegen, die mindestens 4 Resolutionsschritte zur Lösung erfordert? Wenn dem so ist, sollte der Zusammenhang vermutlich irgendwie ausgenutzt/ausgedrückt werden. Vielleicht durch einen Checker, der obige Konfiguration zurückgewiesen hätte (und zur Einengung auf minClauseLength = maxClauseLength = 5 geführt hätte). Oder vielleicht, wenn der Zusammenhang wirklich exakt ist, sogar derart, dass überhaupt nur eine Zahl einzustellen ist (also falls aus dem Wert von minSteps bereits folgt, wie die anderen Größen zu sein haben).
Stehen die beiden Parameter
minClauseLengthundmaxClauseLengthin diesem Aufgabentyp wirklich für die Längen der einzelnen Klauseln? Von konkret gestellten Instanzen her sieht es nicht so aus. Sondern eher so, als würden diese Parameter hier in Wirklichkeit die Rolle ausüben, die in anderen Aufgabentypen vonminClauseAmountundmaxClauseAmountgespielt wird.Zum Parameter
minStepsgibt es kein PendantmaxSteps. Heißt das, es könnten auch Instanzen generiert werden, wo ein beliebig größerer Wert alsminStepsan Schritten benötigt wird? Oder heißt es, dass nur Instanzen generiert werden, die mitminStepslösbar sind (und nicht mit weniger Schritten lösbar sind)? Im letzteren Fall wäre vielleicht auch eine andere Benennung des Parameters sinnvoll.Und müsste es eventuell eine Beziehung zwischen den verschiedenen Parametern geben? Zum Beispiel wurde im aktuellen Semester diese Konfiguration genutzt:
Aber alle erzeugten Instanzen hatten genau 5 Klauseln. Also das "
4bis5" aus der Aufgabenstellung scheint nicht wirklich eine Wahl gewesen zu sein. Vielleicht weil bei der verwendeten Generierungsstrategie es gar nicht möglich ist, eine Instanz mit nur 4 Klauseln zu kriegen, die mindestens 4 Resolutionsschritte zur Lösung erfordert? Wenn dem so ist, sollte der Zusammenhang vermutlich irgendwie ausgenutzt/ausgedrückt werden. Vielleicht durch einen Checker, der obige Konfiguration zurückgewiesen hätte (und zur Einengung aufminClauseLength = maxClauseLength = 5geführt hätte). Oder vielleicht, wenn der Zusammenhang wirklich exakt ist, sogar derart, dass überhaupt nur eine Zahl einzustellen ist (also falls aus dem Wert vonminStepsbereits folgt, wie die anderen Größen zu sein haben).