发送短信: Reachability problems in nondeterministic polynomial maps on the integers