Skip to main content
SpringerLink
Log in

Unary Coded PSPACE-Complete Languages in ASPACE(loglog n)

  • Published:
Theory of Computing Systems Aims and scope Submit manuscript

Abstract

We study the class of binary coded versions of unary languages that can be accepted by alternating machines with loglog n space. We show that there exists a binary PSpace-complete language \(\mathcal {L}\) such that the unary coded version of \(\mathcal {L}\) is in ASpace(loglog n). Consequently, the standard translation between unary languages accepted with loglog n space and binary languages accepted with log n space works for alternating machines if and only ifP = PSpace. In general, if a binary language is accepted deterministically in 2n⋅nO(1) time and, simultaneously, in nO(1) space—which covers many PSpace-complete problems—then its unary coded version is accepted by an alternating Turing machine using an initially delimited worktape of size loglog n. This unexpected power follows from the fact that, with an auxiliary worktape of size O(loglog n) on a unary input 1n, an alternating machine can simulate a stack with log n bits, representing the contents of the stack by its input head position. The standard push/pop operations on the stack are implemented by moving the head along the input.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Notes

  1. XSpace(s(n)) ⊆ XSpacedm(s(n)) and these two space complexity classes are equal, if s(n) is fully space constructible. The notation “dm” derives from Demon Turing Machines [5].

  2. Throughout the paper, DTimeSpace(2n⋅nO(1),nO(1)) will be used as a shorthand notation representing \(\bigcup _{k^{\prime }\ge 0} \bigcup _{k^{\prime \prime }\ge 0}\)DTimeSpace\((2^{n}{\cdot }n^{k^{\prime }}\!,n^{k^{\prime \prime }})\). The same kind of notation will be applied to other complexity classes and other growth rates.

  3. This ensures that the same number cannot be represented by two different binary strings, using a different number of leading zeros. However, this way we exclude a binary representation of zero.

  4. This is based on the following facts. First, it is quite trivial to see that the machine can compute mi = (N + 1) mod pi for any given prime pi ≤ O(log N), by counting modulo pi while traversing across the unary input tape with ⊩ 1N ⊣. Thus, the machine has a read-only access to (m1,m2,m3,…), the first O(log N/ log log N) remainders in the Chinese Residual Representation of N + 1. With access to these remainders, the ℓ-th bit in the binary representation of N + 1 can be computed by using O(log log N) worktape space. This was shown in [7], building on ideas presented in [6, 9]. (See also [1, Theorem 4.5]. Related topics and some other applications can be found, among others, in [2, 8, 23].)

  5. If ℓ = 0,the loop is not iterated at all, i.e., the number of iterations is zero.

  6. A standard implementation by recursive calls of test_bit would require a stack forN + 2nested levels, each level with its own copy of the used variables, which would giveΩ(N ⋅ log ℓ)spacein total.

  7. For N < 2,we can take \(s \overset {\text {df.}}{=} 0\).Such short inputs can be accepted or rejected directly by a singleinitial scan across the input tape, according to their membership in\(\mathcal {L}_{2\rightarrow 1}\).

  8. Recall that A simulates an alternating auxiliary stack machine that—in our case—accepts the binarylanguage QBF2.This auxiliary stack machine keeps at most O(log m)symbols on the worktape and at most m bits in the stack.

  9. It is also quite easy to construct a polynomial-space algorithm for\(\textsc {QBF}_{2}^{\prime }\)directly, which we leave to a reader.

References

  1. Allender, E.: The division breakthroughs. Bull. Eur. Assoc. Theoret. Comput. Sci. 74, 61–77 (2001)

    MathSciNet  MATH  Google Scholar 

  2. Allender, E., Mix Barrington, D., Hesse, W.: Uniform circuits for division: consequences and problems. In: Proc. IEEE Conf. Comput. Complexity, pp. 150–59 (2001)

  3. Bach, E., Shallit, J.: Algorithmic Number Theory. MIT Press, Cambridge (1996)

  4. Chandra, A., Kozen, D., Stockmeyer, L.: Alternation. J. Assoc. Comput. Mach. 28, 114–33 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  5. Chang, R., Hartmanis, J., Ranjan, D.: Space bounded computations: review and new separation results. Theoret. Comput. Sci. 80, 289–302 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  6. Chiu, A.: Complexity of parallel arithmetic using the Chinese Remainder Representation. Master’s thesis, Univ. Wisconsin-Milwaukee (G. Davida, supervisor) (1995)

  7. Chiu, A., Davida, G., Litow, B.: Division in logspace-uniform N C 1. RAIRO Inform. Théor. Appl. 35, 259–75 (2001)

    Article  MATH  Google Scholar 

  8. Davida, G., Litow, B.: Fast parallel arithmetic via modular representation. SIAM J. Comput. 20, 756–65 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  9. Dietz, P., Macarie, I., Seiferas, J.: Bits and relative order from residues, space efficiently. Inform. Process. Lett. 50, 123–27 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  10. Dussart, P.: The k th prime is greater than k ⋅ (ln k + ln ln − 1) for k ≥ 2. Math. Comp. 68, 411–15 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  11. Emde Boas, P.: Machine models and simulations. In: Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Elsevier Science (1989)

  12. Geffert, V.: Nondeterministic computations in sublogarithmic space and space constructibility. SIAM J. Comput. 20, 484–98 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  13. Geffert, V.: Bridging across the log(n) space frontier. Inf. Comput. 142, 127–58 (1998)

    Article  MATH  Google Scholar 

  14. Geffert, V.: Alternating space is closed under complement and other simulations for sublogarithmic space. Inf. Comput. 253, 163–78 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  15. Geffert, V., Pardubská, D.: Unary coded NP-complete languages in ASPACE(log log n). Int. J. Found. Comput. Sci. 24, 1167–82 (2013)

    Article  MATH  Google Scholar 

  16. Hartmanis, J., Immerman, N., Sewelson, W.: Sparse sets in NP–P: EXPTIME versus NEXPTIME. Inf. Control. 65, 158–81 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  17. Hartmanis, J., Lewis, P. II, Stearns, R.: Hierarchies of memory limited computations. In: IEEE Conf. Record on Switching Circuit Theory and Logical Design, pp. 179–90 (1965)

  18. Hartmanis, J., Stearns, R.: On the computational complexity of algorithms. Trans. Am. Math. Soc. 117, 285–306 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  19. Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (2001)

    MATH  Google Scholar 

  20. Koblitz, N.: A Course in Number Theory and Cryptography, Graduate Texts in Mathematics, vol. 114. Springer, Berlin (1994)

    Book  Google Scholar 

  21. Ladner, R., Lipton, R., Stockmeyer, L.: Alternating pushdown and stack automata. SIAM J. Comput. 13, 135–55 (1984)

    Article  MathSciNet  MATH  Google Scholar 

  22. Liśkiewicz, M., Reischuk, R.: The sublogarithmic alternating space world. SIAM J. Comput. 25, 828–61 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  23. Macarie, I.: Space-efficient deterministic simulation of probabilistic automata. In: Proc. Symp. Theoret. Aspects Comput. Sci., Lect. Notes Comput. Sci., vol. 775, pp 109–22. Springer (1994)

  24. Meyer, A., Stockmeyer, L.: Word problems requiring exponential time. In: Proc. ACM Symp. Theory of Comput., pp 1–9 (1973)

  25. Savitch, W.: Relationships between nondeterministic and deterministic tape complexities. J. Comput. System Sci. 4, 177–92 (1970)

    Article  MathSciNet  MATH  Google Scholar 

  26. Stockmeyer, L.: The polynomial time hierarchy. Theoret. Comput. Sci. 3, 1–22 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  27. Sudborough, I.: Efficient algorithms for path system problems and applications to alternating and time-space complexity classes. In: Proc. IEEE Symp. Found. of Comput. Sci., pp 62–73 (1980)

  28. Szepietowski, A.: Turing Machines with Sublogarithmic Space, Lect. Notes Comput. Sci., vol. 843. Springer, Berlin (1994)

    Book  Google Scholar 

Download references

Acknowledgements

The author would like to thank the reviewers and the Program Committee of CSR 2017 for their suggestions, especially for sending a summary of PC discussions which gave inspiration for several improvements, and the anonymous reviewer of ToCS for helping to simplify the proof of Lemma 4.

Author information

Authors and Affiliations

  1. Department of Computer Science, P. J. Šafárik University, Jesenná 5, 04154, Košice, Slovakia

    Viliam Geffert

Authors
  1. Viliam Geffert
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Viliam Geffert.

Additional information

This article is part of the Topical Collection on Computer Science Symposium in Russia

A preliminary and weaker version of this work was presented at the 12th International Computer Science Symposium in Russia (CSR 2017), June 8–12, 2017, Kazan, Russia [Lect. Notes Comput. Sci., vol. 10304, pp. 141–53, Springer-Verlag (2017)].

Supported by the Slovak Grant Agency for Science under contract VEGA 1/0056/18 “Descriptional and Computational Complexity of Automata and Algorithms” and by the Slovak Research and Development Agency under contract APVV-15-0091 “Efficient Algorithms, Automata, and Data Structures”.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Geffert, V. Unary Coded PSPACE-Complete Languages in ASPACE(loglog n). Theory Comput Syst 63, 688–714 (2019). https://doi.org/10.1007/s00224-018-9844-7

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00224-018-9844-7

Keywords

Search

Navigation