An optimal algorithm for deleting the root of a heap

From MaRDI portal
Publication:750135