University of Cambridge > > Isaac Newton Institute Seminar Series > On the usefulness of predicates

On the usefulness of predicates

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Mustapha Amrani.

Discrete Analysis

One successful application of discrete harmonic analysis has been the analysis of Max-CSPs, maximum constraint satisfaction problems.

In the Max-CSP defined by a predicate P of arity k we are presented with a list of k-tupels of literals and the goal is to find assignments to the variables in order to maximize the number of resulting k-bit strings that satisfy P.

A predicate P is approximation resistant if, even for instances where the optimal assignments satisfies (almost) all constraints, it is infeasible to do find an assignment that satisfies substantially more constraints than what is obtained by picking a random assignment.

We study a more general question of given the promise of the existence of an assignment that satisfies all the constraints given by P, to efficiently finding an assignment that satisfies a weaker predicate (or more general function) Q.

In particular we say P is useless if it is infeasible to do substantially better than random for any Q.

In this talk we describe this framework and derive results on uselessness based on NP ≠ P and the Unique Games Conjecture.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2023, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity