結果
| 問題 | No.804 野菜が苦手 |
| コンテスト | |
| ユーザー |
ikd
|
| 提出日時 | 2020-08-01 11:58:50 |
| 言語 | Rust (1.83.0 + proconio) |
| 結果 |
AC
|
| 実行時間 | 1 ms / 2,000 ms |
| コード長 | 615 bytes |
| コンパイル時間 | 12,946 ms |
| コンパイル使用メモリ | 387,640 KB |
| 実行使用メモリ | 5,376 KB |
| 最終ジャッジ日時 | 2024-07-07 21:31:14 |
| 合計ジャッジ時間 | 14,235 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 18 |
ソースコード
use std::io::Read;
fn read<T: std::str::FromStr>() -> T {
let token: String = std::io::stdin()
.bytes()
.map(|c| c.ok().unwrap() as char)
.skip_while(|c| c.is_whitespace())
.take_while(|c| !c.is_whitespace())
.collect();
token.parse().ok().unwrap()
}
fn main() {
let a: i32 = read();
let b: i32 = read();
let c: i32 = read();
let d: i32 = read();
println!(
"{}",
(0..=a)
.filter(|x| {
let y = x * c;
y <= b && x + y <= d
})
.max()
.unwrap()
);
}
ikd