Skip to content

Commit 46a5055

Browse files
sozelfistvil02
andauthored
Refactor sieve of Eratosthenes implementation (#724)
* ref: refactor sieve of eratosthenes implementation * chore: fix clippy warning * ref: optimize implementation a bit more * chore(tests): add tests of 2 and 1000 * chore: format code * refactor: reoragnise tests --------- Co-authored-by: vil02 <[email protected]>
1 parent 1d9c510 commit 46a5055

File tree

1 file changed

+104
-37
lines changed

1 file changed

+104
-37
lines changed

src/math/sieve_of_eratosthenes.rs

+104-37
Original file line numberDiff line numberDiff line change
@@ -1,53 +1,120 @@
1+
/// Implements the Sieve of Eratosthenes algorithm to find all prime numbers up to a given limit.
2+
///
3+
/// # Arguments
4+
///
5+
/// * `num` - The upper limit up to which to find prime numbers (inclusive).
6+
///
7+
/// # Returns
8+
///
9+
/// A vector containing all prime numbers up to the specified limit.
110
pub fn sieve_of_eratosthenes(num: usize) -> Vec<usize> {
211
let mut result: Vec<usize> = Vec::new();
3-
if num == 0 {
4-
return result;
12+
if num >= 2 {
13+
let mut sieve: Vec<bool> = vec![true; num + 1];
14+
15+
// 0 and 1 are not prime numbers
16+
sieve[0] = false;
17+
sieve[1] = false;
18+
19+
let end: usize = (num as f64).sqrt() as usize;
20+
21+
// Mark non-prime numbers in the sieve and collect primes up to `end`
22+
update_sieve(&mut sieve, end, num, &mut result);
23+
24+
// Collect remaining primes beyond `end`
25+
result.extend(extract_remaining_primes(&sieve, end + 1));
526
}
6-
let mut start: usize = 2;
7-
let end: usize = (num as f64).sqrt() as usize;
8-
let mut sieve: Vec<bool> = vec![true; num + 1];
27+
result
28+
}
929

10-
while start <= end {
30+
/// Marks non-prime numbers in the sieve and collects prime numbers up to `end`.
31+
///
32+
/// # Arguments
33+
///
34+
/// * `sieve` - A mutable slice of booleans representing the sieve.
35+
/// * `end` - The square root of the upper limit, used to optimize the algorithm.
36+
/// * `num` - The upper limit up to which to mark non-prime numbers.
37+
/// * `result` - A mutable vector to store the prime numbers.
38+
fn update_sieve(sieve: &mut [bool], end: usize, num: usize, result: &mut Vec<usize>) {
39+
for start in 2..=end {
1140
if sieve[start] {
12-
result.push(start);
13-
for i in (start * start..num + 1).step_by(start) {
14-
if sieve[i] {
15-
sieve[i] = false;
16-
}
41+
result.push(start); // Collect prime numbers up to `end`
42+
for i in (start * start..=num).step_by(start) {
43+
sieve[i] = false;
1744
}
1845
}
19-
start += 1;
20-
}
21-
for (i, item) in sieve.iter().enumerate().take(num + 1).skip(end + 1) {
22-
if *item {
23-
result.push(i)
24-
}
2546
}
26-
result
47+
}
48+
49+
/// Extracts remaining prime numbers from the sieve beyond the given start index.
50+
///
51+
/// # Arguments
52+
///
53+
/// * `sieve` - A slice of booleans representing the sieve with non-prime numbers marked as false.
54+
/// * `start` - The index to start checking for primes (inclusive).
55+
///
56+
/// # Returns
57+
///
58+
/// A vector containing all remaining prime numbers extracted from the sieve.
59+
fn extract_remaining_primes(sieve: &[bool], start: usize) -> Vec<usize> {
60+
sieve[start..]
61+
.iter()
62+
.enumerate()
63+
.filter_map(|(i, &is_prime)| if is_prime { Some(start + i) } else { None })
64+
.collect()
2765
}
2866

2967
#[cfg(test)]
3068
mod tests {
3169
use super::*;
3270

33-
#[test]
34-
fn basic() {
35-
assert_eq!(sieve_of_eratosthenes(0), vec![]);
36-
assert_eq!(sieve_of_eratosthenes(11), vec![2, 3, 5, 7, 11]);
37-
assert_eq!(
38-
sieve_of_eratosthenes(25),
39-
vec![2, 3, 5, 7, 11, 13, 17, 19, 23]
40-
);
41-
assert_eq!(
42-
sieve_of_eratosthenes(33),
43-
vec![2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31]
44-
);
45-
assert_eq!(
46-
sieve_of_eratosthenes(100),
47-
vec![
48-
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79,
49-
83, 89, 97
50-
]
51-
);
71+
const PRIMES_UP_TO_997: [usize; 168] = [
72+
2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89,
73+
97, 101, 103, 107, 109, 113, 127, 131, 137, 139, 149, 151, 157, 163, 167, 173, 179, 181,
74+
191, 193, 197, 199, 211, 223, 227, 229, 233, 239, 241, 251, 257, 263, 269, 271, 277, 281,
75+
283, 293, 307, 311, 313, 317, 331, 337, 347, 349, 353, 359, 367, 373, 379, 383, 389, 397,
76+
401, 409, 419, 421, 431, 433, 439, 443, 449, 457, 461, 463, 467, 479, 487, 491, 499, 503,
77+
509, 521, 523, 541, 547, 557, 563, 569, 571, 577, 587, 593, 599, 601, 607, 613, 617, 619,
78+
631, 641, 643, 647, 653, 659, 661, 673, 677, 683, 691, 701, 709, 719, 727, 733, 739, 743,
79+
751, 757, 761, 769, 773, 787, 797, 809, 811, 821, 823, 827, 829, 839, 853, 857, 859, 863,
80+
877, 881, 883, 887, 907, 911, 919, 929, 937, 941, 947, 953, 967, 971, 977, 983, 991, 997,
81+
];
82+
83+
macro_rules! sieve_tests {
84+
($($name:ident: $test_case:expr,)*) => {
85+
$(
86+
#[test]
87+
fn $name() {
88+
let input: usize = $test_case;
89+
let expected: Vec<usize> = PRIMES_UP_TO_997.iter().cloned().filter(|&x| x <= input).collect();
90+
assert_eq!(sieve_of_eratosthenes(input), expected);
91+
}
92+
)*
93+
}
94+
}
95+
96+
sieve_tests! {
97+
test_0: 0,
98+
test_1: 1,
99+
test_2: 2,
100+
test_3: 3,
101+
test_4: 4,
102+
test_5: 5,
103+
test_6: 6,
104+
test_7: 7,
105+
test_11: 11,
106+
test_23: 23,
107+
test_24: 24,
108+
test_25: 25,
109+
test_26: 26,
110+
test_27: 27,
111+
test_28: 28,
112+
test_29: 29,
113+
test_33: 33,
114+
test_100: 100,
115+
test_997: 997,
116+
test_998: 998,
117+
test_999: 999,
118+
test_1000: 1000,
52119
}
53120
}

0 commit comments

Comments
 (0)