結果

問題 No.992 最長増加部分列の数え上げ
ユーザー akakimidori
提出日時 2020-02-14 23:35:56
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 91 ms / 2,000 ms
コード長 1,491 bytes
コンパイル時間 14,648 ms
コンパイル使用メモリ 385,992 KB
実行使用メモリ 9,440 KB
最終ジャッジ日時 2024-10-06 13:29:03
合計ジャッジ時間 19,381 ms
ジャッジサーバーID
(参考情報)
judge2 / judge5
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 42
権限があれば一括ダウンロードができます

ソースコード

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

use std::io::Read;
use std::cmp::Ordering;
use std::ops::*;
const MOD: u32 = 1_000_000_007;
#[derive(Clone, Copy)]
struct MaxCnt(usize, u32);
impl Add for MaxCnt {
type Output = Self;
fn add(self, rhs: Self) -> Self::Output {
match self.0.cmp(&rhs.0) {
Ordering::Less => rhs,
Ordering::Greater => self,
Ordering::Equal => MaxCnt(self.0, (self.1 + rhs.1) % MOD),
}
}
}
fn add(bit: &mut [MaxCnt], x: usize, v: MaxCnt) {
let mut i = x;
while i < bit.len() {
bit[i] = bit[i] + v;
i += i & (!i + 1);
}
}
fn sum(bit: &[MaxCnt], x: usize) -> MaxCnt {
let mut ans = MaxCnt(0, 1);
let mut i = x;
while i > 0 {
ans = ans + bit[i];
i -= i & (!i + 1);
}
ans
}
fn run() {
let mut s = String::new();
std::io::stdin().read_to_string(&mut s).unwrap();
let mut it = s.trim().split_whitespace();
let n: usize = it.next().unwrap().parse().unwrap();
let a: Vec<i32> = it.map(|s| s.parse().unwrap()).collect();
assert!(a.len() == n);
let mut b = a.clone();
b.push(-1_000_000_000 - 1);
b.sort();
b.dedup();
let a: Vec<usize> = a.into_iter().map(|a| b.binary_search(&a).unwrap()).collect();
let mut bit = vec![MaxCnt(0, 0); b.len()];
for a in a {
let s = sum(&bit, a - 1);
add(&mut bit, a, MaxCnt(s.0 + 1, s.1));
}
let ans = sum(&bit, b.len() - 1).1;
println!("{}", ans);
}
fn main() {
run();
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0