結果

問題 No.1163 I want to be a high achiever
ユーザー FF256grhyFF256grhy
提出日時 2020-08-12 04:20:40
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 263 ms / 2,000 ms
コード長 4,289 bytes
コンパイル時間 2,309 ms
コンパイル使用メモリ 210,664 KB
実行使用メモリ 200,192 KB
最終ジャッジ日時 2024-10-09 13:36:28
合計ジャッジ時間 9,352 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,816 KB
testcase_02 AC 2 ms
6,816 KB
testcase_03 AC 2 ms
6,816 KB
testcase_04 AC 253 ms
200,064 KB
testcase_05 AC 256 ms
200,064 KB
testcase_06 AC 251 ms
200,064 KB
testcase_07 AC 257 ms
200,192 KB
testcase_08 AC 256 ms
200,064 KB
testcase_09 AC 252 ms
200,064 KB
testcase_10 AC 251 ms
200,064 KB
testcase_11 AC 259 ms
200,064 KB
testcase_12 AC 251 ms
200,064 KB
testcase_13 AC 251 ms
200,192 KB
testcase_14 AC 251 ms
200,192 KB
testcase_15 AC 259 ms
200,064 KB
testcase_16 AC 257 ms
200,192 KB
testcase_17 AC 255 ms
200,064 KB
testcase_18 AC 263 ms
200,192 KB
testcase_19 AC 252 ms
200,192 KB
testcase_20 AC 251 ms
200,064 KB
testcase_21 AC 251 ms
200,192 KB
testcase_22 AC 256 ms
200,064 KB
testcase_23 AC 254 ms
200,064 KB
testcase_24 AC 258 ms
200,064 KB
testcase_25 AC 251 ms
200,064 KB
testcase_26 AC 248 ms
200,064 KB
testcase_27 AC 3 ms
6,820 KB
testcase_28 AC 2 ms
6,816 KB
testcase_29 AC 246 ms
200,192 KB
testcase_30 AC 2 ms
6,816 KB
testcase_31 AC 2 ms
6,820 KB
testcase_32 AC 2 ms
6,820 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
using LL = long long int;
#define incID(i, l, r) for(int i = (l)    ; i <  (r); i++)
#define decID(i, l, r) for(int i = (r) - 1; i >= (l); i--)
#define incII(i, l, r) for(int i = (l)    ; i <= (r); i++)
#define decII(i, l, r) for(int i = (r)    ; i >= (l); i--)
#define inc(i, n)  incID(i, 0, n)
#define dec(i, n)  decID(i, 0, n)
#define inc1(i, n) incII(i, 1, n)
#define dec1(i, n) decII(i, 1, n)
#define inID(v, l, r) ((l) <= (v) && (v) <  (r))
#define inII(v, l, r) ((l) <= (v) && (v) <= (r))
#define PB push_back
#define EB emplace_back
#define MP make_pair
#define MT make_tuple
#define FI first
#define SE second
#define FR front()
#define BA back()
#define ALL(v) v.begin(), v.end()
#define RALL(v) v.rbegin(), v.rend()
auto setmin   = [](auto & a, auto b) { return (b <  a ? a = b, true : false); };
auto setmax   = [](auto & a, auto b) { return (b >  a ? a = b, true : false); };
auto setmineq = [](auto & a, auto b) { return (b <= a ? a = b, true : false); };
auto setmaxeq = [](auto & a, auto b) { return (b >= a ? a = b, true : false); };
#define SI(v) static_cast<int>(v.size())
#define RF(e, v) for(auto & e: v)
#define until(e) while(! (e))
#define if_not(e) if(! (e))
#define ef else if
#define UR assert(false)
// 以下、入出力関係のテンプレ案のテスト
auto * IS = & cin;
// input elements (as a tuple)
template<typename U, int I> void in_(U & t) { }
template<typename U, int I, typename A, typename ... B> void in_(U & t) { (* IS) >> get<I>(t); in_<U, I + 1, B ...>(t); }
template<typename ... T> auto in() { tuple<T ...> t; in_<tuple<T ...>, 0, T ...>(t); return t; }
// input a array
template<typename T, int N> auto ain() { array<T, N> a; inc(i, N) { (* IS) >> a[i]; } return a; }
// input a (multi-dimensional) vector
template<typename T> T vin() { return * istream_iterator<T>(* IS); }
template<typename T, typename N, typename ... M> auto vin(N n, M ... m) {
	vector<decltype(vin<T, M ...>(m ...))> v(n); inc(i, n) { v[i] = vin<T, M ...>(m ...); } return v;
}
// input multi-column (as a tuple of vector)
template<typename U, int I> void colin_(U & t) { }
template<typename U, int I, typename A, typename ... B> void colin_(U & t) {
	get<I>(t).emplace_back(* istream_iterator<A>(* IS)); colin_<U, I + 1, B ...>(t);
}
template<typename ... T> auto colin(int n) {
	tuple<vector<T> ...> t; inc(i, n) { colin_<tuple<vector<T> ...>, 0, T ...>(t); } return t;
}
auto * OS = & cout;
string SP = " ", LN = "\n";
// output elements
void out() { (* OS) << LN << flush; }
template<typename A                > void out(A && a            ) { (* OS) << a      ; out(     ); }
template<typename A, typename ... B> void out(A && a, B && ... b) { (* OS) << a << SP; out(b ...); }
// output a (multi-dimensional) vector
template<typename T> ostream & operator<<(ostream & os, vector<T> const & v) {
	inc(i, v.size()) { os << (i == 0 ? "" : SP) << v[i]; } return os << flush;
}
template<typename T> void vout_(T && v) { (* OS) << v; }
template<typename T, typename A, typename ... B> void vout_(T && v, A a, B ... b) {
	for(auto && w: v) { vout_(w, b ...); (* OS) << a; }
}
template<typename T, typename ... A> void vout(T && v, A ... a) { vout_(v, a ...); out(); }

// ---- ----

template<typename T, typename I = LL> class Sequence {
private:
	I mi = 1, ma = 0, n = 0;
	vector<T> s;
public:
	Sequence() { }
	Sequence(I mi, I ma)      : mi(mi), ma(ma), n(ma - mi + 1) { s = vector<T>(n); }
	Sequence(I mi, I ma, T v) : mi(mi), ma(ma), n(ma - mi + 1) { s = vector<T>(n, v); }
	T & operator[](I i) { assert(inII(i, mi, ma)); return s[i - mi]; }
	T & front() { return s.front(); }
	T & back () { return s.back (); }
	I size() { return n; }
	vector<T> const & get() { return s; }
};

int main() {
	auto [n, x] = in<int, int>();
	auto a = vin<int>(n);
	auto b = vin<int>(n);
	RF(e, a) { e -= x; }
	if(* max_element(ALL(a)) < 0) { out(-1); exit(0); }
	
	const int M = 100 * n, INF = 1e9;
	auto dp = vector<Sequence<int>>(n + 1, Sequence<int>(-M, +M, INF));
	dp[0][0] = 0;
	inc(i, n) {
		incII(j, -M, +M) {
			if(dp[i][j] == INF) { continue; }
			setmin(dp[i + 1][j + a[i]], dp[i][j]);
			setmin(dp[i + 1][j], dp[i][j] + b[i]);
		}
	}
	int ans = INF;
	incII(j, 0, +M) { setmin(ans, dp[n][j]); }
	assert(ans < INF);
	out(ans);
}
0