Abstract
We study the reachability problems in various nondeterministic polynomial maps in \(\mathbb {Z}^n\). We prove that the reachability problem for very simple three-dimensional affine maps (with independent variables) is undecidable and is \(\texttt {PSPACE}\)-hard for two-dimensional quadratic maps. Then we show that the complexity of the reachability problem for maps without functions of the form \(\pm x+b\) is lower. In this case the reachability problem is \(\texttt {PSPACE}\)-complete in general, and \(\mathtt{NP}\)-hard for any fixed dimension. Finally we extend the model by considering maps as language acceptors and prove that the universality problem is undecidable for two-dimensional affine maps.
This work was supported by EPSRC grant “Reachability problems for words, matrices and maps” (EP/M00077X/1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
In [6], additive polynomials were called counter-like as they are similar to updates in counter machines and VASSs.
- 2.
Ackermann is a complexity class containing decision problems solvable in time bounded by Ackermann function, which is computable but not primitive-recursive.
- 3.
The automata of [9] were defined without final states but the weighted automaton with undecidable universality problem was constructed in such a way that a non-empty word can be accepted only in a single state.
References
Bell, P., Potapov, I.: On undecidability bounds for matrix decision problems. Theor. Comput. Sci. 391(1–2), 3–13 (2008)
Benedikt, M., Duff, T., Sharad, A., Worrell, J.: Polynomial automata: Zeroness and applications. In: LICS, pp. 1–12 (2017)
Blondel, V.D., Bournez, O., Koiran, P., Papadimitriou, C.H., Tsitsiklis, J.N.: Deciding stability and mortality of piecewise affine dynamical systems. Theor. Comput. Sci. 255(1–2), 687–696 (2001)
Blondel, V.D., Tsitsiklis, J.N.: A survey of computational complexity results in systems and control. Automatica 36(9), 1249–1274 (2000)
Collet, P., Eckmann, J.-P.: Iterated Maps on the Interval as Dynamical Systems. Birkhuser, Boston (2009)
Finkel, A., Göller, S., Haase, C.: Reachability in register machines with polynomial updates. In: Chatterjee, K., Sgall, J. (eds.) MFCS 2013. LNCS, vol. 8087, pp. 409–420. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40313-2_37
Frøyland, J.: Introduction to Chaos and Coherence. CRC Press, Boca Raton (1992)
Haase, C., Halfon, S.: Integer vector addition systems with states. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 112–124. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11439-2_9
Halava, V., Harju, T.: Undecidability in integer weighted finite automata. Fundam. Inform. 38(1–2), 189–200 (1999)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation. Addison-Wesley Publishing Company, Boston (1979)
Neary, T.: Undecidability in binary tag systems and the Post correspondence problem for five pairs of words. In: STACS 2015. LIPIcs, vol. 30, pp. 649–661 (2015)
Niskanen, R.: Reachability problem for polynomial iteration is PSPACE-complete. In: Hague, M., Potapov, I. (eds.) RP 2017. LNCS, vol. 10506, pp. 132–143. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67089-8_10
Reichert, J.: Reachability Games with Counters: Decidability and Algorithms. Doctoral thesis, Laboratoire Spécification et Vérification, ENS Cachan, France (2015)
Skolem, T.: Ein Verfahren zur Behandlung gewisser exponentialer Gleichungen und diophantischer Gleichungen. In: Skand. Mat. Kongr. Stockholm, vol. 8, pp. 163–188 (1934)
Vereshchagin, N.K.: The problem of appearance of a zero in a linear recurrence sequence. Mat. Zametki 38(2), 609–615 (1985)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Ko, SK., Niskanen, R., Potapov, I. (2018). Reachability Problems in Nondeterministic Polynomial Maps on the Integers. In: Hoshi, M., Seki, S. (eds) Developments in Language Theory. DLT 2018. Lecture Notes in Computer Science(), vol 11088. Springer, Cham. https://doi.org/10.1007/978-3-319-98654-8_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-98654-8_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-98653-1
Online ISBN: 978-3-319-98654-8
eBook Packages: Computer ScienceComputer Science (R0)