Reinventarlo

¿Dónde está el segundo menor?

El mínimo está en la raíz. Con lo que dice el invariante, ¿dónde puede estar el segundo menor?

En un min-heap, ¿dónde puede estar el segundo menor?En la posición 1 o en la 2, uno de los dos hijos de la raízSiempre en la posición 1, el hijo izquierdo de la raízEn cualquier posición menos la 0, porque el invariante no dice másEn la hoja más a la izquierda, como en un árbol de búsqueda