On the Hardness of Satisfiability with Bounded Occurrences in the Polynomial-Time Hierarchy

06/11/2018
by   Ishay Haviv, et al.
0

In 1991, Papadimitriou and Yannakakis gave a reduction implying the -hardness of approximating the problem with bounded occurrences. Their reduction is based on expander graphs. We present an analogue of this result for the second level of the polynomial-time hierarchy based on superconcentrator graphs. This resolves an open question of Ko and Lin (1995) and should be useful in deriving inapproximability results in the polynomial-time hierarchy. More precisely, we show that given an instance of in which every variable occurs at most times (for some absolute constant ), it is Π_2-hard to distinguish between the following two cases: instances, in which for any assignment to the universal variables there exists an assignment to the existential variables that satisfies all the clauses, and instances in which there exists an assignment to the universal variables such that any assignment to the existential variables satisfies at most a 1- fraction of the clauses. We also generalize this result to any level of the polynomial-time hierarchy.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

07/09/2019

On the Approximability of Presidential Type Predicates

Given a predicate P: {-1, 1}^k →{-1, 1}, let CSP(P) be the set of constr...
05/10/2018

ETH-Hardness of Approximating 2-CSPs and Directed Steiner Network

We study the 2-ary constraint satisfaction problems (2-CSPs), which can ...
06/17/2020

Playing Unique Games on Certified Small-Set Expanders

We give an algorithm for solving unique games (UG) instances whose const...
04/20/2018

A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems

We present a combination of the Mixed-Echelon-Hermite transformation and...
08/13/2017

An interactive version of the Lovász local lemma

Assume we are given (finitely many) mutually independent variables and (...
09/22/2017

High Degree Sum of Squares Proofs, Bienstock-Zuckerberg hierarchy and Chvatal-Gomory cuts

Chvatal-Gomory (CG) cuts and the Bienstock-Zuckerberg hierarchy capture ...
01/21/2021

Improved Algorithms for the General Exact Satisfiability Problem

The Exact Satisfiability problem asks if we can find a satisfying assign...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.