Thurston equivalence to a rational map is decidable
arXiv:1009.5713
Abstract
We demonstrate that the question whether or not a given postcritically finite topological ramified covering map of the 2-sphere is Thurston equivalent to a rational map is algorithmically decidable.