arXiv subjects

Alexei Miasnikov

Publications and source records attributed to Alexei Miasnikov.

38 records · Page 3Linked to original sources

arXiv2005

The halting problem is decidable on a set of asymptotic probability one

The halting problem for Turing machines is decidable on a set of asymptotic probability one. Specifically, there is a set B of Turing machine programs such that (i) B has asymptotic probability one, so that as the number of states n increases, the proportion of all n-state programs that are in B goes to one; (ii) B is polynomial time decidable; and (iii) the halting problem H intersect B is polynomial time decidable. The proof is sensitive to the particular computational model.

math.LO↗

arXiv2005

Isomorphism problem for finitely generated fully residually free groups

We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G, and obtain a structure theorem for the group of outer automorphisms Out(G).

math.GR↗