Considere as afirmativas abaixo sobre programação orientada a objetos.

I - Sobrecarga permite que se tenham diversos métodos de mesmo nome com parâmetros de entrada diferentes em uma mesma classe.

II - Métodos construtores são utilizados para instanciar uma determinada classe. Toda classe deve ter um, mas este não necessariamente precisa ser declarado pelo desenvolvedor.

III - Polimorfismo permite que os mesmos atributos e objetos possam ser utilizados por diferentes objetos de formas distintas e com implementações lógicas diferentes.

Quais estão corretas?