Holographic algorithms on domain size k2

  • Authors:
  • Zhiguo Fu;Jin-Yi Cai

  • Affiliations:
  • Mathematics School of Jilin University, Changchun, Jilin Prov., China;Computer Sciences Department, University of Wisconsin, Madison, WI

  • Venue:
  • TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

An essential problem in the design of holographic algorithms is to decide whether the required signatures can be realized by matchgates under a suitable basis. For domain size two, [1,3] characterized all functions directly realizable as matchgate signatures without a basis transformation, and [7] gave a polynomial time algorithm for the realizability problem for symmetric signatures under basis transformations. We generalize this to arbitrary domain size k . Specifically, we give a polynomial time algorithm for the realizability problem on domain size k ≥3. Using this, one can decide whether suitable signatures for a holographic algorithms on domain size k are realizable and if so, to find a suitable linear basis to realize these signatures by an efficient algorithm.