#pragma GCC optimize ("O3") #pragma GCC target ("avx") #include "bits/stdc++.h" // define macro "/D__MAI" using namespace std; typedef long long int ll; #define debugv(v) printf("L%d %s => ",__LINE__,#v);for(auto e:v){cout< ",__LINE__,#m);for(int x=0;x<(w);x++){cout<<(m)[x]<<" ";}cout< ostream& operator <<(ostream &o, const pair p) { o << "(" << p.first << ":" << p.second << ")"; return o; } #define TIME chrono::system_clock::now() #define MILLISEC(t) (chrono::duration_cast(t).count()) namespace { std::chrono::system_clock::time_point ttt; void tic() { ttt = TIME; } void toc() { fprintf(stderr, "TIME : %lldms\n", MILLISEC(TIME - ttt)); } std::chrono::system_clock::time_point tle = TIME; } #ifdef __MAI #define getchar_unlocked getchar #define putchar_unlocked putchar #endif #ifdef __VSCC #define getchar_unlocked _getchar_nolock #define putchar_unlocked _putchar_nolock #endif namespace { #define isvisiablechar(c) (0x21<=(c)&&(c)<=0x7E) class MaiScanner { public: template void input_integer(T& var) { var = 0; T sign = 1; int cc = getchar_unlocked(); for (; cc<'0' || '9'>(int& var) { input_integer(var); return *this; } inline MaiScanner& operator>>(long long& var) { input_integer(var); return *this; } inline MaiScanner& operator>>(string& var) { int cc = getchar_unlocked(); for (; !isvisiablechar(cc); cc = getchar_unlocked()); for (; isvisiablechar(cc); cc = getchar_unlocked()) var.push_back(cc); } }; } MaiScanner scanner; // ざっくり書くと、lower_bowndなb_search // l以上h以下のINTEGERのうち、compare(x)==0を満たすようなxを求める。 // xが複数存在するならば最小のものを求める。 // compareは、xが小さすぎるならば@return<0、xが大きすぎるならば@return>0を返すような関数である。 template INTEGER b_search_low(INTEGER l, INTEGER h, auto compare) { INTEGER noresult = l - 1; INTEGER c; int cp; while (l < h) { c = (l + h) / 2; cp = compare(c); if (0 <= cp) { h = c; } else { l = c + 1; } } return compare(l) == 0 ? l : noresult; } // ざっくり書くと、upper_bowndなb_search // l以上h以下のINTEGERのうち、compare(x)==0を満たすようなxを求める。 // xが複数存在するならば最大のものを求める。 // compareは、xが小さすぎるならば@return<0、xが大きすぎるならば@return>0を返すような関数である。 template INTEGER b_search_high(INTEGER l, INTEGER h, auto compare) { INTEGER noresult = l - 1; INTEGER c; int cp; while (l < h) { c = (l + h + 1) / 2; cp = compare(c); if (0 < cp) { h = c - 1; } else { l = c; } } return compare(l) == 0 ? l : noresult; } int n, m, va; int ww[111], vv[111]; int capmin, capmax; // void dfs(int idx = 0, int val = 0, int weight = 0) { // if (idx == n) return; // if (val + vv[idx] == va) { // low = max(low, weight); // high = min(high, weight); // return; // }else if (val + vv[idx] < va) { // dfs(idx + 1, val + vv[idx], weight + ww[idx]); // } // dfs(idx + 1, val, weight); // } int dp[102][100010]; int solve(int cap) { fill(&dp[0][0], &dp[101][cap], 0); for (int i = 1; i <= n; ++i) { for (int w = 0; w <= cap; ++w) { if (ww[i - 1] <= w) dp[i][w] = max(dp[i - 1][w], dp[i - 1][w - ww[i - 1]] + vv[i - 1]); else dp[i][w] = dp[i - 1][w]; } } return dp[n][cap]; } void nibutan() { int l = b_search_low(0, 100001, [](int cap) {return solve(cap) - va; }); int h = b_search_high(0, 100001, [](int cap) {return solve(cap) - va; }); if (l == 100001) cout << "inf" << endl; else cout << l << endl; if (h == 100001) cout << "inf" << endl; else cout << h << endl; } int main() { scanner >> n; repeat(n) { scanner >> vv[cnt] >> ww[cnt]; } scanner >> va; nibutan(); return 0; }