{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:50:41Z","timestamp":1764557441341},"reference-count":24,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2018,6]]},"abstract":"<jats:p>Piecewise affine maps (PAMs) are frequently used as a reference model to discuss the frontier between known and open questions about the decidability for reachability questions. In particular, the reachability problem for one-dimensional PAM is still an open problem, even if restricted to only two intervals. As the main contribution of this paper we introduce new techniques for solving reachability problems based on [Formula: see text]-adic norms and weights as well as showing decidability for two classes of maps. Then we show the connections between topological properties for PAM\u2019s orbits, reachability problems and representation of numbers in a rational base system. Finally we construct an example where the distribution properties of well studied sequences can be significantly disrupted by taking fractional parts after regular shifts. The study of such sequences could help with understanding similar sequences generated in PAMs or in well known Mahler\u2019s [Formula: see text] problem.<\/jats:p>","DOI":"10.1142\/s0129054118410046","type":"journal-article","created":{"date-parts":[[2018,6,29]],"date-time":"2018-06-29T07:14:49Z","timestamp":1530256489000},"page":"529-549","source":"Crossref","is-referenced-by-count":6,"title":["Reachability Problems for One-Dimensional Piecewise Affine Maps"],"prefix":"10.1142","volume":"29","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[{"name":"Ecole Polytechnique, Laboratoire d\u2019Informatique, 91128 Palaiseau Cedex, France"}]},{"given":"Oleksiy","family":"Kurganskyy","sequence":"additional","affiliation":[{"name":"Institute of Applied Mathematics and Mechanics, Donetsk, Ukraine"}]},{"given":"Igor","family":"Potapov","sequence":"additional","affiliation":[{"name":"University of Liverpool, Ashton Building, Ashton Street, Liverpool, UK"}]}],"member":"219","published-online":{"date-parts":[[2018,6,29]]},"reference":[{"key":"S0129054118410046BIB001","first-page":"633","volume":"2007","author":"Aswani A.","year":"2007","journal-title":"HSCC"},{"key":"S0129054118410046BIB002","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.11.006"},{"key":"S0129054118410046BIB003","first-page":"193","volume":"2002","author":"Asarin E.","year":"2002","journal-title":"CONCUR"},{"key":"S0129054118410046BIB004","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00228-B"},{"key":"S0129054118410046BIB006","first-page":"32","volume":"2014","author":"Bell Paul C.","year":"2014","journal-title":"RP"},{"key":"S0129054118410046BIB007","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.10.025"},{"issue":"1","key":"S0129054118410046BIB008","doi-asserted-by":"crossref","first-page":"19","DOI":"10.3233\/COM-150032","volume":"4","author":"Ben-Amram Amir M.","year":"2015","journal-title":"Computability"},{"key":"S0129054118410046BIB009","doi-asserted-by":"publisher","DOI":"10.1080\/14689360412331304309"},{"key":"S0129054118410046BIB010","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00399-6"},{"key":"S0129054118410046BIB011","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1737"},{"key":"S0129054118410046BIB012","first-page":"750","volume":"2015","author":"Boker Udi","year":"2015","journal-title":"LICS"},{"key":"S0129054118410046BIB013","first-page":"20","volume":"2014","author":"Bazille Hugo","year":"2014","journal-title":"RP"},{"key":"S0129054118410046BIB014","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196799000199"},{"key":"S0129054118410046BIB015","doi-asserted-by":"publisher","DOI":"10.1088\/0951-7715\/13\/4\/310"},{"key":"S0129054118410046BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90229-1"},{"issue":"2","key":"S0129054118410046BIB017","first-page":"351","volume":"4","author":"Koiran P.","year":"2001","journal-title":"Discrete Mathematics and Theor. Computer Science"},{"key":"S0129054118410046BIB018","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(00)00050-9"},{"key":"S0129054118410046BIB019","doi-asserted-by":"publisher","DOI":"10.1137\/09077864X"},{"key":"S0129054118410046BIB021","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054108006054"},{"key":"S0129054118410046BIB022","first-page":"169","volume":"3699","author":"Kurganskyy O.","year":"2005","journal-title":"LNCS"},{"key":"S0129054118410046BIB023","doi-asserted-by":"publisher","DOI":"10.1007\/BF02020331"},{"key":"S0129054118410046BIB027","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.1015001"},{"key":"S0129054118410046BIB028","doi-asserted-by":"publisher","DOI":"10.2307\/3647804"},{"key":"S0129054118410046BIB030","first-page":"957","volume":"2015","author":"Ouaknine J.","year":"2015","journal-title":"SODA"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054118410046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,4]],"date-time":"2020-11-04T17:37:31Z","timestamp":1604511451000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054118410046"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":24,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2018,6,29]]},"published-print":{"date-parts":[[2018,6]]}},"alternative-id":["10.1142\/S0129054118410046"],"URL":"https:\/\/doi.org\/10.1142\/s0129054118410046","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}