結果
| 問題 |
No.2370 He ate many cakes
|
| ユーザー |
|
| 提出日時 | 2023-07-04 03:46:24 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 17 ms / 2,000 ms |
| コード長 | 4,417 bytes |
| コンパイル時間 | 3,504 ms |
| コンパイル使用メモリ | 236,772 KB |
| 実行使用メモリ | 5,376 KB |
| 最終ジャッジ日時 | 2024-07-18 01:22:46 |
| 合計ジャッジ時間 | 4,351 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 16 |
ソースコード
#include <bits/stdc++.h>
#include <atcoder/all>
// url
#define rep(i,a,b) for(int i=a;i<b;i++)
#define rrep(i,a,b) for(int i=b-1;i>=a;i--)
#define all(x) (x).begin(),(x).end()
#define pb(x) push_back(x);
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; }
typedef long long ll;
typedef long double lld;
using namespace std;
using namespace atcoder;
using mint = static_modint<998244353>;
const ll mod=998244353;
// using mint = static_modint<1000000007>;
//const ll mod=1e9+7;
int dx[4]={1,0,-1,0};
int dy[4]={0,1,0,-1};
const string zton="0123456789";
const string atoz="abcdefghijklmnopqrstuvwxyz";
const string ATOZ="ABCDEFGHIJKLMNOPQRSTUVWXYZ";
const ll inf=(1ll<<60);
// const int inf=(1<<30);
lld dist(lld x1,lld x2,lld y1,lld y2){
lld res=(x1-x2)*(x1-x2)+(y1-y2)*(y1-y2);
res=sqrt(abs(res));
return res;
}
lld arg(lld x,lld y){
const lld eps=1e-8;
lld res=0;
if(abs(x)+abs(y)<=eps)return 0.0;
else if(abs(x)<=eps){
if(y>=0.0)return (M_PI/2);
else return (M_PI/2+M_PI);
}
else if(abs(y)<=eps){
if(x>=0.0)return 0.0;
else return M_PI;
}
res=atan2(abs(y),abs(x));
if(x<=0&&y>=0)res=(M_PI-res);
else if(x<=0&&y<=0)res+=(M_PI);
else if(x>=0&&y<=0)res=(M_PI*2-res);
return res;
}
ll gcd(ll a,ll b){
if(a==0||b==0)return a+b;
ll r;
r=a%b;
if(r==0){
return b;
}
else{
return gcd(b,r);
}
}
std::ostream &operator<<(std::ostream &dest, __int128_t value) {
std::ostream::sentry s(dest);
if (s) {
__uint128_t tmp = value < 0 ? -value : value;
char buffer[128];
char *d = std::end(buffer);
do {
--d;
*d = "0123456789"[tmp % 10];
tmp /= 10;
} while (tmp != 0);
if (value < 0) {
--d;
*d = '-';
}
int len = std::end(buffer) - d;
if (dest.rdbuf()->sputn(d, len) != len) {
dest.setstate(std::ios_base::badbit);
}
}
return dest;
}
__int128 parse128(string &s) {
__int128 ret = 0;
for (int i = 0; i < s.length(); i++){
if ('0' <= s[i] && s[i] <= '9'){
ret = 10 * ret + s[i] - '0';
}
}
return ret;
}
using l3 = __int128;
typedef pair<ll,int> P;
typedef tuple<ll,int,int> P2;
int N;
ll K;
vector<ll> A,B,C,D,E;
bool check(ll x){
ll cnt=0;
for(ll a:D){
// cout << a << " " << cnt << endl;
if(a+E[0]>=x){
cnt+=E.size();
}
else if(a+E.back()<x){
continue;
}
else{
int ok=E.size()-1,ng=-1;
while(ng+1!=ok){
int md=(ok+ng)/2;
if(a+E[md]>=x){
ok=md;
}
else{
ng=md;
}
}
cnt+=(E.size()-ok);
// cout << a << " " << ok << endl;
}
}
return cnt>=K;
}
int main(void){
ios::sync_with_stdio(false);
cin.tie(nullptr);
cin >> N >> K;
A.resize(N);
rep(i,0,N)cin >> A[i];
if(2>=N){
vector<ll> v;
rep(bit,0,(1<<N)){
ll tmp=0;
rep(dgt,0,N){
if(bit&(1<<dgt)){
tmp+=A[dgt];
}
}
v.pb(tmp);
}
sort(all(v));reverse(all(v));
cout << v[K-1] << endl;
return 0;
}
rep(i,0,N){
if(i%2){
B.pb(A[i]);
}
else{
C.pb(A[i]);
}
}
rep(bit,0,(1<<B.size())){
ll tmp=0;
rep(dgt,0,B.size()){
if(bit&(1<<dgt)){
tmp+=B[dgt];
}
}
D.pb(tmp);
}
rep(bit,0,(1<<C.size())){
ll tmp=0;
rep(dgt,0,C.size()){
if(bit&(1<<dgt)){
tmp+=C[dgt];
}
}
E.pb(tmp);
}
sort(all(D));sort(all(E));
// if(check(-13)){
// cout << -13 << endl;
// }
// for(ll x:E){
// cout << x << " ";
// }
ll ng=inf,ok=-inf;
while(ok+1!=ng){
ll mid=(ng+ok)/2;
if(check(mid)){
ok=mid;
}
else{
ng=mid;
}
}
cout << ok << endl;
}
// 5668510775