By the Nielsen-Thurston classification theorem, there are three types of elements in the mapping class group of a surface: periodic, reducible, and pseudo-Anosov. We describe an efficient (i.e., polynomial-time) algorithm to distinguish pseudo-Anosov mapping classes