結果
| 問題 |
No.934 Explosive energy drink
|
| コンテスト | |
| ユーザー |
fukafukatani
|
| 提出日時 | 2019-11-29 23:18:00 |
| 言語 | Rust (1.83.0 + proconio) |
| 結果 |
RE
|
| 実行時間 | - |
| コード長 | 2,923 bytes |
| コンパイル時間 | 15,311 ms |
| コンパイル使用メモリ | 381,448 KB |
| 実行使用メモリ | 25,220 KB |
| 平均クエリ数 | 504.33 |
| 最終ジャッジ日時 | 2024-07-16 18:50:30 |
| 合計ジャッジ時間 | 19,601 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 21 RE * 3 |
コンパイルメッセージ
warning: unused variable: `ng`
--> src/main.rs:44:18
|
44 | let (ok, ng) = binary_search(0, not_decided.len(), |x| {
| ^^ help: if this is intentional, prefix it with an underscore: `_ng`
|
= note: `#[warn(unused_variables)]` on by default
warning: function `read_vec` is never used
--> src/main.rs:102:4
|
102 | fn read_vec<T: std::str::FromStr>() -> Vec<T> {
| ^^^^^^^^
|
= note: `#[warn(dead_code)]` on by default
ソースコード
#![allow(unused_imports)]
#![allow(non_snake_case)]
use std::cmp::*;
use std::collections::*;
use std::io::Write;
#[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 print_array<T: std::string::ToString>(array: &Vec<T>) {
println!(
"{}",
array
.iter()
.map(|ref x| x.to_string())
.collect::<Vec<_>>()
.join(" ")
);
}
fn query(a: &BTreeSet<usize>) -> i32 {
let a = a.into_iter().map(|x| x + 1).collect::<Vec<_>>();
println!("? {}", a.len());
print_array(&a);
read::<i32>()
}
fn main() {
let n = read::<usize>();
let mut decided: BTreeSet<usize> = vec![0, 1].into_iter().collect::<BTreeSet<_>>();
let mut not_decided = (2..n).collect::<Vec<_>>();
loop {
if query(&decided) == 1 {
break;
}
let (ok, ng) = binary_search(0, not_decided.len(), |x| {
if x == 0 {
return true;
}
if x == not_decided.len() {
return false;
}
let mut query_numbers = not_decided.iter().cloned().take(x).collect::<BTreeSet<_>>();
for &num in decided.iter() {
query_numbers.insert(num);
}
let ret = query(&query_numbers) == 0;
ret
});
decided.insert(not_decided[ok]);
not_decided.remove(ok);
debug!(ok, decided);
if not_decided.is_empty() {
break;
}
}
let mut hojuu = false;
if decided.len() == 1 {
hojuu = true;
decided.insert(2);
}
decided.remove(&0);
let mut zero_needed = false;
if query(&decided) == 0 {
zero_needed = true;
}
decided.insert(0);
decided.remove(&1);
if query(&decided) == 0 {
decided.insert(1);
}
if !zero_needed {
decided.remove(&0);
}
if hojuu {
decided.remove(&2);
}
let decided = decided.iter().map(|&x| x + 1).collect::<Vec<_>>();
println!("! {}", decided.len());
print_array(&decided);
}
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()
}
fn binary_search<F>(lb: usize, ub: usize, criterion: F) -> (usize, usize)
where
F: Fn(usize) -> bool,
{
let mut ok = lb;
let mut ng = ub;
while ng - ok > 1 {
let mid = (ng + ok) / 2;
if criterion(mid) {
ok = mid;
} else {
ng = mid;
}
}
(ok, ng)
}
fukafukatani