We indicate strong non-approximability factors for central problems: N 1=4 for Max Clique; N 1=10 for Chromatic Number; and 66=65 for Max 3SAT. Underlying the Max Clique result is a proof system in which the verifier examines only three "free bits" to attain an error of 1=2. Underlying the Chromatic Number result is a reduction from Max Clique which is more efficient than previous ones
SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--368) / BLDSC - B...
We investigate a number of recently reported exact algorithms for the maximum clique problem. The pr...
The theory of NP-hardness of approximation has led to numerous tight characterizations of approximab...
Introduction The last few years have seen much progress in proving "non-approximability result...
AbstractWe consider approximations of the form n1−o(1) for the Maximum Clique problem, where n is th...
We construct multi-prover proof systems for NP which use only a constant number of provers to simult...
It is shown that the randomized version of the Maxclique approximation algorithm by Boppana and Hall...
We prove some non-approximability results for restrictions of basic combinatorial optimization probl...
We investigate the relationship between logical expressibility of NP optimization problems and thei...
Abstract. Assuming 3-SAT formulas are hard to refute on average, Feige showed some approximation har...
AbstractWe investigate the relationship between logical expressibility of NP optimization problems a...
AbstractIt was previously known that neither Max Clique nor Min Chromatic Number can be approximated...
AbstractWe present a new technique, inspired by zero-knowledge proof systems, for proving lower boun...
AbstractWe consider the problem of approximating the b-chromatic number of a graph. We show that the...
We show that every language in NP has a probablistic verier that checks mem-bership proofs for it us...
SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--368) / BLDSC - B...
We investigate a number of recently reported exact algorithms for the maximum clique problem. The pr...
The theory of NP-hardness of approximation has led to numerous tight characterizations of approximab...
Introduction The last few years have seen much progress in proving "non-approximability result...
AbstractWe consider approximations of the form n1−o(1) for the Maximum Clique problem, where n is th...
We construct multi-prover proof systems for NP which use only a constant number of provers to simult...
It is shown that the randomized version of the Maxclique approximation algorithm by Boppana and Hall...
We prove some non-approximability results for restrictions of basic combinatorial optimization probl...
We investigate the relationship between logical expressibility of NP optimization problems and thei...
Abstract. Assuming 3-SAT formulas are hard to refute on average, Feige showed some approximation har...
AbstractWe investigate the relationship between logical expressibility of NP optimization problems a...
AbstractIt was previously known that neither Max Clique nor Min Chromatic Number can be approximated...
AbstractWe present a new technique, inspired by zero-knowledge proof systems, for proving lower boun...
AbstractWe consider the problem of approximating the b-chromatic number of a graph. We show that the...
We show that every language in NP has a probablistic verier that checks mem-bership proofs for it us...
SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--368) / BLDSC - B...
We investigate a number of recently reported exact algorithms for the maximum clique problem. The pr...
The theory of NP-hardness of approximation has led to numerous tight characterizations of approximab...