結果

問題 No.3143 Colorless Green Parentheses Sleep Furiously
ユーザー ATM
提出日時 2025-05-16 22:54:27
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 3,431 bytes
コンパイル時間 1,860 ms
コンパイル使用メモリ 194,980 KB
実行使用メモリ 6,272 KB
最終ジャッジ日時 2025-05-17 00:34:31
合計ジャッジ時間 6,944 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 19 WA * 30
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

#define CPP_STR(x) CPP_STR_I(x)
#define CPP_CAT(x, y) CPP_CAT_I(x, y)
#define CPP_STR_I(args...) #args
#define CPP_CAT_I(x, y) x##y

#define ASSERT(expr...) assert((expr))

using i8 = int8_t;
using u8 = uint8_t;
using i16 = int16_t;
using u16 = uint16_t;
using i32 = int32_t;
using u32 = uint32_t;
using i64 = int64_t;
using u64 = uint64_t;

using f32 = float;
using f64 = double;
// }}}

constexpr i64 INF = 1'010'000'000'000'000'017LL;

constexpr i64 MOD = 998244353LL;

constexpr f64 EPS = 1e-12;

constexpr f64 PI = 3.14159265358979323846;

#define M5 100007
#define M9 1000000000

#define F first
#define S second

// util {{{
#define FOR(i, start, end) for (i64 i = (start), CPP_CAT(i, xxxx_end) = (end); i < CPP_CAT(i, xxxx_end); ++i)
#define REP(i, n) FOR(i, 0, n)

#define all(x) (x).begin(), (x).end()
#define ll long long int
#define VI vector<ll>
#define VVI vector<VI>

#define ISD true
#define debug(x) \
    if (ISD)     \
    cout << #x << ": " << x << endl

template <typename T, typename U, typename Comp = less<>>
bool chmax(T &xmax, const U &x, Comp comp = {})
{
    if (comp(xmax, x))
    {
        xmax = x;
        return true;
    }
    return false;
}

template <typename T, typename U, typename Comp = less<>>
bool chmin(T &xmin, const U &x, Comp comp = {})
{
    if (comp(x, xmin))
    {
        xmin = x;
        return true;
    }
    return false;
}

int main()
{
    ll N, K;
    cin >> N >> K;
    string S;
    cin >> S;

    string ans;
    ll p = 0;

    REP(i, N)
    {
        if (S[i] == '(')
        {
            p++;
        }
        else
        {
            p--;
        }
        if (p < 0)
        {
            cout << "No" << endl;
            return 0;
        }
    }
    if (p != 0)
    {
        cout << "No" << endl;
        return 0;
    }
    ll ind = -1;
    REP(i, N)
    {
        if (S[i] == ')')
        {
            // cout << ind << endl;
            if (ind != -1)
            {
                if (S[ind] == '(')
                {
                    ans.push_back('+');
                    ans.push_back('1');
                    ind--;
                }
                else
                {
                    ind = -1;
                }
                ans.push_back(')');
                continue;
            }

            if (i > 0 && S[i - 1] == '(')
            {
                ind = i - 2;
            }
        }
        else
        {
            ind = -1;
        }

        ans.push_back(S[i]);
    }

    string ans2;
    REP(i, ans.size())
    {
        if (i > 0 && ans[i] == ')' && ans[i - 1] == '(')
        {
            ans2.push_back('1');
            ans2.push_back('+');
            ans2.push_back('1');
        }
        if (i > 0 && ans[i] == '(' && ans[i - 1] == ')')
        {
            ans2.push_back('+');
        }
        ans2.push_back(ans[i]);
    }
    ll c = 0;
    for (auto a : ans2)
    {
        if (a == '1')
        {
            c++;
        }
    }
    if (c > K)
    {
        cout << "No" << endl;
        return 0;
    }
    string ans3;
    REP(i, ans2.size())
    {
        ans3.push_back(ans2[i]);
        if (ans2[i] == '1')
        {
            while (K - c > 0)
            {
                ans3.push_back('+');
                ans3.push_back('1');
                c++;
            }
        }
    }
    cout << "Yes" << endl;

    cout << ans3 << endl;
}
0