結果

問題 No.50 おもちゃ箱
コンテスト
ユーザー peroon
提出日時 2020-03-14 01:33:03
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 9 ms / 5,000 ms
コード長 4,585 bytes
コンパイル時間 2,252 ms
コンパイル使用メモリ 185,188 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-23 15:56:44
合計ジャッジ時間 3,722 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 4
other AC * 38
権限があれば一括ダウンロードができます

ソースコード

diff # 

#ifdef LOCAL
    #define _GLIBCXX_DEBUG
    #define __clock__
#else
    #pragma GCC optimize("Ofast")
#endif
#include<bits/stdc++.h>
using namespace std;
using ll = long long;
using VI = vector<ll>;
using VV = vector<VI>;
using VS = vector<string>;
using PII = pair<ll, ll>;

// tourist set
template <typename A, typename B>
string to_string(pair<A, B> p);

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p);

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p);

string to_string(const string& s) {
  return '"' + s + '"';
}

string to_string(const char* s) {
  return to_string((string) s);
}

string to_string(bool b) {
  return (b ? "true" : "false");
}

string to_string(vector<bool> v) {
  bool first = true;
  string res = "{";
  for (int i = 0; i < static_cast<int>(v.size()); i++) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(v[i]);
  }
  res += "}";
  return res;
}

template <size_t N>
string to_string(bitset<N> v) {
  string res = "";
  for (size_t i = 0; i < N; i++) {
    res += static_cast<char>('0' + v[i]);
  }
  return res;
}

template <typename A>
string to_string(A v) {
  bool first = true;
  string res = "{";
  for (const auto &x : v) {
    if (!first) {
      res += ", ";
    }
    first = false;
    res += to_string(x);
  }
  res += "}";
  return res;
}

template <typename A, typename B>
string to_string(pair<A, B> p) {
  return "(" + to_string(p.first) + ", " + to_string(p.second) + ")";
}

template <typename A, typename B, typename C>
string to_string(tuple<A, B, C> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ")";
}

template <typename A, typename B, typename C, typename D>
string to_string(tuple<A, B, C, D> p) {
  return "(" + to_string(get<0>(p)) + ", " + to_string(get<1>(p)) + ", " + to_string(get<2>(p)) + ", " + to_string(get<3>(p)) + ")";
}

void debug_out() { cerr << '\n'; }

template <typename Head, typename... Tail>
void debug_out(Head H, Tail... T) {
  cerr << " " << to_string(H);
  debug_out(T...);
}

#ifdef LOCAL
#define debug(...) cerr << "[" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__)
#else
#define debug(...) 42
#endif
// tourist set end

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; }

#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define rep(i,b) FOR(i, 0, b)
#define ALL(v) (v).begin(), (v).end()
#define p(s) cout<<(s)<<'\n'
#define p2(s, t) cout << (s) << " " << (t) << '\n'
#define br() p("")
#define pn(s) cout << (#s) << " " << (s) << '\n'
#define p_yes() p("Yes")
#define p_no() p("No")
#define SZ(x) ((int)(x).size())
#define SORT(A) sort(ALL(A))
#define RSORT(A) sort(ALL(A), greater<ll>())
#define MP make_pair

ll SUM(VI& V){
  return accumulate(ALL(V), 0LL);
}

void print_vector(VI& V){
  ll n = V.size();
  rep(i, n){
    if(i) cout << ' ';
    cout << V[i];
  }
  cout << endl;
}

ll gcd(ll a,ll b){
    if(b == 0) return a;
    return gcd(b,a%b);
}

ll lcm(ll a,ll b){
    ll g = gcd(a,b);
    return a / g * b;
}

void no(){p_no(); exit(0);}
void yes(){p_yes(); exit(0);}

const ll mod = 1e9 + 7;
const ll inf = 1e18;
const double PI = acos(-1);

ll N,M;
VI A,B;

// 大きさiの箱で
// フラグjの荷物はすべて入るか
bool contain[21][1<<10];

bool dp[15][1<<10]; // i番目までの箱を使ってフラグjの荷物は入るか

int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);

    // おもちゃ
    cin>>N;
    A.resize(N);
    rep(i, N) cin >> A[i];
    RSORT(A);

    // box
    cin>>M;
    B.resize(M);
    rep(i, M) cin >> B[i];
    RSORT(B);

    FOR(sz, 1, 21){
      rep(f, 1<<N){
        ll sum=0;
        rep(i, N){
          if(f>>i&1){
            sum += A[i];
          }
        }
        if(sum<=sz) contain[sz][f]=true;
      }
    }

    debug(contain[5][3]);


    rep(i,15) dp[i][0]=true;
    // 0つめの箱を使った場合
    FOR(f, 1, 1<<N){
      dp[0][f] = contain[B[0]][f];
    }
    if(dp[0][(1<<N)-1]){
      p(1); return 0;
    }

    FOR(i, 1, M){
      // 1つ手前のフラグ
      FOR(f, 1, 1<<N){
        if(!dp[i-1][f]) continue;

        // i個目の箱に入れる荷物
        FOR(g, 1, 1<<N){
          if(contain[B[i]][g]){
            dp[i][f | g] = true;
          }
        }
      }
      // 全部入ったなら終わり
      if(dp[i][(1<<N)-1]){
        p(i+1); return 0;
      }
    }
    p(-1);
    
    return 0;
}
0