結果
| 問題 | 
                            No.3143 Colorless Green Parentheses Sleep Furiously
                             | 
                    
| コンテスト | |
| ユーザー | 
                             wsrtrt
                         | 
                    
| 提出日時 | 2025-05-16 21:55:30 | 
| 言語 | C++23  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 2,065 bytes | 
| コンパイル時間 | 2,929 ms | 
| コンパイル使用メモリ | 280,796 KB | 
| 実行使用メモリ | 7,848 KB | 
| 最終ジャッジ日時 | 2025-05-17 00:26:03 | 
| 合計ジャッジ時間 | 5,152 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 47 WA * 2 | 
ソースコード
#include<bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for(int i=a;i<b;i++)
#define rrep(i,a,b) for(int i=a;i>=b;i--)
#define fore(i,a) for(auto& i:a)
#define ff first 
#define ss second 
#define all(a) begin(a),end(a)
#define allr(a) rbegin(a),rend(a)
#define pb push_back
using ll =long long;
using pii=pair<int,int>;
using pll=pair<ll,ll>;
using vi=vector<int>;
using vll=vector<ll>;
template<class T> inline bool chmin(T& a,T b){return a>b?a=b,1:0;}
template<class T> inline bool chmax(T& a,T b){return a<b?a=b,1:0;}
const int INFI=numeric_limits<int>::max()/2;
const ll INFL=numeric_limits<ll>::max()/2;
void solve(){
    
}
int main(){
    int n,k;cin>>n>>k;
    string s;cin>>s;
    {
        int cur{};
        rep(i,0,n){
            if(s[i]=='(')cur++;
            else cur--;
            if(cur<0){
                cout<<"No"<<endl;
                return 0;
            }
        }
    }
    string ans;
    int cur=0;
    int sum{};
    int flag=0;
    stack<int> q;
    rep(i,0,n){
        if(s[i]=='('){
            cur++;
        }
        else {
            cur--;
        }
        if(s[i]==')'){
            if(s[i-1]=='('){
                ans.pb('1');ans.pb('+');ans.pb('1');
                ans.pb(')');
                sum+=2;
            }else{
                if(!q.top()){
                    ans.pb('+');ans.pb('1');
                    sum++;
                }
                ans.pb(')');
            }
            q.pop();
        }else{
            if(i!=0&&s[i-1]==')'){
                ans.pb('+');
                if(!q.empty()){
                    q.pop();
                    q.push(1);
                }else{
                    flag=1;
                }
            }
            ans.pb('(');
            q.push(0);
        }
    }
    if(!flag){
        ans.pb('+');
        ans.pb('1');sum++;
    }
    while(sum<k){
        ans.pb('+');ans.pb('1');sum++;
    }
    if(sum==k){
        cout<<"Yes"<<endl;
        cout<<ans<<endl;
    }else{
        cout<<"No"<<endl;
    }
    return 0;
}
/*
10 6
((())(()))
*/
            
            
            
        
            
wsrtrt