QOJ.ac
QOJ
ID | 题目 | 提交者 | 结果 | 用时 | 内存 | 语言 | 文件大小 | 提交时间 | 测评时间 |
---|---|---|---|---|---|---|---|---|---|
#129870 | #6127. Kawa Exam | Energy_is_not_over | WA | 435ms | 37912kb | C++17 | 7.5kb | 2023-07-23 02:13:20 | 2023-07-23 02:13:23 |
Judging History
answer
//
// Created by BigBag on 22.07.2023 12:32:01
//
#include <bits/stdc++.h>
#define F first
#define S second
#define MP make_pair
#define PB push_back
#define all(a) a.begin(), a.end()
#define len(a) (int) (a.size())
#define mp make_pair
#define pb push_back
#define fir first
#define sec second
using namespace std;
typedef pair<int, int> pii;
typedef long long ll;
typedef long double ld;
#ifdef Energy_is_not_over
#define DEBUG for (bool ____DEBUG = true; ____DEBUG; ____DEBUG = false)
#define LOG(...) print(#__VA_ARGS__" ::", __VA_ARGS__) << endl
template<class ...Ts>
auto &print(Ts ...ts) { return ((cerr << ts << " "), ...); }
#else
#define DEBUG while (false)
#define LOG(...)
#endif
template<typename T>
ostream& operator << (ostream &os, const vector<T> &v) {
bool f = 1;
os << "[";
for (const auto &x : v) {
if (!f) {
os << " ";
}
f = 0;
os << x;
}
os << "]";
return os;
}
const int max_n = 100111, inf = 1000111222;
struct segment_tree {
int val[max_n], distr[max_n], ans;
segment_tree() {
distr[0] = inf;
}
void inc(int x) {
--distr[val[x]];
++val[x];
++distr[val[x]];
ans = max(ans, val[x]);
}
void dec(int x) {
--distr[val[x]];
if (distr[val[x]] == 0 && val[x] == ans) {
--ans;
}
--val[x];
++distr[val[x]];
}
void op(int x, int val, bool store = true) {
if (store) {
ops.push_back({x, val});
}
if (val == 1) {
inc(x);
} else {
assert(val == -1);
dec(x);
}
}
void restore() {
while (!ops.empty()) {
op(ops.back().first, -ops.back().second, false);
ops.pop_back();
}
}
vector<pair<int, int>> ops;
};
segment_tree st;
int DIFF;
int t, n, m, a[max_n], parent[max_n];
int sz[max_n], vis[max_n], delta[max_n], val1[max_n], val2[max_n];
vector<int> g3[max_n];
vector<int> all[max_n];
void dfs3(int v, int p) {
vis[v] = 1;
for (int i = 0; i < g3[v].size(); ++i) {
if (g3[v][i] == p) {
swap(g3[v][i], g3[v].back());
g3[v].pop_back();
break;
}
}
sz[v] = all[v].size();
for (int to : g3[v]) {
dfs3(to, v);
sz[v] += sz[to];
}
for (int i = 0; i < g3[v].size(); ++i) {
if (sz[g3[v].back()] < sz[g3[v][i]]) {
swap(g3[v].back(), g3[v][i]);
}
}
}
int L[max_n], R[max_n];
vector<int> order;
void dfs33(int v) {
L[v] = order.size();
for (int x : all[v]) {
order.push_back(a[x]);
}
R[v] = order.size();
for (int to : g3[v]) {
parent[to] = v;
dfs33(to);
if (to != g3[v].back()) {
R[v] = order.size();
}
}
}
void add_rec(int v, int val, bool is_root = true) {
for (int i = L[v]; i < R[v]; ++i) {
st.op(order[i], val);
}
}
void dfs4(int v) {
// LOG(v, all[v]);
st.restore();
for (int to : g3[v]) {
st.restore();
dfs4(to);
}
if (n < 10) add_rec(v, 1);
val1[v] = st.ans;
}
void dfs5(int v) {
// LOG(v, all[v]);
st.restore();
// st = st2;
for (int to : g3[v]) {
st.restore();
// st = st2;
dfs5(to);
}
if (n < 10) add_rec(v, -1);
val2[v] = st.ans;
}
int ADD;
void dfs6(int v) {
// LOG(v, all[v]);
for (int to : g3[v]) {
dfs6(to);
LOG(v, to, all[to], ADD, val1[to], val2[to]);
delta[to] = ADD + val1[to] + val2[to];
}
}
int used[max_n], cur_t, tin[max_n], fup[max_n], is_bridge[max_n];
int U[max_n], V[max_n];
vector<int> g[max_n], g2[max_n];
void compress_a() {
vector<int> v(a, a + n);
sort(v.begin(), v.end());
v.erase(unique(v.begin(), v.end()), v.end());
DIFF = v.size() - 1;
for (int i = 0; i < n; ++i) {
a[i] = lower_bound(v.begin(), v.end(), a[i]) - v.begin();
}
}
void clr() {
order.clear();
for (int i = 0; i <= n; ++i) {
g[i].clear();
g2[i].clear();
g3[i].clear();
used[i] = tin[i] = fup[i] = 0;
all[i].clear();
parent[i] = -1;
}
for (int i = 0; i <= m; ++i) {
is_bridge[i] = 0;
}
}
void dfs(int v, int pid) {
tin[v] = fup[v] = ++cur_t;
used[v] = 1;
for (int to_id : g[v]) {
if (to_id == pid) {
continue;
}
const int to = v ^ U[to_id] ^ V[to_id];
if (!used[to]) {
dfs(to, to_id);
if (fup[to] > tin[v]) {
is_bridge[to_id] = 1;
}
fup[v] = min(fup[v], fup[to]);
} else {
fup[v] = min(fup[v], tin[to]);
}
}
}
void dfs2(int v) {
used[v] = cur_t;
all[cur_t].push_back(v);
for (int to : g2[v]) {
if (!used[to]) {
dfs2(to);
}
}
}
int main() {
// freopen("input.txt", "r", stdin);
// freopen("output.txt", "w", stdout);
ios_base::sync_with_stdio(0);
cin.tie(0);
cin >> t;
while (t--) {
cin >> n >> m;
for (int i = 0; i < n; ++i) {
cin >> a[i];
}
for (int i = 0; i < m; ++i) {
cin >> U[i] >> V[i];
--U[i];
--V[i];
}
compress_a();
for (int i = 0; i < m; ++i) {
g[U[i]].push_back(i);
g[V[i]].push_back(i);
}
for (int i = 0; i < n; ++i) {
if (!used[i]) {
dfs(i, -1);
}
}
for (int i = 0; i < m; ++i) {
if (!is_bridge[i]) {
g2[U[i]].push_back(V[i]);
g2[V[i]].push_back(U[i]);
}
}
fill(used, used + n, 0);
cur_t = 0;
for (int i = 0; i < n; ++i) {
if (!used[i]) {
++cur_t;
dfs2(i);
LOG(cur_t, all[cur_t]);
}
}
for (int i = 0; i < m; ++i) {
if (is_bridge[i]) {
g3[used[U[i]]].push_back(used[V[i]]);
g3[used[V[i]]].push_back(used[U[i]]);
}
}
st.restore();
int total = 0;
fill(vis + 1, vis + cur_t + 1, 0);
for (int i = 1; i <= cur_t; ++i) {
if (vis[i]) {
continue;
}
dfs3(i, -1);
order.clear();
dfs33(i);
dfs4(i);
int val = st.ans;
LOG(i, val);
total += val;
ADD = -val;
auto cops = st.ops;
st.ops.clear();
dfs5(i);
dfs6(i);
st.restore();
st.ops = cops;
st.restore();
}
LOG(total);
for (int i = 0; i < m; ++i) {
if (is_bridge[i]) {
int to = used[U[i]];
if (parent[used[V[i]]] == used[U[i]]) {
to = used[V[i]];
}
assert(parent[to] == (used[U[i]] ^ used[V[i]] ^ to));
cout << total + delta[to];
} else {
cout << total;
}
if (i + 1 < m) {
cout << " ";
}
}
cout << "\n";
clr();
}
return 0;
}
詳細信息
Test #1:
score: 100
Accepted
time: 1ms
memory: 18612kb
input:
3 7 5 1 2 1 2 1 2 1 1 2 1 3 2 4 5 6 5 7 3 3 1 2 3 1 2 1 3 2 3 2 3 12345 54321 1 2 1 2 1 1
output:
6 5 5 5 4 1 1 1 1 1 1
result:
ok 3 lines
Test #2:
score: -100
Wrong Answer
time: 435ms
memory: 37912kb
input:
5557 2 7 79960 79960 2 2 1 1 1 1 2 2 1 1 2 1 1 2 9 8 21881 70740 70740 21881 22458 22458 639 21881 70740 3 3 1 6 5 8 7 5 5 7 2 3 5 1 7 6 6 7 13064 20716 6746 13064 6746 69225 5 5 4 1 4 1 1 6 4 5 3 2 3 2 8 4 45146 14400 45146 45146 14400 72969 14400 45146 8 6 1 3 4 6 8 3 18 13 48132 37949 92338 92338...
output:
2 2 2 2 2 2 2 6 6 7 6 6 6 6 6 3 3 3 4 4 3 3 7 7 7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 8 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 ...
result:
wrong answer 5th lines differ - expected: '9 9 9 8 9 8 9 8 9 9 10 9 9', found: '0 0 0 0 0 0 0 0 0 0 0 0 0'