00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028 #ifndef mrpt_math_distributions_H
00029 #define mrpt_math_distributions_H
00030
00031 #include <mrpt/utils/utils_defs.h>
00032 #include <mrpt/math/math_frwds.h>
00033 #include <mrpt/math/CMatrixTemplateNumeric.h>
00034 #include <mrpt/math/CVectorTemplate.h>
00035
00036 #include <mrpt/math/ops_matrices.h>
00037 #include <mrpt/math/matrices_metaprogramming.h>
00038
00039
00040
00041
00042 namespace mrpt
00043 {
00044 namespace math
00045 {
00046 using namespace mrpt::utils;
00047
00048
00049
00050
00051
00052
00053 double BASE_IMPEXP normalPDF(double x, double mu, double std);
00054
00055
00056
00057
00058
00059
00060
00061 template <class VECTORLIKE1,class VECTORLIKE2,class MATRIXLIKE>
00062 inline typename MATRIXLIKE::value_type
00063 normalPDF(
00064 const VECTORLIKE1 & x,
00065 const VECTORLIKE2 & mu,
00066 const MATRIXLIKE & cov,
00067 const bool scaled_pdf = false )
00068 {
00069 MRPT_START
00070 typedef typename MATRIXLIKE::value_type T;
00071 ASSERTDEB_(cov.IsSquare())
00072 ASSERTDEB_(cov.getColCount()==x.size() && cov.getColCount()==mu.size())
00073 MAT_TYPE_SAMESIZE_OF(MATRIXLIKE) C_inv(UNINITIALIZED_MATRIX);
00074 cov.inv(C_inv);
00075 T ret = ::exp( static_cast<T>(-0.5) * mrpt::math::multiply_HCHt_scalar((x-mu),C_inv) );
00076 return scaled_pdf ? ret : ret / (::pow(static_cast<T>(M_2PI),static_cast<T>( size(cov,1) )) * ::sqrt(cov.det()));
00077 MRPT_END
00078 }
00079
00080
00081
00082 template <typename VECTORLIKE,typename MATRIXLIKE>
00083 typename MATRIXLIKE::value_type
00084 normalPDF(const VECTORLIKE &d,const MATRIXLIKE &cov)
00085 {
00086 MRPT_START
00087 ASSERTDEB_(cov.IsSquare())
00088 ASSERTDEB_(cov.getColCount()==d.size())
00089 MATRIXLIKE C_inv;
00090 cov.inv(C_inv);
00091 return std::exp( static_cast<typename MATRIXLIKE::value_type>(-0.5)*mrpt::math::multiply_HCHt_scalar(d,C_inv))
00092 / (::pow(
00093 static_cast<typename MATRIXLIKE::value_type>(M_2PI),
00094 static_cast<typename MATRIXLIKE::value_type>(cov.getColCount()))
00095 * ::sqrt(cov.det()));
00096 MRPT_END
00097 }
00098
00099
00100
00101
00102
00103 template <typename VECTORLIKE1,typename MATRIXLIKE1,typename VECTORLIKE2,typename MATRIXLIKE2>
00104 double KLD_Gaussians(
00105 const VECTORLIKE1 &mu0, const MATRIXLIKE1 &cov0,
00106 const VECTORLIKE2 &mu1, const MATRIXLIKE2 &cov1)
00107 {
00108 MRPT_START
00109 ASSERT_(mu0.size()==mu1.size() && mu0.size()==size(cov0,1) && mu0.size()==size(cov1,1) && cov0.IsSquare() && cov1.IsSquare() )
00110 const size_t N = mu0.size();
00111 MATRIXLIKE2 cov1_inv;
00112 cov1.inv(cov1_inv);
00113 const VECTORLIKE1 mu_difs = mu0-mu1;
00114 return 0.5*( log(cov1.det()/cov0.det()) + (cov1_inv*cov0).trace() + multiply_HCHt_scalar(mu_difs,cov1_inv) - N );
00115 MRPT_END
00116 }
00117
00118
00119
00120
00121 #ifdef HAVE_ERF
00122 inline double erfc(double x) { return ::erfc(x); }
00123 #else
00124 double BASE_IMPEXP erfc(double x);
00125 #endif
00126
00127
00128
00129 #ifdef HAVE_ERF
00130 inline double erf(double x) { return ::erf(x); }
00131 #else
00132 double BASE_IMPEXP erf(double x);
00133 #endif
00134
00135
00136
00137
00138 double BASE_IMPEXP normalQuantile(double p);
00139
00140
00141
00142
00143
00144 double BASE_IMPEXP normalCDF(double p);
00145
00146
00147
00148
00149 double BASE_IMPEXP chi2inv(double P, unsigned int dim=1);
00150
00151
00152
00153
00154
00155
00156
00157
00158
00159
00160
00161
00162
00163 template <class T>
00164 double noncentralChi2CDF(unsigned int degreesOfFreedom, T noncentrality, T arg)
00165 {
00166 const double a = degreesOfFreedom + noncentrality;
00167 const double b = (a + noncentrality) / square(a);
00168 const double t = (std::pow((double)arg / a, 1.0/3.0) - (1.0 - 2.0 / 9.0 * b)) / std::sqrt(2.0 / 9.0 * b);
00169 return 0.5*(1.0 + mrpt::math::erf(t/std::sqrt(2.0)));
00170 }
00171
00172
00173
00174
00175
00176
00177
00178
00179
00180
00181 inline double chi2CDF(unsigned int degreesOfFreedom, double arg)
00182 {
00183 return noncentralChi2CDF(degreesOfFreedom, 0.0, arg);
00184 }
00185
00186 namespace detail
00187 {
00188 template <class T>
00189 void noncentralChi2OneIteration(T arg, T & lans, T & dans, T & pans, unsigned int & j)
00190 {
00191 double tol = -50.0;
00192 if(lans < tol)
00193 {
00194 lans = lans + std::log(arg / j);
00195 dans = std::exp(lans);
00196 }
00197 else
00198 {
00199 dans = dans * arg / j;
00200 }
00201 pans = pans - dans;
00202 j += 2;
00203 }
00204
00205 template <class T>
00206 std::pair<double, double> noncentralChi2CDF_exact(unsigned int degreesOfFreedom, T noncentrality, T arg, T eps)
00207 {
00208 ASSERTMSG_(noncentrality >= 0.0 && arg >= 0.0 && eps > 0.0,"noncentralChi2P(): parameters must be positive.");
00209 if (arg == 0.0 && degreesOfFreedom > 0)
00210 return std::make_pair(0.0, 0.0);
00211
00212
00213 double b1 = 0.5 * noncentrality,
00214 ao = std::exp(-b1),
00215 eps2 = eps / ao,
00216 lnrtpi2 = 0.22579135264473,
00217 probability, density, lans, dans, pans, sum, am, hold;
00218 unsigned int maxit = 500,
00219 i, m;
00220 if(degreesOfFreedom % 2)
00221 {
00222 i = 1;
00223 lans = -0.5 * (arg + std::log(arg)) - lnrtpi2;
00224 dans = std::exp(lans);
00225 pans = erf(std::sqrt(arg/2.0));
00226 }
00227 else
00228 {
00229 i = 2;
00230 lans = -0.5 * arg;
00231 dans = std::exp(lans);
00232 pans = 1.0 - dans;
00233 }
00234
00235
00236 if(degreesOfFreedom == 0)
00237 {
00238 m = 1;
00239 degreesOfFreedom = 2;
00240 am = b1;
00241 sum = 1.0 / ao - 1.0 - am;
00242 density = am * dans;
00243 probability = 1.0 + am * pans;
00244 }
00245 else
00246 {
00247 m = 0;
00248 degreesOfFreedom = degreesOfFreedom - 1;
00249 am = 1.0;
00250 sum = 1.0 / ao - 1.0;
00251 while(i < degreesOfFreedom)
00252 detail::noncentralChi2OneIteration(arg, lans, dans, pans, i);
00253 degreesOfFreedom = degreesOfFreedom + 1;
00254 density = dans;
00255 probability = pans;
00256 }
00257
00258 for(++m; m<maxit; ++m)
00259 {
00260 am = b1 * am / m;
00261 detail::noncentralChi2OneIteration(arg, lans, dans, pans, degreesOfFreedom);
00262 sum = sum - am;
00263 density = density + am * dans;
00264 hold = am * pans;
00265 probability = probability + hold;
00266 if((pans * sum < eps2) && (hold < eps2))
00267 break;
00268 }
00269 if(m == maxit)
00270 THROW_EXCEPTION("noncentralChi2P(): no convergence.");
00271 return std::make_pair(0.5 * ao * density, std::min(1.0, std::max(0.0, ao * probability)));
00272 }
00273 }
00274
00275
00276
00277
00278
00279
00280
00281
00282
00283 inline double chi2PDF(unsigned int degreesOfFreedom, double arg, double accuracy = 1e-7)
00284 {
00285 return detail::noncentralChi2CDF_exact(degreesOfFreedom, 0.0, arg, accuracy).first;
00286 }
00287
00288
00289
00290
00291
00292 template <typename CONTAINER>
00293 void condidenceIntervals(
00294 const CONTAINER &data,
00295 typename CONTAINER::value_type &out_mean,
00296 typename CONTAINER::value_type &out_lower_conf_interval,
00297 typename CONTAINER::value_type &out_upper_conf_interval,
00298 const double confidenceInterval = 0.1,
00299 const size_t histogramNumBins = 1000 )
00300 {
00301 MRPT_START
00302 ASSERT_(data.size()!=0)
00303 ASSERT_(confidenceInterval>0 && confidenceInterval<1)
00304
00305 out_mean = mean(data);
00306 typename CONTAINER::value_type x_min,x_max;
00307 minimum_maximum(data,x_min,x_max);
00308
00309
00310
00311 const typename CONTAINER::value_type binWidth = (x_max-x_min)/histogramNumBins;
00312
00313 const vector_double H = mrpt::math::histogram(data,x_min,x_max,histogramNumBins);
00314 vector_double Hc;
00315 cumsum(H,Hc);
00316 Hc*=1.0/maximum(Hc);
00317
00318 vector_double::iterator it_low = std::lower_bound(Hc.begin(),Hc.end(),confidenceInterval); ASSERT_(it_low!=Hc.end())
00319 vector_double::iterator it_high = std::upper_bound(Hc.begin(),Hc.end(),1-confidenceInterval); ASSERT_(it_high!=Hc.end())
00320 const size_t idx_low = std::distance(Hc.begin(),it_low);
00321 const size_t idx_high = std::distance(Hc.begin(),it_high);
00322 out_lower_conf_interval = x_min + idx_low * binWidth;
00323 out_upper_conf_interval = x_min + idx_high * binWidth;
00324
00325 MRPT_END
00326 }
00327
00328
00329
00330 }
00331
00332 }
00333
00334
00335 #endif