Abstract
We show that polynomially rankable distributions, proposed in [RS93], do not provide harder instances than uniform distributions for NP problems. In particular, we show that if Levin's randomized tiling problem is solvable in polynomial time on average, then every NP problem under any p-rankable distribution is solvable in average polynomial time with respect to rankability. One of the motivations for polynomially rankable distributions was to get average-case hierarchies, and we present a reasonably tight hierarchy result for average-case complexity classes under p-time computable distributions.
Supported in part by NSF under grant CCR-9503601.
Supported in part by NSF under grants CCR-9396331 and CCR-9424164.
Preview
Unable to display preview. Download preview PDF.
References
S. Ben-David, B. Chor, O. Goldreich, and M. Luby. On the theory of average case complexity. J. Comp. Sys. Sci., 44:193–219, 1992.
A. Blass and Y. Gurevich. Randomizing reductions of decision problems (tentative title). Personal communication.
A. Blass and Y. Gurevich. Randomizing reductions of search problems. SIAM J. Comput., 22:949–975, 1993.
A. Blass and Y. Gurevich. Matrix decomposition is complete for the average case. SIAM J. Comput., 1994. to appear.
L. Berman and J. Hartmanis. On isomorphisms and density of NP and other complete sets. SIAM J. Comput., 6:305–321, 1977.
B. Bollobás. Random Graphs. Academic Press, 1985.
J.-Y. Cai and A. Selman. Average time complexity classes. Manuscript.
M. Goldmann, P. Grape, and J. Hastad. On average time hierarchies. Inf. Proc. Lett., 49:15–20, 1994.
Y. Gurevich and S. Shelah. Expected computation time for hamiltonian path problem. SIAM J. Comput., 16:486–502, 1987.
Y. Gurevich. Average case completeness. J. Comp. Sys. Sci., 42:346–398, 1991.
G. Hardy. Properties of logarithmico-exponential functions. Proc. London Math. Soc., (2),10:54–90, 1911.
J. Hartmanis and R. Sterns. On the computational complexity of algorithms. Trans. Amer. Math. Soc., 117:285–306, 1965.
R. Impagliazzo and L. Levin. No better ways to generate hard NP instances than picking uniformly at random. In Proc. 31st FOCS, pages 812–821, 1990.
R. Jain. The Art of Computer Systems Performance Analysis. John Wiley & Sons, 1991.
N. Johnson and S. Kotz. Distributions in Statistics-Discrete Distributions. John Wiley & Sons, 1969.
D. Johnson. The NP-completeness column: an ongoing guide. Journal of Algorithms, 5:284–299, 1984.
L. Levin. Average case complete problems. SIAM J. Comput., 15:285–286, 1986.
M. Li and P. Vitányi. Average case complexity under the universal distribution equals worst-case complexity. Inf. Proc. Lett., 42:145–149, 1992.
R. Reischuk and C. Schindelhauer. Precise average case complexity. STACS'93, vol 665 of Lect. Notes in Comp. Sci., pages 650–661, 1993.
R. Schuler and T. Yamakami. Structural average case complexity. FSTTCS'92, vol 652 of Lect. Notes in Comp. Sci., pages 128–139, 1992.
R. Venkatesan and L. Levin. Random instances of a graph coloring problem are hard. In Proc. 20th STOC, pages 217–222, 1988.
R. Venkatesan and S. Rajagopalan. Average case intractability of diophantine and matrix problems. In Proc. 24th STOC, pages 632–642, 1992.
J. Wang. Average-case completeness of a word problem for groups. In Proc. 27th STOC, 1995. To appear.
J. Wang and J. Belanger. On average-P vs. average-NP. In K. Ambos-Spies, S. Homer, and U. Schönings, editors, Complexity Theory—Current Research, pages 47–67. Cambridge University Press, 1993.
J. Wang and J. Belanger. On the NP-isomorphism problem with respect to random instances. J. Comp. Sys. Sci., 50:151–164, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Belanger, J., Wang, J. (1995). Rankable distributions do not provide harder instances than uniform distributions. In: Du, DZ., Li, M. (eds) Computing and Combinatorics. COCOON 1995. Lecture Notes in Computer Science, vol 959. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030860
Download citation
DOI: https://doi.org/10.1007/BFb0030860
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60216-3
Online ISBN: 978-3-540-44733-7
eBook Packages: Springer Book Archive