summaryrefslogtreecommitdiff
path: root/lab7
diff options
context:
space:
mode:
Diffstat (limited to 'lab7')
-rw-r--r--lab7/Cargo.lock65
-rw-r--r--lab7/Cargo.toml9
-rw-r--r--lab7/src/main.rs89
3 files changed, 163 insertions, 0 deletions
diff --git a/lab7/Cargo.lock b/lab7/Cargo.lock
new file mode 100644
index 0000000..5ccb37a
--- /dev/null
+++ b/lab7/Cargo.lock
@@ -0,0 +1,65 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 3
+
+[[package]]
+name = "az"
+version = "1.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7b7e4c2464d97fe331d41de9d5db0def0a96f4d823b8b32a2efd503578988973"
+
+[[package]]
+name = "gmp-mpfr-sys"
+version = "1.4.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ea3f42dadb6c75f122e9aa87e757ef11d4282f664c9f2e6476a9c2c8970f9d19"
+dependencies = [
+ "libc",
+ "winapi",
+]
+
+[[package]]
+name = "lab7"
+version = "0.1.0"
+dependencies = [
+ "rug",
+]
+
+[[package]]
+name = "libc"
+version = "0.2.134"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "329c933548736bc49fd575ee68c89e8be4d260064184389a5b77517cddd99ffb"
+
+[[package]]
+name = "rug"
+version = "1.17.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "203180f444c95eac53586ed04793ecf6454c5d28f9eca8eead815fc19e136c47"
+dependencies = [
+ "az",
+ "gmp-mpfr-sys",
+ "libc",
+]
+
+[[package]]
+name = "winapi"
+version = "0.3.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419"
+dependencies = [
+ "winapi-i686-pc-windows-gnu",
+ "winapi-x86_64-pc-windows-gnu",
+]
+
+[[package]]
+name = "winapi-i686-pc-windows-gnu"
+version = "0.4.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6"
+
+[[package]]
+name = "winapi-x86_64-pc-windows-gnu"
+version = "0.4.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "712e227841d057c1ee1cd2fb22fa7e5a5461ae8e48fa2ca79ec42cfc1931183f"
diff --git a/lab7/Cargo.toml b/lab7/Cargo.toml
new file mode 100644
index 0000000..c12df81
--- /dev/null
+++ b/lab7/Cargo.toml
@@ -0,0 +1,9 @@
+[package]
+name = "lab7"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+rug = "1.17"
diff --git a/lab7/src/main.rs b/lab7/src/main.rs
new file mode 100644
index 0000000..271116a
--- /dev/null
+++ b/lab7/src/main.rs
@@ -0,0 +1,89 @@
+use rug::{rand::RandState, Complete, Integer};
+use std::io;
+
+fn rabin_miller_test(n: &Integer, k: u32) -> bool {
+ let one = Integer::from(1u32);
+ let two = Integer::from(2u32);
+ let n1 = Integer::from(n - 1u32);
+
+ let mut s = 0;
+ let mut d = n1.clone();
+ while d.mod_u(2u32) == 0 {
+ s += 1u32;
+ d /= 2u32;
+ }
+
+ let mut rand = RandState::new();
+
+ 'outer: for _ in 0..k {
+ let bound = n.clone() - 4u32;
+ let a = bound.random_below(&mut rand) + 2u32;
+ let mut x = Integer::from(a.pow_mod_ref(&d, n).unwrap());
+ if x == one || x == n1 {
+ continue;
+ } else {
+ for _ in 0..=s - 1 {
+ x = Integer::from(x.pow_mod_ref(&two, n).unwrap());
+ if x == one {
+ return false;
+ } else if x == n1 {
+ continue 'outer;
+ }
+ }
+ }
+ return false;
+ }
+ return true;
+}
+
+fn main() {
+ println!("Введите положительное нечётное число n:");
+ let mut p = String::new();
+ let stdin = io::stdin();
+ match stdin.read_line(&mut p) {
+ Ok(_) => (),
+ Err(_) => {
+ println!("Произошла ошибка при чтении из стандартного ввода");
+ return ();
+ }
+ }
+ let p = match Integer::parse(p) {
+ Ok(parsed) => parsed.complete(),
+ Err(_) => {
+ println!("Не удалось считать число");
+ return ();
+ }
+ };
+ if p.is_divisible(&Integer::from(2u32)) {
+ println!("Введено чётное число");
+ return ();
+ }
+
+ println!("Введите количество раундов k:");
+ let mut k = String::new();
+ match stdin.read_line(&mut k) {
+ Ok(_) => (),
+ Err(_) => {
+ println!("Произошла ошибка при чтении из стандартного ввода");
+ return ();
+ }
+ }
+ let k = match k.trim_end().parse::<u32>() {
+ Ok(parsed) => parsed,
+ Err(_) => {
+ println!("Не удалось считать число");
+ return ();
+ }
+ };
+
+ let is_prime = rabin_miller_test(&p, k);
+ if is_prime {
+ let probability = 1f64 - 0.25f64.powf(k as f64);
+ println!(
+ "Число {} является простым с вероятностью {}",
+ &p, probability
+ );
+ } else {
+ println!("Число не является простым");
+ }
+}