結果

問題 No.3143 Colorless Green Parentheses Sleep Furiously
コンテスト
ユーザー テナガザル
提出日時 2025-05-16 22:00:09
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 10 ms / 2,000 ms
コード長 1,188 bytes
コンパイル時間 1,095 ms
コンパイル使用メモリ 103,468 KB
実行使用メモリ 9,472 KB
最終ジャッジ日時 2025-05-17 00:27:31
合計ジャッジ時間 3,017 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 49
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

int main()
{
  int n, k;
  cin >> n >> k;
  string s;
  cin >> s;
  string ans;
  {
    int cnt = 0, mi = 0;
    for (auto c : s)
    {
      cnt += (c == '(' ? 1 : -1);
      mi = min(mi, cnt);
    }
    if (mi < 0 || cnt != 0)
    {
      cout << "No" << endl;
      return 0;
    }
  }
  int pos = 0;
  auto dfs = [&](auto f) -> int
  {
    int cnt = 0;
    if (pos < n && s[pos++] == '(')
    {
      ++cnt;
      ans.push_back('(');
      int tmp = f(f);
      if (tmp == 0) ans += "1+1";
      else if (tmp == 1) ans += "+1";
      ans.push_back(')');
    }
    else return 0;
    while (pos < n && s[pos++] == '(')
    {
      ++cnt;
      ans.push_back('+');
      ans.push_back('(');
      int tmp = f(f);
      if (tmp == 0) ans += "1+1";
      else if (tmp == 1) ans += "+1";
      ans.push_back(')');
    }
    return cnt;
  };
  int tmp = dfs(dfs);
  int sum = 0;
  for (auto c : ans) sum += (c == '1');
  if (pos < n || sum > k || (tmp == 1 && sum >= k))
  {
    cout << "No" << endl;
  }
  else
  {
    while (sum++ < k) ans += "+1";
    cout << "Yes" << endl;
    cout << ans << endl;
  }
}
0