結果

問題 No.2374 ASKT Subsequences
ユーザー InTheBloomInTheBloom
提出日時 2023-07-08 00:46:25
言語 D
(dmd 2.106.1)
結果
AC  
実行時間 492 ms / 2,000 ms
コード長 1,342 bytes
コンパイル時間 1,670 ms
コンパイル使用メモリ 174,188 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-21 21:07:00
合計ジャッジ時間 16,564 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 400 ms
6,816 KB
testcase_01 AC 405 ms
6,816 KB
testcase_02 AC 396 ms
6,944 KB
testcase_03 AC 403 ms
6,944 KB
testcase_04 AC 403 ms
6,940 KB
testcase_05 AC 401 ms
6,944 KB
testcase_06 AC 404 ms
6,940 KB
testcase_07 AC 403 ms
6,940 KB
testcase_08 AC 406 ms
6,944 KB
testcase_09 AC 404 ms
6,944 KB
testcase_10 AC 406 ms
6,940 KB
testcase_11 AC 416 ms
6,940 KB
testcase_12 AC 411 ms
6,940 KB
testcase_13 AC 406 ms
6,940 KB
testcase_14 AC 418 ms
6,940 KB
testcase_15 AC 408 ms
6,940 KB
testcase_16 AC 419 ms
6,944 KB
testcase_17 AC 420 ms
6,944 KB
testcase_18 AC 429 ms
6,940 KB
testcase_19 AC 434 ms
6,940 KB
testcase_20 AC 455 ms
6,940 KB
testcase_21 AC 462 ms
6,944 KB
testcase_22 AC 447 ms
6,944 KB
testcase_23 AC 438 ms
6,940 KB
testcase_24 AC 437 ms
6,944 KB
testcase_25 AC 426 ms
6,944 KB
testcase_26 AC 488 ms
6,944 KB
testcase_27 AC 492 ms
6,944 KB
testcase_28 AC 458 ms
6,944 KB
testcase_29 AC 476 ms
6,944 KB
testcase_30 AC 446 ms
6,944 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; 1..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