blob: 95f44113bfdc665d111252a6848362f858e9d1ec [file] [log] [blame]
Guido van Rossume7b146f2000-02-04 15:28:42 +00001"""Random variable generators.
Guido van Rossumff03b1a1994-03-09 12:55:02 +00002
Tim Petersd7b5e882001-01-25 03:36:26 +00003 integers
4 --------
5 uniform within range
6
7 sequences
8 ---------
9 pick random element
Raymond Hettingerf24eb352002-11-12 17:41:57 +000010 pick random sample
Tim Petersd7b5e882001-01-25 03:36:26 +000011 generate random permutation
12
Guido van Rossume7b146f2000-02-04 15:28:42 +000013 distributions on the real line:
14 ------------------------------
Tim Petersd7b5e882001-01-25 03:36:26 +000015 uniform
Christian Heimesfe337bf2008-03-23 21:54:12 +000016 triangular
Guido van Rossume7b146f2000-02-04 15:28:42 +000017 normal (Gaussian)
18 lognormal
19 negative exponential
20 gamma
21 beta
Raymond Hettinger40f62172002-12-29 23:03:38 +000022 pareto
23 Weibull
Guido van Rossumff03b1a1994-03-09 12:55:02 +000024
Guido van Rossume7b146f2000-02-04 15:28:42 +000025 distributions on the circle (angles 0 to 2pi)
26 ---------------------------------------------
27 circular uniform
28 von Mises
29
Raymond Hettinger40f62172002-12-29 23:03:38 +000030General notes on the underlying Mersenne Twister core generator:
Guido van Rossume7b146f2000-02-04 15:28:42 +000031
Raymond Hettinger40f62172002-12-29 23:03:38 +000032* The period is 2**19937-1.
Thomas Wouters0e3f5912006-08-11 14:57:12 +000033* It is one of the most extensively tested generators in existence.
Thomas Wouters0e3f5912006-08-11 14:57:12 +000034* The random() method is implemented in C, executes in a single Python step,
35 and is, therefore, threadsafe.
Tim Peterse360d952001-01-26 10:00:39 +000036
Guido van Rossume7b146f2000-02-04 15:28:42 +000037"""
Guido van Rossumd03e1191998-05-29 17:51:31 +000038
Christian Heimesfe337bf2008-03-23 21:54:12 +000039from __future__ import division
Raymond Hettinger2f726e92003-10-05 09:09:15 +000040from warnings import warn as _warn
41from types import MethodType as _MethodType, BuiltinMethodType as _BuiltinMethodType
Raymond Hettinger91e27c22005-08-19 01:36:35 +000042from math import log as _log, exp as _exp, pi as _pi, e as _e, ceil as _ceil
Tim Petersd7b5e882001-01-25 03:36:26 +000043from math import sqrt as _sqrt, acos as _acos, cos as _cos, sin as _sin
Raymond Hettingerc1c43ca2004-09-05 00:00:42 +000044from os import urandom as _urandom
45from binascii import hexlify as _hexlify
Guido van Rossumff03b1a1994-03-09 12:55:02 +000046
Raymond Hettingerf24eb352002-11-12 17:41:57 +000047__all__ = ["Random","seed","random","uniform","randint","choice","sample",
Skip Montanaro0de65802001-02-15 22:15:14 +000048 "randrange","shuffle","normalvariate","lognormvariate",
Christian Heimesfe337bf2008-03-23 21:54:12 +000049 "expovariate","vonmisesvariate","gammavariate","triangular",
Raymond Hettingerf8a52d32003-08-05 12:23:19 +000050 "gauss","betavariate","paretovariate","weibullvariate",
Raymond Hettinger28de64f2008-01-13 23:40:30 +000051 "getstate","setstate", "getrandbits",
Raymond Hettinger23f12412004-09-13 22:23:21 +000052 "SystemRandom"]
Tim Petersd7b5e882001-01-25 03:36:26 +000053
54NV_MAGICCONST = 4 * _exp(-0.5)/_sqrt(2.0)
Tim Petersd7b5e882001-01-25 03:36:26 +000055TWOPI = 2.0*_pi
Tim Petersd7b5e882001-01-25 03:36:26 +000056LOG4 = _log(4.0)
Tim Petersd7b5e882001-01-25 03:36:26 +000057SG_MAGICCONST = 1.0 + _log(4.5)
Raymond Hettinger2f726e92003-10-05 09:09:15 +000058BPF = 53 # Number of bits in a float
Tim Peters7c2a85b2004-08-31 02:19:55 +000059RECIP_BPF = 2**-BPF
Tim Petersd7b5e882001-01-25 03:36:26 +000060
Raymond Hettinger356a4592004-08-30 06:14:31 +000061
Tim Petersd7b5e882001-01-25 03:36:26 +000062# Translated by Guido van Rossum from C source provided by
Raymond Hettinger40f62172002-12-29 23:03:38 +000063# Adrian Baddeley. Adapted by Raymond Hettinger for use with
Raymond Hettinger3fa19d72004-08-31 01:05:15 +000064# the Mersenne Twister and os.urandom() core generators.
Tim Petersd7b5e882001-01-25 03:36:26 +000065
Raymond Hettinger145a4a02003-01-07 10:25:55 +000066import _random
Raymond Hettinger40f62172002-12-29 23:03:38 +000067
Raymond Hettinger145a4a02003-01-07 10:25:55 +000068class Random(_random.Random):
Raymond Hettingerc32f0332002-05-23 19:44:49 +000069 """Random number generator base class used by bound module functions.
70
71 Used to instantiate instances of Random to get generators that don't
Raymond Hettinger28de64f2008-01-13 23:40:30 +000072 share state.
Raymond Hettingerc32f0332002-05-23 19:44:49 +000073
74 Class Random can also be subclassed if you want to use a different basic
75 generator of your own devising: in that case, override the following
Raymond Hettinger28de64f2008-01-13 23:40:30 +000076 methods: random(), seed(), getstate(), and setstate().
Benjamin Petersond18de0e2008-07-31 20:21:46 +000077 Optionally, implement a getrandbits() method so that randrange()
Raymond Hettinger2f726e92003-10-05 09:09:15 +000078 can cover arbitrarily large ranges.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +000079
Raymond Hettingerc32f0332002-05-23 19:44:49 +000080 """
Tim Petersd7b5e882001-01-25 03:36:26 +000081
Christian Heimescbf3b5c2007-12-03 21:02:03 +000082 VERSION = 3 # used by getstate/setstate
Tim Petersd7b5e882001-01-25 03:36:26 +000083
84 def __init__(self, x=None):
85 """Initialize an instance.
86
87 Optional argument x controls seeding, as for Random.seed().
88 """
89
90 self.seed(x)
Raymond Hettinger40f62172002-12-29 23:03:38 +000091 self.gauss_next = None
Tim Petersd7b5e882001-01-25 03:36:26 +000092
Tim Peters0de88fc2001-02-01 04:59:18 +000093 def seed(self, a=None):
94 """Initialize internal state from hashable object.
Tim Petersd7b5e882001-01-25 03:36:26 +000095
Raymond Hettinger23f12412004-09-13 22:23:21 +000096 None or no argument seeds from current time or from an operating
97 system specific randomness source if available.
Tim Peters0de88fc2001-02-01 04:59:18 +000098
Tim Petersbcd725f2001-02-01 10:06:53 +000099 If a is not None or an int or long, hash(a) is used instead.
Tim Petersd7b5e882001-01-25 03:36:26 +0000100 """
101
Raymond Hettinger3081d592003-08-09 18:30:57 +0000102 if a is None:
Raymond Hettingerc1c43ca2004-09-05 00:00:42 +0000103 try:
Guido van Rossume2a383d2007-01-15 16:59:06 +0000104 a = int(_hexlify(_urandom(16)), 16)
Raymond Hettingerc1c43ca2004-09-05 00:00:42 +0000105 except NotImplementedError:
Raymond Hettinger356a4592004-08-30 06:14:31 +0000106 import time
Guido van Rossume2a383d2007-01-15 16:59:06 +0000107 a = int(time.time() * 256) # use fractional seconds
Raymond Hettinger356a4592004-08-30 06:14:31 +0000108
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000109 super().seed(a)
Tim Peters46c04e12002-05-05 20:40:00 +0000110 self.gauss_next = None
111
Tim Peterscd804102001-01-25 20:25:57 +0000112 def getstate(self):
113 """Return internal state; can be passed to setstate() later."""
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000114 return self.VERSION, super().getstate(), self.gauss_next
Tim Peterscd804102001-01-25 20:25:57 +0000115
116 def setstate(self, state):
117 """Restore internal state from object returned by getstate()."""
118 version = state[0]
Christian Heimescbf3b5c2007-12-03 21:02:03 +0000119 if version == 3:
Raymond Hettinger40f62172002-12-29 23:03:38 +0000120 version, internalstate, self.gauss_next = state
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000121 super().setstate(internalstate)
Christian Heimescbf3b5c2007-12-03 21:02:03 +0000122 elif version == 2:
123 version, internalstate, self.gauss_next = state
124 # In version 2, the state was saved as signed ints, which causes
125 # inconsistencies between 32/64-bit systems. The state is
126 # really unsigned 32-bit ints, so we convert negative ints from
127 # version 2 to positive longs for version 3.
128 try:
129 internalstate = tuple( x % (2**32) for x in internalstate )
130 except ValueError as e:
131 raise TypeError from e
132 super(Random, self).setstate(internalstate)
Tim Peterscd804102001-01-25 20:25:57 +0000133 else:
134 raise ValueError("state with version %s passed to "
135 "Random.setstate() of version %s" %
136 (version, self.VERSION))
137
Tim Peterscd804102001-01-25 20:25:57 +0000138## ---- Methods below this point do not need to be overridden when
139## ---- subclassing for the purpose of using a different core generator.
140
141## -------------------- pickle support -------------------
142
143 def __getstate__(self): # for pickle
144 return self.getstate()
145
146 def __setstate__(self, state): # for pickle
147 self.setstate(state)
148
Raymond Hettinger5f078ff2003-06-24 20:29:04 +0000149 def __reduce__(self):
150 return self.__class__, (), self.getstate()
151
Tim Peterscd804102001-01-25 20:25:57 +0000152## -------------------- integer methods -------------------
153
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000154 def randrange(self, start, stop=None, step=1, int=int, default=None,
Guido van Rossume2a383d2007-01-15 16:59:06 +0000155 maxwidth=1<<BPF):
Tim Petersd7b5e882001-01-25 03:36:26 +0000156 """Choose a random item from range(start, stop[, step]).
157
158 This fixes the problem with randint() which includes the
159 endpoint; in Python this is usually not what you want.
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000160 Do not supply the 'int', 'default', and 'maxwidth' arguments.
Tim Petersd7b5e882001-01-25 03:36:26 +0000161 """
162
163 # This code is a bit messy to make it fast for the
Tim Peters9146f272002-08-16 03:41:39 +0000164 # common case while still doing adequate error checking.
Tim Petersd7b5e882001-01-25 03:36:26 +0000165 istart = int(start)
166 if istart != start:
Collin Winterce36ad82007-08-30 01:19:48 +0000167 raise ValueError("non-integer arg 1 for randrange()")
Tim Petersd7b5e882001-01-25 03:36:26 +0000168 if stop is default:
169 if istart > 0:
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000170 if istart >= maxwidth:
171 return self._randbelow(istart)
Tim Petersd7b5e882001-01-25 03:36:26 +0000172 return int(self.random() * istart)
Collin Winterce36ad82007-08-30 01:19:48 +0000173 raise ValueError("empty range for randrange()")
Tim Peters9146f272002-08-16 03:41:39 +0000174
175 # stop argument supplied.
Tim Petersd7b5e882001-01-25 03:36:26 +0000176 istop = int(stop)
177 if istop != stop:
Collin Winterce36ad82007-08-30 01:19:48 +0000178 raise ValueError("non-integer stop for randrange()")
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000179 width = istop - istart
180 if step == 1 and width > 0:
Tim Peters76ca1d42003-06-19 03:46:46 +0000181 # Note that
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000182 # int(istart + self.random()*width)
Tim Peters76ca1d42003-06-19 03:46:46 +0000183 # instead would be incorrect. For example, consider istart
184 # = -2 and istop = 0. Then the guts would be in
185 # -2.0 to 0.0 exclusive on both ends (ignoring that random()
186 # might return 0.0), and because int() truncates toward 0, the
187 # final result would be -1 or 0 (instead of -2 or -1).
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000188 # istart + int(self.random()*width)
Tim Peters76ca1d42003-06-19 03:46:46 +0000189 # would also be incorrect, for a subtler reason: the RHS
190 # can return a long, and then randrange() would also return
191 # a long, but we're supposed to return an int (for backward
192 # compatibility).
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000193
194 if width >= maxwidth:
Tim Peters58eb11c2004-01-18 20:29:55 +0000195 return int(istart + self._randbelow(width))
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000196 return int(istart + int(self.random()*width))
Tim Petersd7b5e882001-01-25 03:36:26 +0000197 if step == 1:
Collin Winterce36ad82007-08-30 01:19:48 +0000198 raise ValueError("empty range for randrange() (%d,%d, %d)" % (istart, istop, width))
Tim Peters9146f272002-08-16 03:41:39 +0000199
200 # Non-unit step argument supplied.
Tim Petersd7b5e882001-01-25 03:36:26 +0000201 istep = int(step)
202 if istep != step:
Collin Winterce36ad82007-08-30 01:19:48 +0000203 raise ValueError("non-integer step for randrange()")
Tim Petersd7b5e882001-01-25 03:36:26 +0000204 if istep > 0:
Raymond Hettingerffdb8bb2004-09-27 15:29:05 +0000205 n = (width + istep - 1) // istep
Tim Petersd7b5e882001-01-25 03:36:26 +0000206 elif istep < 0:
Raymond Hettingerffdb8bb2004-09-27 15:29:05 +0000207 n = (width + istep + 1) // istep
Tim Petersd7b5e882001-01-25 03:36:26 +0000208 else:
Collin Winterce36ad82007-08-30 01:19:48 +0000209 raise ValueError("zero step for randrange()")
Tim Petersd7b5e882001-01-25 03:36:26 +0000210
211 if n <= 0:
Collin Winterce36ad82007-08-30 01:19:48 +0000212 raise ValueError("empty range for randrange()")
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000213
214 if n >= maxwidth:
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000215 return istart + istep*self._randbelow(n)
Tim Petersd7b5e882001-01-25 03:36:26 +0000216 return istart + istep*int(self.random() * n)
217
218 def randint(self, a, b):
Tim Peterscd804102001-01-25 20:25:57 +0000219 """Return random integer in range [a, b], including both end points.
Tim Petersd7b5e882001-01-25 03:36:26 +0000220 """
221
222 return self.randrange(a, b+1)
223
Guido van Rossume2a383d2007-01-15 16:59:06 +0000224 def _randbelow(self, n, _log=_log, int=int, _maxwidth=1<<BPF,
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000225 _Method=_MethodType, _BuiltinMethod=_BuiltinMethodType):
226 """Return a random int in the range [0,n)
227
228 Handles the case where n has more bits than returned
229 by a single call to the underlying generator.
230 """
231
232 try:
233 getrandbits = self.getrandbits
234 except AttributeError:
235 pass
236 else:
237 # Only call self.getrandbits if the original random() builtin method
238 # has not been overridden or if a new getrandbits() was supplied.
239 # This assures that the two methods correspond.
240 if type(self.random) is _BuiltinMethod or type(getrandbits) is _Method:
241 k = int(1.00001 + _log(n-1, 2.0)) # 2**k > n-1 > 2**(k-2)
242 r = getrandbits(k)
243 while r >= n:
244 r = getrandbits(k)
245 return r
246 if n >= _maxwidth:
247 _warn("Underlying random() generator does not supply \n"
248 "enough bits to choose from a population range this large")
249 return int(self.random() * n)
250
Tim Peterscd804102001-01-25 20:25:57 +0000251## -------------------- sequence methods -------------------
252
Tim Petersd7b5e882001-01-25 03:36:26 +0000253 def choice(self, seq):
254 """Choose a random element from a non-empty sequence."""
Raymond Hettinger5dae5052004-06-07 02:07:15 +0000255 return seq[int(self.random() * len(seq))] # raises IndexError if seq is empty
Tim Petersd7b5e882001-01-25 03:36:26 +0000256
257 def shuffle(self, x, random=None, int=int):
258 """x, random=random.random -> shuffle list x in place; return None.
259
260 Optional arg random is a 0-argument function returning a random
261 float in [0.0, 1.0); by default, the standard random.random.
Tim Petersd7b5e882001-01-25 03:36:26 +0000262 """
263
264 if random is None:
265 random = self.random
Guido van Rossum805365e2007-05-07 22:24:25 +0000266 for i in reversed(range(1, len(x))):
Tim Peterscd804102001-01-25 20:25:57 +0000267 # pick an element in x[:i+1] with which to exchange x[i]
Tim Petersd7b5e882001-01-25 03:36:26 +0000268 j = int(random() * (i+1))
269 x[i], x[j] = x[j], x[i]
270
Raymond Hettingerfdbe5222003-06-13 07:01:51 +0000271 def sample(self, population, k):
Raymond Hettinger1acde192008-01-14 01:00:53 +0000272 """Chooses k unique random elements from a population sequence or set.
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000273
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000274 Returns a new list containing elements from the population while
275 leaving the original population unchanged. The resulting list is
276 in selection order so that all sub-slices will also be valid random
277 samples. This allows raffle winners (the sample) to be partitioned
278 into grand prize and second place winners (the subslices).
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000279
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000280 Members of the population need not be hashable or unique. If the
281 population contains repeats, then each occurrence is a possible
282 selection in the sample.
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000283
Guido van Rossum805365e2007-05-07 22:24:25 +0000284 To choose a sample in a range of integers, use range as an argument.
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000285 This is especially fast and space efficient for sampling from a
Guido van Rossum805365e2007-05-07 22:24:25 +0000286 large population: sample(range(10000000), 60)
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000287 """
288
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000289 # Sampling without replacement entails tracking either potential
Raymond Hettinger91e27c22005-08-19 01:36:35 +0000290 # selections (the pool) in a list or previous selections in a set.
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000291
Jeremy Hylton2b55d352004-02-23 17:27:57 +0000292 # When the number of selections is small compared to the
293 # population, then tracking selections is efficient, requiring
Raymond Hettinger91e27c22005-08-19 01:36:35 +0000294 # only a small set and an occasional reselection. For
Jeremy Hylton2b55d352004-02-23 17:27:57 +0000295 # a larger number of selections, the pool tracking method is
296 # preferred since the list takes less space than the
Raymond Hettinger91e27c22005-08-19 01:36:35 +0000297 # set and it doesn't suffer from frequent reselections.
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000298
Raymond Hettinger1acde192008-01-14 01:00:53 +0000299 if isinstance(population, (set, frozenset)):
300 population = tuple(population)
301 if not hasattr(population, '__getitem__') or hasattr(population, 'keys'):
302 raise TypeError("Population must be a sequence or set. For dicts, use dict.keys().")
303 random = self.random
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000304 n = len(population)
305 if not 0 <= k <= n:
Raymond Hettinger1acde192008-01-14 01:00:53 +0000306 raise ValueError("Sample larger than population")
Raymond Hettingerfdbe5222003-06-13 07:01:51 +0000307 _int = int
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000308 result = [None] * k
Raymond Hettinger91e27c22005-08-19 01:36:35 +0000309 setsize = 21 # size of a small set minus size of an empty list
310 if k > 5:
Tim Peters9e34c042005-08-26 15:20:46 +0000311 setsize += 4 ** _ceil(_log(k * 3, 4)) # table size for big sets
Raymond Hettinger1acde192008-01-14 01:00:53 +0000312 if n <= setsize:
313 # An n-length list is smaller than a k-length set
Raymond Hettinger311f4192002-11-18 09:01:24 +0000314 pool = list(population)
Guido van Rossum805365e2007-05-07 22:24:25 +0000315 for i in range(k): # invariant: non-selected at [0,n-i)
Raymond Hettingerfdbe5222003-06-13 07:01:51 +0000316 j = _int(random() * (n-i))
Raymond Hettinger311f4192002-11-18 09:01:24 +0000317 result[i] = pool[j]
Raymond Hettinger8b9aa8d2003-01-04 05:20:33 +0000318 pool[j] = pool[n-i-1] # move non-selected item into vacancy
Raymond Hettingerc0b40342002-11-13 15:26:37 +0000319 else:
Raymond Hettinger1acde192008-01-14 01:00:53 +0000320 selected = set()
321 selected_add = selected.add
322 for i in range(k):
323 j = _int(random() * n)
324 while j in selected:
Raymond Hettingerfdbe5222003-06-13 07:01:51 +0000325 j = _int(random() * n)
Raymond Hettinger1acde192008-01-14 01:00:53 +0000326 selected_add(j)
327 result[i] = population[j]
Raymond Hettinger311f4192002-11-18 09:01:24 +0000328 return result
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000329
Tim Peterscd804102001-01-25 20:25:57 +0000330## -------------------- real-valued distributions -------------------
331
332## -------------------- uniform distribution -------------------
Tim Petersd7b5e882001-01-25 03:36:26 +0000333
334 def uniform(self, a, b):
335 """Get a random number in the range [a, b)."""
336 return a + (b-a) * self.random()
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000337
Christian Heimesfe337bf2008-03-23 21:54:12 +0000338## -------------------- triangular --------------------
339
340 def triangular(self, low=0.0, high=1.0, mode=None):
341 """Triangular distribution.
342
343 Continuous distribution bounded by given lower and upper limits,
344 and having a given mode value in-between.
345
346 http://en.wikipedia.org/wiki/Triangular_distribution
347
348 """
349 u = self.random()
350 c = 0.5 if mode is None else (mode - low) / (high - low)
351 if u > c:
352 u = 1.0 - u
353 c = 1.0 - c
354 low, high = high, low
355 return low + (high - low) * (u * c) ** 0.5
356
Tim Peterscd804102001-01-25 20:25:57 +0000357## -------------------- normal distribution --------------------
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000358
Tim Petersd7b5e882001-01-25 03:36:26 +0000359 def normalvariate(self, mu, sigma):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000360 """Normal distribution.
361
362 mu is the mean, and sigma is the standard deviation.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000363
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000364 """
Tim Petersd7b5e882001-01-25 03:36:26 +0000365 # mu = mean, sigma = standard deviation
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000366
Tim Petersd7b5e882001-01-25 03:36:26 +0000367 # Uses Kinderman and Monahan method. Reference: Kinderman,
368 # A.J. and Monahan, J.F., "Computer generation of random
369 # variables using the ratio of uniform deviates", ACM Trans
370 # Math Software, 3, (1977), pp257-260.
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000371
Tim Petersd7b5e882001-01-25 03:36:26 +0000372 random = self.random
Raymond Hettinger42406e62005-04-30 09:02:51 +0000373 while 1:
Tim Peters0c9886d2001-01-15 01:18:21 +0000374 u1 = random()
Raymond Hettinger73ced7e2003-01-04 09:26:32 +0000375 u2 = 1.0 - random()
Tim Petersd7b5e882001-01-25 03:36:26 +0000376 z = NV_MAGICCONST*(u1-0.5)/u2
377 zz = z*z/4.0
378 if zz <= -_log(u2):
379 break
380 return mu + z*sigma
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000381
Tim Peterscd804102001-01-25 20:25:57 +0000382## -------------------- lognormal distribution --------------------
Tim Petersd7b5e882001-01-25 03:36:26 +0000383
384 def lognormvariate(self, mu, sigma):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000385 """Log normal distribution.
386
387 If you take the natural logarithm of this distribution, you'll get a
388 normal distribution with mean mu and standard deviation sigma.
389 mu can have any value, and sigma must be greater than zero.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000390
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000391 """
Tim Petersd7b5e882001-01-25 03:36:26 +0000392 return _exp(self.normalvariate(mu, sigma))
393
Tim Peterscd804102001-01-25 20:25:57 +0000394## -------------------- exponential distribution --------------------
Tim Petersd7b5e882001-01-25 03:36:26 +0000395
396 def expovariate(self, lambd):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000397 """Exponential distribution.
398
Mark Dickinson2f947362009-01-07 17:54:07 +0000399 lambd is 1.0 divided by the desired mean. It should be
400 nonzero. (The parameter would be called "lambda", but that is
401 a reserved word in Python.) Returned values range from 0 to
402 positive infinity if lambd is positive, and from negative
403 infinity to 0 if lambd is negative.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000404
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000405 """
Tim Petersd7b5e882001-01-25 03:36:26 +0000406 # lambd: rate lambd = 1/mean
407 # ('lambda' is a Python reserved word)
408
409 random = self.random
Tim Peters0c9886d2001-01-15 01:18:21 +0000410 u = random()
411 while u <= 1e-7:
412 u = random()
Tim Petersd7b5e882001-01-25 03:36:26 +0000413 return -_log(u)/lambd
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000414
Tim Peterscd804102001-01-25 20:25:57 +0000415## -------------------- von Mises distribution --------------------
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000416
Tim Petersd7b5e882001-01-25 03:36:26 +0000417 def vonmisesvariate(self, mu, kappa):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000418 """Circular data distribution.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000419
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000420 mu is the mean angle, expressed in radians between 0 and 2*pi, and
421 kappa is the concentration parameter, which must be greater than or
422 equal to zero. If kappa is equal to zero, this distribution reduces
423 to a uniform random angle over the range 0 to 2*pi.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000424
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000425 """
Tim Petersd7b5e882001-01-25 03:36:26 +0000426 # mu: mean angle (in radians between 0 and 2*pi)
427 # kappa: concentration parameter kappa (>= 0)
428 # if kappa = 0 generate uniform random angle
429
430 # Based upon an algorithm published in: Fisher, N.I.,
431 # "Statistical Analysis of Circular Data", Cambridge
432 # University Press, 1993.
433
434 # Thanks to Magnus Kessler for a correction to the
435 # implementation of step 4.
436
437 random = self.random
438 if kappa <= 1e-6:
439 return TWOPI * random()
440
441 a = 1.0 + _sqrt(1.0 + 4.0 * kappa * kappa)
442 b = (a - _sqrt(2.0 * a))/(2.0 * kappa)
443 r = (1.0 + b * b)/(2.0 * b)
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000444
Raymond Hettinger42406e62005-04-30 09:02:51 +0000445 while 1:
Tim Peters0c9886d2001-01-15 01:18:21 +0000446 u1 = random()
Tim Petersd7b5e882001-01-25 03:36:26 +0000447
448 z = _cos(_pi * u1)
449 f = (1.0 + r * z)/(r + z)
450 c = kappa * (r - f)
451
452 u2 = random()
453
Raymond Hettinger42406e62005-04-30 09:02:51 +0000454 if u2 < c * (2.0 - c) or u2 <= c * _exp(1.0 - c):
Tim Peters0c9886d2001-01-15 01:18:21 +0000455 break
Tim Petersd7b5e882001-01-25 03:36:26 +0000456
457 u3 = random()
458 if u3 > 0.5:
459 theta = (mu % TWOPI) + _acos(f)
460 else:
461 theta = (mu % TWOPI) - _acos(f)
462
463 return theta
464
Tim Peterscd804102001-01-25 20:25:57 +0000465## -------------------- gamma distribution --------------------
Tim Petersd7b5e882001-01-25 03:36:26 +0000466
467 def gammavariate(self, alpha, beta):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000468 """Gamma distribution. Not the gamma function!
469
470 Conditions on the parameters are alpha > 0 and beta > 0.
471
472 """
Tim Peters8ac14952002-05-23 15:15:30 +0000473
Raymond Hettingerb760efb2002-05-14 06:40:34 +0000474 # alpha > 0, beta > 0, mean is alpha*beta, variance is alpha*beta**2
Tim Peters8ac14952002-05-23 15:15:30 +0000475
Guido van Rossum570764d2002-05-14 14:08:12 +0000476 # Warning: a few older sources define the gamma distribution in terms
477 # of alpha > -1.0
478 if alpha <= 0.0 or beta <= 0.0:
Collin Winterce36ad82007-08-30 01:19:48 +0000479 raise ValueError('gammavariate: alpha and beta must be > 0.0')
Tim Peters8ac14952002-05-23 15:15:30 +0000480
Tim Petersd7b5e882001-01-25 03:36:26 +0000481 random = self.random
Tim Petersd7b5e882001-01-25 03:36:26 +0000482 if alpha > 1.0:
483
484 # Uses R.C.H. Cheng, "The generation of Gamma
485 # variables with non-integral shape parameters",
486 # Applied Statistics, (1977), 26, No. 1, p71-74
487
Raymond Hettingerca6cdc22002-05-13 23:40:14 +0000488 ainv = _sqrt(2.0 * alpha - 1.0)
489 bbb = alpha - LOG4
490 ccc = alpha + ainv
Tim Peters8ac14952002-05-23 15:15:30 +0000491
Raymond Hettinger42406e62005-04-30 09:02:51 +0000492 while 1:
Tim Petersd7b5e882001-01-25 03:36:26 +0000493 u1 = random()
Raymond Hettinger73ced7e2003-01-04 09:26:32 +0000494 if not 1e-7 < u1 < .9999999:
495 continue
496 u2 = 1.0 - random()
Tim Petersd7b5e882001-01-25 03:36:26 +0000497 v = _log(u1/(1.0-u1))/ainv
498 x = alpha*_exp(v)
499 z = u1*u1*u2
500 r = bbb+ccc*v-x
501 if r + SG_MAGICCONST - 4.5*z >= 0.0 or r >= _log(z):
Raymond Hettingerb760efb2002-05-14 06:40:34 +0000502 return x * beta
Tim Petersd7b5e882001-01-25 03:36:26 +0000503
504 elif alpha == 1.0:
505 # expovariate(1)
506 u = random()
507 while u <= 1e-7:
508 u = random()
Raymond Hettingerb760efb2002-05-14 06:40:34 +0000509 return -_log(u) * beta
Tim Petersd7b5e882001-01-25 03:36:26 +0000510
511 else: # alpha is between 0 and 1 (exclusive)
512
513 # Uses ALGORITHM GS of Statistical Computing - Kennedy & Gentle
514
Raymond Hettinger42406e62005-04-30 09:02:51 +0000515 while 1:
Tim Petersd7b5e882001-01-25 03:36:26 +0000516 u = random()
517 b = (_e + alpha)/_e
518 p = b*u
519 if p <= 1.0:
Raymond Hettinger42406e62005-04-30 09:02:51 +0000520 x = p ** (1.0/alpha)
Tim Petersd7b5e882001-01-25 03:36:26 +0000521 else:
Tim Petersd7b5e882001-01-25 03:36:26 +0000522 x = -_log((b-p)/alpha)
523 u1 = random()
Raymond Hettinger42406e62005-04-30 09:02:51 +0000524 if p > 1.0:
525 if u1 <= x ** (alpha - 1.0):
526 break
527 elif u1 <= _exp(-x):
Tim Petersd7b5e882001-01-25 03:36:26 +0000528 break
Raymond Hettingerb760efb2002-05-14 06:40:34 +0000529 return x * beta
530
Tim Peterscd804102001-01-25 20:25:57 +0000531## -------------------- Gauss (faster alternative) --------------------
Guido van Rossum95bfcda1994-03-09 14:21:05 +0000532
Tim Petersd7b5e882001-01-25 03:36:26 +0000533 def gauss(self, mu, sigma):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000534 """Gaussian distribution.
535
536 mu is the mean, and sigma is the standard deviation. This is
537 slightly faster than the normalvariate() function.
538
539 Not thread-safe without a lock around calls.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000540
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000541 """
Guido van Rossumcc32ac91994-03-15 16:10:24 +0000542
Tim Petersd7b5e882001-01-25 03:36:26 +0000543 # When x and y are two variables from [0, 1), uniformly
544 # distributed, then
545 #
546 # cos(2*pi*x)*sqrt(-2*log(1-y))
547 # sin(2*pi*x)*sqrt(-2*log(1-y))
548 #
549 # are two *independent* variables with normal distribution
550 # (mu = 0, sigma = 1).
551 # (Lambert Meertens)
552 # (corrected version; bug discovered by Mike Miller, fixed by LM)
Guido van Rossumcc32ac91994-03-15 16:10:24 +0000553
Tim Petersd7b5e882001-01-25 03:36:26 +0000554 # Multithreading note: When two threads call this function
555 # simultaneously, it is possible that they will receive the
556 # same return value. The window is very small though. To
557 # avoid this, you have to use a lock around all calls. (I
558 # didn't want to slow this down in the serial case by using a
559 # lock here.)
Guido van Rossumd03e1191998-05-29 17:51:31 +0000560
Tim Petersd7b5e882001-01-25 03:36:26 +0000561 random = self.random
562 z = self.gauss_next
563 self.gauss_next = None
564 if z is None:
565 x2pi = random() * TWOPI
566 g2rad = _sqrt(-2.0 * _log(1.0 - random()))
567 z = _cos(x2pi) * g2rad
568 self.gauss_next = _sin(x2pi) * g2rad
Guido van Rossumcc32ac91994-03-15 16:10:24 +0000569
Tim Petersd7b5e882001-01-25 03:36:26 +0000570 return mu + z*sigma
Guido van Rossum95bfcda1994-03-09 14:21:05 +0000571
Tim Peterscd804102001-01-25 20:25:57 +0000572## -------------------- beta --------------------
Tim Peters85e2e472001-01-26 06:49:56 +0000573## See
574## http://sourceforge.net/bugs/?func=detailbug&bug_id=130030&group_id=5470
575## for Ivan Frohne's insightful analysis of why the original implementation:
576##
577## def betavariate(self, alpha, beta):
578## # Discrete Event Simulation in C, pp 87-88.
579##
580## y = self.expovariate(alpha)
581## z = self.expovariate(1.0/beta)
582## return z/(y+z)
583##
584## was dead wrong, and how it probably got that way.
Guido van Rossum95bfcda1994-03-09 14:21:05 +0000585
Tim Petersd7b5e882001-01-25 03:36:26 +0000586 def betavariate(self, alpha, beta):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000587 """Beta distribution.
588
Thomas Woutersb2137042007-02-01 18:02:27 +0000589 Conditions on the parameters are alpha > 0 and beta > 0.
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000590 Returned values range between 0 and 1.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000591
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000592 """
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000593
Tim Peters85e2e472001-01-26 06:49:56 +0000594 # This version due to Janne Sinkkonen, and matches all the std
595 # texts (e.g., Knuth Vol 2 Ed 3 pg 134 "the beta distribution").
596 y = self.gammavariate(alpha, 1.)
597 if y == 0:
598 return 0.0
599 else:
600 return y / (y + self.gammavariate(beta, 1.))
Guido van Rossum95bfcda1994-03-09 14:21:05 +0000601
Tim Peterscd804102001-01-25 20:25:57 +0000602## -------------------- Pareto --------------------
Guido van Rossumcf4559a1997-12-02 02:47:39 +0000603
Tim Petersd7b5e882001-01-25 03:36:26 +0000604 def paretovariate(self, alpha):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000605 """Pareto distribution. alpha is the shape parameter."""
Tim Petersd7b5e882001-01-25 03:36:26 +0000606 # Jain, pg. 495
Guido van Rossumcf4559a1997-12-02 02:47:39 +0000607
Raymond Hettinger73ced7e2003-01-04 09:26:32 +0000608 u = 1.0 - self.random()
Tim Petersd7b5e882001-01-25 03:36:26 +0000609 return 1.0 / pow(u, 1.0/alpha)
Guido van Rossumcf4559a1997-12-02 02:47:39 +0000610
Tim Peterscd804102001-01-25 20:25:57 +0000611## -------------------- Weibull --------------------
Guido van Rossumcf4559a1997-12-02 02:47:39 +0000612
Tim Petersd7b5e882001-01-25 03:36:26 +0000613 def weibullvariate(self, alpha, beta):
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000614 """Weibull distribution.
615
616 alpha is the scale parameter and beta is the shape parameter.
Raymond Hettingeref4d4bd2002-05-23 23:58:17 +0000617
Raymond Hettingerc32f0332002-05-23 19:44:49 +0000618 """
Tim Petersd7b5e882001-01-25 03:36:26 +0000619 # Jain, pg. 499; bug fix courtesy Bill Arms
Guido van Rossumcf4559a1997-12-02 02:47:39 +0000620
Raymond Hettinger73ced7e2003-01-04 09:26:32 +0000621 u = 1.0 - self.random()
Tim Petersd7b5e882001-01-25 03:36:26 +0000622 return alpha * pow(-_log(u), 1.0/beta)
Guido van Rossum6c395ba1999-08-18 13:53:28 +0000623
Raymond Hettinger23f12412004-09-13 22:23:21 +0000624## --------------- Operating System Random Source ------------------
Raymond Hettinger356a4592004-08-30 06:14:31 +0000625
Raymond Hettinger23f12412004-09-13 22:23:21 +0000626class SystemRandom(Random):
627 """Alternate random number generator using sources provided
628 by the operating system (such as /dev/urandom on Unix or
629 CryptGenRandom on Windows).
Raymond Hettinger356a4592004-08-30 06:14:31 +0000630
631 Not available on all systems (see os.urandom() for details).
632 """
633
634 def random(self):
635 """Get the next random number in the range [0.0, 1.0)."""
Guido van Rossume2a383d2007-01-15 16:59:06 +0000636 return (int(_hexlify(_urandom(7)), 16) >> 3) * RECIP_BPF
Raymond Hettinger356a4592004-08-30 06:14:31 +0000637
638 def getrandbits(self, k):
639 """getrandbits(k) -> x. Generates a long int with k random bits."""
Raymond Hettinger356a4592004-08-30 06:14:31 +0000640 if k <= 0:
641 raise ValueError('number of bits must be greater than zero')
642 if k != int(k):
643 raise TypeError('number of bits should be an integer')
644 bytes = (k + 7) // 8 # bits / 8 and rounded up
Guido van Rossume2a383d2007-01-15 16:59:06 +0000645 x = int(_hexlify(_urandom(bytes)), 16)
Raymond Hettinger356a4592004-08-30 06:14:31 +0000646 return x >> (bytes * 8 - k) # trim excess bits
647
Raymond Hettinger28de64f2008-01-13 23:40:30 +0000648 def seed(self, *args, **kwds):
Raymond Hettinger23f12412004-09-13 22:23:21 +0000649 "Stub method. Not used for a system random number generator."
Raymond Hettinger356a4592004-08-30 06:14:31 +0000650 return None
Raymond Hettinger356a4592004-08-30 06:14:31 +0000651
652 def _notimplemented(self, *args, **kwds):
Raymond Hettinger23f12412004-09-13 22:23:21 +0000653 "Method should not be called for a system random number generator."
654 raise NotImplementedError('System entropy source does not have state.')
Raymond Hettinger356a4592004-08-30 06:14:31 +0000655 getstate = setstate = _notimplemented
656
Tim Peterscd804102001-01-25 20:25:57 +0000657## -------------------- test program --------------------
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000658
Raymond Hettinger62297132003-08-30 01:24:19 +0000659def _test_generator(n, func, args):
Tim Peters0c9886d2001-01-15 01:18:21 +0000660 import time
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000661 print(n, 'times', func.__name__)
Raymond Hettingerb98154e2003-05-24 17:26:02 +0000662 total = 0.0
Tim Peters0c9886d2001-01-15 01:18:21 +0000663 sqsum = 0.0
664 smallest = 1e10
665 largest = -1e10
666 t0 = time.time()
667 for i in range(n):
Raymond Hettinger62297132003-08-30 01:24:19 +0000668 x = func(*args)
Raymond Hettingerb98154e2003-05-24 17:26:02 +0000669 total += x
Tim Peters0c9886d2001-01-15 01:18:21 +0000670 sqsum = sqsum + x*x
671 smallest = min(x, smallest)
672 largest = max(x, largest)
673 t1 = time.time()
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000674 print(round(t1-t0, 3), 'sec,', end=' ')
Raymond Hettingerb98154e2003-05-24 17:26:02 +0000675 avg = total/n
Tim Petersd7b5e882001-01-25 03:36:26 +0000676 stddev = _sqrt(sqsum/n - avg*avg)
Guido van Rossumbe19ed72007-02-09 05:37:30 +0000677 print('avg %g, stddev %g, min %g, max %g' % \
678 (avg, stddev, smallest, largest))
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000679
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000680
681def _test(N=2000):
Raymond Hettinger62297132003-08-30 01:24:19 +0000682 _test_generator(N, random, ())
683 _test_generator(N, normalvariate, (0.0, 1.0))
684 _test_generator(N, lognormvariate, (0.0, 1.0))
685 _test_generator(N, vonmisesvariate, (0.0, 1.0))
686 _test_generator(N, gammavariate, (0.01, 1.0))
687 _test_generator(N, gammavariate, (0.1, 1.0))
688 _test_generator(N, gammavariate, (0.1, 2.0))
689 _test_generator(N, gammavariate, (0.5, 1.0))
690 _test_generator(N, gammavariate, (0.9, 1.0))
691 _test_generator(N, gammavariate, (1.0, 1.0))
692 _test_generator(N, gammavariate, (2.0, 1.0))
693 _test_generator(N, gammavariate, (20.0, 1.0))
694 _test_generator(N, gammavariate, (200.0, 1.0))
695 _test_generator(N, gauss, (0.0, 1.0))
696 _test_generator(N, betavariate, (3.0, 3.0))
Christian Heimesfe337bf2008-03-23 21:54:12 +0000697 _test_generator(N, triangular, (0.0, 1.0, 1.0/3.0))
Tim Peterscd804102001-01-25 20:25:57 +0000698
Tim Peters715c4c42001-01-26 22:56:56 +0000699# Create one instance, seeded from current time, and export its methods
Raymond Hettinger40f62172002-12-29 23:03:38 +0000700# as module-level functions. The functions share state across all uses
701#(both in the user's code and in the Python libraries), but that's fine
702# for most programs and is easier for the casual user than making them
703# instantiate their own Random() instance.
704
Tim Petersd7b5e882001-01-25 03:36:26 +0000705_inst = Random()
706seed = _inst.seed
707random = _inst.random
708uniform = _inst.uniform
Christian Heimesfe337bf2008-03-23 21:54:12 +0000709triangular = _inst.triangular
Tim Petersd7b5e882001-01-25 03:36:26 +0000710randint = _inst.randint
711choice = _inst.choice
712randrange = _inst.randrange
Raymond Hettingerf24eb352002-11-12 17:41:57 +0000713sample = _inst.sample
Tim Petersd7b5e882001-01-25 03:36:26 +0000714shuffle = _inst.shuffle
715normalvariate = _inst.normalvariate
716lognormvariate = _inst.lognormvariate
Tim Petersd7b5e882001-01-25 03:36:26 +0000717expovariate = _inst.expovariate
718vonmisesvariate = _inst.vonmisesvariate
719gammavariate = _inst.gammavariate
Tim Petersd7b5e882001-01-25 03:36:26 +0000720gauss = _inst.gauss
721betavariate = _inst.betavariate
722paretovariate = _inst.paretovariate
723weibullvariate = _inst.weibullvariate
724getstate = _inst.getstate
725setstate = _inst.setstate
Raymond Hettinger2f726e92003-10-05 09:09:15 +0000726getrandbits = _inst.getrandbits
Tim Petersd7b5e882001-01-25 03:36:26 +0000727
Guido van Rossumff03b1a1994-03-09 12:55:02 +0000728if __name__ == '__main__':
Tim Petersd7b5e882001-01-25 03:36:26 +0000729 _test()