Good Bye 2024: 2025 is NEAR C. Bewitching Stargazer

题意：一开始区间为[1, n]，每次递归操作，如果区间长度<k则终止。如果当前区间长度为奇数，则加上mid，并递归[l, mid - 1] 和 [mid + 1, r]；否则为偶数，则只进行递归[l, mid], [mid + 1, r]。

手搓几个样例发现是有点规律的。首先左右是对称的，左边加的数和右边一样多，只是大小不一样，再观察发现，对于每个区间的左右区间的数，右区间可以和左区间的数一一对应，为统一加了一个变量，然后发现这个变量是mid。那么可以递归求答案，求出左区间的贡献和产生贡献数的个数后，那么右边就是左区间贡献加上左区间个数×mid，并且个数要翻倍。区间长度为奇数的时候，贡献要加上mid，然后总个数加1.

点击查看代码

void solve() {
    i64 n, k;
    std::cin >> n >> k;

    auto dfs = [&](auto self, i64 n) -> std::pair<i64, i64> {
    	if (n < k) {
    		return {0, 0};
    	}

    	i64 mid = 1 + n >> 1ll;
    	if (n & 1) {
    		auto [sum, cnt] = self(self, mid - 1);
    		return {2 * sum + cnt * mid + mid, 2 * cnt + 1};
    	} else {
    		auto [sum, cnt] = self(self, mid);
    		return {2 * sum + cnt * mid, 2 * cnt};
    	}
    };


    std::cout << dfs(dfs, n).first << "\n";
}