Divisibility
Authors: Darren Yao, Michael Cao, Andi Qu, Kevin Sheng, Mihnea Brebenel
Contributor: Juheon Rhee
Using the information that one integer evenly divides another.
If you've never encountered any number theory before, AoPS is a good place to start.
Resources | ||||
---|---|---|---|---|
AoPS | practice problems, set focus to number theory! | |||
AoPS | good book |
Resources
Resources | ||||
---|---|---|---|---|
IUSACO | module is based off this | |||
David Altizio | ||||
CPH | ||||
PAPS | ||||
MONT | ||||
AoPS | nice proofs and problems |
Prime Factorization
A positive integer is called a divisor or a factor of a non-negative integer if is divisible by , which means that there exists some integer such that . An integer is prime if its only divisors are and . Integers greater than that are not prime are composite.
Every positive integer has a unique prime factorization: a way of decomposing it into a product of primes, as follows:
where the are distinct primes and the are positive integers.
Now, we will discuss how to find the prime factorization of any positive integer.
C++
vector<int> factor(int n) {vector<int> ret;for (int i = 2; i * i <= n; i++) {while (n % i == 0) {ret.push_back(i);n /= i;}}if (n > 1) { ret.push_back(n); }return ret;}
Java
List<Integer> factor(int n) {List<Integer> factors = new ArrayList<>();for (int i = 2; i * i <= n; i++) {while (n % i == 0) {factors.add(i);n /= i;}}if (n > 1) { factors.add(n); }return factors;}
Python
from typing import Listdef factor(n: int) -> List[int]:ret = []i = 2while i * i <= n:while n % i == 0:ret.append(i)n //= ii += 1if n > 1:ret.append(n)return ret
This algorithm runs in time, because the for loop checks divisibility for at most values. Even though there is a while loop inside the for loop, dividing by quickly reduces the value of , which means that the outer for loop runs less iterations, which actually speeds up the code.
Let's look at an example of how this algorithm works, for .
At this point, the for loop terminates, because is already 3 which is greater than . In the last step, we add to the list of factors , because it otherwise won't be added, for a final prime factorization of .
Focus Problem – try your best to solve this problem before continuing!
Solution - Counting Divisors
The most straightforward solution is just to do what the problem asks us to do - for each , find the number of divisors of in time.
C++
#include <iostream>using namespace std;int main() {int n;cin >> n;for (int q = 0; q < n; q++) {int x;int div_num = 0;
Java
import java.io.BufferedReader;import java.io.IOException;import java.io.InputStreamReader;public class Divisors {public static void main(String[] args) throws IOException {BufferedReader read =new BufferedReader(new InputStreamReader(System.in));int queryNum = Integer.parseInt(read.readLine());StringBuilder ans = new StringBuilder();
Python
Warning!
Due to Python's big constant factor, the following code TLEs on quite a few test cases.
ans = []for _ in range(int(input())):div_num = 0x = int(input())i = 1while i * i <= x:if x % i == 0:div_num += 1 if i**2 == x else 2i += 1ans.append(div_num)print("\n".join(str(i) for i in ans))
This solution runs in time, which is just fast enough to get AC. However, we can actually speed this up to get an solution!
First, let's discuss an important property of the prime factorization. Consider:
Then the number of divisors of is simply .
Why is this true? The exponent of in any divisor of must be in the range and each different exponent results in a different set of divisors, so each contributes to the product.
can have distinct prime factors, so if we can find the prime factorization of efficiently, we can use it with the above property to answer queries in time instead of the previous time.
Here's how we find the prime factorization of in time with preprocessing:
- For each , find any prime number that divides . To find this, we can use the Sieve of Eratosthenes which runs in , where is the larger numbers we consider. There's also a version of the sieve that runs in linear time, but we won't be needing it.
- We can find the prime factorization of by repeatedly dividing it by the prime numbers we calculated earlier until .
Using this method gives us the following code:
C++
#include <iostream>using namespace std;const int MAX_N = 1e6;// max_div[i] contains the largest prime that goes into iint max_div[MAX_N + 1];int main() {for (int i = 2; i <= MAX_N; i++) {
Java
import java.io.BufferedReader;import java.io.IOException;import java.io.InputStreamReader;public class Divisors {private static final int MAX_N = (int)Math.pow(10, 6);public static void main(String[] args) throws IOException {// maxDiv[i] contains the largest prime that can divide iint[] maxDiv = new int[MAX_N + 1];for (int i = 2; i <= MAX_N; i++) {
Python
MAX_N = 10**6# max_div[i] contains the largest prime that can go into imax_div = [0 for _ in range(MAX_N + 1)]for i in range(2, MAX_N + 1):if max_div[i] == 0:for j in range(i, MAX_N + 1, i):max_div[j] = ians = []
GCD & LCM
GCD
The greatest common divisor (GCD) of two integers and is the largest integer that is a factor of both and . In order to find the GCD of two non-negative integers, we use the Euclidean Algorithm, which is as follows:
This algorithm can be implemented with a recursive function as follows:
Java
public int gcd(int a, int b) { return b == 0 ? a : gcd(b, a % b); }
C++
int gcd(int a, int b) { return b == 0 ? a : gcd(b, a % b); }
For C++14, you can use the built-in __gcd(a,b)
.
In C++17, there exists std::gcd
and std::lcm
in the
<numeric>
header, so there's no
need to code your own GCD and LCM if you're using that version.
Python
def gcd(a: int, b: int) -> int:return a if b == 0 else gcd(b, a % b)
You won't have to actually implement this in-contest,
as the built-in math
library has a gcd
and lcm
function.
This function runs in time because .
The worst-case scenario for the Euclidean algorithm is when and are consecutive Fibonacci numbers and . In this case, the algorithm will calculate that . This takes a total of calls, which is proportional to .
LCM
The least common multiple (LCM) of two integers and is the smallest integer divisible by both and . The LCM can be calculated with the GCD using this property:
Warning!
Coding as a * b / gcd(a, b)
might cause integer overflow if the
value of a * b
is greater than the max size of the data type of a * b
(e.g.
the max size of int
in C++ and Java is around 2 billion).
Dividng a
by gcd(a, b)
first, then multiplying it by b
will prevent
integer overflow if the result fits in an int
.
Also, these two functions are associative, meaning that if we want to take the GCD or LCM of more than two elements, we can do so two at a time, in any order. For example,
Euler's Totient Function
Resources | ||||
---|---|---|---|---|
CP Algorithms | Theory and Exercises | |||
codeforces | Well-covered article |
Properties
Euler's totient function - written using phi - counts the number of positive integers in the interval which are coprime to . Two numbers and are coprime if their greatest common divisor is equal to 1 i.e. .
Here are the values of for the first 20 numbers:
n | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | 1 | 2 | 2 | 4 | 2 | 6 | 4 | 6 | 4 | 10 | 4 | 12 | 6 | 8 | 8 | 16 | 6 | 18 | 8 |
The totient function is multiplicative meaning that , where and are coprime - . For example .
Let's take a look at some edge cases for :
- If n is a prime number then because for all
- If n is a power of a prime number, where p is a prime number and then
there are exactly numbers divisible by , so
Using the multiplicative property and the last edge case we can compute the value of from the factorization of number . Let the factorization be where is a prime factor of , then:
Below is an implementation for factorization in . It can be a little bit tricky to understand why we substract from . For example ,where is a prime factor and is the rest of the prime factorization. By substracting we end up with: which is exactly the form of described a few linew above.
C++
int phi(int n) {int ans = n;for (int p = 2; p * p <= n; p++) {if (n % p == 0) {while (n % p == 0) { n /= p; }ans -= ans / p;}}if (n > 1) { ans -= ans / n; }return ans;}
Usually in problems we need to precompute the totient of all numbers between and , then factorizing is not efficient. The idea is the same as the Sieve of Eratosthenes. Since it's almost the same with the Sieve of Eratosthenes the time complexity will be: .
C++
void precompute() {for (int i = 1; i < MAX_N; i++) { phi[i] = i; }for (int i = 2; i < MAX_N; i++) {// If i is primeif (phi[i] == i) {for (int j = i; j < NMAX; j += i) { phi[j] -= phi[j] / i; }}}}
Focus Problem – try your best to solve this problem before continuing!
Solution
The queries ask us for the sum of the greatest common divisor between all the numbers smaller than .
Let's start by defining a function as how many pairs of numbers less or equal than have the greatest common divisor equal to . i.e. .
Defining the function this way gives us the following equation: . The reasong why is simple: By choosing two coprime numbers and such that , we can make sure and , thus contributing to the global answer.
Shifting away to our new function allows us to compute more easily using a slightly modified phi function preprocessing. To find the sum we multiply with .
This way the answer for a query is .
C++
#include <bits/stdc++.h>using namespace std;const int MAX_N = 1e6;// phi[i] = how many pairs of numbers <=i are coprimelong long phi[MAX_N + 1];// Store the values found to speed up the recursion processunordered_map<int, long long> memo;long long solve(long long n) {
Problems
Status | Source | Problem Name | Difficulty | Tags | |
---|---|---|---|---|---|
AC | Easy | Show TagsPrime Factorization | |||
CF | Easy | Show TagsDivisibility, Modular Arithmetic | |||
Kilonova | Normal | Show TagsMath, Prime Factorization | |||
CF | Easy | Show TagsNT | |||
CF | Easy | Show TagsDivisibility | |||
CSES | Normal | ||||
CF | Normal | Show TagsPrime Factorization | |||
CC | Normal | Show TagsDivisibility | |||
CSES | Hard | ||||
CF | Hard | Show TagsDivisibility |
Module Progress:
Join the USACO Forum!
Stuck on a problem, or don't understand a module? Join the USACO Forum and get help from other competitive programmers!