#725407 (C++17) No.1789 Tree Growing

提出ソース

結果

問題	No.1789 Tree Growing
ユーザー	HIR180
提出日時	2021-12-21 02:12:46
言語	C++17 (gcc 13.2.0 + boost 1.83.0)
結果	AC
実行時間	759 ms / 5,000 ms
コード長	8,211 bytes
コンパイル時間	3,861 ms
コンパイル使用メモリ	214,976 KB
実行使用メモリ	13,636 KB
最終ジャッジ日時	2023-10-13 19:45:45
合計ジャッジ時間	11,321 ms
ジャッジサーバーID （参考情報）	judge11 / judge14

このコードへのチャレンジ（β）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	5 ms 12,444 KB
testcase_01	AC	5 ms 12,448 KB
testcase_02	AC	6 ms 12,516 KB
testcase_03	AC	5 ms 12,452 KB
testcase_04	AC	6 ms 12,448 KB
testcase_05	AC	5 ms 12,452 KB
testcase_06	AC	6 ms 12,440 KB
testcase_07	AC	6 ms 12,504 KB
testcase_08	AC	5 ms 12,456 KB
testcase_09	AC	6 ms 12,452 KB
testcase_10	AC	5 ms 12,456 KB
testcase_11	AC	6 ms 12,528 KB
testcase_12	AC	5 ms 12,452 KB
testcase_13	AC	6 ms 12,448 KB
testcase_14	AC	6 ms 12,468 KB
testcase_15	AC	6 ms 12,460 KB
testcase_16	AC	6 ms 12,524 KB
testcase_17	AC	7 ms 12,472 KB
testcase_18	AC	6 ms 12,600 KB
testcase_19	AC	6 ms 12,456 KB
testcase_20	AC	6 ms 12,700 KB
testcase_21	AC	8 ms 12,468 KB
testcase_22	AC	7 ms 12,476 KB
testcase_23	AC	7 ms 12,604 KB
testcase_24	AC	7 ms 12,468 KB
testcase_25	AC	11 ms 12,460 KB
testcase_26	AC	10 ms 12,592 KB
testcase_27	AC	10 ms 12,468 KB
testcase_28	AC	10 ms 12,456 KB
testcase_29	AC	10 ms 12,616 KB
testcase_30	AC	12 ms 12,472 KB
testcase_31	AC	12 ms 12,472 KB
testcase_32	AC	12 ms 12,536 KB
testcase_33	AC	12 ms 12,468 KB
testcase_34	AC	13 ms 12,596 KB
testcase_35	AC	11 ms 12,540 KB
testcase_36	AC	14 ms 12,544 KB
testcase_37	AC	13 ms 12,484 KB
testcase_38	AC	12 ms 12,524 KB
testcase_39	AC	11 ms 12,540 KB
testcase_40	AC	12 ms 12,476 KB
testcase_41	AC	14 ms 12,616 KB
testcase_42	AC	13 ms 12,536 KB
testcase_43	AC	15 ms 12,472 KB
testcase_44	AC	15 ms 12,476 KB
testcase_45	AC	13 ms 12,472 KB
testcase_46	AC	15 ms 12,544 KB
testcase_47	AC	16 ms 12,468 KB
testcase_48	AC	16 ms 12,536 KB
testcase_49	AC	16 ms 12,468 KB
testcase_50	AC	15 ms 12,596 KB
testcase_51	AC	16 ms 12,480 KB
testcase_52	AC	16 ms 12,476 KB
testcase_53	AC	16 ms 12,480 KB
testcase_54	AC	12 ms 12,532 KB
testcase_55	AC	11 ms 12,464 KB
testcase_56	AC	15 ms 12,476 KB
testcase_57	AC	19 ms 12,484 KB
testcase_58	AC	14 ms 12,472 KB
testcase_59	AC	15 ms 12,556 KB
testcase_60	AC	235 ms 12,896 KB
testcase_61	AC	141 ms 12,948 KB
testcase_62	AC	349 ms 13,172 KB
testcase_63	AC	417 ms 13,252 KB
testcase_64	AC	90 ms 12,720 KB
testcase_65	AC	178 ms 13,032 KB
testcase_66	AC	43 ms 12,596 KB
testcase_67	AC	65 ms 12,752 KB
testcase_68	AC	80 ms 12,704 KB
testcase_69	AC	51 ms 12,648 KB
testcase_70	AC	109 ms 12,688 KB
testcase_71	AC	80 ms 12,940 KB
testcase_72	AC	759 ms 13,636 KB
testcase_73	AC	251 ms 12,704 KB
testcase_74	AC	23 ms 12,560 KB
testcase_75	AC	6 ms 12,440 KB
testcase_76	AC	5 ms 12,468 KB
testcase_77	AC	6 ms 12,464 KB
testcase_78	AC	6 ms 12,456 KB
testcase_79	AC	11 ms 12,736 KB
testcase_80	AC	16 ms 12,476 KB
testcase_81	AC	16 ms 12,472 KB
testcase_82	AC	17 ms 12,756 KB
testcase_83	AC	20 ms 12,580 KB
testcase_84	AC	21 ms 12,516 KB
testcase_85	AC	23 ms 12,516 KB
testcase_86	AC	22 ms 12,516 KB
testcase_87	AC	24 ms 12,568 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

//Let's join Kaede Takagaki Fan Club !!
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <ctime>
#include <cassert>
#include <string>
#include <algorithm>
#include <vector>
#include <queue>
#include <stack>
#include <functional>
#include <iostream>
#include <map>
#include <set>
#include <unordered_map>
#include <unordered_set>
#include <cassert>
#include <iomanip>
#include <chrono>
#include <random>
#include <bitset>
#include <complex>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace std;
#define int long long
//#define L __int128
typedef long long ll;
typedef pair<int,int> P;
typedef pair<int,P> P1;
typedef pair<P,P> P2;
#define pu push
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define eps 1e-7
#define INF 1000000000
#define a first
#define b second
#define fi first
#define sc second
#define rng(i,a,b) for(int i=(int)(a);i<(int)(b);i++)
#define rep(i,x) for(int i=0;i<x;i++)
#define repn(i,x) for(int i=1;i<=x;i++)
#define SORT(x) sort(x.begin(),x.end())
#define ERASE(x) x.erase(unique(x.begin(),x.end()),x.end())
#define POSL(x,v) (lower_bound(x.begin(),x.end(),v)-x.begin())
#define POSU(x,v) (upper_bound(x.begin(),x.end(),v)-x.begin())
#define all(x) x.begin(),x.end()
#define si(x) int(x.size())
 
#ifdef LOCAL
#define dmp(x) cerr<<__LINE__<<" "<<#x<<" "<<x<<endl
#else
#define dmp(x) void(0)
#endif
 
template<class t,class u> bool chmax(t&a,u b){if(a<b){a=b;return true;}else return false;}
template<class t,class u> bool chmin(t&a,u b){if(b<a){a=b;return true;}else return false;}
 
template<class t> using vc=vector<t>;
 
template<class t,class u>
ostream& operator<<(ostream& os,const pair<t,u>& p){
	return os<<"{"<<p.fi<<","<<p.sc<<"}";
}
 
template<class t> ostream& operator<<(ostream& os,const vc<t>& v){
	os<<"{";
	for(auto e:v)os<<e<<",";
	return os<<"}";
}
 
 //https://codeforces.com/blog/entry/62393
struct custom_hash {
	static uint64_t splitmix64(uint64_t x) {
		// http://xorshift.di.unimi.it/splitmix64.c
		x += 0x9e3779b97f4a7c15;
		x = (x ^ (x >> 30)) * 0xbf58476d1ce4e5b9;
		x = (x ^ (x >> 27)) * 0x94d049bb133111eb;
		return x ^ (x >> 31);
	}
 
	size_t operator()(uint64_t x) const {
		static const uint64_t FIXED_RANDOM = chrono::steady_clock::now().time_since_epoch().count();
		return splitmix64(x + FIXED_RANDOM);
	}
	
	size_t operator()(pair<int,int> x)const{
		return operator()(uint64_t(x.first)<<32|x.second);
	}
};
//unordered_set -> dtype, null_type
//unordered_map -> dtype(key), dtype(value)
using namespace __gnu_pbds;
template<class t,class u>
using hash_table=gp_hash_table<t,u,custom_hash>;

template<class T>
void g(T &a){
	cin >> a;
}
template<class T>
void o(const T &a,bool space=false){
	cout << a << (space?' ':'\n');
}
//ios::sync_with_stdio(false);
const ll mod = 998244353;
//const ll mod = 1000000007;
mt19937_64 mt(chrono::steady_clock::now().time_since_epoch().count());
template<class T>
void add(T&a,T b){
	a+=b;
	if(a >= mod) a-=mod;
}
ll modpow(ll x,ll n){
	ll res=1;
	while(n>0){
		if(n&1) res=res*x%mod;
		x=x*x%mod;
		n>>=1;
	}
	return res;
}
#define _sz 1
ll F[_sz],R[_sz];
void make(){
	F[0] = 1;
	for(int i=1;i<_sz;i++) F[i] = F[i-1]*i%mod;
	R[_sz-1] = modpow(F[_sz-1], mod-2);
	for(int i=_sz-2;i>=0;i--) R[i] = R[i+1] * (i+1) % mod;
}
ll C(int a,int b){
	if(b < 0 || a < b) return 0;
	return F[a]*R[b]%mod*R[a-b]%mod;
}
int dp[105][105][105];
int n, m;
vc<int>sm[105], bg[105];
int cntsm[105], cntbg[105];
void dfssm(int v, int u){ cntsm[v] = 1; for(auto a:sm[v]) if(a != u){
	dfssm(a, v); cntsm[v] += cntsm[a]; } }
void dfsbg(int v, int u){ cntbg[v] = 1; for(auto a:bg[v]) if(a != u){
	dfsbg(a, v); cntbg[v] += cntbg[a]; } }
template< typename flow_t, typename cost_t >
struct PrimalDual {
	const cost_t inf;
	struct edge{
		int to;
		flow_t cap;
		cost_t cost;
		int rev;
		bool isrev;
	};
	vc<vc<edge>>g;
	vc<cost_t>pot, dist;
	vc<int>prevv, preve;
	
	PrimalDual(int n): g(n), inf(numeric_limits<cost_t>::max()) {}
	
	void add_edge(int from, int to, flow_t cap, cost_t cost){
		g[from].emplace_back((edge) {to, cap, cost, (int) g[to].size(), false});
		g[to].emplace_back((edge) {from, 0, -cost, (int) g[from].size()-1, true});
	}
	
	cost_t mcf(int s, int t, flow_t f){
		int n = (int)g.size();
		cost_t ret = 0;
		using pi = pair<cost_t, int>;
		priority_queue<pi, vc<pi>, greater<pi>>que;
		
		pot.assign(n, 0);
		preve.assign(n, -1);
		prevv.assign(n, -1);
		
		bool fs = true;
		while(f > 0){
			dist.assign(n, inf);
			
			que.emplace(0, s);
			dist[s] = 0;
			
			while(!que.empty()){
				pi p = que.top(); que.pop();
				if(dist[p.sc] < p.fi) continue;
				
				rep(i, g[p.sc].size()){
					edge &e = g[p.sc][i];
					cost_t nc = dist[p.sc] + e.cost + pot[p.sc] - pot[e.to];
					
					if(e.cap > 0 && dist[e.to] > nc){
						dist[e.to] = nc;
						prevv[e.to] = p.sc, preve[e.to] = i;
						que.emplace(dist[e.to], e.to);
					}
				}
			}
			
			if(dist[t] == inf){
				//can not send f units flow
				return -1;
			}
			rep(v, n) pot[v] += dist[v];
			flow_t addflow = f;
			for(int v=t;v!=s;v=prevv[v]) chmin(addflow, g[prevv[v]][preve[v]].cap);
			
			f -= addflow;
			ret += addflow * pot[t];
			
			for(int v=t;v!=s;v=prevv[v]){
				edge &e = g[prevv[v]][preve[v]];
				e.cap -= addflow;
				g[v][e.rev].cap += addflow;
			}
		}
		return ret;
	}
	void output(){
		rep(i, g.size()){
			for(auto &e:g[i]){
				if(e.isrev) continue;
				auto &rev_e = g[e.to][e.rev];
				cout << i << "->" << e.to << "(flow:" << rev_e.cap << "/" << rev_e.cap + e.cap << ")" << endl;
			}
		}
	}
};
void solve(){
	cin>>n;
	rep(i,n-1){
		int a,b;cin>>a>>b;
		sm[a].pb(b);
		sm[b].pb(a);
	}
	cin>>m;
	rep(i,m-1){
		int a,b;cin>>a>>b;
		bg[a].pb(b);
		bg[b].pb(a);
	}
	dfssm(1, -1);
	dfsbg(1, -1);
	vc<int>smv; repn(i, n) smv.pb(i);
	vc<P>bgv; repn(i, m) for(auto a:bg[i]) bgv.eb(i, a);
	sort(all(smv), [](int a, int b){
		return cntsm[a] < cntsm[b];
	});
	sort(all(bgv), [](P a, P b){
		int eva = (cntbg[a.a] > cntbg[a.b]?cntbg[a.b]:m-cntbg[a.a]);
		int evb = (cntbg[b.a] > cntbg[b.b]?cntbg[b.b]:m-cntbg[b.a]);
		return eva < evb;
	});
	rep(i, 105) rep(j, 105) rep(k, 105) dp[i][j][k] = -INF;
	
	for(auto s:smv){
		for(auto b:bgv){
			int u = b.a, v = b.b;
			//calc dp[s][u][v]
			int eva = (cntbg[u] > cntbg[v]?cntbg[v]:m-cntbg[u]);
			for(auto ch:bg[v]){
				//v, ch
				if(ch == u) continue;
				int evb = (cntbg[v] > cntbg[ch]?cntbg[ch]:m-cntbg[v]);
				if(eva < evb) continue;
				chmax(dp[s][u][v], dp[s][v][ch] + 1);
			}
			vc<int>le, ri;
			for(auto ch:sm[s]) if(cntsm[ch] < cntsm[s]) le.pb(ch);
			for(auto ch:bg[v]) {
				if(ch == u) continue;
				int evb = (cntbg[v] > cntbg[ch]?cntbg[ch]:m-cntbg[v]);
				if(eva < evb) continue;
				ri.pb(ch);
			}
			
			if(le.size() > ri.size()) continue;
			PrimalDual<int, int>pd(le.size()+ri.size()+5);
			int ss = le.size()+ri.size()+3;
			int t = ss+1;
			
			rep(i, le.size()){
				rep(j, ri.size()){
					if(dp[le[i]][v][ri[j]] < 0) continue;
					pd.add_edge(i, j+le.size(), 1, 1000 - dp[le[i]][v][ri[j]]);
				}
			}
			
			rep(i, le.size()) pd.add_edge(ss, i, 1, 0);
			rep(i, ri.size()) pd.add_edge(i+le.size(), t, 1, 0);
			
			auto ret = pd.mcf(ss, t, le.size());
			if(ret < 0) continue;
			chmax(dp[s][u][v], (int)le.size() * 1000 - ret + (int)le.size());
		}
	}
	int ans = -INF;
	repn(v, m){
		int tmp = -INF;
		vc<int>le, ri;
		for(auto ch:sm[1]) le.pb(ch);
		for(auto ch:bg[v]) ri.pb(ch);
		if(le.size() > ri.size()) continue;
		PrimalDual<int, int>pd(le.size()+ri.size()+5);
		int s = le.size()+ri.size()+3;
		int t = s+1;
		
		rep(i, le.size()){
			rep(j, ri.size()){
				if(dp[le[i]][v][ri[j]] < 0) continue;
				pd.add_edge(i, j+le.size(), 1, 1000 - dp[le[i]][v][ri[j]]);
			}
		}
		
		rep(i, le.size()) pd.add_edge(s, i, 1, 0);
		rep(i, ri.size()) pd.add_edge(i+le.size(), t, 1, 0);
		
		auto ret = pd.mcf(s, t, le.size());
		if(ret < 0) continue;
		tmp = (int)le.size() * 1000 - ret + (int)le.size();
		chmax(ans, tmp);
	}
	if(ans < 0) ans = -1;
	o(ans);
}
signed main(){
	cin.tie(0);
	ios::sync_with_stdio(0);
	cout<<fixed<<setprecision(20);
	int t; t = 1; //cin >> t;
	while(t--) solve();
}

yukicoder

結果

テストケース

ソースコード