結果

問題 No.286 Modulo Discount Store
コンテスト
ユーザー 小指が強い人
提出日時 2016-06-19 19:06:30
言語 C++11（廃止可能性あり）
(gcc 13.3.0)
結果
AC  
実行時間 9 ms / 2,000 ms
コード長 2,452 bytes
コンパイル時間 1,605 ms
コンパイル使用メモリ 166,844 KB
実行使用メモリ 5,888 KB
最終ジャッジ日時 2024-10-11 05:22:49
合計ジャッジ時間 2,890 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 40
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include "bits/stdc++.h"
using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef vector<int> veci;
typedef vector<string> vecs;
template<class T,class U> using Hash=unordered_map<T,U>;

#define REP(i, a, n) for(ll i = a; i < n; i++)
#define RREP(i, a, n) for(ll i = n-1; i >= a; i--)
#define rep(i, n) REP(i, 0, n)
#define rrep(i, n) RREP(i, 0, n)
#define MD 1000000007

template<class T> T read(){T a;cin >> a;return a;}
template<class T> void read(T& a){cin >> a;}
template<class T> void rarr(T a, int n){for(int i = 0; i < n; i++) {cin >> a[i];}}
template<class T> void write(T a){cout << a << endl;}
template<class T> void writes(vector<T> a, const char* c = " "){cout << a[0];for(int i = 1; i < (int)a.size(); i++)cout << c << a[i];cout << endl;;}
void write(double a){cout << fixed << setprecision(12) << a << endl;}
void write(long double a){cout << fixed << setprecision(12) << a << endl;}
template<class T> void warr(T a, int n, const char* c = " "){cout << a[0];for(int i = 1; i < n; i++)cout << c << a[i];cout << endl;}
void split(string s, string delim, veci& result){result.clear();string::size_type pos = 0;while(pos != string::npos){string::size_type p = s.find(delim, pos);if(p == string::npos){result.push_back(atoi(s.substr(pos).data()));break;}else {result.push_back(atoi(s.substr(pos, p - pos).data()));}pos = p + delim.size();}}
void split(string s, string delim, vecs& result){result.clear();string::size_type pos = 0;while(pos != string::npos){string::size_type p = s.find(delim, pos);if(p == string::npos){result.push_back(s.substr(pos));break;}else {result.push_back(s.substr(pos, p - pos));}pos = p + delim.size();}}
ll gcd(ll a, ll b){while(true){ll k = a % b;if(k == 0)return b;a = b;b = k;}}
ll comb(ll n, ll m){ll p=1;m=min(m,n-m);for(ll i=1;i<=m;i++){p*=n-i+1;p/=i;}return p;}

typedef pair<int,int> pai;

int n,a[15];
pai dp[15][1<<16];

pai solve(int i,int bit){
    if(i>=n)return pai(0,0);
    if(dp[i][bit].first>0)return dp[i][bit];
    pai res=pai(10000000,0);
    rep(x,n){
        int m=1<<x;
        if((bit&m)>0)continue;
        pai p=solve(i+1,bit|m);
        int add=max(0,a[x]-(p.second%1000));
        if(res.first>p.first+add){
            res=pai(p.first+add,p.second+a[x]);
        }
    }
    return dp[i][bit]=res;
}

int main(void)
{
    rep(i,n)rep(j,1<<16)dp[i][j].first=dp[i][j].second=0;
    cin>>n;
    rep(i,n)cin>>a[i];
    write(solve(0,0).first);
    return 0;
}
0