Concepts10

βˆ‘MathIntermediate

Legendre's Formula

Legendre's formula gives the exponent of a prime p in n! by summing how many multiples of p, p^2, p^3, ... are ≀ n.

#legendre's formula#p-adic valuation#binomial divisibility+10
βˆ‘MathIntermediate

Harmonic Lemma

The Harmonic Lemma says that the values of \lfloor n/i \rfloor only change about 2\sqrt{n} times, so you can iterate those value blocks in O(\sqrt{n}) instead of O(n).

#harmonic lemma#integer division trick#block decomposition+12
βˆ‘MathIntermediate

Inclusion-Exclusion Principle

The Inclusion-Exclusion Principle (IEP) corrects overcounting by alternately adding and subtracting sizes of intersections of sets.

#inclusion-exclusion#derangements#surjections+12
βˆ‘MathIntermediate

Miller-Rabin Primality Test

Miller–Rabin is a fast primality test that uses modular exponentiation to detect compositeness with very high reliability.

#miller-rabin#primality test#probable prime+11
βˆ‘MathIntermediate

Euler's Totient Function

Euler's Totient Function Ο†(n) counts how many integers from 1 to n are coprime with n.

#euler totient#phi function#coprime count+12
βˆ‘MathIntermediate

Euler's Theorem

Euler’s Theorem says that if a and n are coprime, then a raised to the power Ο†(n) is congruent to 1 modulo n.

#euler totient#euler theorem#modular exponentiation+12
βˆ‘MathIntermediate

Chinese Remainder Theorem

The Chinese Remainder Theorem (CRT) reconstructs an integer from its remainders modulo pairwise coprime moduli and guarantees a unique answer modulo the product.

#chinese remainder theorem#crt#modular arithmetic+12
βˆ‘MathIntermediate

Prime Factorization

Prime factorization expresses any integer greater than 1 as a product of primes raised to powers, uniquely up to ordering.

#prime factorization#trial division#spf sieve+12
βˆ‘MathIntermediate

Extended Euclidean Algorithm

The Extended Euclidean Algorithm finds integers x and y such that ax + by = gcd(a, b) while also computing gcd(a, b).

#extended euclidean algorithm#bezout coefficients#gcd+12
βˆ‘MathIntermediate

GCD and Euclidean Algorithm

The greatest common divisor (gcd) of two integers is the largest integer that divides both without a remainder.

#gcd#euclidean algorithm#extended euclidean+12