結果
| 問題 |
No.2672 Subset Xor Sum
|
| コンテスト | |
| ユーザー |
naut3
|
| 提出日時 | 2024-03-15 21:54:16 |
| 言語 | Rust (1.83.0 + proconio) |
| 結果 |
AC
|
| 実行時間 | 21 ms / 2,000 ms |
| コード長 | 2,278 bytes |
| コンパイル時間 | 12,630 ms |
| コンパイル使用メモリ | 382,672 KB |
| 実行使用メモリ | 8,652 KB |
| 最終ジャッジ日時 | 2024-09-30 04:19:21 |
| 合計ジャッジ時間 | 15,322 ms |
|
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 66 |
ソースコード
#![allow(non_snake_case, unused_imports, unused_must_use)]
use std::io::{self, prelude::*};
use std::str;
fn main() {
let (stdin, stdout) = (io::stdin(), io::stdout());
let mut scan = Scanner::new(stdin.lock());
let mut out = io::BufWriter::new(stdout.lock());
macro_rules! input {
($T: ty) => {
scan.token::<$T>()
};
($T: ty, $N: expr) => {
(0..$N).map(|_| scan.token::<$T>()).collect::<Vec<_>>()
};
}
let N = input!(usize);
let A = input!(usize, N);
for i in 0..14 {
let mut cnt = 0;
for &a in A.iter() {
if (a >> i) & 1 == 1 {
cnt += 1;
}
}
if cnt % 2 != 0 {
writeln!(out, "No");
return;
}
}
let mut dp = [(false, 0); 1 << 14];
dp[A[0]] = (true, 1);
for i in 1..N {
let mut dpn = dp.clone();
for s in 0..dp.len() {
if dp[s].0 {
let prev = dp[s ^ A[i]].1;
if dpn[s ^ A[i]].0 && prev > dp[s].1 + 1 {
dpn[s ^ A[i]] = (true, dp[s].1 + 1);
} else if !dpn[s ^ A[i]].0 {
dpn[s ^ A[i]] = (true, dp[s].1 + 1);
}
}
}
dp = dpn;
if dp[0].0 && dp[0].1 != N {
writeln!(out, "Yes");
return;
}
}
writeln!(out, "No");
}
struct Scanner<R> {
reader: R,
buf_str: Vec<u8>,
buf_iter: str::SplitWhitespace<'static>,
}
impl<R: BufRead> Scanner<R> {
fn new(reader: R) -> Self {
Self {
reader,
buf_str: vec![],
buf_iter: "".split_whitespace(),
}
}
fn token<T: str::FromStr>(&mut self) -> T {
loop {
if let Some(token) = self.buf_iter.next() {
return token.parse().ok().expect("Failed parse");
}
self.buf_str.clear();
self.reader
.read_until(b'\n', &mut self.buf_str)
.expect("Failed read");
self.buf_iter = unsafe {
let slice = str::from_utf8_unchecked(&self.buf_str);
std::mem::transmute(slice.split_whitespace())
}
}
}
}
naut3