xref: /aosp_15_r20/external/abseil-cpp/absl/random/gaussian_distribution.h (revision 9356374a3709195abf420251b3e825997ff56c0f)
1*9356374aSAndroid Build Coastguard Worker // Copyright 2017 The Abseil Authors.
2*9356374aSAndroid Build Coastguard Worker //
3*9356374aSAndroid Build Coastguard Worker // Licensed under the Apache License, Version 2.0 (the "License");
4*9356374aSAndroid Build Coastguard Worker // you may not use this file except in compliance with the License.
5*9356374aSAndroid Build Coastguard Worker // You may obtain a copy of the License at
6*9356374aSAndroid Build Coastguard Worker //
7*9356374aSAndroid Build Coastguard Worker //      https://www.apache.org/licenses/LICENSE-2.0
8*9356374aSAndroid Build Coastguard Worker //
9*9356374aSAndroid Build Coastguard Worker // Unless required by applicable law or agreed to in writing, software
10*9356374aSAndroid Build Coastguard Worker // distributed under the License is distributed on an "AS IS" BASIS,
11*9356374aSAndroid Build Coastguard Worker // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*9356374aSAndroid Build Coastguard Worker // See the License for the specific language governing permissions and
13*9356374aSAndroid Build Coastguard Worker // limitations under the License.
14*9356374aSAndroid Build Coastguard Worker 
15*9356374aSAndroid Build Coastguard Worker #ifndef ABSL_RANDOM_GAUSSIAN_DISTRIBUTION_H_
16*9356374aSAndroid Build Coastguard Worker #define ABSL_RANDOM_GAUSSIAN_DISTRIBUTION_H_
17*9356374aSAndroid Build Coastguard Worker 
18*9356374aSAndroid Build Coastguard Worker // absl::gaussian_distribution implements the Ziggurat algorithm
19*9356374aSAndroid Build Coastguard Worker // for generating random gaussian numbers.
20*9356374aSAndroid Build Coastguard Worker //
21*9356374aSAndroid Build Coastguard Worker // Implementation based on "The Ziggurat Method for Generating Random Variables"
22*9356374aSAndroid Build Coastguard Worker // by George Marsaglia and Wai Wan Tsang: http://www.jstatsoft.org/v05/i08/
23*9356374aSAndroid Build Coastguard Worker //
24*9356374aSAndroid Build Coastguard Worker 
25*9356374aSAndroid Build Coastguard Worker #include <cmath>
26*9356374aSAndroid Build Coastguard Worker #include <cstdint>
27*9356374aSAndroid Build Coastguard Worker #include <istream>
28*9356374aSAndroid Build Coastguard Worker #include <limits>
29*9356374aSAndroid Build Coastguard Worker #include <type_traits>
30*9356374aSAndroid Build Coastguard Worker 
31*9356374aSAndroid Build Coastguard Worker #include "absl/base/config.h"
32*9356374aSAndroid Build Coastguard Worker #include "absl/random/internal/fast_uniform_bits.h"
33*9356374aSAndroid Build Coastguard Worker #include "absl/random/internal/generate_real.h"
34*9356374aSAndroid Build Coastguard Worker #include "absl/random/internal/iostream_state_saver.h"
35*9356374aSAndroid Build Coastguard Worker 
36*9356374aSAndroid Build Coastguard Worker namespace absl {
37*9356374aSAndroid Build Coastguard Worker ABSL_NAMESPACE_BEGIN
38*9356374aSAndroid Build Coastguard Worker namespace random_internal {
39*9356374aSAndroid Build Coastguard Worker 
40*9356374aSAndroid Build Coastguard Worker // absl::gaussian_distribution_base implements the underlying ziggurat algorithm
41*9356374aSAndroid Build Coastguard Worker // using the ziggurat tables generated by the gaussian_distribution_gentables
42*9356374aSAndroid Build Coastguard Worker // binary.
43*9356374aSAndroid Build Coastguard Worker //
44*9356374aSAndroid Build Coastguard Worker // The specific algorithm has some of the improvements suggested by the
45*9356374aSAndroid Build Coastguard Worker // 2005 paper, "An Improved Ziggurat Method to Generate Normal Random Samples",
46*9356374aSAndroid Build Coastguard Worker // Jurgen A Doornik.  (https://www.doornik.com/research/ziggurat.pdf)
47*9356374aSAndroid Build Coastguard Worker class ABSL_DLL gaussian_distribution_base {
48*9356374aSAndroid Build Coastguard Worker  public:
49*9356374aSAndroid Build Coastguard Worker   template <typename URBG>
50*9356374aSAndroid Build Coastguard Worker   inline double zignor(URBG& g);  // NOLINT(runtime/references)
51*9356374aSAndroid Build Coastguard Worker 
52*9356374aSAndroid Build Coastguard Worker  private:
53*9356374aSAndroid Build Coastguard Worker   friend class TableGenerator;
54*9356374aSAndroid Build Coastguard Worker 
55*9356374aSAndroid Build Coastguard Worker   template <typename URBG>
56*9356374aSAndroid Build Coastguard Worker   inline double zignor_fallback(URBG& g,  // NOLINT(runtime/references)
57*9356374aSAndroid Build Coastguard Worker                                 bool neg);
58*9356374aSAndroid Build Coastguard Worker 
59*9356374aSAndroid Build Coastguard Worker   // Constants used for the gaussian distribution.
60*9356374aSAndroid Build Coastguard Worker   static constexpr double kR = 3.442619855899;  // Start of the tail.
61*9356374aSAndroid Build Coastguard Worker   static constexpr double kRInv = 0.29047645161474317;  // ~= (1.0 / kR) .
62*9356374aSAndroid Build Coastguard Worker   static constexpr double kV = 9.91256303526217e-3;
63*9356374aSAndroid Build Coastguard Worker   static constexpr uint64_t kMask = 0x07f;
64*9356374aSAndroid Build Coastguard Worker 
65*9356374aSAndroid Build Coastguard Worker   // The ziggurat tables store the pdf(f) and inverse-pdf(x) for equal-area
66*9356374aSAndroid Build Coastguard Worker   // points on one-half of the normal distribution, where the pdf function,
67*9356374aSAndroid Build Coastguard Worker   // pdf = e ^ (-1/2 *x^2), assumes that the mean = 0 & stddev = 1.
68*9356374aSAndroid Build Coastguard Worker   //
69*9356374aSAndroid Build Coastguard Worker   // These tables are just over 2kb in size; larger tables might improve the
70*9356374aSAndroid Build Coastguard Worker   // distributions, but also lead to more cache pollution.
71*9356374aSAndroid Build Coastguard Worker   //
72*9356374aSAndroid Build Coastguard Worker   // x = {3.71308, 3.44261, 3.22308, ..., 0}
73*9356374aSAndroid Build Coastguard Worker   // f = {0.00101, 0.00266, 0.00554, ..., 1}
74*9356374aSAndroid Build Coastguard Worker   struct Tables {
75*9356374aSAndroid Build Coastguard Worker     double x[kMask + 2];
76*9356374aSAndroid Build Coastguard Worker     double f[kMask + 2];
77*9356374aSAndroid Build Coastguard Worker   };
78*9356374aSAndroid Build Coastguard Worker   static const Tables zg_;
79*9356374aSAndroid Build Coastguard Worker   random_internal::FastUniformBits<uint64_t> fast_u64_;
80*9356374aSAndroid Build Coastguard Worker };
81*9356374aSAndroid Build Coastguard Worker 
82*9356374aSAndroid Build Coastguard Worker }  // namespace random_internal
83*9356374aSAndroid Build Coastguard Worker 
84*9356374aSAndroid Build Coastguard Worker // absl::gaussian_distribution:
85*9356374aSAndroid Build Coastguard Worker // Generates a number conforming to a Gaussian distribution.
86*9356374aSAndroid Build Coastguard Worker template <typename RealType = double>
87*9356374aSAndroid Build Coastguard Worker class gaussian_distribution : random_internal::gaussian_distribution_base {
88*9356374aSAndroid Build Coastguard Worker  public:
89*9356374aSAndroid Build Coastguard Worker   using result_type = RealType;
90*9356374aSAndroid Build Coastguard Worker 
91*9356374aSAndroid Build Coastguard Worker   class param_type {
92*9356374aSAndroid Build Coastguard Worker    public:
93*9356374aSAndroid Build Coastguard Worker     using distribution_type = gaussian_distribution;
94*9356374aSAndroid Build Coastguard Worker 
95*9356374aSAndroid Build Coastguard Worker     explicit param_type(result_type mean = 0, result_type stddev = 1)
mean_(mean)96*9356374aSAndroid Build Coastguard Worker         : mean_(mean), stddev_(stddev) {}
97*9356374aSAndroid Build Coastguard Worker 
98*9356374aSAndroid Build Coastguard Worker     // Returns the mean distribution parameter.  The mean specifies the location
99*9356374aSAndroid Build Coastguard Worker     // of the peak.  The default value is 0.0.
mean()100*9356374aSAndroid Build Coastguard Worker     result_type mean() const { return mean_; }
101*9356374aSAndroid Build Coastguard Worker 
102*9356374aSAndroid Build Coastguard Worker     // Returns the deviation distribution parameter.  The default value is 1.0.
stddev()103*9356374aSAndroid Build Coastguard Worker     result_type stddev() const { return stddev_; }
104*9356374aSAndroid Build Coastguard Worker 
105*9356374aSAndroid Build Coastguard Worker     friend bool operator==(const param_type& a, const param_type& b) {
106*9356374aSAndroid Build Coastguard Worker       return a.mean_ == b.mean_ && a.stddev_ == b.stddev_;
107*9356374aSAndroid Build Coastguard Worker     }
108*9356374aSAndroid Build Coastguard Worker 
109*9356374aSAndroid Build Coastguard Worker     friend bool operator!=(const param_type& a, const param_type& b) {
110*9356374aSAndroid Build Coastguard Worker       return !(a == b);
111*9356374aSAndroid Build Coastguard Worker     }
112*9356374aSAndroid Build Coastguard Worker 
113*9356374aSAndroid Build Coastguard Worker    private:
114*9356374aSAndroid Build Coastguard Worker     result_type mean_;
115*9356374aSAndroid Build Coastguard Worker     result_type stddev_;
116*9356374aSAndroid Build Coastguard Worker 
117*9356374aSAndroid Build Coastguard Worker     static_assert(
118*9356374aSAndroid Build Coastguard Worker         std::is_floating_point<RealType>::value,
119*9356374aSAndroid Build Coastguard Worker         "Class-template absl::gaussian_distribution<> must be parameterized "
120*9356374aSAndroid Build Coastguard Worker         "using a floating-point type.");
121*9356374aSAndroid Build Coastguard Worker   };
122*9356374aSAndroid Build Coastguard Worker 
gaussian_distribution()123*9356374aSAndroid Build Coastguard Worker   gaussian_distribution() : gaussian_distribution(0) {}
124*9356374aSAndroid Build Coastguard Worker 
125*9356374aSAndroid Build Coastguard Worker   explicit gaussian_distribution(result_type mean, result_type stddev = 1)
param_(mean,stddev)126*9356374aSAndroid Build Coastguard Worker       : param_(mean, stddev) {}
127*9356374aSAndroid Build Coastguard Worker 
gaussian_distribution(const param_type & p)128*9356374aSAndroid Build Coastguard Worker   explicit gaussian_distribution(const param_type& p) : param_(p) {}
129*9356374aSAndroid Build Coastguard Worker 
reset()130*9356374aSAndroid Build Coastguard Worker   void reset() {}
131*9356374aSAndroid Build Coastguard Worker 
132*9356374aSAndroid Build Coastguard Worker   // Generating functions
133*9356374aSAndroid Build Coastguard Worker   template <typename URBG>
operator()134*9356374aSAndroid Build Coastguard Worker   result_type operator()(URBG& g) {  // NOLINT(runtime/references)
135*9356374aSAndroid Build Coastguard Worker     return (*this)(g, param_);
136*9356374aSAndroid Build Coastguard Worker   }
137*9356374aSAndroid Build Coastguard Worker 
138*9356374aSAndroid Build Coastguard Worker   template <typename URBG>
139*9356374aSAndroid Build Coastguard Worker   result_type operator()(URBG& g,  // NOLINT(runtime/references)
140*9356374aSAndroid Build Coastguard Worker                          const param_type& p);
141*9356374aSAndroid Build Coastguard Worker 
param()142*9356374aSAndroid Build Coastguard Worker   param_type param() const { return param_; }
param(const param_type & p)143*9356374aSAndroid Build Coastguard Worker   void param(const param_type& p) { param_ = p; }
144*9356374aSAndroid Build Coastguard Worker 
result_type(min)145*9356374aSAndroid Build Coastguard Worker   result_type(min)() const {
146*9356374aSAndroid Build Coastguard Worker     return -std::numeric_limits<result_type>::infinity();
147*9356374aSAndroid Build Coastguard Worker   }
result_type(max)148*9356374aSAndroid Build Coastguard Worker   result_type(max)() const {
149*9356374aSAndroid Build Coastguard Worker     return std::numeric_limits<result_type>::infinity();
150*9356374aSAndroid Build Coastguard Worker   }
151*9356374aSAndroid Build Coastguard Worker 
mean()152*9356374aSAndroid Build Coastguard Worker   result_type mean() const { return param_.mean(); }
stddev()153*9356374aSAndroid Build Coastguard Worker   result_type stddev() const { return param_.stddev(); }
154*9356374aSAndroid Build Coastguard Worker 
155*9356374aSAndroid Build Coastguard Worker   friend bool operator==(const gaussian_distribution& a,
156*9356374aSAndroid Build Coastguard Worker                          const gaussian_distribution& b) {
157*9356374aSAndroid Build Coastguard Worker     return a.param_ == b.param_;
158*9356374aSAndroid Build Coastguard Worker   }
159*9356374aSAndroid Build Coastguard Worker   friend bool operator!=(const gaussian_distribution& a,
160*9356374aSAndroid Build Coastguard Worker                          const gaussian_distribution& b) {
161*9356374aSAndroid Build Coastguard Worker     return a.param_ != b.param_;
162*9356374aSAndroid Build Coastguard Worker   }
163*9356374aSAndroid Build Coastguard Worker 
164*9356374aSAndroid Build Coastguard Worker  private:
165*9356374aSAndroid Build Coastguard Worker   param_type param_;
166*9356374aSAndroid Build Coastguard Worker };
167*9356374aSAndroid Build Coastguard Worker 
168*9356374aSAndroid Build Coastguard Worker // --------------------------------------------------------------------------
169*9356374aSAndroid Build Coastguard Worker // Implementation details only below
170*9356374aSAndroid Build Coastguard Worker // --------------------------------------------------------------------------
171*9356374aSAndroid Build Coastguard Worker 
172*9356374aSAndroid Build Coastguard Worker template <typename RealType>
173*9356374aSAndroid Build Coastguard Worker template <typename URBG>
174*9356374aSAndroid Build Coastguard Worker typename gaussian_distribution<RealType>::result_type
operator()175*9356374aSAndroid Build Coastguard Worker gaussian_distribution<RealType>::operator()(
176*9356374aSAndroid Build Coastguard Worker     URBG& g,  // NOLINT(runtime/references)
177*9356374aSAndroid Build Coastguard Worker     const param_type& p) {
178*9356374aSAndroid Build Coastguard Worker   return p.mean() + p.stddev() * static_cast<result_type>(zignor(g));
179*9356374aSAndroid Build Coastguard Worker }
180*9356374aSAndroid Build Coastguard Worker 
181*9356374aSAndroid Build Coastguard Worker template <typename CharT, typename Traits, typename RealType>
182*9356374aSAndroid Build Coastguard Worker std::basic_ostream<CharT, Traits>& operator<<(
183*9356374aSAndroid Build Coastguard Worker     std::basic_ostream<CharT, Traits>& os,  // NOLINT(runtime/references)
184*9356374aSAndroid Build Coastguard Worker     const gaussian_distribution<RealType>& x) {
185*9356374aSAndroid Build Coastguard Worker   auto saver = random_internal::make_ostream_state_saver(os);
186*9356374aSAndroid Build Coastguard Worker   os.precision(random_internal::stream_precision_helper<RealType>::kPrecision);
187*9356374aSAndroid Build Coastguard Worker   os << x.mean() << os.fill() << x.stddev();
188*9356374aSAndroid Build Coastguard Worker   return os;
189*9356374aSAndroid Build Coastguard Worker }
190*9356374aSAndroid Build Coastguard Worker 
191*9356374aSAndroid Build Coastguard Worker template <typename CharT, typename Traits, typename RealType>
192*9356374aSAndroid Build Coastguard Worker std::basic_istream<CharT, Traits>& operator>>(
193*9356374aSAndroid Build Coastguard Worker     std::basic_istream<CharT, Traits>& is,  // NOLINT(runtime/references)
194*9356374aSAndroid Build Coastguard Worker     gaussian_distribution<RealType>& x) {   // NOLINT(runtime/references)
195*9356374aSAndroid Build Coastguard Worker   using result_type = typename gaussian_distribution<RealType>::result_type;
196*9356374aSAndroid Build Coastguard Worker   using param_type = typename gaussian_distribution<RealType>::param_type;
197*9356374aSAndroid Build Coastguard Worker 
198*9356374aSAndroid Build Coastguard Worker   auto saver = random_internal::make_istream_state_saver(is);
199*9356374aSAndroid Build Coastguard Worker   auto mean = random_internal::read_floating_point<result_type>(is);
200*9356374aSAndroid Build Coastguard Worker   if (is.fail()) return is;
201*9356374aSAndroid Build Coastguard Worker   auto stddev = random_internal::read_floating_point<result_type>(is);
202*9356374aSAndroid Build Coastguard Worker   if (!is.fail()) {
203*9356374aSAndroid Build Coastguard Worker     x.param(param_type(mean, stddev));
204*9356374aSAndroid Build Coastguard Worker   }
205*9356374aSAndroid Build Coastguard Worker   return is;
206*9356374aSAndroid Build Coastguard Worker }
207*9356374aSAndroid Build Coastguard Worker 
208*9356374aSAndroid Build Coastguard Worker namespace random_internal {
209*9356374aSAndroid Build Coastguard Worker 
210*9356374aSAndroid Build Coastguard Worker template <typename URBG>
zignor_fallback(URBG & g,bool neg)211*9356374aSAndroid Build Coastguard Worker inline double gaussian_distribution_base::zignor_fallback(URBG& g, bool neg) {
212*9356374aSAndroid Build Coastguard Worker   using random_internal::GeneratePositiveTag;
213*9356374aSAndroid Build Coastguard Worker   using random_internal::GenerateRealFromBits;
214*9356374aSAndroid Build Coastguard Worker 
215*9356374aSAndroid Build Coastguard Worker   // This fallback path happens approximately 0.05% of the time.
216*9356374aSAndroid Build Coastguard Worker   double x, y;
217*9356374aSAndroid Build Coastguard Worker   do {
218*9356374aSAndroid Build Coastguard Worker     // kRInv = 1/r, U(0, 1)
219*9356374aSAndroid Build Coastguard Worker     x = kRInv *
220*9356374aSAndroid Build Coastguard Worker         std::log(GenerateRealFromBits<double, GeneratePositiveTag, false>(
221*9356374aSAndroid Build Coastguard Worker             fast_u64_(g)));
222*9356374aSAndroid Build Coastguard Worker     y = -std::log(
223*9356374aSAndroid Build Coastguard Worker         GenerateRealFromBits<double, GeneratePositiveTag, false>(fast_u64_(g)));
224*9356374aSAndroid Build Coastguard Worker   } while ((y + y) < (x * x));
225*9356374aSAndroid Build Coastguard Worker   return neg ? (x - kR) : (kR - x);
226*9356374aSAndroid Build Coastguard Worker }
227*9356374aSAndroid Build Coastguard Worker 
228*9356374aSAndroid Build Coastguard Worker template <typename URBG>
zignor(URBG & g)229*9356374aSAndroid Build Coastguard Worker inline double gaussian_distribution_base::zignor(
230*9356374aSAndroid Build Coastguard Worker     URBG& g) {  // NOLINT(runtime/references)
231*9356374aSAndroid Build Coastguard Worker   using random_internal::GeneratePositiveTag;
232*9356374aSAndroid Build Coastguard Worker   using random_internal::GenerateRealFromBits;
233*9356374aSAndroid Build Coastguard Worker   using random_internal::GenerateSignedTag;
234*9356374aSAndroid Build Coastguard Worker 
235*9356374aSAndroid Build Coastguard Worker   while (true) {
236*9356374aSAndroid Build Coastguard Worker     // We use a single uint64_t to generate both a double and a strip.
237*9356374aSAndroid Build Coastguard Worker     // These bits are unused when the generated double is > 1/2^5.
238*9356374aSAndroid Build Coastguard Worker     // This may introduce some bias from the duplicated low bits of small
239*9356374aSAndroid Build Coastguard Worker     // values (those smaller than 1/2^5, which all end up on the left tail).
240*9356374aSAndroid Build Coastguard Worker     uint64_t bits = fast_u64_(g);
241*9356374aSAndroid Build Coastguard Worker     int i = static_cast<int>(bits & kMask);  // pick a random strip
242*9356374aSAndroid Build Coastguard Worker     double j = GenerateRealFromBits<double, GenerateSignedTag, false>(
243*9356374aSAndroid Build Coastguard Worker         bits);  // U(-1, 1)
244*9356374aSAndroid Build Coastguard Worker     const double x = j * zg_.x[i];
245*9356374aSAndroid Build Coastguard Worker 
246*9356374aSAndroid Build Coastguard Worker     // Retangular box. Handles >97% of all cases.
247*9356374aSAndroid Build Coastguard Worker     // For any given box, this handles between 75% and 99% of values.
248*9356374aSAndroid Build Coastguard Worker     // Equivalent to U(01) < (x[i+1] / x[i]), and when i == 0, ~93.5%
249*9356374aSAndroid Build Coastguard Worker     if (std::abs(x) < zg_.x[i + 1]) {
250*9356374aSAndroid Build Coastguard Worker       return x;
251*9356374aSAndroid Build Coastguard Worker     }
252*9356374aSAndroid Build Coastguard Worker 
253*9356374aSAndroid Build Coastguard Worker     // i == 0: Base box. Sample using a ratio of uniforms.
254*9356374aSAndroid Build Coastguard Worker     if (i == 0) {
255*9356374aSAndroid Build Coastguard Worker       // This path happens about 0.05% of the time.
256*9356374aSAndroid Build Coastguard Worker       return zignor_fallback(g, j < 0);
257*9356374aSAndroid Build Coastguard Worker     }
258*9356374aSAndroid Build Coastguard Worker 
259*9356374aSAndroid Build Coastguard Worker     // i > 0: Wedge samples using precomputed values.
260*9356374aSAndroid Build Coastguard Worker     double v = GenerateRealFromBits<double, GeneratePositiveTag, false>(
261*9356374aSAndroid Build Coastguard Worker         fast_u64_(g));  // U(0, 1)
262*9356374aSAndroid Build Coastguard Worker     if ((zg_.f[i + 1] + v * (zg_.f[i] - zg_.f[i + 1])) <
263*9356374aSAndroid Build Coastguard Worker         std::exp(-0.5 * x * x)) {
264*9356374aSAndroid Build Coastguard Worker       return x;
265*9356374aSAndroid Build Coastguard Worker     }
266*9356374aSAndroid Build Coastguard Worker 
267*9356374aSAndroid Build Coastguard Worker     // The wedge was missed; reject the value and try again.
268*9356374aSAndroid Build Coastguard Worker   }
269*9356374aSAndroid Build Coastguard Worker }
270*9356374aSAndroid Build Coastguard Worker 
271*9356374aSAndroid Build Coastguard Worker }  // namespace random_internal
272*9356374aSAndroid Build Coastguard Worker ABSL_NAMESPACE_END
273*9356374aSAndroid Build Coastguard Worker }  // namespace absl
274*9356374aSAndroid Build Coastguard Worker 
275*9356374aSAndroid Build Coastguard Worker #endif  // ABSL_RANDOM_GAUSSIAN_DISTRIBUTION_H_
276