Results 1  10
of
17
Strict Polynomialtime in Simulation and Extraction
, 2004
"... The notion of efficient computation is usually identified in cryptography and complexity with (strict) probabilistic polynomial time. However, until recently, in order to obtain constantround ..."
Abstract

Cited by 47 (9 self)
 Add to MetaCart
The notion of efficient computation is usually identified in cryptography and complexity with (strict) probabilistic polynomial time. However, until recently, in order to obtain constantround
On approximating optimal weighted lobbying, and frequency of correctness versus averagecase polynomial time
 In Proc. 16th FCT, volume 4639 of LNCS
"... ..."
All Natural NPC Problems Have AverageCase Complete Versions
 IN 35TH ACM SYMPOSIUM ON THE THEORY OF COMPUTING
, 2006
"... In 1984 Levin put forward a suggestion for a theory of average case complexity. In this theory a problem, called a distributional problem, is defined as a pair consisting of a decision problem and a probability distribution over the instances. Introducing adequate notions of ”efficiencyonaverage”, ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
In 1984 Levin put forward a suggestion for a theory of average case complexity. In this theory a problem, called a distributional problem, is defined as a pair consisting of a decision problem and a probability distribution over the instances. Introducing adequate notions of ”efficiencyonaverage”, simple distributions and efficiencyonaverage preserving reductions, Levin developed a theory analogous to the theory of N Pcompleteness. In particular, he showed that there exists a simple distributional problem that is complete under these reductions. But since then very few distributional problems were shown to be complete in this sense. In this paper we show a simple sufficient condition for an N Pcomplete decision problem to have a distributional version that is complete under these reductions (and thus to be ”hard on the average ” with respect to some simple probability distribution). Apparently all known N Pcomplete decision problems meet this condition.
NP and Mathematics  a computational complexity perspective
 Proc. of the ICM 06
"... “P versus N P – a gift to mathematics from Computer Science” ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
“P versus N P – a gift to mathematics from Computer Science”
A Theory of AverageCase Compilability in Knowledge Representation
"... Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compilability have been obtained, they are all "worstcase" results. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Compilability is a fundamental property of knowledge representation formalisms which captures how succinctly information can be expressed. Although many results concerning compilability have been obtained, they are all "worstcase" results.
Frequency of Correctness versus Average Polynomial Time and Generalized Juntas
, 2008
"... We prove that every distributional problem solvable in polynomial time on the average with respect to the uniform distribution has a frequently selfknowingly correct polynomialtime algorithm. We also study some features of probability weight of correctness with respect to generalizations of Procac ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
We prove that every distributional problem solvable in polynomial time on the average with respect to the uniform distribution has a frequently selfknowingly correct polynomialtime algorithm. We also study some features of probability weight of correctness with respect to generalizations of Procaccia and Rosenschein’s junta distributions [PR07b]. Key words: frequently selfknowingly correct algorithms, greedy algorithms, junta distributions.
Average Case Complexity, Revisited
"... Abstract. More than two decades elapsed since Levin set forth a theory of averagecase complexity. In this survey we present the basic aspects of this theory as well as some of the main results regarding it. The current presentation deviates from our old “Notes on Levin’s Theory of AverageCase Comp ..."
Abstract
 Add to MetaCart
Abstract. More than two decades elapsed since Levin set forth a theory of averagecase complexity. In this survey we present the basic aspects of this theory as well as some of the main results regarding it. The current presentation deviates from our old “Notes on Levin’s Theory of AverageCase Complexity ” (ECCC, TR97058, 1997) in several aspects. In particular: – We currently view averagecase complexity as referring to the performance on “average ” (or rather typical) instances, and not as the average performance on random instances. (Thus, it may be more justified to refer to this theory by the name typicalcase complexity, but we retain the name averagecase for historical reasons.) – We include a treatment of search problems, and a presentation of the reduction of “NP with sampleable distributions ” to “NP with Pcomputable distributions ” (due to Impagliazzo and Levin, 31st FOCS, 1990). – We include Livne’s result (ECCC, TR06122, 2006) by which all natural NPCproblems have averagecase complete versions. This result seems to shed doubt on the association of Pcomputable distributions with natural distributions. Keywords: AverageCase Complexity. This text has been revised based on [6, Sec. 10.2].
P ≠ RP Proof
"... Abstract. This paper demonstrates that P ≠ RP. The way was to generalize the traditional definitions of the classes P and RP, to construct an artificial problem (Maj2/3XGSAT) and then to demonstrate that it is in RP but not in P (where the classes P and RP are generalized and called too simply P a ..."
Abstract
 Add to MetaCart
Abstract. This paper demonstrates that P ≠ RP. The way was to generalize the traditional definitions of the classes P and RP, to construct an artificial problem (Maj2/3XGSAT) and then to demonstrate that it is in RP but not in P (where the classes P and RP are generalized and called too simply P and RP in this paper, and then it is explained why the traditional classes P and RP should be fixed and replaced by these generalized ones into Theory of Computer Science). The demonstration consists of: 1. Definition of Restricted Type X Program 2. Definition of the Majority2/3 Extended General Satisfiability – Maj2/3XGSAT 3. Generalization to classes P and RP 4. Demonstration that the Maj2/3XGSAT is in RP 5. Demonstration that the Maj2/3XGSAT is not in P 6. Demonstration that the BakerGillSolovay Theorem does not refute the proof 7. Demonstration that the RazborovRudich Theorem does not refute the proof
Introduction to Computational Complexity  Mathematical Programming Glossary Supplement
, 2010
"... ..."
Strict Polynomialtime in Simulation and Extraction*
, 2004
"... Abstract The notion of efficient computation is usually identified in cryptography and complexity with(strict) probabilistic polynomial time. However, until recently, in order to obtain constantround ..."
Abstract
 Add to MetaCart
Abstract The notion of efficient computation is usually identified in cryptography and complexity with(strict) probabilistic polynomial time. However, until recently, in order to obtain constantround