Apr
13
awarded Nice Question
Apr
13
revised What is the evidence for average case separation between EXP and NEXP?
added 762 characters in body
Apr
13
comment What is the evidence for average case separation between EXP and NEXP?
@PhilipWhite Normally padding arguments go the other way, e.g. $EXP \ne NEXP$ implies $P \ne NP$ but not the other way around.
Apr
13
comment What is the evidence for average case separation between EXP and NEXP?
@D.W. I didn't claim those problems are NP-complete. I meant that the existence of one-way functions implies that $AvgP \nsupseteq DistNP$ which implies that problems complete for $DistNP$ are hard in the average case.
Apr
10
comment Intersecting Complexity Classes with Advice
@HenryYuen: I think that a Language $L$ is in $(NP \cap coNP)/poly$ iff there is a language $K$ in $NP \cap coNP$ and $a_i$ advice of polynomial length s.t. $x \in L$ iff $(x, a_{|x|}) \in K$.
Apr
10
asked What is the evidence for average case separation between EXP and NEXP?
Mar
10
revised Assigning probability to membership in an NP-complete language
fixed equation
Nov
19
awarded Nice Answer
Nov
19
revised Why did the Federalist party collapse?
added 2 characters in body
Oct
28
awarded Yearling
Oct
28
awarded Yearling
Oct
12
awarded Yearling
Oct
12
awarded Yearling
Sep
24
awarded Autobiographer
Sep
24
awarded Autobiographer
Sep
24
awarded Autobiographer
Sep
24
awarded Autobiographer
Sep
24
awarded Autobiographer
Sep
24
awarded Autobiographer
Sep
24
awarded Autobiographer
1 2 3 4 5