Similar presentations

2
The Stable Circuit Problem An instance of the Stable Circuit Problem is a circuit of MIN, MAX, and AVG gates, with input wires hardwired from {0,1} –Feedback is allowed –All gates have fan-in two Solutions are settings of the internal wires where the output of every gate is set to the appropriate function of the inputs to the gate –Solutions can be shown to always exist Originally believed to be in FP or FBPP; after many flawed approaches, believed to be hard.

3
An Introduction to The Complexity Class PLS A Rapid Summary of Local Search Brendan Juba

4
Motivation PLS (Polynomial-time Local Search) is a complexity class intended to exemplify local search problems. Consider a local search version of MAX CUT: –Given an undirected graph G=(V,E) with weighted edges –The value of a partition of V into V 1 and V 2 is the sum of the weights on edges with endpoints in different sets. –Start with an initial partition of V –Move vertices between the sets until the value of the partition cannot be increased.

5
Definition: Local Search A Local Search problem L consists of –A set, D L  Σ *, of instances x In MAX CUT, D MAX CUT is the set of undirected, edge- weighted graphs –A polynomial p –For each x є D L, a set, F L (x)  Σ p(|x|), of feasible solutions s F MAX CUT (x) is the set of partitions of V into subsets V 1 and V 2. Clearly, these partitions may be represented in a way polynomially bounded by the size of the graph. (continued…)

6
Definition: Local Search For each solution s є F L (x), a set of neighbors, N L (s,x)  F L (x) –N MAX CUT (s,x) is the set of partitions of the vertices of x that differ from s in the placement of a single vertex For each solution s є F L (x), an integer measure, M L (s,x) –M MAX CUT (s,x) is the sum of the weights on the edges in x with endpoints crossing the partition s s is “locally optimal” for x when it has no strictly “better” neighbors An algorithm that finds local optima solves L

8
Examples: Problems in PLS MAX CUT was in PLS NAE kSAT (a maximization problem) –D NAE kSAT : Formulas of “not-all-equal” clauses of at most k literals or constants, each having positive integer weights –F NAE kSAT (x): Assignments to the variables of x –M NAE kSAT (s,x): The sum of the weights of all clauses in x satisfied by the assignment s –N NAE kSAT (s,x): Assignments that differ from s in the setting of any single variable POS NAE kSAT has no negated literals (hence, only “positive” literals)

10
Example: PLS reduction We reduce MAX CUT to POS NAE 3SAT: –f: given an encoding of a graph G=(V,E), construct a formula x such that For each v є V, there is a corresponding variable v of x For each edge (u,v) є E, there is a corresponding NAE clause in x, NAE(u,v). The weight of this clause is the same as the weight of (u,v) in G. –g: assign the variables corresponding to vertices in V 1 to truth, and all variables corresponding to vertices in V 2 to falsehood. –It is clear that the measures and neighborhoods are preserved; hence, local optimality is preserved. This is an atypically clean reduction!

11
PLS-completeness L є PLS is PLS-complete when –For every Π є PLS, Π PLS-reduces to L Observe that we may show a problem to be PLS-complete by reducing a problem known to be PLS-complete to it –Example: since MAX CUT is known to be PLS-complete, we have just shown that POS NAE 3SAT is PLS-complete as well

14
PLS-complete problems (continued) STABLE NET (maximization) –D: graphs with integer (postive or negative) weights w ij on the edges –F(G): assignments to the nodes x i of G from {+1,-1} –M(s,G): Σ i,j w ij x i x j –N(s,G): assignments that differ in the setting of a single variable

15
Hardness Stable circuit is now believed to be “hard” It is doubtful that Stable Circuit is NP-hard, as it is in TFNP (and hence, in NP  co-NP). The problem has other similarities with many of the PLS-complete problems –Exponential worst-case behavior for known neighborhood structures –An “unweighted” version of the problem (circuits with no AVG gates) is P-complete Thus, we conjecture that the problem is PLS- complete, and intend to show this.