Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

The Complexity and Distribution of Hard Problems

Published: 01 April 1995 Publication History
  • Get Citation Alerts
  • Abstract

    Measure-theoretic aspects of the $\leq^{\rm P}_{\rm m}$-reducibility structure of the exponential time complexity classes E=DTIME($2^{\rm linear}$) and $E_{2}={\rm DTIME}(2^{\rm polynomial})$ are investigated. Particular attention is given to the complexity (measured by the size of complexity cores) and distribution (abundance in the sense of measure) of languages that are $\leq^{\rm P}_{\rm m}$-hard for E and other complexity classes.
    Tight upper and lower bounds on the size of complexity cores of hard languages are derived. The upper bound says that the $\leq^{\rm P}_{\rm m}$-hard languages for E are unusually simple , in the sense that they have smaller complexity cores than most languages in E. It follows that the $\leq^{\rm P}_{\rm m}$-complete languages for E form a measure 0 subset of E (and similarly in $E_2$).
    This latter fact is seen to be a special case of a more general theorem, namely, that {\it every} \pmr-degree (e.g., the degree of all \pmr-complete languages for NP) has measure 0 in E and in \Ep.

    Cited By

    View all
    • (2010)Weak completeness notions for exponential timeProceedings of the 37th international colloquium conference on Automata, languages and programming10.5555/1880918.1880974(503-514)Online publication date: 6-Jul-2010
    • (2006)Two open problems on effective dimensionProceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers10.1007/11780342_37(353-359)Online publication date: 30-Jun-2006
    • (2005)SIGACT news complexity theory column 48ACM SIGACT News10.1145/1086649.108666236:3(24-38)Online publication date: 1-Sep-2005
    • Show More Cited By

    Index Terms

    1. The Complexity and Distribution of Hard Problems

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image SIAM Journal on Computing
      SIAM Journal on Computing  Volume 24, Issue 2
      April 1995
      208 pages
      ISSN:0097-5397
      • Editor:
      • Z. Galil
      Issue’s Table of Contents

      Publisher

      Society for Industrial and Applied Mathematics

      United States

      Publication History

      Published: 01 April 1995

      Author Tags

      1. complete problems
      2. complexity classes
      3. complexitycores
      4. computational complexity
      5. polynomial reducibilities
      6. resource-bounded measure

      Qualifiers

      • Article

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)0
      • Downloads (Last 6 weeks)0
      Reflects downloads up to 10 Aug 2024

      Other Metrics

      Citations

      Cited By

      View all
      • (2010)Weak completeness notions for exponential timeProceedings of the 37th international colloquium conference on Automata, languages and programming10.5555/1880918.1880974(503-514)Online publication date: 6-Jul-2010
      • (2006)Two open problems on effective dimensionProceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers10.1007/11780342_37(353-359)Online publication date: 30-Jun-2006
      • (2005)SIGACT news complexity theory column 48ACM SIGACT News10.1145/1086649.108666236:3(24-38)Online publication date: 1-Sep-2005
      • (2005)Autoreducibility, mitoticity, and immunityProceedings of the 30th international conference on Mathematical Foundations of Computer Science10.1007/11549345_34(387-398)Online publication date: 29-Aug-2005
      • (2004)The size of SPPTheoretical Computer Science10.1016/j.tcs.2004.02.029320:2-3(495-503)Online publication date: 14-Jun-2004
      • (2004)A note on measuring in PTheoretical Computer Science10.1016/j.tcs.2004.01.037320:2-3(229-246)Online publication date: 14-Jun-2004
      • (2003)Almost complete setsTheoretical Computer Science10.5555/2780722.2781482306:1(177-194)Online publication date: 5-Sep-2003
      • (2000)Randomness and completeness in computational complexityundefinedOnline publication date: 1-Jan-2000
      • (1999)Hard Sets Are Hard to FindJournal of Computer and System Sciences10.1006/jcss.1999.165059:2(327-345)Online publication date: 1-Oct-1999
      • (1997)An Excursion to the Kolmogorov Random StringsJournal of Computer and System Sciences10.1006/jcss.1997.148454:3(393-399)Online publication date: 1-Jun-1997
      • Show More Cited By

      View Options

      View options

      Get Access

      Login options

      Media

      Figures

      Other

      Tables

      Share

      Share

      Share this Publication link

      Share on social media