//二分探索 + 半分全列挙 O(2^(N/2) * log(MAX)) + QCFirm法 #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include #include #include #define rep(i, n) for(i = 0; i < n; i++) #define int long long using namespace std; int n, K, a[30]; void dfs(int l, int r, int sumA, vector &vec) { if (l == r) { vec.push_back(sumA); return; } dfs(l + 1, r, sumA, vec); dfs(l + 1, r, sumA + a[l], vec); } //総和がX以上になる選び方がK通り以上存在するか bool check(int X, vector &vec1, vector &vec2) { int i, j = (int)vec2.size() - 1; int ret = 0; rep(i, vec1.size()) { for (; j >= 0 && vec1[i] + vec2[j] >= X; j--); ret += (int)vec2.size() - 1 - j; } return ret >= K; } signed main() { int i; cin >> n >> K; rep(i, n) cin >> a[i]; vector vec1, vec2; dfs(0, n / 2, 0, vec1); dfs(n / 2, n, 0, vec2); sort(vec1.begin(), vec1.end()); sort(vec2.begin(), vec2.end()); int ok = -1e+11, ng = 1e+11, mid; while (ng - ok >= 2) { mid = (ok + ng) / 2; if (check(mid, vec1, vec2)) ok = mid; else ng = mid; } cout << ok << endl; return 0; }