loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 24th Annual IEEE Conference on Computational Complexity
Worst-Case Running Times for Average-Case Algorithms
Paris, France
July 15-July 18
ISBN: 978-0-7695-3717-7
Under a standard hardness assumption we exactly characterize the worst-case running time of languages that are in average polynomial-time over all polynomial-time samplable distributions. More precisely we show that if exponential time is not infinitely often in subexponential space, then the following are equivalent for any algorithm $A$: \begin{itemize} \item For all $\p$-samplable distributions $\mu$, $A$ runs in time polynomial on $\mu$-average. \item For all polynomial $p$, the running time for A is bounded by $2^{O(K^p(x)-K(x)+\log(|x|))}$ for \emph{all} inputs $x$. \end{itemize} where $K(x)$ is the Kolmogorov complexity (size of smallest program generating $x$) and $K^p(x)$ is the size of the smallest program generating $x$ within time $p(|x|)$. To prove this result we show that, under the hardness assumption, the polynomial-time Kolmogorov distribution, $m^p(x)=2^{-K^p(x)}$, is universal among the P-samplable distributions.
Index Terms:
Kolmogorov complexity, Average-case complexity
Citation:
Luís Antunes, Lance Fortnow, "Worst-Case Running Times for Average-Case Algorithms," ccc, pp.298-303, 2009 24th Annual IEEE Conference on Computational Complexity, 2009
Usage of this product signifies your acceptance of the Terms of Use.