Preprocessing of intractable problems

  • Authors:

  • Marco Cadoli;Francesco M. Donini;Paolo Liberatore;Marco Schaerf

  • Affiliations:

  • Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, I-00198, Roma, Italy;Politecnico di Bari, Dipartimento di Elettrotecnica ed Elettronica, Via Re David 200, I-70125 Bari, Italy;Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, I-00198, Roma, Italy;Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", Via Salaria 113, I-00198, Roma, Italy

  • Venue:
  • Information and Computation
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Some computationally hard problems, e.g., deduction in logical knowledge bases- are such that part of an instance is known well before the rest of it, and remains the same for several subsequent instances of the problem. In these cases, it is useful to preprocess off-line this known part so as to simplify the remaining on-line problem. In this paper we investigate such a technique in the context of intractable, i.e., NP-hard, problems. Recent results in the literature show that not all NP-hard problems behave in the same way: for some of them preprocessing yields polynomial-time on-line simplified problems (we call them compilable), while for other ones their compilability implies some consequences that are considered unlikely. Our primary goal is to provide a sound methodology that can be used to either prove or disprove that a problem is compilable. To this end, we define new models of computation, complexity classes, and reductions. We find complete problems for such classes, "completeness" meaning they are "the less likely to be compilable." We also investigate preprocessing that does not yield polynomial-time on-line algorithms, but generically "decreases" complexity. This leads us to define "hierarchies of compilability," that are the analog of the polynomial hierarchy. A detailed comparison of our framework to the idea of "parameterized tractability" shows the differences between the two approaches.