-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Undurchsichtige Validierung von LegalCNFConfig #90
Comments
Eventuell steuern die Hinweise zur Konfiguration einen auch in eine sub-optimale Richtung. LegalCNFConfig
{ cnfConfig = CnfConfig
{ baseConf = BaseConfig
{ minClauseLength = 2, maxClauseLength = 4, usedLiterals = "ABCD" }
, minClauseAmount = 2
, maxClauseAmount = 5
}
, formulas = 8
, externalGenFormulas = 2
, illegals = 2
, includeFormWithJustOneClause = True
, includeFormWithJustOneLiteralPerClause = True
, maxStringSize = 50
, minStringSize = 12
, allowArrowOperators = False
, extraText = Nothing
} Ein Hinzufügen von Unvorsichtiges erhöhen von Ehöhung von nur einer unteren Schranke, z.B. um 1, führt zu Problemen mit |
Der Punkt
ließe sich ja bestimmt dadurch adressieren, dass die entsprechenden |
Man könnte auch überlegen, statt der "String-Größe" einen anderen Steuerungsparameter einzuführen. Allerdings ist nicht so recht klar, welcher das sein sollte. Für legale KNFs ist die String-Größe einfach ein Proxy für die Gesamtzahl der auftretenden Literale in der Formel. Also wenn etwa Aber das Problem damit ist, dass man diese Kontrolle auch über nicht-korrekte KNFs ausüben muss. Denn es werden in die Instanz ja am Ende zur Auswahl Dinge gepackt, die generiert wurden per:
Und es wäre auffällig, wenn nur bei den legalen KNFs (wo sich leicht die Mengen durchzählen lassen, um das Maß "Anzahl der Literale" zu bestimmen) die Einschränkung erfolgt, bei den illegalen KNFs aber nicht analog. Und dort einfach auch die Literale (an Blättern des Baums) zu zählen, ist zumindest nicht offensichtlich ein "analoges Maß", einfach weil die Struktur der Formeln ja recht anders sein kann. Jedoch "Länge des Strings" ist ein Maß, dass auf alle Fälle anwendbar ist, und auch wirklich einen Vergleich liefert, der zumindest oberflächlich der Idee "alle angebotenen Kandidaten sind einigermaßen gleich komplex" entspricht. |
Das mit der
und
erfordert vielleicht einfach geeignete Präzisierungen in den Fehlermeldungen? |
Die Aufgabe zum Erkennen wohlgeformter KNF ist in der Praxis äußerst umständlich zu konfigurieren.
Die Parameter
minStringSize
undmaxStringSize
scheinen nicht wirklich wählbar zu sein sonder müssen eher experimentell auf den richtigen Wert gesetzt werden.Darüber hinaus gibt es die Fehlermeldung "Menge an Formeln ist zu groß. Eine Formeln könnte mehrfach generiert werden.", die keinerlei Informationen enthält, wie dieses Problem (welches ist das überhaupt?) behoben werden könnte.
The text was updated successfully, but these errors were encountered: