#include "highway.h"
#include <algorithm>
#include <iostream>
#include <numeric>
#include <cassert>
#include <numeric>
#include <vector>
#include <queue>
typedef long long llong;
const int MAXN = 90000 + 10;
const llong INF = 1e18;
const int INTINF = 1e9;
int n, m, a, b;
std::queue <int> q;
std::vector <std::pair <int,int>> g[MAXN];
std::vector <std::pair <int,int>> t1[MAXN];
std::vector <std::pair <int,int>> t2[MAXN];
std::vector <int> edgeU;
std::vector <int> edgeV;
int inTree[MAXN];
bool vis[MAXN];
int par[MAXN];
int find(std::vector <std::pair <int,int>> t[], int root, int cnt, int cnt2)
{
// std::cout << "find: " << root << ' ' << cnt << '\n' << std::flush;
if (cnt == 0)
{
return root;
}
while (!q.empty())
{
q.pop();
}
std::vector <int> order;
q.push(root);
while (!q.empty())
{
int top = q.front();
q.pop();
for (const auto &[u, idx] : t[top])
{
if (u != par[top])
{
order.push_back(idx);
q.push(u);
}
}
}
std::vector <int> w(m);
int l = -1, r = order.size(), mid;
while (l < r - 1)
{
mid = (l + r) / 2;
std::fill(w.begin(), w.end(), 1);
for (int i = 0 ; i <= mid ; ++i)
{
w[order[i]] = 0;
}
llong res = ask(w);
// std::cout << "here: " << mid << ' ' << res << ' ' << 1LL * a * cnt + 1LL * b * cnt2 << '\n';
if (res > 1LL * a * cnt + 1LL * b * cnt2) l = mid;
else r = mid;
}
assert(r < order.size());
int u = edgeU[order[r]];
int v = edgeV[order[r]];
if (par[v] == u)
{
std::swap(u, v);
}
return u;
}
void find_pair(int N, std::vector<int> U, std::vector<int> V, int A, int B)
{
n = N;
m = U.size();
a = A; b = B;
edgeU = U;
edgeV = V;
for (int i = 0 ; i < m ; ++i)
{
g[U[i]].push_back({V[i], i});
g[V[i]].push_back({U[i], i});
}
std::vector <int> toAsk(m, 0);
llong res = ask(toAsk);
int l = -1, r = m, mid;
while (l < r - 1)
{
mid = (l + r) / 2;
std::fill(toAsk.begin(), toAsk.end(), 0);
for (int i = 0 ; i <= mid ; ++i)
{
toAsk[i] = 1;
}
llong curr = ask(toAsk);
if (curr == res) l = mid;
else r = mid;
}
assert(r < m);
int rootOne = U[r];
int rootTwo = V[r];
inTree[rootOne] = 1;
inTree[rootTwo] = 2;
vis[rootOne] = true;
vis[rootTwo] = true;
q.push(rootOne);
q.push(rootTwo);
while (!q.empty())
{
int top = q.front();
q.pop();
// std::cout << "top: " << top << ' ' << inTree[top] << '\n';
for (const auto &[u, idx] : g[top])
{
if (!vis[u])
{
par[u] = top;
vis[u] = true;
inTree[u] = inTree[top];
if (inTree[top] == 1)
{
t1[top].push_back({u, idx});
t1[u].push_back({top, idx});
} else
{
t2[top].push_back({u, idx});
t2[u].push_back({top, idx});
}
q.push(u);
}
}
}
std::fill(toAsk.begin(), toAsk.end(), 0);
for (int i = 0 ; i < n ; ++i)
{
for (const auto &[u, idx] : t1[i])
{
// std::cout << "idx: " << idx << '\n';
toAsk[idx] = 1;
}
}
// std::cout << "EDGE: " << rootOne << ' ' << rootTwo << '\n';
// std::cout << "treeONE\n";
// for (int i = 0 ; i < m ; ++i)
// {
// if (toAsk[i] == 1)
// {
// std::cout << i + 1 << ' ';
// }
// }
// std::cout << '\n';
// std::fill(toAsk.begin(), toAsk.end(), 0);
// for (int i = 0 ; i < n ; ++i)
// {
// for (const auto &[u, idx] : t2[i])
// {
// std::cout << "idx: " << idx << '\n';
// toAsk[idx] = 1;
// }
// }
// std::cout << "treeTWO\n";
// for (int i = 0 ; i < m ; ++i)
// {
// if (toAsk[i] == 1)
// {
// std::cout << i + 1 << ' ';
// }
// }
// std::cout << "in tree\n" << std::flush;
// for (int i = 0 ; i < n ; ++i)
// {
// std::cout << inTree[i] << ' ';
// }
// std::cout << '\n';
std::fill(toAsk.begin(), toAsk.end(), 0);
for (int i = 0 ; i < n ; ++i)
{
for (const auto &[u, idx] : t1[i])
{
// std::cout << "idx: " << idx << '\n';
toAsk[idx] = 1;
}
}
llong currRES = ask(toAsk);
int cntEdges = (currRES - res) / (b - a);
int cntEdges2 = res / a - cntEdges - 1;
int s = find(t1, rootOne, cntEdges, cntEdges2 + 1);
int t = find(t2, rootTwo, cntEdges2, cntEdges + 1);
answer(s, t);
}
/*
9 12 1 10 1 3
0 1
1 2
2 6
6 3
3 4
4 0
0 5
5 6
6 7
7 0
0 8
8 6
*/
Compilation message
In file included from /usr/include/c++/10/cassert:44,
from highway.cpp:5:
highway.cpp: In function 'int find(std::vector<std::pair<int, int> >*, int, int, int)':
highway.cpp:75:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
75 | assert(r < order.size());
| ~~^~~~~~~~~~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
3 ms |
6608 KB |
Output is correct |
2 |
Correct |
3 ms |
6608 KB |
Output is correct |
3 |
Correct |
3 ms |
6608 KB |
Output is correct |
4 |
Correct |
3 ms |
6656 KB |
Output is correct |
5 |
Correct |
4 ms |
6636 KB |
Output is correct |
6 |
Correct |
4 ms |
6608 KB |
Output is correct |
7 |
Correct |
3 ms |
6628 KB |
Output is correct |
8 |
Runtime error |
10 ms |
13316 KB |
Execution killed with signal 6 |
9 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
5 ms |
6772 KB |
Output is correct |
2 |
Correct |
11 ms |
7808 KB |
Output is correct |
3 |
Correct |
113 ms |
17476 KB |
Output is correct |
4 |
Correct |
115 ms |
17496 KB |
Output is correct |
5 |
Correct |
117 ms |
17500 KB |
Output is correct |
6 |
Correct |
97 ms |
17472 KB |
Output is correct |
7 |
Correct |
135 ms |
17508 KB |
Output is correct |
8 |
Correct |
129 ms |
17508 KB |
Output is correct |
9 |
Runtime error |
152 ms |
34312 KB |
Execution killed with signal 6 |
10 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
11 ms |
7632 KB |
Output is correct |
2 |
Correct |
21 ms |
8816 KB |
Output is correct |
3 |
Correct |
33 ms |
9740 KB |
Output is correct |
4 |
Correct |
117 ms |
16236 KB |
Output is correct |
5 |
Correct |
83 ms |
16248 KB |
Output is correct |
6 |
Correct |
87 ms |
16296 KB |
Output is correct |
7 |
Correct |
78 ms |
15944 KB |
Output is correct |
8 |
Correct |
77 ms |
16260 KB |
Output is correct |
9 |
Correct |
67 ms |
16112 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
3 ms |
6712 KB |
Output is correct |
2 |
Correct |
15 ms |
7752 KB |
Output is correct |
3 |
Correct |
74 ms |
15164 KB |
Output is correct |
4 |
Correct |
127 ms |
17516 KB |
Output is correct |
5 |
Correct |
105 ms |
17492 KB |
Output is correct |
6 |
Correct |
91 ms |
17476 KB |
Output is correct |
7 |
Correct |
95 ms |
16992 KB |
Output is correct |
8 |
Correct |
117 ms |
17492 KB |
Output is correct |
9 |
Correct |
125 ms |
17456 KB |
Output is correct |
10 |
Correct |
128 ms |
17472 KB |
Output is correct |
11 |
Correct |
116 ms |
16384 KB |
Output is correct |
12 |
Correct |
142 ms |
16356 KB |
Output is correct |
13 |
Correct |
183 ms |
16304 KB |
Output is correct |
14 |
Correct |
123 ms |
16264 KB |
Output is correct |
15 |
Correct |
90 ms |
17512 KB |
Output is correct |
16 |
Correct |
88 ms |
17488 KB |
Output is correct |
17 |
Correct |
135 ms |
16348 KB |
Output is correct |
18 |
Correct |
120 ms |
16368 KB |
Output is correct |
19 |
Correct |
124 ms |
17476 KB |
Output is correct |
20 |
Correct |
150 ms |
16392 KB |
Output is correct |
21 |
Correct |
105 ms |
18184 KB |
Output is correct |
22 |
Correct |
120 ms |
18196 KB |
Output is correct |
23 |
Correct |
116 ms |
17924 KB |
Output is correct |
24 |
Correct |
118 ms |
17840 KB |
Output is correct |
25 |
Correct |
158 ms |
16532 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
18 ms |
7860 KB |
Output is correct |
2 |
Incorrect |
14 ms |
7884 KB |
Output is incorrect: {s, t} is wrong. |
3 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Runtime error |
17 ms |
15856 KB |
Execution killed with signal 6 |
2 |
Halted |
0 ms |
0 KB |
- |