//
// Math.NET Numerics, part of the Math.NET Project
// http://numerics.mathdotnet.com
// http://github.com/mathnet/mathnet-numerics
//
// Copyright (c) 2009-2014 Math.NET
//
// Permission is hereby granted, free of charge, to any person
// obtaining a copy of this software and associated documentation
// files (the "Software"), to deal in the Software without
// restriction, including without limitation the rights to use,
// copy, modify, merge, publish, distribute, sublicense, and/or sell
// copies of the Software, and to permit persons to whom the
// Software is furnished to do so, subject to the following
// conditions:
//
// The above copyright notice and this permission notice shall be
// included in all copies or substantial portions of the Software.
//
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
// NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
// HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
// WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
// FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
// OTHER DEALINGS IN THE SOFTWARE.
//
using System;
using System.Collections.Generic;
using System.Linq;
using IStation.Numerics.Random;
using IStation.Numerics.Threading;
namespace IStation.Numerics.Distributions
{
///
/// Continuous Univariate Exponential distribution.
/// The exponential distribution is a distribution over the real numbers parameterized by one non-negative parameter.
/// Wikipedia - exponential distribution.
///
public class Exponential : IContinuousDistribution
{
System.Random _random;
readonly double _rate;
///
/// Initializes a new instance of the class.
///
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
public Exponential(double rate)
{
if (!IsValidParameterSet(rate))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
_random = SystemRandomSource.Default;
_rate = rate;
}
///
/// Initializes a new instance of the class.
///
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// The random number generator which is used to draw random samples.
public Exponential(double rate, System.Random randomSource)
{
if (!IsValidParameterSet(rate))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
_random = randomSource ?? SystemRandomSource.Default;
_rate = rate;
}
///
/// A string representation of the distribution.
///
/// a string representation of the distribution.
public override string ToString()
{
return $"Exponential(λ = {_rate})";
}
///
/// Tests whether the provided values are valid parameters for this distribution.
///
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
public static bool IsValidParameterSet(double rate)
{
return rate >= 0.0;
}
///
/// Gets the rate (λ) parameter of the distribution. Range: λ ≥ 0.
///
public double Rate => _rate;
///
/// Gets or sets the random number generator which is used to draw random samples.
///
public System.Random RandomSource
{
get => _random;
set => _random = value ?? SystemRandomSource.Default;
}
///
/// Gets the mean of the distribution.
///
public double Mean => 1.0/_rate;
///
/// Gets the variance of the distribution.
///
public double Variance => 1.0/(_rate*_rate);
///
/// Gets the standard deviation of the distribution.
///
public double StdDev => 1.0/_rate;
///
/// Gets the entropy of the distribution.
///
public double Entropy => 1.0 - Math.Log(_rate);
///
/// Gets the skewness of the distribution.
///
public double Skewness => 2.0;
///
/// Gets the mode of the distribution.
///
public double Mode => 0.0;
///
/// Gets the median of the distribution.
///
public double Median => Math.Log(2.0)/_rate;
///
/// Gets the minimum of the distribution.
///
public double Minimum => 0.0;
///
/// Gets the maximum of the distribution.
///
public double Maximum => double.PositiveInfinity;
///
/// Computes the probability density of the distribution (PDF) at x, i.e. ∂P(X ≤ x)/∂x.
///
/// The location at which to compute the density.
/// the density at .
///
public double Density(double x)
{
return x < 0.0 ? 0.0 : _rate*Math.Exp(-_rate*x);
}
///
/// Computes the log probability density of the distribution (lnPDF) at x, i.e. ln(∂P(X ≤ x)/∂x).
///
/// The location at which to compute the log density.
/// the log density at .
///
public double DensityLn(double x)
{
return Math.Log(_rate) - (_rate*x);
}
///
/// Computes the cumulative distribution (CDF) of the distribution at x, i.e. P(X ≤ x).
///
/// The location at which to compute the cumulative distribution function.
/// the cumulative distribution at location .
///
public double CumulativeDistribution(double x)
{
return x < 0.0 ? 0.0 : 1.0 - Math.Exp(-_rate*x);
}
///
/// Computes the inverse of the cumulative distribution function (InvCDF) for the distribution
/// at the given probability. This is also known as the quantile or percent point function.
///
/// The location at which to compute the inverse cumulative density.
/// the inverse cumulative density at .
///
public double InverseCumulativeDistribution(double p)
{
return p >= 1.0 ? double.PositiveInfinity : -Math.Log(1 - p)/_rate;
}
///
/// Draws a random sample from the distribution.
///
/// A random number from this distribution.
public double Sample()
{
return SampleUnchecked(_random, _rate);
}
///
/// Fills an array with samples generated from the distribution.
///
public void Samples(double[] values)
{
SamplesUnchecked(_random, values, _rate);
}
///
/// Generates a sequence of samples from the Exponential distribution.
///
/// a sequence of samples from the distribution.
public IEnumerable Samples()
{
return SamplesUnchecked(_random, _rate);
}
static double SampleUnchecked(System.Random rnd, double rate)
{
var r = rnd.NextDouble();
while (r == 0.0)
{
r = rnd.NextDouble();
}
return -Math.Log(r)/rate;
}
internal static void SamplesUnchecked(System.Random rnd, double[] values, double rate)
{
rnd.NextDoubles(values);
CommonParallel.For(0, values.Length, 4096, (a, b) =>
{
for (int i = a; i < b; i++)
{
// this happens very rarely
var r = values[i];
while (r == 0.0)
{
r = rnd.NextDouble();
}
values[i] = -Math.Log(r)/rate;
}
});
}
static IEnumerable SamplesUnchecked(System.Random rnd, double rate)
{
return rnd.NextDoubleSequence().Where(r => r != 0.0).Select(r => -Math.Log(r)/rate);
}
///
/// Computes the probability density of the distribution (PDF) at x, i.e. ∂P(X ≤ x)/∂x.
///
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// The location at which to compute the density.
/// the density at .
///
public static double PDF(double rate, double x)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return x < 0.0 ? 0.0 : rate*Math.Exp(-rate*x);
}
///
/// Computes the log probability density of the distribution (lnPDF) at x, i.e. ln(∂P(X ≤ x)/∂x).
///
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// The location at which to compute the density.
/// the log density at .
///
public static double PDFLn(double rate, double x)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return Math.Log(rate) - (rate*x);
}
///
/// Computes the cumulative distribution (CDF) of the distribution at x, i.e. P(X ≤ x).
///
/// The location at which to compute the cumulative distribution function.
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// the cumulative distribution at location .
///
public static double CDF(double rate, double x)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return x < 0.0 ? 0.0 : 1.0 - Math.Exp(-rate*x);
}
///
/// Computes the inverse of the cumulative distribution function (InvCDF) for the distribution
/// at the given probability. This is also known as the quantile or percent point function.
///
/// The location at which to compute the inverse cumulative density.
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// the inverse cumulative density at .
///
public static double InvCDF(double rate, double p)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return p >= 1.0 ? double.PositiveInfinity : -Math.Log(1 - p)/rate;
}
///
/// Draws a random sample from the distribution.
///
/// The random number generator to use.
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// A random number from this distribution.
public static double Sample(System.Random rnd, double rate)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SampleUnchecked(rnd, rate);
}
///
/// Fills an array with samples generated from the distribution.
///
/// The random number generator to use.
/// The array to fill with the samples.
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// a sequence of samples from the distribution.
public static void Samples(System.Random rnd, double[] values, double rate)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
SamplesUnchecked(rnd, values, rate);
}
///
/// Generates a sequence of samples from the Exponential distribution.
///
/// The random number generator to use.
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// a sequence of samples from the distribution.
public static IEnumerable Samples(System.Random rnd, double rate)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SamplesUnchecked(rnd, rate);
}
///
/// Draws a random sample from the distribution.
///
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// A random number from this distribution.
public static double Sample(double rate)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SampleUnchecked(SystemRandomSource.Default, rate);
}
///
/// Fills an array with samples generated from the distribution.
///
/// The array to fill with the samples.
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// a sequence of samples from the distribution.
public static void Samples(double[] values, double rate)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
SamplesUnchecked(SystemRandomSource.Default, values, rate);
}
///
/// Generates a sequence of samples from the Exponential distribution.
///
/// The rate (λ) parameter of the distribution. Range: λ ≥ 0.
/// a sequence of samples from the distribution.
public static IEnumerable Samples(double rate)
{
if (rate < 0.0)
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SamplesUnchecked(SystemRandomSource.Default, rate);
}
}
}