From complexity to algebra and back: digraph classes, collapsibility and the PGP - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

From complexity to algebra and back: digraph classes, collapsibility and the PGP

Résumé

Inspired by computational complexity results for the quantified constraint satisfaction problem, we study the clones of idempotent polymorphisms of certain digraph classes. Our first results are two algebraic dichotomy, even "gap", theorems. Building on and extending [Martin CP'11], we prove that partially reflexive paths bequeath a set of idempotent polymorphisms whose associated clone algebra has: either the polynomially generated powers property (PGP); or the exponentially generated powers property (EGP). Similarly, we build on [DaMM ICALP'14] to prove that semicomplete digraphs have the same property. These gap theorems are further motivated by new evidence that PGP could be the algebraic explanation that a QCSP is in NP even for unbounded alternation. Along the way we also effect a study of a concrete form of PGP known as collapsibility, tying together the algebraic and structural threads from [Chen Sicomp'08], and show that collapsibility is equivalent to its Π2-restriction. We also give a decision procedure for k-collapsibility from a singleton source of a finite structure (a form of collapsibility which covers all known examples of PGP for finite structures). Finally, we present a new QCSP trichotomy result, for partially reflexive paths with constants. Without constants it is known these QCSPs are either in NL or Pspace-complete [Martin CP'11], but we prove that with constants they attain the three complexities NL, NP-complete and Pspace-complete. [Martin CP'11] Barnaby Martin: QCSP on Partially Reflexive Forests. CP 2011: 546-560 [DaMM ICALP'14] Petar Dapic, Petar Markovic, Barnaby Martin: QCSP on Semicomplete Digraphs. ICALP (1) 2014. [Chen Sicomp'08] Hubie Chen: The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case. SIAM J. Comput. 37(5): 1674-1701 (2008).

Dates et versions

hal-01108627 , version 1 (23-01-2015)

Identifiants

Citer

Catarina Carvalho, Florent Madelaine, Barnaby Daniel Martin. From complexity to algebra and back: digraph classes, collapsibility and the PGP. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2015, Kyoto, Japan. pp.462-474, ⟨10.1109/LICS.2015.50⟩. ⟨hal-01108627⟩
153 Consultations
0 Téléchargements

Altmetric

Partager

More