Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



LATEST > REPORTS:
RSS-Feedprevious PreviousNext next

TR05-120 | 14th October 2005
Sashka Davis, Russell Impagliazzo

Models of Greedy Algorithms for Graph Problems

Borodin, Nielsen, and Rackoff gave a model of greedy-like algorithms for scheduling problems and Angelopoulos and Borodin extended their work to facility location and set cover problems. We generalize their notion to include other optimization problems, and apply the generalized framework to graph problems. Our goal is to define an ... more >>>


TR05-119 | 15th September 2005
Nadia Creignou, Phokion G. Kolaitis, Bruno Zanuttini

Preferred representations of Boolean relations

We introduce the notion of a plain basis for a co-clone in Post's lattice. Such a basis is a set of relations B such that every constraint C over a relation in the co-clone is logically equivalent to a conjunction of equalities and constraints over B and the same variables ... more >>>


TR05-118 | 16th October 2005
Jin-Yi Cai, Vinay Choudhary

Valiant's Holant Theorem and Matchgate Tensors

We propose matchgate tensors as a natural and proper language
to develop Valiant's new theory of Holographic Algorithms.
We give a treatment of the central theorem in this theory---the Holant
Theorem---in terms of matchgate tensors.
Some generalizations are presented.

more >>>


previous PreviousNext next


ISSN 1433-8092 | Imprint