結果

問題 No.2374 ASKT Subsequences
ユーザー InTheBloomInTheBloom
提出日時 2023-07-08 00:43:51
言語 D
(dmd 2.106.1)
結果
RE  
実行時間 -
コード長 1,340 bytes
コンパイル時間 3,984 ms
コンパイル使用メモリ 173,736 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-07-21 21:04:40
合計ジャッジ時間 5,158 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 14 ms
6,816 KB
testcase_01 AC 13 ms
6,940 KB
testcase_02 AC 14 ms
6,940 KB
testcase_03 RE -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 RE -
testcase_09 RE -
testcase_10 RE -
testcase_11 RE -
testcase_12 RE -
testcase_13 RE -
testcase_14 RE -
testcase_15 RE -
testcase_16 RE -
testcase_17 RE -
testcase_18 RE -
testcase_19 RE -
testcase_20 RE -
testcase_21 RE -
testcase_22 RE -
testcase_23 RE -
testcase_24 RE -
testcase_25 AC 34 ms
6,940 KB
testcase_26 RE -
testcase_27 RE -
testcase_28 WA -
testcase_29 RE -
testcase_30 RE -
権限があれば一括ダウンロードができます

ソースコード

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 = 60;

    // 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