Codeforces Round 955 (Div. 2, with prizes from NEAR!) --- E ----Number of k-good subarrays -- 题解

E. Number of k-good subarrays:

题目大意:

思路解析:

对于朴素的n考虑是复杂的,如果假设n只可能为2的某次方,那么不妨设 n == 8,k==2;

那么所需要计算的就是 0 1 2 3 4 5 6 7,有多少个k好子数组,其实可以相当于计算0 1 2 3和 4 5 6 7有多少个好数组。但是可以发现这样分开计算需要补上合并时带来的新的答案。这可以知道,计算f(n,k) 需要返回 (l,r,k) 这三个信息(n代表的是2的n次方这个数),l代表当前这个数组左部有多少个连续的可行数,r代表这个数组右部有多少个连续的可行数,ans代表当前这个数组有多少答案。合并a 和 b时,ans = a.ans + b.ans + a.r * b.l;

还可以发现 0 1 2 3 和 4 5 6 7 队友位置只差一个2进制位。那么f(3,2)= f(2,1)+ f(2,2),因为 4 5 6 7可以转为 0 1 2 3,此时对于原问题 k = 1.

那么对于任意的 n = 10, k = 3,  0 1 2 3 4 5 6 7 8 9 ,那么相当于计算 0 1 2 3 4 5 6 7 和 8 9,可以发现 8 9 可以转化为 0 1,k = 2;,那么按照这样的想法,可以将所有的n按照这样处理。

代码实现:

#include <bits/stdc++.h>

using i64 = long long;
template<class T>
constexpr T power(T a, i64 b) {
    T res {1};
    for (; b; b /= 2, a *= a) {
        if (b % 2) {
            res *= a;
        }
    }
    return res;
}

constexpr i64 mul(i64 a, i64 b, i64 p) {
    i64 res = a * b - i64(1.L * a * b / p) * p;
    res %= p;
    if (res < 0) {
        res += p;
    }
    return res;
}

template<i64 P>
struct MInt {
    i64 x;
    constexpr MInt() : x {0} {}
    constexpr MInt(i64 x) : x {norm(x % getMod())} {}
    
    static i64 Mod;
    constexpr static i64 getMod() {
        if (P > 0) {
            return P;
        } else {
            return Mod;
        }
    }
    constexpr static void setMod(i64 Mod_) {
        Mod = Mod_;
    }
    constexpr i64 norm(i64 x) const {
        if (x < 0) {
            x += getMod();
        }
        if (x >= getMod()) {
            x -= getMod();
        }
        return x;
    }
    constexpr i64 val() const {
        return x;
    }
    constexpr MInt operator-() const {
        MInt res;
        res.x = norm(getMod() - x);
        return res;
    }
    constexpr MInt inv() const {
        return power(*this, getMod() - 2);
    }
    constexpr MInt &operator*=(MInt rhs) & {
        if (getMod() < (1ULL << 31)) {
            x = x * rhs.x % int(getMod());
        } else {
            x = mul(x, rhs.x, getMod());
        }
        return *this;
    }
    constexpr MInt &operator+=(MInt rhs) & {
        x = norm(x + rhs.x);
        return *this;
    }
    constexpr MInt &operator-=(MInt rhs) & {
        x = norm(x - rhs.x);
        return *this;
    }
    constexpr MInt &operator/=(MInt rhs) & {
        return *this *= rhs.inv();
    }
    friend constexpr MInt operator*(MInt lhs, MInt rhs) {
        MInt res = lhs;
        res *= rhs;
        return res;
    }
    friend constexpr MInt operator+(MInt lhs, MInt rhs) {
        MInt res = lhs;
        res += rhs;
        return res;
    }
    friend constexpr MInt operator-(MInt lhs, MInt rhs) {
        MInt res = lhs;
        res -= rhs;
        return res;
    }
    friend constexpr MInt operator/(MInt lhs, MInt rhs) {
        MInt res = lhs;
        res /= rhs;
        return res;
    }
    friend constexpr std::istream &operator>>(std::istream &is, MInt &a) {
        i64 v;
        is >> v;
        a = MInt(v);
        return is;
    }
    friend constexpr std::ostream &operator<<(std::ostream &os, const MInt &a) {
        return os << a.val();
    }
    friend constexpr bool operator==(MInt lhs, MInt rhs) {
        return lhs.val() == rhs.val();
    }
    friend constexpr bool operator!=(MInt lhs, MInt rhs) {
        return lhs.val() != rhs.val();
    }
    friend constexpr bool operator<(MInt lhs, MInt rhs) {
        return lhs.val() < rhs.val();
    }
};

template<>
i64 MInt<0>::Mod = 998244353;

constexpr int P = 1000000007;
using Z = MInt<P>;

struct Info {
    i64 len = 0;
    i64 l = 0;
    i64 r = 0;
    Z ans = 0;
};

Info operator+(const Info &a, const Info &b) {
    if (a.len == 0){
        return b;
    }
    if (b.len == 0){
        return a;
    }
    Info c;
    c.len = a.len + b.len;
    c.l = a.l == a.len ? a.l + b.l : a.l;
    c.r = b.r == b.len ? b.r + a.r : b.r;
    c.ans = a.ans + b.ans + Z(a.r) * b.l;
    return c;
}

Info f[61][61];

Info get(int n, int k){
    if (k >= 0){
        return f[n][k];
    }
    return {1LL << n, 0, 0, 0};
}


void solve() {
    i64 n;
    int k;
    std::cin >> n >> k;
    int c = 0;
    Info ans;
    for(int i = 60; i >= 0; i--){
        if (n >> i & 1){
            ans = ans + get(i, k - c);
            c++;
        }
    }
    std::cout << ans.ans << "\n";
}

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    for(int i = 0; i <= 60; i++){
        f[0][i] = {1, 1, 1, 1};
    }
    for(int i = 1; i <= 60; i++){
        for(int j = 0; j <= 60; j++){
            f[i][j] = get(i - 1, j) + get(i - 1, j - 1);
        }
    }
    //std::cout << f[3][2].ans << "\n";
    int t;
    std::cin >> t;
    while (t--) {
        solve();
    }
    
    return 0;
}

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

Studying~

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值