結果

問題 No.177 制作進行の宮森あおいです！
ユーザー hashiryohashiryo
提出日時 2019-06-13 13:57:26
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 18 ms / 2,000 ms
コード長 2,390 bytes
コンパイル時間 1,604 ms
コンパイル使用メモリ 177,892 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-10-13 09:47:55
合計ジャッジ時間 2,418 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 1 ms
5,248 KB
testcase_04 AC 1 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 5 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 11 ms
5,248 KB
testcase_10 AC 18 ms
5,248 KB
testcase_11 AC 14 ms
5,248 KB
testcase_12 AC 8 ms
5,248 KB
testcase_13 AC 2 ms
5,248 KB
testcase_14 AC 2 ms
5,248 KB
testcase_15 AC 2 ms
5,248 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<bits/stdc++.h>

#define debug(x) cerr << #x << ": " << x << '\n'
#define debugArray(x,n) for(long long hoge = 0; (hoge) < (n); ++ (hoge)) cerr << #x << "[" << hoge << "]: " << x[hoge] << '\n'
using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef vector<ll> vll;
const ll INF = LLONG_MAX/2;
const ll MOD = 1e9+7;

struct FordFulkerson {
    typedef long long flow_type;
    struct edge {
        int src, dst;
        flow_type capacity, flow;
        size_t rev;
    };
    int n;
    vector<vector<edge>> adj;
    FordFulkerson(int n) : n(n), adj(n) { }
    void add_edge(int src, int dst, flow_type capacity) {
        adj[src].push_back({src, dst, capacity, 0, adj[dst].size()});
        adj[dst].push_back({dst, src, 0, 0, adj[src].size()-1});
    }
    flow_type max_flow(int s, int t) {
        vector<bool> visited(n);
        function<flow_type(int,flow_type)> augment = [&](int u, flow_type cur) {
            if (u == t) return cur;
            visited[u] = true;
            for (auto &e: adj[u]) {
                if (!visited[e.dst] && e.capacity > e.flow) {
                    flow_type f = augment(e.dst, min(e.capacity - e.flow, cur));
                    if (f > 0) {
                        e.flow += f;
                        adj[e.dst][e.rev].flow -= f;
                        return f;
                    }
                }
            }
            return flow_type(0);
        };
        for (int u = 0; u < n; ++u)
            for (auto &e: adj[u]) e.flow = 0;

        flow_type flow = 0;
        while (1) {
            fill(visited.begin(),visited.end(), false);
            flow_type f = augment(s, INF);
            if (f == 0) break;
            flow += f;
        }
        return flow;
    }
};


signed main(){
  cin.tie(0);
  ios::sync_with_stdio(false);
  ll W;cin>>W;
  ll N;cin>>N;
  vll J(N);
  for(ll i=0;i<N;i++)cin>>J[i];
  ll M;cin>>M;
  vll C(M);
  for(ll j=0;j<M;j++)cin>>C[j];
  FordFulkerson g(N+M+2);
  ll src=N+M,dst=N+M+1;
  for(ll i=0;i<N;i++){
    g.add_edge(src,i,J[i]);
  }
  for(ll j=0;j<M;j++){
    g.add_edge(N+j,dst,C[j]);
    ll Q;cin>>Q;
    bool ng[N]={};
    for(ll q=0;q<Q;q++){
      ll x;cin>>x;x--;
      ng[x]=true;
    }
    for(ll i=0;i<N;i++)if(!ng[i]){
      g.add_edge(i,N+j,INF);
    }
  }
  cout<<(g.max_flow(src,dst)>=W? "SHIROBAKO":"BANSAKUTSUKITA")<<endl;
  return 0;
}
0