This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
#include "friend.h"
#include <bits/stdc++.h>
using namespace std;
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
template<typename T> using ordered_set = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
template<typename T, typename U> using ordered_map = tree<T, U, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
typedef long long ll;
typedef long double ld;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<ll> vll;
#define FOR(i,j,k,in) for(int i=(j); i < (k);i+=in)
#define FORD(i,j,k,in) for(int i=(j); i >=(k);i-=in)
#define REP(i,b) FOR(i,0,b,1)
#define REPD(i,b) FORD(i,b,0,1)
#define pb push_back
#define mp make_pair
#define ff first
#define ss second
#define all(x) begin(x), end(x)
#define MANY_TESTS int tcase; cin >> tcase; while(tcase--)
const double EPS = 1e-9;
const int MOD = 1e9+7;
const ll INFF = 1e18;
const int INF = 1e9;
const ld PI = acos((ld)-1);
const vi dy = {1, 0, -1, 0, -1, 1, 1, -1};
const vi dx = {0, 1, 0, -1, -1, 1, -1, 1};
void DBG(){cout << "]" << endl;}
template<typename T, typename ...U> void DBG(const T& head, const U... args){ cout << head << "; "; DBG(args...); }
#define dbg(...) cout << "Line(" << __LINE__ << ") -> [" << #__VA_ARGS__ << "]: [", DBG(__VA_ARGS__);
#define chk() cout << "Check at line(" << __LINE__ << ") hit." << endl;
template<class T, unsigned int U>
ostream& operator<<(ostream& out, const array<T, U> &v){out << "["; REP(i, U) out << v[i] << ", "; out << "]"; return out;}
template <class T, class U>
ostream& operator<<(ostream& out, const pair<T, U> &par) {out << "[" << par.first << ";" << par.second << "]"; return out;}
template <class T>
ostream& operator<<(ostream& out, const set<T> &cont) { out << "{"; for( const auto &x:cont) out << x << ", "; out << "}"; return out; }
template <class T, class U>
ostream& operator<<(ostream& out, const map<T, U> &cont) {out << "{"; for( const auto &x:cont) out << x << ", "; out << "}"; return out; }
template<class T>
ostream& operator<<(ostream& out, const vector<T> &v){ out << "["; REP(i, v.size()) out << v[i] << ", "; out << "]"; return out;}
template<class T>
istream& operator>>(istream& in, vector<T> &v){ for(auto &x : v) in >> x; return in; }
// dinic
// so long :(
struct flow_edge{
int src, dest;
int flow, cap;
};
struct flow_network{
vector<vector<int>> g;
vector<flow_edge> edges;
vector<int> level, ptr;
int s, t;
int n;
int m = 0;
int maxF = INF;
void add_edge(int u, int v, int cap){
int id = edges.size();
edges.pb({u, v, 0, cap});
edges.pb({u, v, 0, 0});
g[u].pb(m);
g[v].pb(m + 1);
m += 2;
}
flow_network(int _n, int _s, int _t) : n(_n), s(_s), t(_t){
g.resize(n);
level.resize(n);
ptr.resize(n);
}
bool bfs(){
fill(level.begin(), level.end(), -1);
fill(ptr.begin(), ptr.end(), 0);
level[s] = 0;
queue<int> q;
q.push(s);
while(!q.empty()){
int v = q.front();
q.pop();
for(int id : g[v]){
auto e = edges[id];
if(e.cap - e.flow < 1 || level[e.dest] != -1) continue;
level[e.dest] = level[v] + 1;
q.push(e.dest);
}
}
return level[t] != -1;
}
int dfs(int v, int pushed){
if(pushed == 0) return 0;
if(v == t) return pushed;
for(int& cid = ptr[v]; cid < g[v].size(); ++cid){
int id = g[v][cid];
auto &e1 = edges[id];
auto &e2 = edges[id^1];
if(level[e1.dest] != level[v] + 1 || e1.cap - e1.flow < 1) continue;
int curr_pushed = dfs(e1.dest, min(pushed, e1.cap - e1.flow));
if(curr_pushed == 0) continue;
e1.flow += curr_pushed; e2.flow -= curr_pushed;
return curr_pushed;
}
return 0;
}
int get_flow(){
int res_flow = 0;
while(true){
if(!bfs()) break;
int pushed;
while(true){
int pushed = dfs(s, maxF);
res_flow += pushed;
if(pushed == 0) break;
}
}
return res_flow;
}
};
// Find out best sample
int findSample(int n,int confidence[],int host[],int protocol[]){
flow_edge a[1000000];
REP(i, 1000000) a[i] = {1, 2, 3 ,4};
REP(i, 1000000){
confidence[i%6] = a[i].cap;
}
return 5;
auto solve_1 = [&](){
vector<vector<int>> mat(n, vector<int>(n, 0));
vector<vector<int>> g(n);
auto join = [&](int u, int v){
g[u].pb(v);
g[v].pb(u);
mat[u][v] = mat[v][u] = 1;
};
FOR(i, 1, n, 1){
if(protocol[i] == 0){
join(host[i], i);
}
else if(protocol[i] == 1){
for(int x : g[host[i]]){
join(x, i);
}
}
else{
for(int x : g[host[i]]){
join(x, i);
}
join(host[i], i);
}
}
int ans = 0;
REP(i, (1 << n)){
bool can = true;
int tm = 0;
REP(j, n){
if(i&(1 << j)){
tm += confidence[j];
}
}
REP(j, n){
REP(k, n){
if(j == k) continue;
if((i&(1 << j)) && (i&(1 << k))){
if(mat[j][k])
can = false;
}
}
}
if(can)
ans = max(ans, tm);
}
return ans;
};
auto solve_subtask_2 = [&](){
int ans = 0;
REP(i, n) ans += confidence[i];
return ans;
};
auto solve_subtask_3 = [&](){
int ans = 0;
REP(i, n) ans = max(ans, confidence[i]);
return ans;
};
auto solve_subtask_4 = [&](){
vector<vector<int>> g(n);
FOR(i, 1, n, 1){
g[host[i]].pb(i);
g[i].pb(host[i]);
}
vector<array<int, 2>> dp(n, {0, 0});
function<void(int, int)> dfs = [&](int v, int p){
for(int x : g[v]){
if(x == p) continue;
dfs(x, v);
}
dp[v][1] = confidence[v];
for(int x : g[v]){
if(x == p) continue;
dp[v][1] += dp[x][0];
dp[v][0] += max(dp[x][1], dp[x][0]);
}
};
dfs(0, -1);
return max(dp[0][0], dp[0][1]);
};
auto solve_subtask_5 = [&](){
// smh learn kuhn
// always bipartite
// max indep set = n - max matching
vector<vector<int>> g(n);
FOR(i, 1, n, 1){
if(protocol[i] == 0){
g[i].pb(host[i]);
g[host[i]].pb(i);
}
else{
for(int x : g[host[i]]){
g[x].pb(i);
g[i].pb(x);
}
}
}
delete[]host; delete[]confidence;
delete[]protocol;
flow_network mf(1005, 1001, 1002);
vector<int> dist(n, -1);
auto solve_component = [&](int s){
queue<int> q;
dist[s] = 0;
q.push(s);
vector<int> curr_visited;
while(!q.empty()){
int v = q.front();
curr_visited.pb(v);
q.pop();
for(int x : g[v]){
if(dist[x] == -1){
dist[x] = dist[v] + 1;
}
}
}
for(int v : curr_visited){
if(dist[v] % 2 == 1) {
mf.add_edge(v, mf.t, 1);
continue;
}
mf.add_edge(mf.s, v, 1);
for(int x : g[v]){
mf.add_edge(v, x, 1);
}
}
};
REP(i, n){
if(dist[i] == -1){
solve_component(i);
}
}
int max_indep_set = n - mf.get_flow();
return max_indep_set;
};
bool sub2 = true;
FOR(i, 1, n, 1){
if(protocol[i] != 1)
sub2 = false;
}
bool sub3 = true;
FOR(i, 1, n, 1){
if(protocol[i] != 2)
sub3 = false;
}
bool sub4 = true;
FOR(i, 1, n, 1){
if(protocol[i] != 0)
sub4 = false;
}
if(n <= 10) return solve_1();
else if(sub2) return solve_subtask_2();
else if(sub3) return solve_subtask_3();
else if(sub4) return solve_subtask_4();
else solve_subtask_5();
//return ans;
}
Compilation message (stderr)
friend.cpp: In member function 'void flow_network::add_edge(int, int, int)':
friend.cpp:73:13: warning: unused variable 'id' [-Wunused-variable]
73 | int id = edges.size();
| ^~
friend.cpp: In constructor 'flow_network::flow_network(int, int, int)':
friend.cpp:69:9: warning: 'flow_network::n' will be initialized after [-Wreorder]
69 | int n;
| ^
friend.cpp:68:9: warning: 'int flow_network::s' [-Wreorder]
68 | int s, t;
| ^
friend.cpp:80:5: warning: when initialized here [-Wreorder]
80 | flow_network(int _n, int _s, int _t) : n(_n), s(_s), t(_t){
| ^~~~~~~~~~~~
friend.cpp: In member function 'int flow_network::dfs(int, int)':
friend.cpp:106:36: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
106 | for(int& cid = ptr[v]; cid < g[v].size(); ++cid){
| ~~~~^~~~~~~~~~~~~
friend.cpp: In member function 'int flow_network::get_flow()':
friend.cpp:122:17: warning: unused variable 'pushed' [-Wunused-variable]
122 | int pushed;
| ^~~~~~
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |