結果

問題 No.1870 Xor Matrix
ユーザー fukafukatani
提出日時 2022-03-11 22:38:39
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 17 ms / 2,000 ms
コード長 6,399 bytes
コンパイル時間 14,829 ms
コンパイル使用メモリ 399,272 KB
実行使用メモリ 7,324 KB
最終ジャッジ日時 2025-03-11 08:38:43
合計ジャッジ時間 15,676 ms
ジャッジサーバーID
(参考情報)
judge1 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 20
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: associated items `set_modulus` and `inv` are never used
  --> src/main.rs:49:8
   |
48 | impl Modulo {
   | ----------- associated items in this implementation
49 |     fn set_modulus(m: i64) {
   |        ^^^^^^^^^^^
...
79 |     fn inv(self) -> Modulo {
   |        ^^^
   |
   = note: `#[warn(dead_code)]` on by default

warning: function `mod_comb` is never used
   --> src/main.rs:226:4
    |
226 | fn mod_comb(n: usize, k: usize, fact: &[Modulo], fact_inv: &[Modulo]) -> Modulo {
    |    ^^^^^^^^

ソースコード

diff #
プレゼンテーションモードにする

#![allow(unused_imports)]
use std::cmp::*;
use std::collections::*;
use std::io::Write;
use std::ops::Bound::*;
#[allow(unused_macros)]
macro_rules! debug {
($($e:expr),*) => {
#[cfg(debug_assertions)]
$({
let (e, mut err) = (stringify!($e), std::io::stderr());
writeln!(err, "{} = {:?}", e, $e).unwrap()
})*
};
}
fn main() {
let v = read_vec::<i64>();
let (n, m) = (v[0], v[1]);
let a = read_vec::<i64>();
let b = read_vec::<i64>();
if a.iter().fold(0, |s, x| s ^ x) != b.iter().fold(0, |s, x| s ^ x) {
println!("0");
return;
}
let ans = Modulo(2).pow(20).pow((n - 1) * (m - 1));
println!("{}", ans);
}
fn read<T: std::str::FromStr>() -> T {
let mut s = String::new();
std::io::stdin().read_line(&mut s).ok();
s.trim().parse().ok().unwrap()
}
fn read_vec<T: std::str::FromStr>() -> Vec<T> {
read::<String>()
.split_whitespace()
.map(|e| e.parse().ok().unwrap())
.collect()
}
#[derive(Clone, Copy, Debug, Default, Eq, Hash, Ord, PartialEq, PartialOrd)]
struct Modulo(i64);
// static mut MODULUS: i64 = 1000_000_000 + 7;
static mut MODULUS: i64 = 998244353;
impl Modulo {
fn set_modulus(m: i64) {
unsafe {
MODULUS = m;
}
}
fn get_modulus() -> i64 {
unsafe { MODULUS }
}
fn new(x: i64) -> Modulo {
let m = Modulo::get_modulus();
if x < 0 {
Modulo(x % m + m)
} else if x < m {
Modulo(x)
} else {
Modulo(x % m)
}
}
fn pow(self, p: i64) -> Modulo {
if p == 0 {
Modulo(1)
} else {
let mut t = self.pow(p / 2);
t *= t;
if p & 1 == 1 {
t *= self;
}
t
}
}
fn inv(self) -> Modulo {
self.pow(Modulo::get_modulus() - 2)
}
}
impl std::fmt::Display for Modulo {
fn fmt(&self, f: &mut std::fmt::Formatter) -> std::fmt::Result {
self.0.fmt(f)
}
}
impl std::ops::AddAssign for Modulo {
fn add_assign(&mut self, other: Modulo) {
let m = Modulo::get_modulus();
self.0 += other.0;
if self.0 >= m {
self.0 -= m;
}
}
}
impl std::ops::MulAssign for Modulo {
fn mul_assign(&mut self, other: Modulo) {
let m = Modulo::get_modulus();
self.0 *= other.0;
self.0 %= m;
}
}
impl std::ops::SubAssign for Modulo {
fn sub_assign(&mut self, other: Modulo) {
let m = Modulo::get_modulus();
self.0 += m - other.0;
if self.0 >= m {
self.0 -= m;
}
}
}
macro_rules! impl_modulo_ops {
($imp:ident, $method:ident, $assign_imp:ident, $assign_method:ident) => {
impl<'a> std::ops::$assign_imp<&'a Modulo> for Modulo {
fn $assign_method(&mut self, other: &'a Modulo) {
std::ops::$assign_imp::$assign_method(self, *other);
}
}
impl std::ops::$imp for Modulo {
type Output = Modulo;
fn $method(self, other: Modulo) -> Modulo {
let mut x = self;
std::ops::$assign_imp::$assign_method(&mut x, other);
x
}
}
impl<'a> std::ops::$imp<Modulo> for &'a Modulo {
type Output = Modulo;
fn $method(self, other: Modulo) -> Modulo {
std::ops::$imp::$method(*self, other)
}
}
impl<'a> std::ops::$imp<&'a Modulo> for Modulo {
type Output = Modulo;
fn $method(self, other: &'a Modulo) -> Modulo {
std::ops::$imp::$method(self, *other)
}
}
impl<'a, 'b> std::ops::$imp<&'b Modulo> for &'a Modulo {
type Output = Modulo;
fn $method(self, other: &'b Modulo) -> Modulo {
std::ops::$imp::$method(*self, *other)
}
}
impl std::ops::$assign_imp<i64> for Modulo {
fn $assign_method(&mut self, other: i64) {
std::ops::$assign_imp::$assign_method(self, Modulo::new(other));
}
}
impl<'a> std::ops::$assign_imp<&'a i64> for Modulo {
fn $assign_method(&mut self, other: &'a i64) {
std::ops::$assign_imp::$assign_method(self, *other);
}
}
impl std::ops::$imp<i64> for Modulo {
type Output = Modulo;
fn $method(self, other: i64) -> Modulo {
let mut x = self;
std::ops::$assign_imp::$assign_method(&mut x, other);
x
}
}
impl<'a> std::ops::$imp<&'a i64> for Modulo {
type Output = Modulo;
fn $method(self, other: &'a i64) -> Modulo {
std::ops::$imp::$method(self, *other)
}
}
impl<'a> std::ops::$imp<i64> for &'a Modulo {
type Output = Modulo;
fn $method(self, other: i64) -> Modulo {
std::ops::$imp::$method(*self, other)
}
}
impl<'a, 'b> std::ops::$imp<&'b i64> for &'a Modulo {
type Output = Modulo;
fn $method(self, other: &'b i64) -> Modulo {
std::ops::$imp::$method(*self, *other)
}
}
};
}
impl_modulo_ops!(Add, add, AddAssign, add_assign);
impl_modulo_ops!(Mul, mul, MulAssign, mul_assign);
impl_modulo_ops!(Sub, sub, SubAssign, sub_assign);
use std::iter::Sum;
impl Sum for Modulo {
fn sum<I>(iter: I) -> Self
where
I: Iterator<Item = Modulo>,
{
iter.fold(Modulo(0), |a, b| a + b)
}
}
impl<'a> Sum<&'a Modulo> for Modulo {
fn sum<I>(iter: I) -> Self
where
I: Iterator<Item = &'a Self>,
{
iter.fold(Modulo(0), |a, b| a + b)
}
}
use std::iter::Product;
impl Product for Modulo {
fn product<I>(iter: I) -> Self
where
I: Iterator<Item = Modulo>,
{
iter.fold(Modulo(1), |a, b| a * b)
}
}
impl<'a> Product<&'a Modulo> for Modulo {
fn product<I>(iter: I) -> Self
where
I: Iterator<Item = &'a Self>,
{
iter.fold(Modulo(1), |a, b| a * b)
}
}
fn mod_comb(n: usize, k: usize, fact: &[Modulo], fact_inv: &[Modulo]) -> Modulo {
assert!(n >= k);
fact[n] * fact_inv[n - k] * fact_inv[k]
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0