Location of Repository

On Constructing Minimal Formulae

By Paul E. Dunne

Abstract

Given a Boolean propositional formula, ϕ(Xn) over the basis Ω = {∧, ∨, ¬} we consider the following decision problem: is there a subset of literals, S, for which ϕ(Xn) ≡ ∧ y∈S y or ϕ(Xn) ≡ ∨ y∈S y? We prove that the “obvious ” Σp2 upper bound is sub-optimal and that the problem is decidable in P NP the class of languages decidable by polynomial time methods allowed to make non-adaptive queries to an NP oracle. We further show that the associated function problem of computing a witnessing such subset when one exists can be solved in FP N

Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.160.909
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.csc.liv.ac.uk/resea... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.