結果

問題 No.2069 み世界数式
ユーザー okkuukenkenokkuukenken
提出日時 2022-08-17 09:31:50
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 60 ms / 2,000 ms
コード長 2,579 bytes
コンパイル時間 3,192 ms
コンパイル使用メモリ 250,916 KB
実行使用メモリ 7,168 KB
最終ジャッジ日時 2024-05-03 15:03:20
合計ジャッジ時間 5,346 ms
ジャッジサーバーID
(参考情報)
judge2 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 3 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 2 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 2 ms
5,376 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 3 ms
5,376 KB
testcase_10 AC 2 ms
5,376 KB
testcase_11 AC 3 ms
5,376 KB
testcase_12 AC 24 ms
6,912 KB
testcase_13 AC 16 ms
7,040 KB
testcase_14 AC 21 ms
7,040 KB
testcase_15 AC 13 ms
6,656 KB
testcase_16 AC 22 ms
6,912 KB
testcase_17 AC 20 ms
6,784 KB
testcase_18 AC 20 ms
7,040 KB
testcase_19 AC 24 ms
6,784 KB
testcase_20 AC 22 ms
6,912 KB
testcase_21 AC 8 ms
7,040 KB
testcase_22 AC 23 ms
7,168 KB
testcase_23 AC 16 ms
7,040 KB
testcase_24 AC 20 ms
6,912 KB
testcase_25 AC 20 ms
6,912 KB
testcase_26 AC 23 ms
6,784 KB
testcase_27 AC 2 ms
5,376 KB
testcase_28 AC 3 ms
5,376 KB
testcase_29 AC 4 ms
5,376 KB
testcase_30 AC 2 ms
5,376 KB
testcase_31 AC 2 ms
5,376 KB
testcase_32 AC 4 ms
5,376 KB
testcase_33 AC 3 ms
5,376 KB
testcase_34 AC 3 ms
5,376 KB
testcase_35 AC 3 ms
5,376 KB
testcase_36 AC 2 ms
5,376 KB
testcase_37 AC 60 ms
7,040 KB
testcase_38 AC 42 ms
6,656 KB
testcase_39 AC 2 ms
5,376 KB
testcase_40 AC 9 ms
5,376 KB
testcase_41 AC 4 ms
5,376 KB
testcase_42 AC 10 ms
5,376 KB
testcase_43 AC 8 ms
5,376 KB
testcase_44 AC 15 ms
5,632 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
using namespace std;
int m,ans;
string expr;
bool dp[3][1001][301];
int op1[2][1001][301],op2[2][1001][301];
char op[2][1001][301];
vector<pair<int,int>>chr[3][1001];
int expr1(int n);
int term1(int n);
int factor1(int n);
void expr2(int n,int ans);
void term2(int n,int ans);
void factor2(int n,int ans);
int expr1(int n){
	auto&ch=chr[0][n];
	ch.push_back({n,-1});
	n=term1(n);
	ch.back().second=n;
	copy(dp[1][n],dp[1][n]+m+1,dp[0][n]);
	while(n<expr.size()&&expr[n]=='$'){
		int bef=n;
		n++;
		ch.push_back({n,-1});
		n=term1(n);
		ch.back().second=n;
		for(int i=0;i<=m;i++){
			for(int j=0;j<=m;j++){
				if(dp[0][bef][i]&&dp[1][n][j]&&i+j<=m){
					dp[0][n][i+j]=1;
					op1[0][n][i+j]=i;
					op2[0][n][i+j]=j;
					op[0][n][i+j]='+';
				}
				if(dp[0][bef][i]&&dp[1][n][j]&&i-j>=0){
					dp[0][n][i-j]=1;
					op1[0][n][i-j]=i;
					op2[0][n][i-j]=j;
					op[0][n][i-j]='-';
				}
			}
		}
	}
	return n;
}
int term1(int n){
	auto&ch=chr[1][n];
	ch.push_back({n,-1});
	n=factor1(n);
	ch.back().second=n;
	copy(dp[2][n],dp[2][n]+m+1,dp[1][n]);
	while(n<expr.size()&&expr[n]=='&'){
		int bef=n;
		n++;
		ch.push_back({n,-1});
		n=factor1(n);
		ch.back().second=n;
		for(int i=0;i<=m;i++){
			for(int j=0;j<=m;j++){
				if(dp[1][bef][i]&&dp[2][n][j]&&i*j<=m){
					dp[1][n][i*j]=1;
					op1[1][n][i*j]=i;
					op2[1][n][i*j]=j;
					op[1][n][i*j]='*';
				}
				if(dp[1][bef][i]&&dp[2][n][j]&&j!=0){
					dp[1][n][i/j]=1;
					op1[1][n][i/j]=i;
					op2[1][n][i/j]=j;
					op[1][n][i/j]='/';
				}
			}
		}
	}
	return n;
}
int factor1(int n){
	if(isdigit(expr[n])){
		int num=0;
		while(n<expr.size()&&isdigit(expr[n])){
			num=num*10+expr[n]-'0';
			n++;
		}
		dp[2][n][num]=1;
	}else{
		auto&ch=chr[2][n];
		n++;
		ch.push_back({n,-1});
		n=expr1(n);
		ch.back().second=n;
		n++;
		copy(dp[0][n-1],dp[0][n-1]+m+1,dp[2][n]);
	}
	return n;
}
void expr2(int n,int ans){
	auto&ch=chr[0][n];
	for(int i=ch.size()-1;i>=1;i--){
		term2(ch[i].first,op2[0][ch[i].second][ans]);
		expr[ch[i-1].second]=op[0][ch[i].second][ans];
		ans=op1[0][ch[i].second][ans];
	}
	term2(n,ans);
}
void term2(int n,int ans){
	auto&ch=chr[1][n];
	for(int i=ch.size()-1;i>=1;i--){
		factor2(ch[i].first,op2[1][ch[i].second][ans]);
		expr[ch[i-1].second]=op[1][ch[i].second][ans];
		ans=op1[1][ch[i].second][ans];
	}
	factor2(n,ans);
}
void factor2(int n,int ans){
	auto&ch=chr[2][n];
	if(!ch.empty())
		expr2(ch[0].first,ans);
}
int main(){
	cin>>m>>ans>>expr;
	expr1(0);
	if(!dp[0][expr.size()][ans]){
		cout<<-1<<"\r\n";
		return 0;
	}
	expr2(0,ans);
	cout<<expr<<"\r\n";
}
0