結果

問題 No.2374 ASKT Subsequences
ユーザー InTheBloomInTheBloom
提出日時 2023-07-08 00:44:19
言語 D
(dmd 2.106.1)
結果
WA  
実行時間 -
コード長 1,342 bytes
コンパイル時間 5,426 ms
コンパイル使用メモリ 173,824 KB
実行使用メモリ 6,812 KB
最終ジャッジ日時 2024-07-21 21:05:27
合計ジャッジ時間 20,133 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 413 ms
6,812 KB
testcase_01 AC 410 ms
5,376 KB
testcase_02 AC 412 ms
5,376 KB
testcase_03 AC 411 ms
5,376 KB
testcase_04 AC 409 ms
5,376 KB
testcase_05 AC 406 ms
5,376 KB
testcase_06 AC 410 ms
5,376 KB
testcase_07 AC 410 ms
5,376 KB
testcase_08 AC 410 ms
5,376 KB
testcase_09 AC 416 ms
5,376 KB
testcase_10 AC 414 ms
5,376 KB
testcase_11 AC 420 ms
5,376 KB
testcase_12 WA -
testcase_13 AC 414 ms
5,376 KB
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 AC 429 ms
5,376 KB
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 AC 422 ms
5,376 KB
testcase_26 WA -
testcase_27 AC 498 ms
5,376 KB
testcase_28 WA -
testcase_29 AC 474 ms
5,376 KB
testcase_30 AC 455 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import std;

// 解説AC 部分列を捜査するという時点で基本的には全探索しかないため、DPっぽいなーっていうのは気づいていた。
// ただ、Kの値を固定できたらなーっていう考えに気づくのが遅すぎたため、既存の方針で何とかできないか考えてしまった。

void main () {
    int N = readln.chomp.to!int;
    int[] A = readln.split.to!(int[]);

    long ans = 0;
    foreach (K; 0..2001) {
        ans += solve(N, A, K);
    }

    writeln(ans);
}

auto solve (int N, int[] A, int K) {
    // Kさえ固定できてしまえば更新がだいぶんさぼれるぞい
    const sup = 2001;

    // dp[j][k] := i項目まで見たとき、a_1がjである部分列のk個目をとれる場合の数
    long[][] dp = new long[][](sup, 4);

    // initialize
    dp[A[0]][0] = 1;

    foreach (i; 1..N) {
        // K==3
        if (1 <= A[i]-K-11) {
            dp[A[i]-K-11][3] += dp[A[i]-K-11][2];
        }

        // K==2
        if (1 <= A[i]-10) {
            dp[A[i]-10][2] += dp[A[i]-10][1];
        }

        // K==1
        if (1 <= A[i]-K-10) {
            dp[A[i]-K-10][1] += dp[A[i]-K-10][0];
        }

        // K==0
        dp[A[i]][0]++;
    }

    long res = 0;
    foreach (j; 1..sup) {
        res += dp[j][$-1];
    }

    return res;
}
0