結果

問題 No.1079 まお
ユーザー kimiyukikimiyuki
提出日時 2020-08-06 03:20:32
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 439 ms / 2,000 ms
コード長 2,556 bytes
コンパイル時間 2,180 ms
コンパイル使用メモリ 219,148 KB
実行使用メモリ 26,112 KB
最終ジャッジ日時 2024-09-18 23:53:09
合計ジャッジ時間 10,199 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 1 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,940 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 3 ms
6,940 KB
testcase_07 AC 6 ms
6,944 KB
testcase_08 AC 5 ms
6,944 KB
testcase_09 AC 6 ms
6,940 KB
testcase_10 AC 5 ms
6,940 KB
testcase_11 AC 5 ms
6,944 KB
testcase_12 AC 176 ms
14,720 KB
testcase_13 AC 203 ms
16,896 KB
testcase_14 AC 267 ms
19,072 KB
testcase_15 AC 300 ms
21,248 KB
testcase_16 AC 338 ms
23,552 KB
testcase_17 AC 396 ms
23,936 KB
testcase_18 AC 374 ms
23,808 KB
testcase_19 AC 439 ms
23,936 KB
testcase_20 AC 405 ms
23,808 KB
testcase_21 AC 412 ms
23,808 KB
testcase_22 AC 426 ms
25,984 KB
testcase_23 AC 406 ms
25,984 KB
testcase_24 AC 431 ms
25,984 KB
testcase_25 AC 416 ms
25,984 KB
testcase_26 AC 420 ms
26,112 KB
testcase_27 AC 89 ms
9,604 KB
testcase_28 AC 195 ms
17,616 KB
testcase_29 AC 242 ms
25,984 KB
testcase_30 AC 262 ms
25,984 KB
testcase_31 AC 105 ms
9,284 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define REP(i, n) for (int i = 0; (i) < (int)(n); ++ (i))
#define REP3(i, m, n) for (int i = (m); (i) < (int)(n); ++ (i))
#define REP_R(i, n) for (int i = (int)(n) - 1; (i) >= 0; -- (i))
#define REP3R(i, m, n) for (int i = (int)(n) - 1; (i) >= (int)(m); -- (i))
#define ALL(x) std::begin(x), std::end(x)
using namespace std;

struct item_t {
    int length;
    int64_t min;
    bool duplicated;
};

int64_t solve2(int64_t k, vector<item_t> l, vector<item_t> r) {
    sort(ALL(l), [&](item_t x1, item_t x2) { return x1.min > x2.min; });
    sort(ALL(r), [&](item_t y1, item_t y2) { return y1.min > y2.min; });
    int64_t ans = 0;
    int64_t y_count = 0;
    int64_t y_sum_length = 0;
    auto y = r.begin();
    for (auto x : l) {
        for (; y != r.end() and x.min < y->min; ++ y) {
            y_count += 1;
            y_sum_length += y->length;
        }
        if (not x.duplicated) {
            ans += x.length * y_count + y_sum_length;
        }
    }
    return ans;
}

template <class InputIterator>
map<int64_t, vector<item_t> > solve1(InputIterator first, InputIterator last) {
    map<int64_t, vector<item_t> > f;
    int length = 0;
    int64_t x = INT64_MAX;
    bool duplicated = false;
    for (; first != last; ++ first) {
        length += 1;
        if (*first == x) {
            duplicated = true;
        } else if (*first < x) {
            x = *first;
            duplicated = false;
        }
        f[*first].push_back(item_t{length, x, duplicated});
    }
    return f;
}

int64_t solve(int n, int64_t k, const vector<int64_t> & a) {
    int64_t ans = 0;
    auto go = [&](auto && go, int l, int r) -> void {
        if (r - l == 0) return;
        if (r - l == 1) {
            if (2 * a[l] == k) {
                ans += 1;
            }
            return;
        }
        int m = (r + l) / 2;
        auto f = solve1(a.rbegin() + (n - m), a.rbegin() + (n - l));
        auto g = solve1(a.begin() + m, a.begin() + r);
        for (auto && it1 : f) {
            auto it2 = g.find(k - it1.first);
            if (it2 != g.end()) {
                ans += solve2(k, it1.second, it2->second);
                ans += solve2(k, it2->second, it1.second);
            }
        }
        go(go, l, m);
        go(go, m, r);
    };
    go(go, 0, n);
    return ans;
}

int main() {
    int n; int64_t k; scanf("%d%" SCNd64, &n, &k);
    vector<int64_t> a(n);
    REP (i, n) {
        scanf("%" SCNd64, &a[i]);
    }
    int64_t ans = solve(n, k, a);
    printf("%" PRId64 "\n", ans);
    return 0;
}
0