14requires (std::is_unsigned_v<std::decay_t<T>> &&
sizeof(T) == 8)
32requires (std::is_unsigned_v<std::decay_t<T>> &&
sizeof(T) == 4)
57template <std::
integral T>
59 return x && (!(x&(x-1)));
91template <
typename RandItr,
typename C>
93 return cmp(*l, *m) ? (cmp(*m, *r) ? m : (cmp(*l, *r) ? r : l ))
94 : (cmp(*r, *m) ? m : (cmp(*r, *l) ? r : l ));
115template <
typename RandItr,
typename C>
117 size_t N = std::distance(beg, end);
118 size_t offset = N >> 3;
140template<
typename Iter,
typename Compare>
141void sort2(Iter a, Iter b, Compare comp) {
142 if (comp(*b, *a)) std::iter_swap(a, b);
160template<
typename Iter,
typename Compare>
161void sort3(Iter a, Iter b, Iter c, Compare comp) {
181template <std::
integral T>
183 static std::atomic<T> counter{0};
184 return counter.fetch_add(1, std::memory_order_relaxed);
203inline void atomic_max(std::atomic<T>& v,
const T& max_v)
noexcept {
204 T prev = v.load(std::memory_order_relaxed);
205 while(prev < max_v &&
206 !v.compare_exchange_weak(prev, max_v, std::memory_order_relaxed,
207 std::memory_order_relaxed)) {
227inline void atomic_min(std::atomic<T>& v,
const T& min_v)
noexcept {
228 T prev = v.load(std::memory_order_relaxed);
229 while(prev > min_v &&
230 !v.compare_exchange_weak(prev, min_v, std::memory_order_relaxed,
231 std::memory_order_relaxed)) {
248 return std::chrono::system_clock::now().time_since_epoch().count();
268 for (
size_t x = N; --x > 0;) {
269 if (std::gcd(x, N) == 1) {
287 static_assert(N>0,
"N must be greater than 0");
288 std::array<size_t, N> coprimes{};
289 for (
size_t n = 0; n < N; ++n) {
320 static_assert(std::is_unsigned<T>::value,
"Xorshift requires an unsigned integral type.");
367 if constexpr (
sizeof(T) == 8) {
369 _state ^= _state << 13;
370 _state ^= _state >> 7;
371 _state ^= _state << 17;
372 return _state * 0x2545F4914F6CDD1DULL;
374 else if constexpr (
sizeof(T) == 4) {
376 _state ^= _state << 13;
377 _state ^= _state >> 17;
378 _state ^= _state << 5;
382 static_assert(
sizeof(T) == 0,
"Unsupported bit-width for Xorshift. Use uint32_t or uint64_t.");
void seed(T value)
seeds the generator with a new value
Definition math.hpp:349
T operator()()
generates the next pseudo-random value
Definition math.hpp:366
Xorshift(T value)
constructs a xor-shift generator with the given seed
Definition math.hpp:339
Xorshift()=default
constructs an uninitialized xor-shift generator
taskflow namespace
Definition small_vector.hpp:20
RandItr median_of_three(RandItr l, RandItr m, RandItr r, C cmp)
finds the median of three numbers pointed to by iterators using the given comparator
Definition math.hpp:92
T unique_id()
generates a program-wide unique ID of the given type in a thread-safe manner
Definition math.hpp:182
constexpr size_t coprime(size_t N)
computes a coprime of a given number
Definition math.hpp:264
T seed() noexcept
generates a random seed based on the current system clock
Definition math.hpp:247
constexpr T next_pow2(T x)
rounds the given 64-bit unsigned integer to the nearest power of 2
Definition math.hpp:15
void atomic_max(std::atomic< T > &v, const T &max_v) noexcept
updates an atomic variable with the maximum value
Definition math.hpp:203
void atomic_min(std::atomic< T > &v, const T &min_v) noexcept
updates an atomic variable with the minimum value
Definition math.hpp:227
constexpr std::array< size_t, N > make_coprime_lut()
generates a compile-time array of coprimes for numbers from 0 to N-1
Definition math.hpp:286
RandItr pseudo_median_of_nine(RandItr beg, RandItr end, C cmp)
finds the pseudo median of a range of items using a spread of nine numbers
Definition math.hpp:116
void sort3(Iter a, Iter b, Iter c, Compare comp)
Sorts three elements of dereferenced iterators using the given comparison function.
Definition math.hpp:161
void sort2(Iter a, Iter b, Compare comp)
sorts two elements of dereferenced iterators using the given comparison function
Definition math.hpp:141
constexpr size_t static_floor_log2()
returns the floor of log2(N) at compile time
Definition math.hpp:66
constexpr bool is_pow2(const T &x)
checks if the given number is a power of 2
Definition math.hpp:58