2006-08-02 今さら気づいたソートの話 数学 そうか、ヒープソートっていうのは、整列集合は全順序だと言ってるだけのことか。ヒープにおける各パスが部分集合における順序系列をなしていて、そのそれぞれに最小元があるんだ。