Undecidability bounds for integer matrices using Claus instances

International Journal of Foundations of Computer Science

Volumn 18, Issue 5, 2007, Pages 931-948

  Halava, Vesa ^a   Harju, Tero ^a   Hirvensalo, Mika ^a  

^a UNIVERSITY OF TURKU   (Finland)

Author keywords

Integer matrices; Post correspondence problem; Reachability problem; Undecidability

Indexed keywords

EID: 34748908972     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054107005066     Document Type: Article

References (20)

1. P. Bell and I. Potapov, On the membership of invertible diagonal matrices, DLT'05, Lecture Notes in Comput. Sci., 3572 (2005), 146-157.
2. P. Bell and I. Potapov, Lowering Undecidability Bounds for Decision Questions in Matrices, DLT'06, Lecture Notes in Comput. Sci. 4036(2006), 375-385.
3. P. Bell and I. Potapov, On undecidability bounds for matrix decision problems, manuscript.
4. V. D. Blondel and J. N. Tsitsiklis, When is a pair of matrices mortal?, Information Processing Lett. 63 (1997), 283-286.
5. J. Cassaigne, T. Harju, and J. Karhumäki, On the undecidability of freeness of matrix semigroups, Internat. J. Algebra Comput. 9 (1999), 295-305.
6. J. Cassaigne and J. Karhumäki, Examples of undecidable problems for 2-generator matrix semigroups, Theoret. Comput. Sci. 204 (1998), 29-34.
7. C. Choffrut and J. Karhumäki Some decision problems on integer matrices, Theor. Inform. Appl., 39(1) (2005), 125131.
8. V. Claus, Some remarks on PCP(k) and related problems. Bull, of the EATCS, 12 (1980), 54-61.
9. S. Gaubert and R. Katz, Reachability Problems for Products of Matrices in Semirings, Internat. J. Algebra Comp. 16(3) (2006), 603-627.
10. V. Halava and T. Harju, Mortality in matrix semigroups, Amer. Math. Monthly 108 (2001), 649-653.
11. V. Halava and T. Harju, On Markov's Undecidability Theorem for Integer Matrices, TUCS Tech. Report 758 (2006), submitted.
12. T. Harju and J. Karhumäki, Morphisms, In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, Vol. 1. pp. 439-510, Springer-Verlag, 1997.
13. D.A. Klarner, J.-C. Birget, and W. Satterfield, On the undecidability of the freeness of integer matrix semigroups, Internat. J. Algebra Comp. 1 (1991), 223-226.
14. R. C. Lyndon and P. E. Schupp, Combinatorial group theory, Springer-Verlag, 1977.
15. A. Markov, On certain insoluble problems concerning matrices, Doklady Akad. Nauk SSSR (N. S.), 57 (1947), 539-542.
16. Z. Manna, Mathematical Theory of Computations, McGraw-Hill, 1974.
17. Y. Matiyasevich and G. Sénizergues, Decision problems for semi-Thue systems with a few rules, Theoret. Comput. Sci. 330 (2005), 145-169.
18. M. S. Paterson, Unsolvability in3 × 3 matrices, Stud. Appl. Math. 49 (1970), 105-107.
19. E. Post, A variant of a recursively unsolvable problem, Bull. Amer. Math. Soc. 52 (1946), 264-268.
20. P. Schultz, Mortality of 2 &2 matrices, Amer. Math. Monthly 84 (1977), 463-464.