結果
問題 | No.821 Making Integers |
ユーザー |
|
提出日時 | 2021-09-18 13:46:48 |
言語 | Rust (1.83.0 + proconio) |
結果 |
AC
|
実行時間 | 1 ms / 2,000 ms |
コード長 | 759 bytes |
コンパイル時間 | 12,310 ms |
コンパイル使用メモリ | 402,484 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-06-30 11:12:52 |
合計ジャッジ時間 | 13,712 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 9 |
ソースコード
use std::io::Read;fn get_word() -> String {let stdin = std::io::stdin();let mut stdin=stdin.lock();let mut u8b: [u8; 1] = [0];loop {let mut buf: Vec<u8> = Vec::with_capacity(16);loop {let res = stdin.read(&mut u8b);if res.unwrap_or(0) == 0 || u8b[0] <= b' ' {break;} else {buf.push(u8b[0]);}}if buf.len() >= 1 {let ret = String::from_utf8(buf).unwrap();return ret;}}}#[allow(dead_code)]fn get<T: std::str::FromStr>() -> T { get_word().parse().ok().unwrap() }fn main() {let n: i64 = get();let k: i64 = get();println!("{}", (2 * n - k + 1) * k / 2 + 1);}