[Ingediend op 8 mei 2020]

PDF downloaden

Abstract: Vergeten is het verwijderen van variabelen uit een logische formule met behoud van de
beperkingen op de andere variabelen. Ondanks dat het een vorm van reductie is,
vermindert niet altijd de grootte van de formule en kan deze soms vergroten.
Dit artikel bespreekt de implicaties van een dergelijke verhoging en analyseert de
computationele eigenschappen van het fenomeen. Gegeven een propositionele hoornformule,
een reeks variabelen en een maximaal toegestane grootte, om te beslissen of het vergeten van de
variabelen uit de formule kunnen worden uitgedrukt in die grootte is $D^p$-hard in
$Sigma^p_2$. Hetzelfde probleem voor onbeperkte propositieformules is:
$D^p_2$-hard in $Sigma^p_3$. De hardheidsresultaten maken gebruik van superredundantie: a
superirredundante clausule is in alle formules van minimale grootte gelijk aan a
een gegeven. Dit concept kan nuttig zijn buiten vergeten.