7 research outputs found
Vector Reachability Problem in
The decision problems on matrices were intensively studied for many decades
as matrix products play an essential role in the representation of various
computational processes. However, many computational problems for matrix
semigroups are inherently difficult to solve even for problems in low
dimensions and most matrix semigroup problems become undecidable in general
starting from dimension three or four.
This paper solves two open problems about the decidability of the vector
reachability problem over a finitely generated semigroup of matrices from
and the point to point reachability (over rational
numbers) for fractional linear transformations, where associated matrices are
from . The approach to solving reachability problems
is based on the characterization of reachability paths between points which is
followed by the translation of numerical problems on matrices into
computational and combinatorial problems on words and formal languages. We also
give a geometric interpretation of reachability paths and extend the
decidability results to matrix products represented by arbitrary labelled
directed graphs. Finally, we will use this technique to prove that a special
case of the scalar reachability problem is decidable
Decidability of the Membership Problem for integer matrices
The main result of this paper is the decidability of the membership problem
for nonsingular integer matrices. Namely, we will construct the
first algorithm that for any nonsingular integer matrices
and decides whether belongs to the semigroup generated
by .
Our algorithm relies on a translation of the numerical problem on matrices
into combinatorial problems on words. It also makes use of some algebraical
properties of well-known subgroups of and various
new techniques and constructions that help to limit an infinite number of
possibilities by reducing them to the membership problem for regular languages
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games
The paper is devoted to several infinite-state Attacker–Defender games with reachability objectives. We prove the undecidability of checking for the existence of a winning strategy in several low-dimensional mathematical games including vector reachability games, word games and braid games. To prove these results, we consider a model of weighted automata operating on infinite words and prove that the universality problem is undecidable for this new class of weighted automata. We show that the universality problem is undecidable by using a non-standard encoding of the infinite Post correspondence problem