//
// 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
{
///
/// Discrete Univariate Geometric distribution.
/// The Geometric distribution is a distribution over positive integers parameterized by one positive real number.
/// This implementation of the Geometric distribution will never generate 0's.
/// Wikipedia - geometric distribution.
///
public class Geometric : IDiscreteDistribution
{
System.Random _random;
readonly double _p;
///
/// Initializes a new instance of the Geometric class.
///
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public Geometric(double p)
{
if (!IsValidParameterSet(p))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
_random = SystemRandomSource.Default;
_p = p;
}
///
/// Initializes a new instance of the Geometric class.
///
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
/// The random number generator which is used to draw random samples.
public Geometric(double p, System.Random randomSource)
{
if (!IsValidParameterSet(p))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
_random = randomSource ?? SystemRandomSource.Default;
_p = p;
}
///
/// Returns a that represents this instance.
///
/// A that represents this instance.
public override string ToString()
{
return $"Geometric(p = {_p})";
}
///
/// Tests whether the provided values are valid parameters for this distribution.
///
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public static bool IsValidParameterSet(double p)
{
return p >= 0.0 && p <= 1.0;
}
///
/// Gets the probability of generating a one. Range: 0 ≤ p ≤ 1.
///
public double P => _p;
///
/// 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/_p;
///
/// Gets the variance of the distribution.
///
public double Variance => (1.0 - _p)/(_p*_p);
///
/// Gets the standard deviation of the distribution.
///
public double StdDev => Math.Sqrt(1.0 - _p)/_p;
///
/// Gets the entropy of the distribution.
///
public double Entropy => ((-_p*Math.Log(_p, 2.0)) - ((1.0 - _p)*Math.Log(1.0 - _p, 2.0)))/_p;
///
/// Gets the skewness of the distribution.
///
/// Throws a not supported exception.
public double Skewness => (2.0 - _p)/Math.Sqrt(1.0 - _p);
///
/// Gets the mode of the distribution.
///
public int Mode => 1;
///
/// Gets the median of the distribution.
///
public double Median => _p == 0.0 ? double.PositiveInfinity : _p == 1.0 ? 1.0 : Math.Ceiling(-Constants.Ln2/Math.Log(1 - _p));
///
/// Gets the smallest element in the domain of the distributions which can be represented by an integer.
///
public int Minimum => 1;
///
/// Gets the largest element in the domain of the distributions which can be represented by an integer.
///
public int Maximum => int.MaxValue;
///
/// Computes the probability mass (PMF) at k, i.e. P(X = k).
///
/// The location in the domain where we want to evaluate the probability mass function.
/// the probability mass at location .
public double Probability(int k)
{
if (k <= 0)
{
return 0.0;
}
return Math.Pow(1.0 - _p, k - 1)*_p;
}
///
/// Computes the log probability mass (lnPMF) at k, i.e. ln(P(X = k)).
///
/// The location in the domain where we want to evaluate the log probability mass function.
/// the log probability mass at location .
public double ProbabilityLn(int k)
{
if (k <= 0)
{
return double.NegativeInfinity;
}
return ((k - 1)*Math.Log(1.0 - _p)) + Math.Log(_p);
}
///
/// 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 1.0 - Math.Pow(1.0 - _p, x);
}
///
/// Computes the probability mass (PMF) at k, i.e. P(X = k).
///
/// The location in the domain where we want to evaluate the probability mass function.
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
/// the probability mass at location .
public static double PMF(double p, int k)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
if (k <= 0)
{
return 0.0;
}
return Math.Pow(1.0 - p, k - 1)*p;
}
///
/// Computes the log probability mass (lnPMF) at k, i.e. ln(P(X = k)).
///
/// The location in the domain where we want to evaluate the log probability mass function.
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
/// the log probability mass at location .
public static double PMFLn(double p, int k)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
if (k <= 0)
{
return double.NegativeInfinity;
}
return ((k - 1)*Math.Log(1.0 - p)) + Math.Log(p);
}
///
/// 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 probability (p) of generating one. Range: 0 ≤ p ≤ 1.
/// the cumulative distribution at location .
///
public static double CDF(double p, double x)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return 1.0 - Math.Pow(1.0 - p, x);
}
///
/// Returns one sample from the distribution.
///
/// The random number generator to use.
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
/// One sample from the distribution implied by .
static int SampleUnchecked(System.Random rnd, double p)
{
return p == 1.0 ? 1 : (int)Math.Ceiling(Math.Log(1.0 - rnd.NextDouble(), 1.0 - p));
}
static void SamplesUnchecked(System.Random rnd, int[] values, double p)
{
if (p == 1.0)
{
CommonParallel.For(0, values.Length, 4096, (a, b) =>
{
for (int i = a; i < b; i++)
{
values[i] = 1;
}
});
return;
}
var uniform = rnd.NextDoubles(values.Length);
double rp = 1.0 - p;
CommonParallel.For(0, values.Length, 4096, (a, b) =>
{
for (int i = a; i < b; i++)
{
values[i] = (int)Math.Ceiling(Math.Log(1.0 - uniform[i], rp));
}
});
}
static IEnumerable SamplesUnchecked(System.Random rnd, double p)
{
if (p == 1.0)
{
return Generate.RepeatSequence(1);
}
double rp = 1.0 - p;
return rnd.NextDoubleSequence().Select(r => (int)Math.Ceiling(Math.Log(1.0 - r, rp)));
}
///
/// Samples a Geometric distributed random variable.
///
/// A sample from the Geometric distribution.
public int Sample()
{
return SampleUnchecked(_random, _p);
}
///
/// Fills an array with samples generated from the distribution.
///
public void Samples(int[] values)
{
SamplesUnchecked(_random, values, _p);
}
///
/// Samples an array of Geometric distributed random variables.
///
/// a sequence of samples from the distribution.
public IEnumerable Samples()
{
return SamplesUnchecked(_random, _p);
}
///
/// Samples a random variable.
///
/// The random number generator to use.
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public static int Sample(System.Random rnd, double p)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SampleUnchecked(rnd, p);
}
///
/// Samples a sequence of this random variable.
///
/// The random number generator to use.
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public static IEnumerable Samples(System.Random rnd, double p)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SamplesUnchecked(rnd, p);
}
///
/// Fills an array with samples generated from the distribution.
///
/// The random number generator to use.
/// The array to fill with the samples.
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public static void Samples(System.Random rnd, int[] values, double p)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
SamplesUnchecked(rnd, values, p);
}
///
/// Samples a random variable.
///
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public static int Sample(double p)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SampleUnchecked(SystemRandomSource.Default, p);
}
///
/// Samples a sequence of this random variable.
///
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public static IEnumerable Samples(double p)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
return SamplesUnchecked(SystemRandomSource.Default, p);
}
///
/// Fills an array with samples generated from the distribution.
///
/// The array to fill with the samples.
/// The probability (p) of generating one. Range: 0 ≤ p ≤ 1.
public static void Samples(int[] values, double p)
{
if (!(p >= 0.0 && p <= 1.0))
{
throw new ArgumentException("Invalid parametrization for the distribution.");
}
SamplesUnchecked(SystemRandomSource.Default, values, p);
}
}
}