Bases for Boolean co-clones

  • Authors:

  • Elmar Böhler;Steffen Reith;Henning Schnoor;Heribert Vollmer

  • Affiliations:

  • Lehrstuhl für Informatik IV, Universität Würzburg, 97074 Würzburg, Germany;Lengfelderstraße 35b, D-97078 Würzburg, Germany;Theoretische Informatik, Universität Hannover, Appelstraße 4, D-30167 Hannover, Germany;Theoretische Informatik, Universität Hannover, Appelstraße 4, D-30167 Hannover, Germany

  • Venue:
  • Information Processing Letters
  • Year:
  • 2005

Quantified Score

Hi-index 0.89

Visualization

Abstract

The complexity of various problems in connection with Boolean constraints, like, for example, quantified Boolean constraint satisfaction, have been studied recently. Depending on what types of constraints may be used, the complexity of such problems varies. A very interesting observation of the recent past has been that the thus derived classification of constraints can be explained with the help of universal algebra. More precisely, the difficulty of such a constraint problem often depends on the co-clone the constraints are from. A co-clone is a set of Boolean relations that is closed under very natural closure operations. Nearly all these co-clones can be generated by said operators out of a finite set of relations, a so-called base. Knowing a, preferably simple, base for each co-clone can therefore be of great value when studying the complexity of Boolean constraint problems, since this knowledge reduces the infinitely many cases of equivalent problems to a single one-the constraint satisfaction problem for this base. In this paper we give a finite and simple base for every Boolean co-clone, where this is possible. We give evidence that the presented bases are as easy as possible.