Holant Problems for Regular Graphs with Complex Edge Functions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Holant Problems for Regular Graphs with Complex Edge Functions

Résumé

We prove a complexity dichotomy theorem for Holant Problems on 3-regular graphs with an arbitrary complex-valued edge function. Three new techniques are introduced: (1) higher dimensional iterations in interpolation; (2) Eigenvalue Shifted Pairs, which allow us to prove that a pair of combinatorial gadgets in combination succeed in proving #P-hardness; and (3) algebraic symmetrization, which significantly lowers the symbolic complexity of the proof for computational complexity. With holographic reductions the classification theorem also applies to problems beyond the basic model.

Mots clés

Fichier principal
Vignette du fichier
Kowalczyk.pdf (241.43 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00455751 , version 1 (11-02-2010)

Identifiants

  • HAL Id : inria-00455751 , version 1

Citer

Michael Kowalczyk, Jin-Yi Cai. Holant Problems for Regular Graphs with Complex Edge Functions. 27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.525-536. ⟨inria-00455751⟩

Collections

STACS2010
118 Consultations
337 Téléchargements

Partager

Gmail Facebook X LinkedIn More