#include <bits/stdc++.h>
#include "icc.h"
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define ll long long
#define ld long double
#define ull unsigned long long
#define ff first
#define ss second
#define pii pair<int,int>
#define pll pair<long long, long long>
#define vi vector<int>
#define vl vector<long long>
#define pb push_back
#define rep(i, b) for(int i = 0; i < (b); ++i)
#define rep2(i,a,b) for(int i = a; i <= (b); ++i)
#define rep3(i,a,b,c) for(int i = a; i <= (b); i+=c)
#define count_bits(x) __builtin_popcountll((x))
#define all(x) (x).begin(),(x).end()
#define siz(x) (int)(x).size()
#define forall(it,x) for(auto& it:(x))
using namespace __gnu_pbds;
using namespace std;
typedef tree<int, null_type, less<int>, rb_tree_tag,tree_order_statistics_node_update> ordered_set;
//mt19937 mt;void random_start(){mt.seed(chrono::time_point_cast<chrono::milliseconds>(chrono::high_resolution_clock::now()).time_since_epoch().count());}
//ll los(ll a, ll b) {return a + (mt() % (b-a+1));}
const int INF = 1e9+50;
const ll INF_L = 1e18+40;
const ll MOD = 1e9+7;
int ask(vi a, vi b)
{
if(siz(a) == 0 || siz(b) == 0) return 0;
int a2[siz(a)];
int b2[siz(b)];
rep(i,siz(a)) a2[i] = a[i];
rep(i,siz(b)) b2[i] = b[i];
return query(siz(a),siz(b),a2,b2);
}
int rep_[101];
vi comp_list[101];
void onion(int a, int b)
{
a = rep_[a];
b = rep_[b];
if(siz(comp_list[a]) > siz(comp_list[b])) swap(a,b);
forall(it,comp_list[a])
{
comp_list[b].pb(it);
rep_[it] = b;
}
}
void run(int n)
{
rep2(i,1,n) rep_[i] = i;
rep2(i,1,n) comp_list[i] = {i};
rep(t,n-1)
{
vector<vi> comps;
rep2(i,1,n) if(rep_[i] == i) comps.pb(comp_list[i]);
int bits = __lg(siz(comps));
if((1 << bits) != siz(comps)) bits++;
vi lset;
vi rset;
int xor_ = 0;
rep(bit,bits)
{
vi a;
vi b;
rep(i,siz(comps))
{
if((1 << bit) & i) forall(it,comps[i]) a.pb(it);
else forall(it,comps[i]) b.pb(it);
}
if(ask(a,b))
{
lset = a;
rset = b;
xor_ += (1 << bit);
}
}
int l = 0;
int r = siz(rset)-2;
int u = rset.back();
while(l <= r)
{
int mid = (l+r)/2;
vi q;
rep(i,mid+1) q.pb(rset[i]);
if(ask(lset,q))
{
u = rset[mid];
r = mid-1;
}
else
{
l = mid+1;
}
}
int ind = 0;
rep2(i,1,n)
{
if(rep_[i] == i && rep_[i] == rep_[u]) break;
if(rep_[i] == i) ind++;
}
int c2 = ind^xor_;
ind = 0;
rep2(i,1,n)
{
if(rep_[i] == i)
{
if(ind == c2)
{
c2 = rep_[i];
break;
}
ind++;
}
}
l = 0;
r = siz(comp_list[c2])-2;
int v = comp_list[c2].back();
while(l <= r)
{
int mid = (l+r)/2;
vi q;
rep(i,mid+1) q.pb(comp_list[c2][i]);
if(ask(q,{u}))
{
v = comp_list[c2][mid];
r = mid-1;
}
else
{
l = mid+1;
}
}
onion(u,v);
setRoad(u,v);
}
}
# | 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... |