結果

問題 No.1029 JJOOII 3
ユーザー HaarHaar
提出日時 2020-04-17 22:54:49
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 66 ms / 2,000 ms
コード長 3,913 bytes
コンパイル時間 2,690 ms
コンパイル使用メモリ 215,016 KB
実行使用メモリ 5,632 KB
最終ジャッジ日時 2024-10-03 14:46:28
合計ジャッジ時間 4,692 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 6 ms
5,248 KB
testcase_04 AC 10 ms
5,248 KB
testcase_05 AC 35 ms
5,504 KB
testcase_06 AC 30 ms
5,248 KB
testcase_07 AC 35 ms
5,248 KB
testcase_08 AC 36 ms
5,248 KB
testcase_09 AC 31 ms
5,248 KB
testcase_10 AC 34 ms
5,248 KB
testcase_11 AC 39 ms
5,632 KB
testcase_12 AC 25 ms
5,248 KB
testcase_13 AC 37 ms
5,504 KB
testcase_14 AC 39 ms
5,376 KB
testcase_15 AC 2 ms
5,248 KB
testcase_16 AC 2 ms
5,248 KB
testcase_17 AC 2 ms
5,248 KB
testcase_18 AC 34 ms
5,632 KB
testcase_19 AC 3 ms
5,248 KB
testcase_20 AC 9 ms
5,248 KB
testcase_21 AC 10 ms
5,248 KB
testcase_22 AC 10 ms
5,248 KB
testcase_23 AC 8 ms
5,248 KB
testcase_24 AC 10 ms
5,248 KB
testcase_25 AC 10 ms
5,248 KB
testcase_26 AC 12 ms
5,248 KB
testcase_27 AC 15 ms
5,248 KB
testcase_28 AC 12 ms
5,248 KB
testcase_29 AC 11 ms
5,248 KB
testcase_30 AC 14 ms
5,248 KB
testcase_31 AC 13 ms
5,248 KB
testcase_32 AC 63 ms
5,632 KB
testcase_33 AC 66 ms
5,632 KB
testcase_34 AC 66 ms
5,504 KB
testcase_35 AC 64 ms
5,632 KB
testcase_36 AC 64 ms
5,632 KB
testcase_37 AC 2 ms
5,248 KB
testcase_38 AC 3 ms
5,248 KB
testcase_39 AC 2 ms
5,248 KB
testcase_40 AC 2 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>

using i32 = int_fast32_t;
using i64 = int_fast64_t;
using u32 = uint_fast32_t;
using u64 = uint_fast64_t;
using f64 = double;
using f80 = long double;

#define FOR(v, a, b) for(i64 v = (a); v < (b); ++v)
#define FORE(v, a, b) for(i64 v = (a); v <= (b); ++v)
#define REP(v, n) FOR(v, 0, n)
#define REPE(v, n) FORE(v, 0, n)
#define REV(v, a, b) for(i64 v = (a); v >= (b); --v)
#define ALL(x) (x).begin(), (x).end()
#define RALL(x) (x).rbegin(), (x).rend()
#define ITR(it, c) for(auto it = (c).begin(); it != (c).end(); ++it)
#define RITR(it, c) for(auto it = (c).rbegin(); it != (c).rend(); ++it)
#define EXIST(c,x) ((c).find(x) != (c).end())
#define fst first
#define snd second
#define UNIQ(v) (v).erase(unique(ALL(v)), (v).end())
#define bit(i) (1LL<<(i))

#ifdef DEBUG
#include <Mylib/Debug/debug.cpp>
#else
#define dump(...) ((void)0)
#endif

using namespace std;

template <typename I> void join(ostream &ost, I s, I t, string d=" "){for(auto i=s; i!=t; ++i){if(i!=s)ost<<d; ost<<*i;}ost<<endl;}
template <typename T> istream& operator>>(istream &is, vector<T> &v){for(auto &a : v) is >> a; return is;}
template <typename T> void pout(const T &value){std::cout << value << "\n";}
template <typename T, typename ...Args> void pout(const T &value, const Args&... args){std::cout << value << " ";pout(args...);}

template <typename T, typename U> bool chmin(T &a, const U &b){return (a>b ? a=b, true : false);}
template <typename T, typename U> bool chmax(T &a, const U &b){return (a<b ? a=b, true : false);}
template <typename T, size_t N, typename U> void fill_array(T (&a)[N], const U &v){fill((U*)a, (U*)(a+N), v);}
template <typename T> auto make_vector(int n, int m, const T &value){return vector<vector<T>>(n, vector<T>(m, value));}


struct Init{
  Init(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    cout << fixed << setprecision(12);
    cerr << fixed << setprecision(12);
  }
}init;


const i64 INF = 1LL << 60;


int main(){
  int N, K; cin >> N >> K;
  N += 1;
  vector<string> S(N);
  vector<i64> C(N);

  vector<int> cj(N), co(N), ci(N);

  REP(i,N-1) cin >> S[i] >> C[i];
  S.push_back("");
  C.push_back(0);

  {
    bool J = false, O = false, I = false;
    
    REP(i,N){
      cj[i] = count(ALL(S[i]), 'J');
      co[i] = count(ALL(S[i]), 'O');
      ci[i] = count(ALL(S[i]), 'I');
    
      if(cj[i]) J = true;
      if(co[i]) O = true;
      if(ci[i]) I = true;
    }

    if(not (J and O and I)){
      pout(-1);
      return 0;
    }
  }

  i64 ans = INF;

  auto dp_j = vector<i64>(K+100, INF);
  auto dp_o = vector<i64>(K+100, INF);
  auto dp_i = vector<i64>(K+100, INF);

  dp_j[0] = 0;
  dp_o[0] = 0;
  dp_i[0] = 0;

  FORE(j,0,K){
    REP(i,N){
      chmin(dp_j[j+cj[i]], dp_j[j] + C[i]);
      chmin(dp_o[j+co[i]], dp_o[j] + C[i]);
      chmin(dp_i[j+ci[i]], dp_i[j] + C[i]);
    }
  }

  REV(j,K+80,0) chmin(dp_j[j], dp_j[j+1]);
  REV(j,K+80,0) chmin(dp_o[j], dp_o[j+1]);
  REV(j,K+80,0) chmin(dp_i[j], dp_i[j+1]);
  


  vector<vector<int>> jo(N), oi(N);

  REP(i,N){
    int O = co[i];
    int I = ci[i];

    jo[i].push_back(O);
    oi[i].push_back(I);
    
    for(auto c : S[i]){
      if(c == 'I') I -= 1;
      if(c == 'O') O -= 1, oi[i].push_back(I);
      if(c == 'J') jo[i].push_back(O);
    }
  }

  REP(i,N){
    REP(j,N){
      REPE(x,cj[i]){
        REPE(y,co[j]){
          chmin(ans, dp_j[max<int>(0, K-x)] + C[i] + dp_o[max<int>(0, K-y-jo[i][x])] + C[j] + dp_i[max<int>(0, K-oi[j][y])]);
        }
      }
    }
  }


  

  REP(i,N){
    REP(x,S[i].size()){
      FOR(y,x,S[i].size()){
        int J = count(S[i].begin(), S[i].begin() + x, 'J');
        int O = count(S[i].begin() + x, S[i].begin() + y, 'O');
        int I = count(S[i].begin() + y, S[i].end(), 'I');

        if(O >= K){
          chmin(ans, dp_j[max<int>(0, K-J)] + C[i] + dp_i[max<int>(0,K-I)]);
        }
      }
    }
  }
  
  
  pout(ans);

  return 0;
}
0