Comprobar si un autómata es monótono es NP-completo