部分情報下での効率的な並べ替え

部分情報下での並べ替えアルゴリズムを提案し、その最適性を示す。