std::pop_heap
提供: cppreference.com
ヘッダ <algorithm> で定義 | ||
template<class RandomIt > void pop_heap( RandomIt first, RandomIt last ); | (1) | |
template<class RandomIt, class Compare > void pop_heap( RandomIt first, RandomIt last, Compare comp ); | (2) | |
位置 first の値と位置 last-1 の値を入れ替え、部分範囲 [first, last-1) を最大ヒープにします。 これは範囲 [first, last) によって定義されるヒープから最初の (最大の) 要素を削除する効果を持ちます。
関数の1つめのバージョンは要素を比較するために operator< を使用し、2つめのバージョンは指定された比較関数 comp を使用します。
目次 |
[編集]引数
| first, last | - | 変更する有効な空でないヒープを定義する要素の範囲 |
| comp | - | 第1引数が第2引数より小さい場合に true を返す、比較関数オブジェクト (Compare の要件を満たすオブジェクト)。比較関数のシグネチャは以下と同等であるべきです。 bool cmp(const Type1 &a, const Type2 &b); シグネチャが const& を持つ必要はありませんが、関数オブジェクトは渡されたオブジェクトを変更してはなりません。 |
| 型の要件 | ||
-RandomIt は ValueSwappable および RandomAccessIterator の要件を満たさなければなりません。 | ||
-RandomIt を逆参照した型は MoveAssignable および MoveConstructible の要件を満たさなければなりません。 | ||
[編集]戻り値
(なし)
[編集]計算量
多くとも 2×log(N) 回の比較、ただし N=std::distance(first, last) です。
[編集]ノート
最大ヒープは以下の性質を持つ要素の範囲 [f,l) です。
N = l - fとしたとき、すべての0 < i < Nについてf[floor(が
)]i-1 2 f[i]より小さくない。- std::push_heap() を使用して新しい要素を追加できる。
- std::pop_heap() を使用して最初の要素を削除できる。
[編集]例
Run this code
#include <iostream>#include <algorithm>#include <vector> int main(){std::vector<int> v {3, 1, 4, 1, 5, 9}; std::make_heap(v.begin(), v.end()); std::cout<<"v: ";for(auto i : v)std::cout<< i <<' ';std::cout<<'\n'; std::pop_heap(v.begin(), v.end());// moves the largest to the end std::cout<<"after pop_heap: ";for(auto i : v)std::cout<< i <<' ';std::cout<<'\n'; int largest = v.back(); v.pop_back();// actually removes the largest elementstd::cout<<"largest element: "<< largest <<'\n'; std::cout<<"heap without largest: ";for(auto i : v)std::cout<< i <<' ';std::cout<<'\n';}
出力:
v: 9 5 4 1 1 3 after pop_heap: 5 3 4 1 1 9 largest element: 9 heap without largest: 5 3 4 1 1
[編集]関連項目
| 最大ヒープに要素を追加します (関数テンプレート) | |
| 指定範囲の要素から最大ヒープを作成します (関数テンプレート) |
