scientific article; zbMATH DE number 1256635

From MaRDI portal
Publication:4230321

zbMath0945.68516MaRDI QIDQ4230321

Shmuel Safra, Sanjeev Arora

Publication date: 28 May 2000


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Annealed replication: A new heuristic for the maximum clique problemA Combined Parallel Lagrangian Decomposition and Cutting-Plane Generation for Maximum Stable Set ProblemsThe hardness of approximation: Gap locationA short note on the approximability of the maximum leaves spanning tree problemProbabilistic proof systems — A surveyOn the power of multi-prover interactive protocolsTheorems for a price: Tomorrow's semi-rigorous mathematical cultureThe death of proof? Semi-rigorous mathematics? You've got to be kidding!Probabilistically checkable proofs and their consequences for approximation algorithmsRecent results in hardness of approximationSome recent strong inapproximability resultsA note on unique gamesA note on PCP vs. MIPThe hardness of approximate optima in lattices, codes, and systems of linear equationsThe complexity of approximating a nonlinear programZK-PCPs from leakage-resilient secret sharingMNP: A class of NP optimization problemsRandomized graph products, chromatic numbers, and the Lovász \(\vartheta\)-functionRamsey theory and integrality gap for the independent set problemChecking properties of polynomialsApproximating the independence number via the \(\vartheta\)-functionSimulating BPP using a general weak random sourceSuccinct classical verification of quantum computationImproved non-approximability results for vertex cover with density constraintsSolving the maximum duo-preservation string mapping problem with linear programmingImproved non-approximability results for minimum vertex cover with density constraintsThe approximation of maximum subgraph problemsPolylogarithmic-round interactive proofs for coNP collapse the exponential hierarchyGlobal Cardinality Constraints Make Approximating Some Max-2-CSPs HarderA branch and cut solver for the maximum stable set problemProbabilistic verification of proofs in calculusesApproximate solution of NP optimization problemsOn approximating the longest path in a graphMNP: A class of NP optimization problemsStatistical analysis of financial networksA well-characterized approximation problemThe ideal membership problem and polynomial identity testingPseudo-Boolean optimizationClique-detection models in computational biochemistry and genomicsMining market data: a network approachOn maximum planar induced subgraphsApproximate evaluations of characteristic polynomials of Boolean functionsHardness and methods to solve CLIQUEMaking the Best of a Leaky Situation: Zero-Knowledge PCPs from Leakage-Resilient CircuitsBoosting verifiable computation on encrypted dataUnnamed ItemBounding queries in the analytic polynomial-time hierarchyInteger programming as a framework for optimization and approximabilityZero knowledge and the chromatic numberSome APX-completeness results for cubic graphsDerandomized graph productsExtracting randomness: A survey and new constructionsThe inapproximability of non-NP-hard optimization problems.On weighted vs unweighted versions of combinatorial optimization problemsBounded queries, approximations, and the Boolean hierarchy