mr.h

Go to the documentation of this file.

/*  This file is part of libDAI - http://www.libdai.org/
 *
 *  Copyright (c) 2006-2011, The libDAI authors. All rights reserved.
 *
 *  Use of this source code is governed by a BSD-style license that can be found in the LICENSE file.
 */




#ifndef __defined_libdai_mr_h
#define __defined_libdai_mr_h


#include <dai/dai_config.h>
#ifdef DAI_WITH_MR


#include <vector>
#include <string>
#include <dai/factorgraph.h>
#include <dai/daialg.h>
#include <dai/enum.h>
#include <dai/properties.h>
#include <dai/exceptions.h>
#include <dai/graph.h>
#include <boost/dynamic_bitset.hpp>


namespace dai {



class MR : public DAIAlgFG {
    private:
        bool supported;

        GraphAL G;

        std::vector<std::vector<Real> >                 tJ;
        std::vector<Real>                               theta;

        std::vector<std::vector<Real> >                 M;
        std::vector<std::vector<std::vector<Real> > >   cors;

        typedef boost::dynamic_bitset<> sub_nb;
        
        std::vector<Real> Mag;
        
        Real _maxdiff;
        
        size_t _iters;

    public:
        struct Properties {

            DAI_ENUM(UpdateType,FULL,LINEAR);


            DAI_ENUM(InitType,RESPPROP,CLAMPING,EXACT);

            size_t verbose;

            Real tol;

            UpdateType updates;

            InitType inits;
        } props;

    public:
        MR() : DAIAlgFG(), supported(), G(), tJ(), theta(), M(), cors(), Mag(), _maxdiff(), _iters(), props() {}


        MR( const FactorGraph &fg, const PropertySet &opts );



        virtual MR* clone() const { return new MR(*this); }
        virtual MR* construct( const FactorGraph &fg, const PropertySet &opts ) const { return new MR( fg, opts ); }
        virtual std::string name() const { return "MR"; }
        virtual Factor belief( const Var &v ) const { return beliefV( findVar( v ) ); }
        virtual Factor belief( const VarSet &/*vs*/ ) const;
        virtual Factor beliefV( size_t i ) const;
        virtual std::vector<Factor> beliefs() const;
        virtual Real logZ() const { DAI_THROW(NOT_IMPLEMENTED); return 0.0; }
        virtual void init() {}
        virtual void init( const VarSet &/*ns*/ ) { DAI_THROW(NOT_IMPLEMENTED); }
        virtual Real run();
        virtual Real maxDiff() const { return _maxdiff; }
        virtual size_t Iterations() const { return _iters; }
        virtual void setProperties( const PropertySet &opts );
        virtual PropertySet getProperties() const;
        virtual std::string printProperties() const;

    private:
        Real calcCavityCorrelations();
        
        void propagateCavityFields();
        
        void calcMagnetizations();


        Real _tJ(size_t i, sub_nb A);
        
        Real Omega(size_t i, size_t _j, size_t _l);
        

        Real T(size_t i, sub_nb A);
        
        Real T(size_t i, size_t _j);
        
        Real Gamma(size_t i, size_t _j, size_t _l1, size_t _l2);
        
        Real Gamma(size_t i, size_t _l1, size_t _l2);
        

        Real appM(size_t i, sub_nb A);
        

        void sum_subs(size_t j, sub_nb A, Real *sum_even, Real *sum_odd);
};


} // end of namespace dai


#endif


#endif