Advertisement

Closure and Nonclosure Properties of the Compressible and Rankable Sets

  • Jackson AbascalEmail author
  • Lane A. Hemaspaandra
  • Shir Maimon
  • Daniel Rubery
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11417)

Abstract

The rankable and compressible sets have been studied for more than a quarter of a century, ever since Allender [2] and Goldberg and Sipser [7] introduced the formal study of polynomial-time ranking. Yet even after all that time, whether the rankable and compressible sets are closed under the most important boolean and other operations remains essentially unexplored. The present paper studies these questions for both polynomial-time and recursion-theoretic compression and ranking, and for almost every case arrives at a Closed, a Not-Closed, or a Closed-Iff-Well-Known-Complexity-Classes-Collapse result for the given operation. Even though compression and ranking classes are capturing something quite natural about the structure of sets, it turns out that they are quite fragile with respect to closure properties, and many fail to possess even the most basic of closure properties. For example, we show that with respect to the join (aka disjoint union) operation: the P-rankable sets are not closed, whether the semistrongly P-rankable sets are closed is closely linked to whether \(\mathrm{P}= \text {UP}\cap \text {coUP}\), and the strongly P-rankable sets are closed.

Keywords

Complexity theory Closure properties Compression Ranking Computability 

Notes

Acknowledgments

We thank the anonymous referees for helpful comments.

References

  1. 1.
    Abascal, J., Hemaspaandra, L., Maimon, S., Rubery, D.: Closure and nonclosure properties of the compressible and rankable sets. Technical report. arXiv:1611.01696 [cs.LO], Computing Research Repository, arXiv.org/corr/, November 2016. Revised, October 2018
  2. 2.
    Allender, E.: Invertible functions. Ph.D. thesis, Georgia Institute of Technology (1985)Google Scholar
  3. 3.
    Álvarez, C., Jenner, B.: A very hard log-space counting class. Theoret. Comput. Sci. 107, 3–30 (1993)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Balcázar, J., Book, R., Schöning, U.: Sparse sets, lowness and highness. SIAM J. Comput. 15(3), 739–746 (1986)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Balcázar, J., Díaz, J., Gabarró, J.: Structural Complexity I. EATCS Texts in Theoretical Computer Science, 2nd edn. Springer, Heidelberg (1995).  https://doi.org/10.1007/978-3-642-79235-9CrossRefzbMATHGoogle Scholar
  6. 6.
    Bertoni, A., Goldwurm, M., Sabadini, N.: The complexity of computing the number of strings of given length in context-free languages. Theoret. Comput. Sci. 86(2), 325–342 (1991)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Goldberg, A., Sipser, M.: Compression and ranking. SIAM J. Comput. 20(3), 524–536 (1991)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Goldsmith, J., Hemachandra, L., Kunen, K.: Polynomial-time compression. Comput. Complex. 2(1), 18–39 (1992)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Goldsmith, J., Homer, S.: Scalability and the isomorphism problem. Inf. Process. Lett. 57(3), 137–143 (1996)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Hemachandra, L., Rudich, S.: On the complexity of ranking. J. Comput. Syst. Sci. 41(2), 251–271 (1990)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Hemaspaandra, L., Jiang, Z., Rothe, J., Watanabe, O.: Boolean operations, joins, and the extended low hierarchy. Theoret. Comput. Sci. 205(1–2), 317–327 (1998)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Hemaspaandra, L., Rubery, D.: Recursion-theoretic ranking and compression. J. Comput. Syst. Sci. 101, 31–41 (2019)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Hemaspaandra, L., Zaki, M., Zimand, M.: Polynomial-time semi-rankable sets. J. Comput. Inf. 2(1), 50–67 (1996). Special Issue: Proceedings of the 8th International Conference on Computing and InformationMathSciNetGoogle Scholar
  14. 14.
    Huynh, D.: The complexity of ranking simple languages. Math. Syst. Theory 23(1), 1–20 (1990)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Rogers Jr., H.: The Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)zbMATHGoogle Scholar
  16. 16.
    Schöning, U. (ed.): Complexity and Structure. LNCS, vol. 211. Springer, Heidelberg (1986).  https://doi.org/10.1007/3-540-16079-5CrossRefzbMATHGoogle Scholar
  17. 17.
    Soare, R.: Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Springer, Heidelberg (1987). Perspectives in Mathematical LogicCrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Jackson Abascal
    • 1
    Email author
  • Lane A. Hemaspaandra
    • 1
  • Shir Maimon
    • 1
  • Daniel Rubery
    • 1
  1. 1.Department of Computer ScienceUniversity of RochesterRochesterUSA

Personalised recommendations