// @(#)root/mathcore:$Id: Minimizer.h 26866 2008-12-12 10:50:07Z moneta $ // Author: L. Moneta Fri Sep 22 15:06:47 2006 /********************************************************************** * * * Copyright (c) 2006 LCG ROOT Math Team, CERN/PH-SFT * * * * * **********************************************************************/ // Header file for class Minimizer #ifndef ROOT_Math_Minimizer #define ROOT_Math_Minimizer #ifndef ROOT_Math_IFunction #include "Math/IFunction.h" #endif // #ifndef ROOT_Math_Util // #include "Math/Util.h" // #endif #include #include #include #include //#define DEBUG #ifdef DEBUG #include #endif namespace ROOT { namespace Math { /** @defgroup MultiMin Multi-dimensional Minimization @ingroup NumAlgo Classes implementing algorithms for multi-dimensional minimization */ //_______________________________________________________________________________ /** Abstract Minimizer class, defining the interface for the various minimizer (like Minuit2, Minuit, GSL, etc..) Plug-in's exist in ROOT to be able to instantiate the derived classes like ROOT::Math::GSLMinimizer or ROOT::Math::Minuit2Minimizer via the plug-in manager. Provides interface for setting the function to be minimized. The function must implemente the multi-dimensional generic interface ROOT::Math::IBaseFunctionMultiDim. If the function provides gradient calculation (implements the ROOT::Math::IGradientFunctionMultiDim interface) this will be used by the Minimizer. It Defines also interface for setting the initial values for the function variables (which are the parameters in of the model function in case of solving for fitting) and especifying their limits. It defines the interface to set and retrieve basic minimization parameters (for specific Minimizer parameters one must use the derived classes). Then it defines the interface to retrieve the result of minimization ( minimum X values, function value, gradient, error on the mimnimum, etc...) @ingroup MultiMin */ class Minimizer { public: /** Default constructor */ Minimizer () : fValidError(false), #ifndef DEBUG fDebug(0), #else fDebug(3), #endif fStrategy(1), fStatus(-1), fMaxCalls(0), fMaxIter(0), fTol(1.E-6), fUp(1.) {} /** Destructor (no operations) */ virtual ~Minimizer () {} private: // usually copying is non trivial, so we make this unaccessible /** Copy constructor */ Minimizer(const Minimizer &) {} /** Assignment operator */ Minimizer & operator = (const Minimizer & rhs) { if (this == &rhs) return *this; // time saving self-test return *this; } public: /// reset for consecutive minimizations - implement if needed virtual void Clear() {} /// set the function to minimize virtual void SetFunction(const ROOT::Math::IMultiGenFunction & func) = 0; /// set a function to minimize using gradient virtual void SetFunction(const ROOT::Math::IMultiGradFunction & func) { SetFunction(static_cast (func)); } /// add variables . Return number of variables succesfully added template int SetVariables(const VariableIterator & begin, const VariableIterator & end) { unsigned int ivar = 0; for ( VariableIterator vitr = begin; vitr != end; ++vitr) { #ifdef DEBUG std::cout << "adding variable " << ivar << " " << vitr->Name(); if (vitr->IsDoubleBound() ) std::cout << " bounded to [ " << vitr->LowerLimit() << " , " << vitr->UpperLimit() << " ] "; std::cout << std::endl; #endif bool iret = false; if (vitr->IsFixed() ) iret = SetFixedVariable(ivar, vitr->Name(), vitr->Value() ); else if (vitr->IsDoubleBound() ) iret = SetLimitedVariable(ivar, vitr->Name(), vitr->Value(), vitr->StepSize(), vitr->LowerLimit(), vitr->UpperLimit() ); else if (vitr->HasLowerLimit() ) iret = SetLowerLimitedVariable(ivar, vitr->Name(), vitr->Value(), vitr->StepSize(), vitr->LowerLimit() ); else if (vitr->HasUpperLimit() ) iret = SetUpperLimitedVariable(ivar, vitr->Name(), vitr->Value(), vitr->StepSize(), vitr->UpperLimit() ); else iret = SetVariable( ivar, vitr->Name(), vitr->Value(), vitr->StepSize() ); if (iret) ivar++; #ifdef DEBUG if (iret) std::cout << "Added variable " << vitr->Name() << " val = " << vitr->Value() << " step " << vitr->StepSize() << std::endl; else std::cout << "Failed to Add variable " << vitr->Name() << std::endl; #endif } return ivar; } /// set free variable virtual bool SetVariable(unsigned int ivar, const std::string & name, double val, double step) = 0; /// set lower limit variable (override if minimizer supports them ) virtual bool SetLowerLimitedVariable(unsigned int ivar , const std::string & name , double val , double step , double lower ) { return SetLimitedVariable(ivar, name, val, step, lower, std::numeric_limits::infinity() ); } /// set upper limit variable (override if minimizer supports them ) virtual bool SetUpperLimitedVariable(unsigned int ivar , const std::string & name , double val , double step , double upper ) { return SetLimitedVariable(ivar, name, val, step, - std::numeric_limits::infinity(), upper ); } /// set upper/lower limited variable (override if minimizer supports them ) virtual bool SetLimitedVariable(unsigned int ivar , const std::string & name , double val , double step , double /* lower */, double /* upper */) { return SetVariable(ivar, name, val, step ); } /// set fixed variable (override if minimizer supports them ) virtual bool SetFixedVariable(unsigned int ivar , const std::string & name , double val ) { return SetLimitedVariable(ivar, name, val, 0., val, val); } /// set the value of an existing variable virtual bool SetVariableValue(unsigned int , double ) { return false; } /// set the values of all existing variables (array must be dimensioned to the size of the existing parameters) virtual bool SetVariableValues(const double * x) { bool ret = true; unsigned int i = 0; while ( i <= NDim() && ret) { SetVariableValue(i,x[i] ); i++; } return ret; } /// method to perform the minimization virtual bool Minimize() = 0; /// return minimum function value virtual double MinValue() const = 0; /// return expected distance reached from the minimum virtual double Edm() const = 0; /// return pointer to X values at the minimum virtual const double * X() const = 0; /// return pointer to gradient values at the minimum virtual const double * MinGradient() const = 0; /// number of function calls to reach the minimum virtual unsigned int NCalls() const = 0; /// this is <= Function().NDim() which is the total /// number of variables (free+ constrained ones) virtual unsigned int NDim() const = 0; /// number of free variables (real dimension of the problem) /// this is <= Function().NDim() which is the total virtual unsigned int NFree() const = 0; /// minimizer provides error and error matrix virtual bool ProvidesError() const = 0; /// return errors at the minimum virtual const double * Errors() const = 0; /** return covariance matrices elements if the variable is fixed the matrix is zero The ordering of the variables is the same as in errors */ virtual double CovMatrix(unsigned int i, unsigned int j) const = 0; /** return correlation coefficient between variable i and j. If the variable is fixed or const the return value is zero */ virtual double Correlation(unsigned int i, unsigned int j ) const { double tmp = CovMatrix(i,i) * CovMatrix(j,j); return ( tmp < 0) ? 0 : CovMatrix(i,j) / std::sqrt( tmp ); } /** return global correlation coefficient for variable i This is a number between zero and one which gives the correlation between the i-th parameter and that linear combination of all other parameters which is most strongly correlated with i. Minimizer must overload method if implemented */ virtual double GlobalCC(unsigned int ) const { return -1; } /** minos error for variable i, return false if Minos failed or not supported */ virtual bool GetMinosError(unsigned int /* i */, double & errLow, double & errUp) { errLow = 0; errUp = 0; return false; } /** scan function minimum for variable i. Variable and funciton must be set before using Scan Return false if an error or if minimizer does not support this funcitonality */ virtual bool Scan(unsigned int /* i */, unsigned int & /* nstep */, double * /* x */, double * /* y */, double /*xmin */ = 0, double /*xmax*/ = 0) { return false; } /** find the contour points (xi,xj) of the function for parameter i and j around the minimum The contour will be find for value of the function = Min + ErrorUp(); */ virtual bool Contour(unsigned int /* i */, unsigned int /* j */, unsigned int &/* np */, double * /* xi */, double * /* xj */) { return false; } /// return reference to the objective function ///virtual const ROOT::Math::IGenFunction & Function() const = 0; /// print the result according to set level (implemented for TMinuit for mantaining Minuit-style printing) virtual void PrintResults() {} // get name of variables (override if minimizer support storing of variable names) //virtual std::string VariableName(unsigned int ivar) const { return "x_" + ROOT::Math::Util::ToString(ivar); } /** minimizer configuration parameters **/ /// set print level int PrintLevel() const { return fDebug; } /// max number of function calls unsigned int MaxFunctionCalls() { return fMaxCalls; } /// max iterations unsigned int MaxIterations() { return fMaxIter; } /// absolute tolerance double Tolerance() const { return fTol; } /// strategy int Strategy() const { return fStrategy; } /// status code of minimizer int Status() const { return fStatus; } /// return the statistical scale used for calculate the error /// is typically 1 for Chi2 and 0.5 for likelihood minimization double ErrorDef() const { return fUp; } ///return true if Minimizer has performed a detailed error validation (e.g. run Hesse for Minuit) bool IsValidError() const { return fValidError; } /// set print level void SetPrintLevel(int level) { fDebug = level; } ///set maximum of function calls void SetMaxFunctionCalls(unsigned int maxfcn) { if (maxfcn > 0) fMaxCalls = maxfcn; } /// set maximum iterations (one iteration can have many function calls) void SetMaxIterations(unsigned int maxiter) { if (maxiter > 0) fMaxIter = maxiter; } /// set the tolerance void SetTolerance(double tol) { fTol = tol; } ///set the strategy void SetStrategy(int strategyLevel) { fStrategy = strategyLevel; } /// set scale for calculating the errors void SetErrorDef(double up) { fUp = up; } /// flag to check if minimizer needs to perform accurate error analysis (e.g. run Hesse for Minuit) void SetValidError(bool on) { fValidError = on; } protected: //private: // keep protected to be accessible by the derived classes bool fValidError; // flag to control if errors have been validated (Hesse has been run in case of Minuit) int fDebug; // print level int fStrategy; // minimizer strategy int fStatus; // status of minimizer unsigned int fMaxCalls; // max number of funciton calls unsigned int fMaxIter; // max number or iterations used to find the minimum double fTol; // tolerance (absolute) double fUp; // error scale }; } // end namespace Math } // end namespace ROOT #endif /* ROOT_Math_Minimizer */