提出 #14260465

---

ソースコード 拡げる

#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<b;i++)
#define rrep(i,a,b) for(int i=a;i>=b;i--)
#define fore(i,a) for(auto &i:a)
#define all(x) (x).begin(),(x).end()
//#pragma GCC optimize ("-O3")
using namespace std; void _main(); int main() { cin.tie(0); ios::sync_with_stdio(false); _main(); }
typedef long long ll; const int inf = INT_MAX / 2; const ll infl = 1LL << 60;
template<class T>bool chmax(T& a, const T& b) { if (a < b) { a = b; return 1; } return 0; }
template<class T>bool chmin(T& a, const T& b) { if (b < a) { a = b; return 1; } return 0; }
//---------------------------------------------------------------------------------------------------
/*---------------------------------------------------------------------------------------------------
　　　　　　　　　　　 ∧＿∧
　　　　　 ∧＿∧ 　（´<_｀ ）　 Welcome to My Coding Space!
　　　　 （ ´_ゝ`）　/　 ⌒i     @hamayanhamayan0
　　　　／　　　＼　 　  |　|
　　　 /　　 /￣￣￣￣/　　|
　 ＿_(__ﾆつ/　    ＿/ .| .|＿＿＿＿
　 　　　＼/＿＿＿＿/　（u　⊃
---------------------------------------------------------------------------------------------------*/












int LIM = 10;
int N, V[1 << 19], W[1 << 19], Q;
//---------------------------------------------------------------------------------------------------
vector<pair<int, int>> memo[1 << 18];
void naive(int cu, vector<int>& arr) {
	if (memo[cu].size() != 0) return;

	int n = arr.size();
	map<int, int> dp;
	rep(msk, 0, 1 << n) {
		int val = 0, wei = 0;
		rep(i, 0, n) if (msk & (1 << i)) {
			val += V[arr[i]];
			wei += W[arr[i]];
		}
		chmax(dp[wei], val);
	}

	fore(p, dp) memo[cu].push_back(p);
	int ma = -inf;
	fore(p, memo[cu]) {
		chmax(ma, p.second);
		p.second = ma;
	}
}
//---------------------------------------------------------------------------------------------------
void _main() {
	cin >> N;
	rep(i, 1, N + 1) cin >> V[i] >> W[i];
	cin >> Q;
	rep(_, 0, Q) {
		int v, L; cin >> v >> L;
		
		int v2 = v;
		vector<int> arr;
		while (1 <= v2) {
			arr.push_back(v2);
			v2 /= 2;
		}

		int n = arr.size();
		if (n <= LIM) {
			naive(v, arr);

			int ans = 0;
			auto idx = upper_bound(all(memo[v]), make_pair(L, inf)) - memo[v].begin();
			if (0 < idx) {
				ans = memo[v][idx - 1].second;
			}
			printf("%d\n", ans);
		}
		else {
			vector<int> arr2;
			rep(i, n - LIM, n) arr2.push_back(arr[i]);
			int p = arr[n - LIM];
			naive(p, arr2);

			int m = n - LIM;
			int ans = 0;
			rep(msk, 0, 1 << m) {
				int val = 0, wei = 0;
				rep(i, 0, m) if (msk & (1 << i)) {
					val += V[arr[i]];
					wei += W[arr[i]];
				}

				auto idx = upper_bound(all(memo[p]), make_pair(L - wei, inf)) - memo[p].begin();
				if (0 < idx) chmax(ans, memo[p][idx - 1].second + val);
			}
			printf("%d\n", ans);
		}

	}
}

提出情報

ジャッジ結果