結果

問題 No.177 制作進行の宮森あおいです!
ユーザー hashiryo
提出日時 2019-06-13 13:57:26
言語 C++14
(gcc 8.2.0)
結果
AC  
実行時間 18 ms
コード長 2,390 Byte
コンパイル時間 1,498 ms
使用メモリ 8,916 KB
最終ジャッジ日時 2019-06-13 13:57:29

テストケース

テストケース表示
入力 結果 実行時間
使用メモリ
001_in.txt AC 3 ms
6,872 KB
002_in.txt AC 3 ms
6,872 KB
003_in.txt AC 3 ms
6,872 KB
004_in.txt AC 2 ms
6,868 KB
005_in.txt AC 3 ms
6,872 KB
006_in.txt AC 4 ms
8,912 KB
007_in.txt AC 7 ms
6,872 KB
008_in.txt AC 3 ms
6,872 KB
009_in.txt AC 3 ms
6,872 KB
010_in.txt AC 12 ms
6,872 KB
011_in.txt AC 18 ms
6,872 KB
012_in.txt AC 15 ms
6,872 KB
013_in.txt AC 10 ms
6,872 KB
sample1 AC 3 ms
8,916 KB
sample2 AC 3 ms
6,868 KB
sample3 AC 2 ms
6,872 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