結果

問題 No.1029 JJOOII 3
ユーザー HaarHaar
提出日時 2020-04-17 22:45:21
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,532 bytes
コンパイル時間 2,327 ms
コンパイル使用メモリ 212,296 KB
実行使用メモリ 5,480 KB
最終ジャッジ日時 2023-07-27 01:38:41
合計ジャッジ時間 4,559 ms
ジャッジサーバーID
(参考情報)
judge14 / judge15
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,380 KB
testcase_01 AC 2 ms
4,380 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 4 ms
4,376 KB
testcase_04 AC 8 ms
4,624 KB
testcase_05 AC 28 ms
5,156 KB
testcase_06 AC 22 ms
4,692 KB
testcase_07 AC 27 ms
4,964 KB
testcase_08 AC 27 ms
5,296 KB
testcase_09 AC 23 ms
4,884 KB
testcase_10 AC 25 ms
4,892 KB
testcase_11 AC 31 ms
5,416 KB
testcase_12 AC 18 ms
4,520 KB
testcase_13 AC 29 ms
5,480 KB
testcase_14 AC 31 ms
5,416 KB
testcase_15 AC 1 ms
4,376 KB
testcase_16 AC 1 ms
4,376 KB
testcase_17 AC 2 ms
4,380 KB
testcase_18 AC 28 ms
5,340 KB
testcase_19 WA -
testcase_20 AC 4 ms
4,380 KB
testcase_21 AC 3 ms
4,380 KB
testcase_22 AC 4 ms
4,376 KB
testcase_23 AC 3 ms
4,376 KB
testcase_24 AC 3 ms
4,376 KB
testcase_25 AC 4 ms
4,380 KB
testcase_26 AC 5 ms
4,380 KB
testcase_27 AC 7 ms
4,376 KB
testcase_28 AC 5 ms
4,376 KB
testcase_29 AC 5 ms
4,380 KB
testcase_30 AC 6 ms
4,380 KB
testcase_31 AC 5 ms
4,376 KB
testcase_32 AC 39 ms
5,416 KB
testcase_33 AC 41 ms
5,416 KB
testcase_34 AC 43 ms
5,416 KB
testcase_35 AC 39 ms
5,480 KB
testcase_36 AC 38 ms
5,412 KB
testcase_37 WA -
testcase_38 AC 2 ms
4,376 KB
testcase_39 AC 2 ms
4,380 KB
testcase_40 WA -
権限があれば一括ダウンロードができます

ソースコード

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])]);
        }
      }
    }
  }
  
  pout(ans);

  return 0;
}
0