Submission #1629378
Source Code Expand
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef int Weight;
typedef int Capacity;
struct Edge{
int src, dst; Capacity cap;
Edge(int s, int d, Capacity c) : src(s), dst(d), cap(c){}
};
typedef vector<Edge> Edges;
typedef vector<Edges> Graph;
struct Dinic{
int n, s, t;
vector<int> level, prog, que;
vector<vector<Capacity> > cap, flow;
vector<vector<int> > g;
Capacity inf;
Dinic(){}
Dinic(const Graph &graph)
: n(graph.size()),
cap(n, vector<Capacity>(n)), flow(n, vector<Capacity>(n)),
g(n, vector<int>()), inf((int)1e9){
for(int i = 0; i < n; i++){
for(int j = 0; j < graph[i].size(); j++){
const Edge& e = graph[i][j];
int u = e.src, v = e.dst;
Capacity c = e.cap;
add_edge(u, v, c);
}
}
}
Dinic(int n_) : n(n_), cap(n, vector<Capacity>(n)), flow(n, vector<Capacity>(n)),
g(n, vector<int>()), inf((int)1e9){
}
void add_edge(int u, int v, Capacity c){
cap[u][v] += c; cap[v][u] += c; flow[v][u] += c;
g[u].push_back(v); g[v].push_back(u);
}
void reset(){
for(int i = 0; i < n; i++){
for(int j = 0; j < n; j++){
cap[i][j] = flow[i][j] = 0;
}
g[i].clear();
}
}
inline Capacity residue(int u, int v){ return cap[u][v] - flow[u][v]; }
Capacity solve(int s_, int t_){
this->t = t_, this->s = s_;
que.resize(n + 1);
Capacity res = 0;
while(levelize()){ prog.assign(n, 0); res += augment(s, inf); }
return res;
}
bool levelize(){
int l = 0, r = 0;
level.assign(n, -1); level[s] = 0; que[r++] = s;
while(l != r){
int v = que[l++]; if(v == t) break;
for(int i = 0; i < g[v].size(); i++){
const int& d = g[v][i];
if(level[d] == -1 && residue(v, d) != 0){
level[d] = level[v] + 1; que[r++] = d;
}
}
}
return level[t] != -1;
}
Capacity augment(int v, Capacity lim){
Capacity res = 0;
if(v == t) return lim;
for(int &i = prog[v]; i < (int)g[v].size(); i++){
const int &d = g[v][i];
if(residue(v, d) == 0 || level[v] >= level[d]) continue;
const Capacity aug = augment(d, min(lim, residue(v, d)));
flow[v][d] += aug; flow[d][v] -= aug;
res += aug; lim -= aug;
if(lim == 0) break;
}
return res;
}
};
int main(){
cin.tie(0);
ios::sync_with_stdio(false);
#ifdef LOCAL
std::ifstream in("in");
std::cin.rdbuf(in.rdbuf());
#endif
int N, M, P, G;
cin >> N >> M >> P >> G;
int S = M;
Dinic D(M + 1);
for(int i = 0; i < G; i++){
int L;
cin >> L;
D.add_edge(S, L, 1e9);
}
for(int i = 0; i < N; i++){
int f, t, c;
cin >> f >> t >> c;
D.add_edge(f, t, c);
}
int res = D.solve(S, 0);
if(res >= P){
cout << "Yes" << endl;
}
else{
cout << "No" << endl;
}
}
Submission Info
Submission Time |
|
Task |
H - お風呂は気持ちいい |
User |
femto16 |
Language |
C++14 (GCC 5.4.1) |
Score |
140 |
Code Size |
2768 Byte |
Status |
AC |
Exec Time |
1 ms |
Memory |
384 KB |
Judge Result
Set Name |
f1t |
basic |
Score / Max Score |
40 / 40 |
100 / 100 |
Status |
|
|
Set Name |
Test Cases |
f1t |
f1t/basic_case00, f1t/basic_case01, f1t/basic_case02, f1t/basic_case03, f1t/basic_case04, f1t/basic_case05, f1t/basic_case06, f1t/basic_case07, f1t/basic_case08, f1t/basic_case09, f1t/sample00, f1t/sample01, f1t/sample02 |
basic |
basic/basic_case00, basic/basic_case01, basic/basic_case02, basic/basic_case03, basic/basic_case04, basic/basic_case05, basic/basic_case06, basic/basic_case07, basic/basic_case08, basic/basic_case09, basic/corner00, basic/sample00, basic/sample01, basic/sample02 |
Case Name |
Status |
Exec Time |
Memory |
sample00 |
AC |
1 ms |
256 KB |
sample01 |
AC |
1 ms |
256 KB |
sample02 |
AC |
1 ms |
256 KB |
basic/basic_case00 |
AC |
1 ms |
384 KB |
basic/basic_case01 |
AC |
1 ms |
256 KB |
basic/basic_case02 |
AC |
1 ms |
256 KB |
basic/basic_case03 |
AC |
1 ms |
256 KB |
basic/basic_case04 |
AC |
1 ms |
256 KB |
basic/basic_case05 |
AC |
1 ms |
384 KB |
basic/basic_case06 |
AC |
1 ms |
256 KB |
basic/basic_case07 |
AC |
1 ms |
384 KB |
basic/basic_case08 |
AC |
1 ms |
384 KB |
basic/basic_case09 |
AC |
1 ms |
256 KB |
basic/corner00 |
AC |
1 ms |
256 KB |
basic/sample00 |
AC |
1 ms |
256 KB |
basic/sample01 |
AC |
1 ms |
256 KB |
basic/sample02 |
AC |
1 ms |
256 KB |
f1t/basic_case00 |
AC |
1 ms |
256 KB |
f1t/basic_case01 |
AC |
1 ms |
384 KB |
f1t/basic_case02 |
AC |
1 ms |
256 KB |
f1t/basic_case03 |
AC |
1 ms |
256 KB |
f1t/basic_case04 |
AC |
1 ms |
256 KB |
f1t/basic_case05 |
AC |
1 ms |
256 KB |
f1t/basic_case06 |
AC |
1 ms |
256 KB |
f1t/basic_case07 |
AC |
1 ms |
384 KB |
f1t/basic_case08 |
AC |
1 ms |
256 KB |
f1t/basic_case09 |
AC |
1 ms |
256 KB |
f1t/sample00 |
AC |
1 ms |
256 KB |
f1t/sample01 |
AC |
1 ms |
256 KB |
f1t/sample02 |
AC |
1 ms |
256 KB |