MRHeap.h

Go to the documentation of this file.

#pragma once
 
#include "MRMacros.h"
#include "MRVector.h"
#include "MRTimer.h"
#include <functional>
#include <algorithm>
 
namespace MR
{
 
 
template <typename T, typename I, typename P = std::less<T>>
class Heap
{
public:
    struct Element
    {
        I id;
        T val;
    };
 
    explicit Heap( size_t size, T def MR_LIFETIMEBOUND_NESTED = {}, P pred = {} );
    explicit Heap( std::vector<Element> elms MR_LIFETIMEBOUND_NESTED, P pred = {} );
    size_t size() const { return heap_.size(); }
    void resize( size_t size, T def MR_LIFETIME_CAPTURE_BY_NESTED(this) = {} );
    const T & value( I elemId ) const MR_LIFETIMEBOUND { return heap_[ id2PosInHeap_[ elemId ] ].val; }
    const Element & top() const MR_LIFETIMEBOUND { return heap_[0]; }
    void setValue( I elemId, const T & newVal MR_LIFETIME_CAPTURE_BY_NESTED(this) );
    void setLargerValue( I elemId, const T & newVal MR_LIFETIME_CAPTURE_BY_NESTED(this) );
    void setSmallerValue( I elemId, const T & newVal MR_LIFETIME_CAPTURE_BY_NESTED(this) );
    template<typename U>
    void increaseValue( I elemId, const U & inc ) { setLargerValue( elemId, value( elemId ) + inc ); }
    Element setTopValue( const T & newVal MR_LIFETIME_CAPTURE_BY_NESTED(this) ) { Element res = top(); setValue( res.id, newVal ); return res; }
 
private:
    bool less_( size_t posA, size_t posB ) const;
    void lift_( size_t pos, I elemId );
 
private:
    std::vector<Element> heap_;
    Vector<size_t, I> id2PosInHeap_;
    P pred_;
};
 
template <typename T, typename I, typename P>
Heap<T, I, P>::Heap( size_t size, T def, P pred )
    : heap_( size, { I(), def } )
    , id2PosInHeap_( size )
    , pred_( pred )
{
    MR_TIMER;
    for ( I i{ size_t( 0 ) }; i < size; ++i )
    {
        heap_[i].id = i;
        id2PosInHeap_[i] = i;
    }
}
 
template <typename T, typename I, typename P>
Heap<T, I, P>::Heap( std::vector<Element> elms, P pred )
    : heap_( std::move( elms ) )
    , id2PosInHeap_( heap_.size() )
    , pred_( pred )
{
    MR_TIMER;
    std::make_heap( heap_.begin(), heap_.end(), [this]( const Element & a, const Element & b )
        {
            if ( pred_( a.val, b.val ) )
                return true;
            if ( pred_( b.val, a.val ) )
                return false;
            return a.id < b.id;
        }
    );
    for ( size_t i = 0; i < heap_.size(); ++i )
        id2PosInHeap_[heap_[i].id] = i;
}
 
template <typename T, typename I, typename P>
void Heap<T, I, P>::resize( size_t size, T def )
{
    MR_TIMER;
    assert ( heap_.size() == id2PosInHeap_.size() );
    while ( heap_.size() < size )
    {
        I i( heap_.size() );
        heap_.push_back( { i, def } );
        id2PosInHeap_.push_back( i );
        lift_( i, i );
    }
    assert ( heap_.size() == id2PosInHeap_.size() );
}
 
template <typename T, typename I, typename P>
void Heap<T, I, P>::setValue( I elemId, const T & newVal )
{
    size_t pos = id2PosInHeap_[ elemId ];
    assert( heap_[pos].id == elemId );
    if ( pred_( newVal, heap_[pos].val ) )
        setSmallerValue( elemId, newVal );
    else if ( pred_( heap_[pos].val, newVal ) )
        setLargerValue( elemId, newVal );
}
 
template <typename T, typename I, typename P>
void Heap<T, I, P>::setLargerValue( I elemId, const T & newVal )
{
    size_t pos = id2PosInHeap_[ elemId ];
    assert( heap_[pos].id == elemId );
    assert( !( pred_( newVal, heap_[pos].val ) ) );
    heap_[pos].val = newVal;
    lift_( pos, elemId );
}
 
template <typename T, typename I, typename P>
void Heap<T, I, P>::lift_( size_t pos, I elemId )
{
    while ( pos > 0 )
    {
        size_t parentPos = ( pos - 1 ) / 2;
        if ( !( less_( parentPos, pos ) ) )
            break;
        auto parentId = heap_[parentPos].id;
        assert( id2PosInHeap_[parentId] == parentPos );
        std::swap( heap_[parentPos], heap_[pos] );
        std::swap( parentPos, pos );
        id2PosInHeap_[parentId] = parentPos;
    }
    id2PosInHeap_[elemId] = pos;
}
 
template <typename T, typename I, typename P>
void Heap<T, I, P>::setSmallerValue( I elemId, const T & newVal )
{
    size_t pos = id2PosInHeap_[ elemId ];
    assert( heap_[pos].id == elemId );
    assert( !( pred_( heap_[pos].val, newVal ) ) );
    heap_[pos].val = newVal;
    for (;;)
    {
        size_t child1Pos = 2 * pos + 1;
        if ( child1Pos >= heap_.size() )
            break;
        auto child1Id = heap_[child1Pos].id;
        size_t child2Pos = 2 * pos + 2;
        if ( child2Pos >= heap_.size() )
        {
            assert( id2PosInHeap_[child1Id] == child1Pos );
            if ( !( less_( child1Pos, pos ) ) )
            {
                std::swap( heap_[child1Pos], heap_[pos] );
                std::swap( child1Pos, pos );
                id2PosInHeap_[child1Id] = child1Pos;
            }
            break;
        }
        auto child2Id = heap_[child2Pos].id;
        if ( !( less_( child1Pos, pos ) ) && !( less_( child1Pos, child2Pos ) ) )
        {
            std::swap( heap_[child1Pos], heap_[pos] );
            std::swap( child1Pos, pos );
            id2PosInHeap_[child1Id] = child1Pos;
        }
        else if ( !( less_( child2Pos, pos ) ) )
        {
            assert( !( less_( child2Pos, child1Pos ) ) );
            std::swap( heap_[child2Pos], heap_[pos] );
            std::swap( child2Pos, pos );
            id2PosInHeap_[child2Id] = child2Pos;
        }
        else
        {
            assert( !( less_( pos, child1Pos ) ) );
            assert( !( less_( pos, child2Pos ) ) );
            break;
        }
    }
    id2PosInHeap_[elemId] = pos;
}
 
template <typename T, typename I, typename P>
inline bool Heap<T, I, P>::less_( size_t posA, size_t posB ) const
{
    const auto & a = heap_[posA];
    const auto & b = heap_[posB];
    if ( pred_( a.val, b.val ) )
        return true;
    if ( pred_( b.val, a.val ) )
        return false;
    return a.id < b.id;
}
 
 
}