Hola Agustín,
en la parte a) sin suponer que removerMinimo es O(1), sabemos que el for se realiza n/2 veces siempre, por lo que resulta que T(n) es Ω(n), pero no podemos afirmar nada sobre O(n). Si removerMinimo fuera O(1) podríamos afirmar que T(n) es O(n) y por lo tanto también Θ(n).
en la parte a) sin suponer que removerMinimo es O(1), sabemos que el for se realiza n/2 veces siempre, por lo que resulta que T(n) es Ω(n), pero no podemos afirmar nada sobre O(n). Si removerMinimo fuera O(1) podríamos afirmar que T(n) es O(n) y por lo tanto también Θ(n).
En la parte b) asumiendo que removerMinimo es O(n), como hay Θ(n) iteraciones sólo podemos afirmar que T(n) es O(n^2).
En la parte c) T(n) es O(n log n).
saludos
saludos