Resolution-Komplexität

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine quantitative Messung der Ressourcen, die benötigt werden, um Widersprüche im propositionalen Resolution-Beweissystem zu erzeugen, typischerweise beschrieben durch Parameter wie Beweislänge (Anzahl abgeleiteter Klauseln), Breite (maximale Klauselgröße) und Raum (Speicher gemessen an gleichzeitig gehaltenen Klauseln).