oj.uz

Submission #682932

# Submission time Handle Problem Language Result Execution time Memory
682932 2023-01-17T09:54:09 Z vjudge1 Toll (APIO13_toll) C++17
16 / 100
 80 ms 163840 KB 
///
#include<bits/stdc++.h>
#define task "C"
#define ll long long
#define ld long double
#define fi first
#define se second
#define pb push_back
using namespace std;
const int MAXN = 3e5 + 5;
const ll INF = 1e18 + 5;
const int MAXK = 25;
 
int n, k, m;
struct TEdge
{
    int u, v, w;
}es[MAXN], more[21];
int a[MAXN];
 
void Input()
{
    cin >> n >> m >> k;
    for (int i = 1; i <= m; i++)
    {
        cin >> es[i].u >> es[i].v >> es[i].w;
    }
    for (int i = 1; i <= k; i++)
    {
        cin >> more[i].u >> more[i].v;
    }
    for (int i = 1; i <= n; i++)
        cin >> a[i];
}
 
int lab[MAXN], w[MAXK][MAXK], w1[MAXK][MAXK];
bool inmst[MAXN];
vector<int> Adj[MAXK];
ll lab1[MAXN], sum[25], res;
int labmau[25], tplt;
 
struct TRb
{
    int u, v, labu, labv;
    ll lab1u, lab1v;
}rb[MAXN];
int szrb = 0;
 
void rollback(int sz)
{
    while (szrb > sz)
    {
        auto top = rb[szrb];
        lab[top.u] = top.labu;
        lab[top.v] = top.labv;
        lab1[top.u] = top.lab1u;
        lab1[top.v] = top.lab1v;
        szrb--;
    }
}
 
int FindSet(int u)
{
    return lab[u] < 0 ? u : FindSet(lab[u]);
}
 
bool Unite(int u, int v)
{
    u = FindSet(u);
    v = FindSet(v);
    if (u == v)
        return 0;
    if (lab[u] > lab[v])
        swap(u, v);
    rb[++szrb] = {u, v, lab[u], lab[v], lab1[u], lab1[v]};
    lab1[u] += lab1[v];
    lab[u] += lab[v];
    lab[v] = u;
    return 1;
}
 
int dep[MAXN], p[MAXN];
 
void DFS(int u, int par)
{
    sum[u] = lab1[u];
    for (int v : Adj[u])
    {
        if (v == par)
            continue;
        dep[v] = dep[u] + 1;
        p[v] = u;
        DFS(v, u);
        sum[u] += sum[v];
    }
}
 
void Cal(int u, int v, int w)
{
    if (dep[u] > dep[v])
        swap(u, v);
    while (dep[u] < dep[v])
    {
        res += sum[v] * w;
        sum[v] = 0;
        v = p[v];
    }
    while (u != v)
    {
        res += (sum[u] + sum[v]) * w;
        sum[u] = sum[v] = 0;
        u = p[u];
        v = p[v];
    }
}
 
void resetDsu()
{
    memset(lab, -1, sizeof(lab));
    for (int i = 1; i <= n; i++)
        lab1[i] = a[i];
    szrb = 0;
}
 
void resetNen()
{
    for (int i = 1; i <= tplt; i++)
    {
        lab[i] = -1;
        lab1[i] = labmau[i];
    }
    szrb = 0;
}
 
int ds[MAXN];
 
void Solve()
{
    resetDsu();
    for (int i = 1; i <= k; i++)
    {
        Unite(more[i].u, more[i].v);
    }
    sort(es + 1, es + 1 + m, [](const auto& i, const auto& j)
         {
            return i.w < j.w;
         });
    for (int i = 1; i <= m; i++)
    {
        if (Unite(es[i].u, es[i].v))
        {
            inmst[i] = 1;
        }
    }
    resetDsu();
    for (int i = 1; i <= m; i++)
    {
        if (inmst[i])
        {
            Unite(es[i].u, es[i].v);
        }
    }
 
    tplt = 0;
    for (int i = 1; i <= n; i++)
    {
        int u = FindSet(i);
        if (!ds[u])
        {
            ds[u] = ++tplt;
        }
        ds[i] = ds[u];
    }
 
    for (int i = 1; i <= n; i++)
    {
        assert(ds[i] <= i);
        if (lab[i] < 0)
        {
            labmau[ds[i]] = lab1[i];
        }
    }
 
    assert(tplt < MAXK);
    resetNen();
 
    //cout << tplt << '\n';
    //for (int i = 1; i <= n; i++)
    //    cout << ds[i] << ' ';
    //cout << '\n';
 
    vector<pair<int, int>> etplt;
    for (int i = 1; i <= m; i++)
    {
        if (!inmst[i])
        {
            int u = FindSet(ds[es[i].u]), v = FindSet(ds[es[i].v]);
            if (u > v)
                swap(u, v);
            assert(u < MAXK && v < MAXK);
            if (!w[u][v])
            {
                w[u][v] = es[i].w;
                etplt.pb({u, v});
                //cout << u << ' ' << v << ' ' << w[u][v] << '\n';
            }
        }
    }
 
    sort(etplt.begin(), etplt.end(), [](const auto& i, const auto& j)
         {
             return w[i.fi][i.se] < w[j.fi][j.se];
         });
    ll ans = 0;
    for (int mask = 1; mask < (1 << k); mask++)
    {
        resetNen();
        for (int i = 0; i < k; i++)
        {
            if (mask & (1 << i))
            {
                Unite(ds[more[i + 1].u], ds[more[i + 1].v]);
            }
        }
        vector<int> in, out;
        for (int i = 0; i < etplt.size(); i++)
        {
            auto e = etplt[i];
            if (Unite(e.fi, e.se))
            {
                in.pb(i);
            } else
            {
                out.pb(i);
            }
        }
        resetNen();
 
        //cout << in.size() << ' ' << out.size() << '\n';
        //cout << lab1[3] << '\n';
 
        for (int i : in)
        {
            auto e = etplt[i];
            Unite(e.fi, e.se);
            //cout << w[e.fi][e.se] << '\n';
        }
        for (int i = 0; i < k; i++)
        {
            if (mask & (1 << i))
            {
                int r = FindSet(ds[more[i + 1].u]), s = FindSet(ds[more[i + 1].v]);
                assert(r < MAXK && s < MAXK);
                Adj[r].pb(s);
                Adj[s].pb(r);
            }
        }
        //cout << lab1[FindSet(ds[4])] << '\n';
        DFS(FindSet(ds[1]), 0);
        //cout << mask << ' ' << res << '\n';
 
        res = 0;
        for (int i : out)
        {
            auto e = etplt[i];
            int u = FindSet(e.fi), v = FindSet(e.se);
            if (u > v)
                swap(u, v);
            assert(u < MAXK && v < MAXK);
            Cal(u, v, w[e.fi][e.se]);
        }
        ans = max(ans, res);
 
        for (int i = 1; i <= tplt; i++)
        {
            Adj[i].clear();
        }
    }
    cout << ans;
}
 
int main()
{
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);
    if (fopen(task".INP","r"))
    {
        freopen(task".INP","r",stdin);
        //freopen(task".OUT","w",stdout);
    }
    Input();
    Solve();
}

Compilation message

toll.cpp: In function 'void Solve()':
toll.cpp:226:27: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  226 |         for (int i = 0; i < etplt.size(); i++)
      |                         ~~^~~~~~~~~~~~~~
toll.cpp: In function 'int main()':
toll.cpp:288:16: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  288 |         freopen(task".INP","r",stdin);
      |         ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~

Subtask #1
16.0 / 16.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 1492 KB Output is correct
2 Correct 1 ms 1492 KB Output is correct

Subtask #2
0 / 18.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 1492 KB Output is correct
2 Correct 1 ms 1492 KB Output is correct
3 Correct 2 ms 1492 KB Output is correct
4 Runtime error 80 ms 163840 KB Execution killed with signal 9
5 Halted 0 ms 0 KB -

Subtask #3
0 / 22.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 1492 KB Output is correct
2 Correct 1 ms 1492 KB Output is correct
3 Correct 2 ms 1492 KB Output is correct
4 Runtime error 80 ms 163840 KB Execution killed with signal 9
5 Halted 0 ms 0 KB -

Subtask #4
0 / 22.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 1492 KB Output is correct
2 Correct 1 ms 1492 KB Output is correct
3 Correct 2 ms 1492 KB Output is correct
4 Runtime error 80 ms 163840 KB Execution killed with signal 9
5 Halted 0 ms 0 KB -

Subtask #5
0 / 22.0

# Verdict Execution time Memory Grader output
1 Correct 1 ms 1492 KB Output is correct
2 Correct 1 ms 1492 KB Output is correct
3 Correct 2 ms 1492 KB Output is correct
4 Runtime error 80 ms 163840 KB Execution killed with signal 9
5 Halted 0 ms 0 KB -