A complexity perspective on entailment of parameterized linear constraints

  • Authors:

  • Pavlos Eirinakis;Salvatore Ruggieri;K. Subramani;Piotr Wojciechowski

  • Affiliations:

  • LDCSEE, West Virginia University, Morgantown, USA;Dipartimento di Informatica, Università di Pisa, Pisa, Italy;LDCSEE, West Virginia University, Morgantown, USA;LDCSEE, West Virginia University, Morgantown, USA

  • Venue:
  • Constraints
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Extending linear constraints by admitting parameters allows for more abstract problem modeling and reasoning. A lot of focus has been given to conducting research that demonstrates the usefulness of parameterized linear constraints and implementing tools that utilize their modeling strength. However, there is no approach that considers basic theoretical tools related to such constraints that allow for reasoning over them. Hence, in this paper we introduce satisfiability with respect to polyhedral sets and entailment for the class of parameterized linear constraints. In order to study the computational complexities of these problems, we relate them to classes of quantified linear implications. The problem of satisfiability with respect to polyhedral sets is then shown to be co- $\mathbb{NP}$ hard. The entailment problem is also shown to be co- $\mathbb{NP}$ hard in its general form. Nevertheless, we characterize some subclasses for which this problem is in 驴. Furthermore, we examine a weakening and a strengthening extension of the entailment problem. The weak entailment problem is proved to be $\mathbb{NP}$ complete. On the other hand, the strong entailment problem is shown to be co- $\mathbb{NP}$ hard.