Vector Ambiguity and Freeness Problems in SL(2, ℤ)

DOI10.3233/FI-2018-1719zbMath1406.20055MaRDI QIDQ4686534

Sang-Ki Ko, Igor Potapov

Publication date: 2 October 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

decidability; special linear group; matrix semigroup; \(\mathsf{NP}\)-completeness; vector ambiguity; vector freeness

Mathematics Subject Classification ID

20M20: Semigroups of transformations, relations, partitions, etc.

20M05: Free semigroups, generators and relations, word problems

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)