#include "highway.h"
#include <bits/stdc++.h>
using namespace std;
#define forn(i,n) for(int i=0;i<n;++i)
#define ll long long
#define pb push_back
#define all(x) x.begin(), x.end()
const ll inf = 1e18;
#define pi pair<int,int>
#define f first
#define s second
const int maxn=2e5;
vector<pi> adj[maxn];
pi e[maxn];
vector<int> z;
void dfs(int u, int p) {
for(auto&ed:adj[u]) {
int v=ed.f, i=ed.s;
if (v==p) continue;
e[i]={u,v};
z.pb(i);
dfs(v,u);
}
}
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
void find(int n, vector<int>u, vector<int>v, int a, int b) {
int shift=0;
int Z=(a&1)&(b&1);
int Q=Z;
while (!((a^b)&1)) {
++shift;
a>>=1;
b>>=1;
}
int m=u.size();
vector<int> f,s;
ll x;
Z^=a&1; Z^=1;
forn(it,18) {
f.clear(), s.clear();
vector<int> ok(n);
forn(i,n) ok[i]=rng()&1;
forn(i,n) (ok[i]?f:s).pb(i);
if (min(f.size(),s.size())==0) {
--it; continue;
}
vector<int> q(m);
forn(i,m) q[i]=(ok[u[i]]==ok[v[i]])^Z;
x = ask(q);
x>>=shift;
x^=Q;
if (x&1) {
//cout<<"!!! : "<<a<<' '<<b<<'\n';
//cout<<ask(q)<<'\n';
//for(auto&x:f) cout<<x<<' '; cout<<'\n';
//for(auto&y:s) cout<<y<<' '; cout<<'\n';
break;
}
}
if (!(x&1)) exit(0);
if (f.size()>s.size());
assert(f.size());
int l=0, r=f.size()-1;
while (l<r) {
int mid=(l+r)>>1;
vector<int> ok(n);
for(auto&x:s) ok[x]=1;
forn(i,mid+1) ok[f[i]]=1;
vector<int> q(m,0);
forn(i,m) q[i]=(ok[u[i]]==ok[v[i]])^Z;
x = ask(q);
x>>=shift;
x^=Q;
if (x&1) l=mid+1;
else r=mid;
}
int st = f[r];
//cout<<"! "<<st<<'\n';
vector<vector<pi>> g(n);
forn(i,m) {
g[u[i]].pb({v[i],i});
g[v[i]].pb({u[i],i});
}
vector<int> vis(n); vis[st]=1;
queue<int> q; q.push(st);
while (q.size()) {
auto u=q.front();q.pop();
for(auto&ed:g[u]) {
int v=ed.f, i=ed.s;
if (vis[v]) continue;
vis[v]=1;
e[i]={u,v};
q.push(v);
z.pb(i);
}
}
l=0, r=n-2;
ll S=ask(vector<int>(m,1));
while (l<r) {
int mid=(l+r)>>1;
vector<int> q(m,1);
for(int i=mid+1;i<z.size();++i) q[z[i]]=0;
ll x=ask(q);
if (x==S) r=mid;
else l=mid+1;
}
answer(st,e[z[r]].s);
}
void find_pair(int n, vector<int>u, vector<int>v, int a, int b) {
int m=u.size();
if (m!=n-1) {
find(n,u,v,a,b);
return;
}
forn(i,n-1) adj[u[i]].pb({v[i],i}), adj[v[i]].pb({u[i],i});
int k=0; forn(i,n) if (adj[i].size()==1) k=i;
dfs(k,-1);
ll s = ask(vector<int>(m,1));
int l=0, r=n-2;
while (l<r) {
int m=(l+r)>>1;
vector<int> q(n-1);
forn(i,m+1) q[z[i]]=1;
ll x=ask(q);
if (x==s) r=m;
else l=m+1;
}
k = e[z[r]].s;
//k=0;
z.clear();
dfs(k,-1);
l=0, r=n-2;
while (l<r) {
int m=(l+r)>>1;
vector<int> q(n-1);
forn(i,m+1) q[z[i]]=1;
ll x=ask(q);
if (x==s) r=m;
else l=m+1;
}
answer(k,e[z[r]].s);
}
Compilation message
highway.cpp: In function 'void find(int, std::vector<int>, std::vector<int>, int, int)':
highway.cpp:106:22: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
106 | for(int i=mid+1;i<z.size();++i) q[z[i]]=0;
| ~^~~~~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
2 ms |
4944 KB |
Output is correct |
2 |
Correct |
3 ms |
4944 KB |
Output is correct |
3 |
Correct |
3 ms |
4944 KB |
Output is correct |
4 |
Correct |
2 ms |
4944 KB |
Output is correct |
5 |
Correct |
2 ms |
4944 KB |
Output is correct |
6 |
Correct |
2 ms |
4944 KB |
Output is correct |
7 |
Correct |
2 ms |
4944 KB |
Output is correct |
8 |
Correct |
2 ms |
4944 KB |
Output is correct |
9 |
Correct |
2 ms |
4944 KB |
Output is correct |
10 |
Correct |
3 ms |
4944 KB |
Output is correct |
11 |
Correct |
2 ms |
4944 KB |
Output is correct |
12 |
Correct |
2 ms |
4944 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
3 ms |
5072 KB |
Output is correct |
2 |
Correct |
9 ms |
5720 KB |
Output is correct |
3 |
Correct |
123 ms |
11324 KB |
Output is correct |
4 |
Correct |
97 ms |
11344 KB |
Output is correct |
5 |
Correct |
80 ms |
11260 KB |
Output is correct |
6 |
Correct |
83 ms |
11260 KB |
Output is correct |
7 |
Correct |
122 ms |
11352 KB |
Output is correct |
8 |
Correct |
121 ms |
11256 KB |
Output is correct |
9 |
Correct |
87 ms |
11396 KB |
Output is correct |
10 |
Correct |
81 ms |
11324 KB |
Output is correct |
11 |
Correct |
118 ms |
13052 KB |
Output is correct |
12 |
Correct |
148 ms |
13628 KB |
Output is correct |
13 |
Correct |
109 ms |
13308 KB |
Output is correct |
14 |
Correct |
109 ms |
12852 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
10 ms |
6352 KB |
Output is correct |
2 |
Correct |
22 ms |
7872 KB |
Output is correct |
3 |
Correct |
36 ms |
9184 KB |
Output is correct |
4 |
Correct |
69 ms |
17720 KB |
Output is correct |
5 |
Correct |
84 ms |
17716 KB |
Output is correct |
6 |
Correct |
62 ms |
17720 KB |
Output is correct |
7 |
Correct |
66 ms |
17696 KB |
Output is correct |
8 |
Correct |
93 ms |
17792 KB |
Output is correct |
9 |
Correct |
84 ms |
17716 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
3 ms |
5072 KB |
Output is correct |
2 |
Correct |
12 ms |
5588 KB |
Output is correct |
3 |
Correct |
83 ms |
9892 KB |
Output is correct |
4 |
Correct |
94 ms |
11296 KB |
Output is correct |
5 |
Correct |
109 ms |
11324 KB |
Output is correct |
6 |
Correct |
102 ms |
11244 KB |
Output is correct |
7 |
Correct |
102 ms |
11324 KB |
Output is correct |
8 |
Correct |
90 ms |
11296 KB |
Output is correct |
9 |
Correct |
118 ms |
11264 KB |
Output is correct |
10 |
Correct |
91 ms |
11332 KB |
Output is correct |
11 |
Correct |
81 ms |
12188 KB |
Output is correct |
12 |
Correct |
107 ms |
13320 KB |
Output is correct |
13 |
Correct |
124 ms |
12860 KB |
Output is correct |
14 |
Correct |
87 ms |
13252 KB |
Output is correct |
15 |
Correct |
88 ms |
11252 KB |
Output is correct |
16 |
Correct |
99 ms |
11324 KB |
Output is correct |
17 |
Correct |
115 ms |
12556 KB |
Output is correct |
18 |
Correct |
130 ms |
12928 KB |
Output is correct |
19 |
Correct |
127 ms |
11328 KB |
Output is correct |
20 |
Correct |
108 ms |
13744 KB |
Output is correct |
21 |
Correct |
96 ms |
11512 KB |
Output is correct |
22 |
Correct |
74 ms |
11600 KB |
Output is correct |
23 |
Correct |
73 ms |
11536 KB |
Output is correct |
24 |
Correct |
93 ms |
12076 KB |
Output is correct |
25 |
Correct |
95 ms |
17012 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
16 ms |
6096 KB |
Output is correct |
2 |
Correct |
16 ms |
6236 KB |
Output is correct |
3 |
Correct |
115 ms |
15352 KB |
Output is correct |
4 |
Correct |
134 ms |
15932 KB |
Output is correct |
5 |
Correct |
174 ms |
17196 KB |
Output is correct |
6 |
Correct |
152 ms |
17188 KB |
Output is correct |
7 |
Correct |
133 ms |
17176 KB |
Output is correct |
8 |
Correct |
171 ms |
17228 KB |
Output is correct |
9 |
Correct |
165 ms |
13760 KB |
Output is correct |
10 |
Correct |
114 ms |
14212 KB |
Output is correct |
11 |
Correct |
147 ms |
14976 KB |
Output is correct |
12 |
Correct |
159 ms |
16280 KB |
Output is correct |
13 |
Correct |
154 ms |
16744 KB |
Output is correct |
14 |
Correct |
179 ms |
17192 KB |
Output is correct |
15 |
Correct |
130 ms |
17244 KB |
Output is correct |
16 |
Correct |
127 ms |
15060 KB |
Output is correct |
17 |
Correct |
84 ms |
15328 KB |
Output is correct |
18 |
Correct |
101 ms |
15584 KB |
Output is correct |
19 |
Correct |
112 ms |
15472 KB |
Output is correct |
20 |
Correct |
82 ms |
15524 KB |
Output is correct |
21 |
Correct |
127 ms |
17168 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
16 ms |
6096 KB |
Output is correct |
2 |
Correct |
12 ms |
6204 KB |
Output is correct |
3 |
Correct |
125 ms |
15524 KB |
Output is correct |
4 |
Incorrect |
124 ms |
15632 KB |
Output is incorrect: {s, t} is wrong. |
5 |
Halted |
0 ms |
0 KB |
- |