verify/zdd_knapsack.test.cpp

View this file on GitHub
Last update: 2020-04-29 13:59:55+09:00
Problem: http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DPL_1_B

Depends on

Code

#define PROBLEM "http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DPL_1_B"
#include "bits/stdc++.h"


using namespace std;

using i64 = long long;

const i64 MOD = i64(1e9) + 7;
const i64 INF = i64(1e18) + 7;


#include "../lib/classes/memorypool.cpp"
#include "../lib/classes/zdd.cpp"


signed main(){
    int n, k;
    cin >> n >> k;
    vector<i64> v(n), w(n);
    for(int i = 0; i < n; ++i)
        cin >> v[i] >> w[i];
    auto f = [&](int p, int i, bool fl){
        if(fl)
            p += w[i];
        if(p > k)
            return make_pair(0, 0);
        if(i + 1 == n)
            return make_pair(0, int(p <= k));
        return make_pair(p, -1);
    };
    ZDD zdd;
    auto root = zdd.build<int>(f, 0);
    cout << zdd.linear_func_max(root, v) << endl;
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.9.0/x64/lib/python3.9/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
  File "/opt/hostedtoolcache/Python/3.9.0/x64/lib/python3.9/site-packages/onlinejudge_verify/languages/cplusplus.py", line 193, in bundle
    bundler.update(path)
  File "/opt/hostedtoolcache/Python/3.9.0/x64/lib/python3.9/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 399, in update
    self.update(self._resolve(pathlib.Path(included), included_from=path))
  File "/opt/hostedtoolcache/Python/3.9.0/x64/lib/python3.9/site-packages/onlinejudge_verify/languages/cplusplus_bundle.py", line 258, in _resolve
    raise BundleErrorAt(path, -1, "no such header")
onlinejudge_verify.languages.cplusplus_bundle.BundleErrorAt: bits/stdc++.h: line -1: no such header