Supongo que te referís a un arreglo con tope ordenado.
De ser así tenés razón, cumple con los órdenes pero no con la eficiencia en el espacio de almacenamiento.
Hay otro detalle a tener en cuenta: dado que el borrado debe ser O(1) no basta sólo con tener un tope que indique el final del arreglo, sino que hay que tener otro índice que indique el inicio y además tratar al arreglo como "circular". De otra forma el BorrarMínimo no sería O(1), dado que habría que mover todos los demás elementos un lugar.
saludos