Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: The ghosts of forgotten things: A study on size after forgetting
(Submitted on 8 May 2020 (v1), last revised 3 May 2022 (this version, v3))
Abstract: Forgetting is removing variables from a logical formula while preserving the constraints on the other variables. In spite of being a form of reduction, it does not always decrease the size of the formula and may sometimes increase it. This article discusses the implications of such an increase and analyzes the computational properties of the phenomenon. Given a propositional Horn formula, a set of variables and a maximum allowed size, deciding whether forgetting the variables from the formula can be expressed in that size is $D^p$-hard in $\Sigma^p_2$. The same problem for unrestricted propositional formulae is $D^p_2$-hard in $\Sigma^p_3$.
Submission history
From: Paolo Liberatore [view email][v1] Fri, 8 May 2020 15:56:01 GMT (75kb,A)
[v2] Wed, 10 Mar 2021 07:39:00 GMT (83kb,A)
[v3] Tue, 3 May 2022 06:54:52 GMT (69kb,A)
Link back to: arXiv, form interface, contact.