Results 1  10
of
35
Optimal inapproximability results for MAXCUT and other 2variable CSPs?
, 2005
"... In this paper we show a reduction from the Unique Games problem to the problem of approximating MAXCUT to within a factor of ffGW + ffl, for all ffl> 0; here ffGW ss.878567 denotes the approximation ratio achieved by the GoemansWilliamson algorithm [25]. This implies that if the Unique Games ..."
Abstract

Cited by 178 (28 self)
 Add to MetaCart
In this paper we show a reduction from the Unique Games problem to the problem of approximating MAXCUT to within a factor of ffGW + ffl, for all ffl> 0; here ffGW ss.878567 denotes the approximation ratio achieved by the GoemansWilliamson algorithm [25]. This implies that if the Unique Games
The Approximability of Constraint Satisfaction Problems
 SIAM J. Comput
, 2001
"... We study optimization problems that may be expressed as "Boolean constraint satisfaction problems." An instance of a Boolean constraint satisfaction problem is given by m constraints applied to n Boolean variables. Di#erent computational problems arise from constraint satisfaction problems ..."
Abstract

Cited by 71 (2 self)
 Add to MetaCart
We study optimization problems that may be expressed as "Boolean constraint satisfaction problems." An instance of a Boolean constraint satisfaction problem is given by m constraints applied to n Boolean variables. Di#erent computational problems arise from constraint satisfaction problems depending on the nature of the "underlying" constraints as well as on the goal of the optimization task. Here we consider four possible goals: Max CSP (Min CSP) is the class of problems where the goal is to find an assignment maximizing the number of satisfied constraints (minimizing the number of unsatisfied constraints). Max Ones (Min Ones) is the class of optimization problems where the goal is to find an assignment satisfying all constraints with maximum (minimum) number of variables set to 1. Each class consists of infinitely many problems and a problem within a class is specified by a finite collection of finite Boolean functions that describe the possible constraints that may be used.
Optimal myopic algorithms for random 3SAT
 In Proceedings of the 41st Annual IEEE Symposium on Foundations of Computer Science
, 2000
"... Let F 3 (n; m) be a random 3SAT formula formed by selecting uniformly, independently, and with replacement, m clauses among all 8 \Gamma n 3 \Delta possible 3clauses over n variables. It has been conjectured that there exists a constant r 3 such that for any ffl ? 0, F 3 (n; (r 3 \Gamma ffl)n ..."
Abstract

Cited by 67 (8 self)
 Add to MetaCart
Let F 3 (n; m) be a random 3SAT formula formed by selecting uniformly, independently, and with replacement, m clauses among all 8 \Gamma n 3 \Delta possible 3clauses over n variables. It has been conjectured that there exists a constant r 3 such that for any ffl ? 0, F 3 (n; (r 3 \Gamma ffl)n) is almost surely satisfiable, but F 3 (n; (r 3 + ffl)n) is almost surely unsatisfiable. The best lower bounds for the potential value of r 3 have come from analyzing rather simple extensions of unitclause propagation. Recently, it was shown [2] that all these extensions can be cast in a common framework and analyzed in a uniform manner by employing differential equations. Here, we determine optimal algorithms expressible in that framework, establishing r 3 ? 3:26. We extend the analysis via differential equations, and make extensive use of a new optimization problem we call "maxdensity multiplechoice knapsack". The structure of optimal knapsack solutions elegantly characterizes the choi...
SOFIE: A SelfOrganizing Framework for Information Extraction
 WWW 2009 MADRID! TRACK: SEMANTIC/DATA WEB / SESSION: LINKED DATA
, 2009
"... This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an ontology. SOFIE uses logical reasoning on the existing knowledge and on the new knowledge in order to disambiguate words to ..."
Abstract

Cited by 45 (12 self)
 Add to MetaCart
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an ontology. SOFIE uses logical reasoning on the existing knowledge and on the new knowledge in order to disambiguate words to their most probable meaning, to reason on the meaning of text patterns and to take into account world knowledge axioms. This allows SOFIE to check the plausibility of hypotheses and to avoid inconsistencies with the ontology. The framework of SOFIE unites the paradigms of pattern matching, word sense disambiguation and ontological reasoning in one unified model. Our experiments show that SOFIE delivers highquality output, even from unstructured Internet documents.
Inapproximability of combinatorial optimization problems. The Computing Research Repository
, 2004
"... ..."
A New Way to Use Semidefinite Programming with Applications to Linear Equations mod p
 Journal of Algorithms
, 2001
"... We introduce a new method to construct approximation algorithms for combinatorial optimization problems using semidefinite programming. It consists of expressing each combinatorial object in the original problem as a constellation of vectors in the semidefinite program. When we apply this technique ..."
Abstract

Cited by 20 (5 self)
 Add to MetaCart
We introduce a new method to construct approximation algorithms for combinatorial optimization problems using semidefinite programming. It consists of expressing each combinatorial object in the original problem as a constellation of vectors in the semidefinite program. When we apply this technique to systems of linear equations mod p with at most two variables in each equation, we can show that the problem is approximable within (1 − κ(p))p, whereκ(p)> 0 for all p. Using standard techniques, we also show that it is NPhard to approximate the problem within a constant ratio, independent of p. Warning: Essentially this paper has been published in Journal of Algorithms and is subject to copyright restrictions. In particular it is for personal use only. New Use of Semidefinite Programming 4 List of symbols used: α lower case Greek letter alpha. δ lower case Greek letter delta. ε lower case Greek letter epsilon. κ lower case Greek letter kappa. λ lower case Greek letter lambda. µ lower case Greek letter mu. π lower case Greek letter pi. σ lower case Greek letter sigma. θ lower case Greek letter theta. Θ upper case Greek letter Theta. ϕ lower case Greek letter phi. Φ upper case Greek letter Phi. ζ lower case Greek letter zeta. ξ lower case Greek letter xi. ℓ∫ lower case Latin letter ell. integral sign. summation sign. R bold face upper case Roman letter ar (denotes the set of reals). Z bold face upper case Roman letter zed (denotes the set of integers). ⊥ perpendicular sign. ← left arrow. ↦ → right arrow with small bar (denotes “maps to”). = ⇒ double right arrow (denotes implication). ⇐ ⇒ double leftright arrow (denotes equivalence). ∅ the empty set. ∪ set union. ∩ set intersection. ∈ belongs to sign. ·  absolute value. ‖· ‖ Euclidean norm. 〈·, · 〉 angular brackets (denotes inner product)
Improved Nonapproximability Results for Minimum Vertex Cover with Density Constraints
 ELECTRONIC COLLOQUIUM ON COMPUTATIONAL COMPLEXITY
, 1996
"... We provide new nonapproximability results for the restrictions of the Min Vertex Cover problem to boundeddegree, sparse and dense graphs. We show that for a sufficiently large B, the recent 16/15 lower bound proved by Bellare et al. [5] extends with negligible loss to graphs with bounded degree ..."
Abstract

Cited by 14 (0 self)
 Add to MetaCart
We provide new nonapproximability results for the restrictions of the Min Vertex Cover problem to boundeddegree, sparse and dense graphs. We show that for a sufficiently large B, the recent 16/15 lower bound proved by Bellare et al. [5] extends with negligible loss to graphs with bounded degree B. Then, we consider sparse graphs with no dense components (i.e. everywhere sparse graphs), and we show a similar result but with a better tradeoff between nonapproximability and sparsity. Finally we observe that the Min Vertex Cover problem remains APXcomplete when restricted to dense graph and thus recent techniques developed for several Max SNP problems restricted to "dense" instances introduced by Arora et al. [2] cannot be applied.
A tight linear time (1/2)approximation for unconstrained submodular maximization
 in: Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, IEEE
"... Abstract—We consider the Unconstrained Submodular Maximization problem in which we are given a nonnegative submodular function f: 2 N → R +, and the objective is to find a subset S ⊆ N maximizing f(S). This is one of the most basic submodular optimization problems, having a wide range of applicatio ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
Abstract—We consider the Unconstrained Submodular Maximization problem in which we are given a nonnegative submodular function f: 2 N → R +, and the objective is to find a subset S ⊆ N maximizing f(S). This is one of the most basic submodular optimization problems, having a wide range of applications. Some well known problems captured by Unconstrained Submodular Maximization include MaxCut, MaxDiCut, and variants of MaxSAT and maximum facility location. We present a simple randomized linear time algorithm achieving a tight approximation guarantee of 1/2, thus matching the known hardness result of Feige et al. [11]. Our algorithm is based on an adaptation of the greedy approach which exploits certain symmetry properties of the problem. Our method might seem counterintuitive, since it is known that the greedy algorithm fails to achieve any bounded approximation factor for the problem. KeywordsSubmodular Functions, Approximation Algorithms I.
3Bit Dictator Testing: 1 vs. 5/8
, 2008
"... In the conclusion of his monumental paper on optimal inapproximability results, H˚astad [13] suggested that Fourier analysis of Dictator (Long Code) Tests does not seem universally applicable in the study of CSPs. His main open question was to determine if the technique could resolve the approximabi ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
In the conclusion of his monumental paper on optimal inapproximability results, H˚astad [13] suggested that Fourier analysis of Dictator (Long Code) Tests does not seem universally applicable in the study of CSPs. His main open question was to determine if the technique could resolve the approximability of satisfiable 3bit constraint satisfaction problems. In particular, he asked if the “Not Two ” (NTW) predicate is nonapproximable beyond the random assignment threshold of 5/8 on satisfiable instances. Around the same time, Zwick [30] showed that all satisfiable 3CSPs are 5/8approximable, and conjectured that the 5/8 is optimal. In this work we show that Fourier analysis techniques can produce a Dictator Test based on NTW with completeness 1 and soundness 5/8. Our test’s analysis uses the BonamiGrossBeckner hypercontractive inequality. We also show a soundness lower bound of 5/8 for all 3query Dictator Tests with perfect completeness. This lower bound for Property Testing is proved in part via a semidefinite programming algorithm of Zwick [30]. Our work precisely determines the 3query “Dictatorship Testing gap”. Although this represents progress on Zwick’s conjecture, current PCP “outer verifier ” technology is insufficient to convert our Dictator Test into an NPhardnessofapproximation result.