結果

問題 No.10 ＋か×か
ユーザー Yang33Yang33
提出日時 2017-05-25 22:58:13
言語 C++11
(gcc 11.4.0)
結果
AC  
実行時間 27 ms / 5,000 ms
コード長 2,930 bytes
コンパイル時間 1,336 ms
コンパイル使用メモリ 161,224 KB
実行使用メモリ 43,240 KB
最終ジャッジ日時 2024-05-08 11:55:22
合計ジャッジ時間 2,243 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 4 ms
9,796 KB
testcase_01 AC 3 ms
8,032 KB
testcase_02 AC 2 ms
8,008 KB
testcase_03 AC 25 ms
43,240 KB
testcase_04 AC 15 ms
42,240 KB
testcase_05 AC 12 ms
42,368 KB
testcase_06 AC 27 ms
42,368 KB
testcase_07 AC 18 ms
42,496 KB
testcase_08 AC 9 ms
23,680 KB
testcase_09 AC 10 ms
19,712 KB
testcase_10 AC 4 ms
8,832 KB
testcase_11 AC 3 ms
8,064 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

#define FOR(i, s, e) for (ll(i) = (s); (i) < (e); (i)++)
#define FORR(i, s, e) for (ll(i) = (s); (i) > (e); (i)--)
#define debug(x) cout << #x << ": " << x << endl
#define mp make_pair
#define pb push_back
const ll MOD = 1000000007;
const int INF = 1e9;
const ll LINF = 1e16;
const double PI = acos(-1.0);
int dx[8] = { 0, 0, 1, -1, 1, 1, -1, -1 };
int dy[8] = { 1, -1, 0, 0, 1, -1, 1, -1 };

/* -----  xtimex  Problem:  / Link:   ----- */
/* ------問題------



-----問題ここまで----- */
/* -----解説等-----

メモ化再帰または経路復元dp.
メモ化再帰では、i個目まで見て、総和がsumの状況を探索したかどうかをmemoした。(あと枝狩り)
dpでは,演算結果がtargetの値になるかを確認したい上でtargetが10^5以下であること、Nが50以下であることがわかっているので、
dp[ 今何個目の数字も見ているか ][ 作成可能な値 ] := 作成可能/作成不可能　とする。
これによってtargetの値が作成可能かどうかを判定することができる。
経路復元ではこのdpの値意外にも値を選択できることを利用して、dp:= 何を選択したか(+/*)をもった。
これにより最適な状態を二値で表すことができるようになる。具体的にはbitがたっている場合には'*',
立っていない場合には'+'を選択したことにすれば最小の値を持つものは'+'.'*'を辞書順最小で使っていることになる。
したがって経路復元ではこれを順番に見ていけばよい。

----解説ここまで---- */

ll N, target;
ll a[50];
bool memo[51][100110];
ll ans = 0LL;
string s = "";
void f(int i, ll sum) {
	//cout << s << endl;
	if (sum > target)return;
	if (i == N&&sum == target) {
		cout << s << endl;
		exit(0);
	}
	if (i >= N)return;
	if (memo[i][sum])return;
	memo[i][sum] = 1;
	s += '+';
	f(i + 1, sum + a[i]);
	s.erase(s.size() - 1);
	s += '*';
	f(i + 1, sum * a[i]);
	s.erase(s.size() - 1);

	return;
}

ll dp[50][100010];

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

	//FOR(i, 0, 50)FOR(j, 0, 100011) memo[i][j] = 0;

	cin >> N >> target;
	FOR(i, 0, N)cin >> a[i];
	//f(1, a[0]);
	FOR(i, 0, N)FOR(j, 0, 100010)dp[i][j] = LINF;
	dp[0][a[0]] = 0;
	FOR(i, 1, N) {
		FOR(j, 0, target+1) {
			if (dp[i-1][j] == LINF)continue;
			if (j + a[i] <= target) {
				dp[i][j + a[i]] = min(dp[i][j+a[i]], dp[i - 1][j] * 2);
			}
			if (j * a[i] <= target) {
				dp[i][j * a[i]] = min(dp[i][j*a[i]], dp[i - 1][j] * 2 + 1);

			}
		}
	}
	ans = dp[N - 1][target];
	FORR(i, N -2, -1) {
		if (ans & 1LL << i)s += "*";
		else s += "+";
	}
	//FOR(i, 0, N-1) {
	//	if (ans & 1LL << i)s += "*";
	//	else s += "+";
	//}
	////s.pop_back();
	//reverse(s.begin(), s.end());
	cout << s << endl;
	return 0;
}
0