Submission #852629

# Submission time Handle Problem Language Result Execution time Memory
852629 2023-09-22T09:03:50 Z boris_mihov Closing Time (IOI23_closing) C++17
29 / 100
1000 ms 198968 KB
#include "closing.h"
#include <algorithm>
#include <iostream>
#include <numeric>
#include <cassert>
#include <vector>
#include <queue>

typedef long long llong;
const int MAXN = 3000 + 10;
const llong INF = 8e18;
const int INTINF = 2e9;

int n;
int x;
int y;
llong k;
int sz[MAXN];
int par[MAXN];
bool isOnPath[MAXN];
std::vector <int> path;
std::vector <std::pair <int,int>> g[MAXN];
llong dpR[MAXN][2 * MAXN][2][2]; // root
llong dpC[MAXN][2 * MAXN][2][2]; // children, knapsack
llong dpS[MAXN][2 * MAXN][2][2]; // stick
bool blR[MAXN][2 * MAXN][2][2];
bool blC[MAXN][2 * MAXN][2][2];
bool blS[MAXN][2 * MAXN][2][2];
llong distX[MAXN];
llong distY[MAXN];

void reset()
{
    path.clear();
    for (int i = 0 ; i < n ; ++i)
    {
        g[i].clear();
        isOnPath[i] = false;
        distX[i] = distY[i] = 0;
        for (int j = 0 ; j <= 2 * n ; ++j)
        {
            for (int flagX = 0 ; flagX < 2 ; ++flagX)
            {
                for (int flagY = 0 ; flagY < 2 ; ++flagY)
                {
                    dpR[i][j][flagX][flagY] = 0;
                    dpC[i][j][flagX][flagY] = 0;
                    dpS[i][j][flagX][flagY] = 0;
                    blR[i][j][flagX][flagY] = false;
                    blC[i][j][flagX][flagY] = false;
                    blS[i][j][flagX][flagY] = false;
                }
            }
        }
    }
}

void dfs(int node, int par, llong to[], llong dist)
{
    to[node] = dist;
    for (const auto &[u, d] : g[node])
    {
        if (u == par)
        {
            continue;
        }

        dfs(u, node, to, dist + d);
    }
}

bool dfsPath(int node, int par)
{
    if (node == y)
    {
        path.push_back(node);
        return true;
    }

    for (const auto &[u, d] : g[node])
    {
        if (u == par)
        {
            continue;
        }

        if (dfsPath(u, node))
        {
            path.push_back(node);
            return true;
        }
    }

    return false;
}

void dfsSize(int node, int p)
{
    sz[node] = 1;
    par[node] = p;
    for (const auto &[u, d] : g[node])
    {
        if (p == u)
        {
            continue;
        }

        dfsSize(u, node);
        if (!isOnPath[u]) sz[node] += sz[u];
    }
}

llong fRoot(int, int, int, int);
llong fChildren(int, int, int, int, int);
llong fStick(int, int, int, int);

llong fRoot(int node, int choose, int flagX, int flagY)
{
    if (choose == 0)
    {
        return 0;
    }

    if (!flagX && !flagY)
    {
        return k + 1;
    }

    if (blR[node][choose][flagX][flagY])
    {
        return dpR[node][choose][flagX][flagY];
    }

    blR[node][choose][flagX][flagY] = true;
    dpR[node][choose][flagX][flagY] = fChildren(node, 0, choose, flagX, flagY);
    dpR[node][choose][flagX][flagY] = std::min(dpR[node][choose][flagX][flagY], k + 1);
    return dpR[node][choose][flagX][flagY];
}

llong fChildren(int node, int idx, int choose, int flagX, int flagY)
{
    if (idx == g[node].size())
    {
        if (choose == 0) return 0;
        return k + 1;
    }

    int current = g[node][idx].first;
    if (isOnPath[current] || current == par[node])
    {
        return fChildren(node, idx + 1, choose, flagX, flagY);
    }

    if (blC[current][choose][flagX][flagY])
    {
        return dpC[current][choose][flagX][flagY];
    }
    
    blC[current][choose][flagX][flagY] = true;
    dpC[current][choose][flagX][flagY] = k + 1;
    
    for (int currX = 0 ; currX <= flagX ; ++currX)
    {
        for (int currY = 0 ; currY <= flagY ; ++currY)
        {
            for (int subtreeChoose = currX + currY ; subtreeChoose <= std::min(2 * sz[g[node][idx].first], choose) ; ++subtreeChoose)
            {
                dpC[current][choose][flagX][flagY] = std::min(dpC[current][choose][flagX][flagY], fChildren(node, idx + 1, choose - subtreeChoose, flagX, flagY) + std::max((currX == 0 ? 0 : distX[current]), (currY == 0 ? 0 : distY[current])) + fRoot(current, subtreeChoose - currX - currY, currX, currY));
            }
        }
    }

    return dpC[current][choose][flagX][flagY];
}

llong fStick(int idx, int choose, int flagX, int flagY)
{
    if (idx == path.size())
    {
        if (choose == 0) return 0;
        return k + 1;
    }

    if (blS[idx][choose][flagX][flagY])
    {
        return dpS[idx][choose][flagX][flagY];
    }

    blS[idx][choose][flagX][flagY] = true;
    dpS[idx][choose][flagX][flagY] = k + 1;
    for (int currX = 0 ; currX <= flagX ; ++currX)
    {
        for (int currY = flagY ; currY <= 1 ; ++currY)
        {
            for (int subtreeChoose = currX + currY ; subtreeChoose <= std::min(2 * sz[path[idx]], choose) ; ++subtreeChoose)
            {
                int val = dpS[idx][choose][flagX][flagY];
                dpS[idx][choose][flagX][flagY] = std::min(dpS[idx][choose][flagX][flagY], fStick(idx + 1, choose - subtreeChoose, currX, currY) + std::max((currX == 0 ? 0 : distX[path[idx]]), (currY == 0 ? 0 : distY[path[idx]])) + fRoot(path[idx], subtreeChoose - currX - currY, currX, currY));
            }
        }
    }

    return dpS[idx][choose][flagX][flagY];
}

int max_score(int N, int X, int Y, long long K, std::vector <int> U, std::vector <int> V, std::vector <int> W)
{
    reset();
    n = N;
    x = X;
    y = Y;
    k = K;

    for (int i = 0 ; i < n - 1 ; ++i)
    {
        g[U[i]].emplace_back(V[i], W[i]);
        g[V[i]].emplace_back(U[i], W[i]);
    }    

    dfs(x, -1, distX, 0);
    dfs(y, -1, distY, 0);
    dfsPath(x, -1);
    dfsSize(x, -1);

    std::reverse(path.begin(), path.end());
    for (const int &i : path)
    {
        isOnPath[i] = true;
    }
    
    for (int i = 2 * n ; i >= 1 ; --i)
    {
        if (fStick(0, i, 1, 0) <= k)
        {
            return i;
        }
    }

    return 0;
}

Compilation message

closing.cpp: In function 'llong fChildren(int, int, int, int, int)':
closing.cpp:142:13: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::pair<int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  142 |     if (idx == g[node].size())
      |         ~~~~^~~~~~~~~~~~~~~~~
closing.cpp: In function 'llong fStick(int, int, int, int)':
closing.cpp:178:13: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  178 |     if (idx == path.size())
      |         ~~~~^~~~~~~~~~~~~~
closing.cpp:197:21: warning: unused variable 'val' [-Wunused-variable]
  197 |                 int val = dpS[idx][choose][flagX][flagY];
      |                     ^~~
# Verdict Execution time Memory Grader output
1 Correct 2 ms 12892 KB Output is correct
# Verdict Execution time Memory Grader output
1 Runtime error 83 ms 5204 KB Execution killed with signal 11
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 1 ms 6492 KB Output is correct
2 Correct 2 ms 12892 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 3 ms 16988 KB Output is correct
6 Correct 5 ms 25436 KB Output is correct
7 Correct 5 ms 23388 KB Output is correct
8 Correct 10 ms 25436 KB Output is correct
9 Correct 9 ms 23388 KB Output is correct
10 Correct 16 ms 25432 KB Output is correct
11 Correct 16 ms 25436 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 6492 KB Output is correct
2 Correct 2 ms 12892 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 3 ms 16988 KB Output is correct
6 Correct 5 ms 25436 KB Output is correct
7 Correct 5 ms 23388 KB Output is correct
8 Correct 10 ms 25436 KB Output is correct
9 Correct 9 ms 23388 KB Output is correct
10 Correct 16 ms 25432 KB Output is correct
11 Correct 16 ms 25436 KB Output is correct
12 Correct 42 ms 44380 KB Output is correct
13 Correct 42 ms 44380 KB Output is correct
14 Correct 58 ms 42368 KB Output is correct
15 Correct 51 ms 42328 KB Output is correct
16 Correct 101 ms 42324 KB Output is correct
17 Correct 101 ms 42488 KB Output is correct
18 Correct 14 ms 16984 KB Output is correct
19 Execution timed out 1101 ms 198968 KB Time limit exceeded
20 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 1 ms 6492 KB Output is correct
2 Correct 2 ms 12892 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 3 ms 16988 KB Output is correct
6 Correct 5 ms 25436 KB Output is correct
7 Correct 5 ms 23388 KB Output is correct
8 Correct 10 ms 25436 KB Output is correct
9 Correct 9 ms 23388 KB Output is correct
10 Correct 16 ms 25432 KB Output is correct
11 Correct 16 ms 25436 KB Output is correct
12 Correct 42 ms 44380 KB Output is correct
13 Correct 42 ms 44380 KB Output is correct
14 Correct 58 ms 42368 KB Output is correct
15 Correct 51 ms 42328 KB Output is correct
16 Correct 101 ms 42324 KB Output is correct
17 Correct 101 ms 42488 KB Output is correct
18 Correct 14 ms 16984 KB Output is correct
19 Execution timed out 1101 ms 198968 KB Time limit exceeded
20 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 2 ms 12892 KB Output is correct
2 Correct 1 ms 6492 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 2 ms 12892 KB Output is correct
6 Correct 3 ms 16988 KB Output is correct
7 Correct 1 ms 6492 KB Output is correct
8 Correct 1 ms 6492 KB Output is correct
9 Correct 1 ms 8796 KB Output is correct
10 Correct 2 ms 14940 KB Output is correct
11 Correct 2 ms 12892 KB Output is correct
12 Correct 2 ms 10844 KB Output is correct
13 Correct 2 ms 12892 KB Output is correct
14 Correct 2 ms 12892 KB Output is correct
15 Correct 2 ms 14936 KB Output is correct
16 Correct 2 ms 12892 KB Output is correct
17 Correct 2 ms 14940 KB Output is correct
18 Correct 2 ms 14940 KB Output is correct
19 Correct 2 ms 14940 KB Output is correct
20 Correct 2 ms 14940 KB Output is correct
21 Correct 2 ms 14940 KB Output is correct
22 Correct 2 ms 12892 KB Output is correct
23 Correct 3 ms 12892 KB Output is correct
24 Correct 2 ms 12892 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 2 ms 12892 KB Output is correct
2 Correct 1 ms 6492 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 2 ms 12892 KB Output is correct
6 Correct 3 ms 16988 KB Output is correct
7 Correct 5 ms 25436 KB Output is correct
8 Correct 5 ms 23388 KB Output is correct
9 Correct 10 ms 25436 KB Output is correct
10 Correct 9 ms 23388 KB Output is correct
11 Correct 16 ms 25432 KB Output is correct
12 Correct 16 ms 25436 KB Output is correct
13 Correct 42 ms 44380 KB Output is correct
14 Correct 42 ms 44380 KB Output is correct
15 Correct 58 ms 42368 KB Output is correct
16 Correct 51 ms 42328 KB Output is correct
17 Correct 101 ms 42324 KB Output is correct
18 Correct 101 ms 42488 KB Output is correct
19 Correct 1 ms 6492 KB Output is correct
20 Correct 1 ms 6492 KB Output is correct
21 Correct 1 ms 8796 KB Output is correct
22 Correct 2 ms 14940 KB Output is correct
23 Correct 2 ms 12892 KB Output is correct
24 Correct 2 ms 10844 KB Output is correct
25 Correct 2 ms 12892 KB Output is correct
26 Correct 2 ms 12892 KB Output is correct
27 Correct 2 ms 14936 KB Output is correct
28 Correct 2 ms 12892 KB Output is correct
29 Correct 2 ms 14940 KB Output is correct
30 Correct 2 ms 14940 KB Output is correct
31 Correct 2 ms 14940 KB Output is correct
32 Correct 2 ms 14940 KB Output is correct
33 Correct 2 ms 14940 KB Output is correct
34 Correct 2 ms 12892 KB Output is correct
35 Correct 3 ms 12892 KB Output is correct
36 Correct 2 ms 12892 KB Output is correct
37 Correct 4 ms 19036 KB Output is correct
38 Correct 8 ms 31836 KB Output is correct
39 Correct 23 ms 44380 KB Output is correct
40 Correct 21 ms 44380 KB Output is correct
41 Correct 15 ms 44464 KB Output is correct
42 Correct 19 ms 44380 KB Output is correct
43 Correct 81 ms 44472 KB Output is correct
44 Correct 24 ms 44380 KB Output is correct
45 Correct 60 ms 52568 KB Output is correct
46 Correct 27 ms 46424 KB Output is correct
47 Correct 17 ms 46428 KB Output is correct
48 Correct 9 ms 37980 KB Output is correct
49 Correct 8 ms 40028 KB Output is correct
50 Correct 4 ms 21084 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 2 ms 12892 KB Output is correct
2 Correct 1 ms 6492 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 2 ms 12892 KB Output is correct
6 Correct 3 ms 16988 KB Output is correct
7 Correct 5 ms 25436 KB Output is correct
8 Correct 5 ms 23388 KB Output is correct
9 Correct 10 ms 25436 KB Output is correct
10 Correct 9 ms 23388 KB Output is correct
11 Correct 16 ms 25432 KB Output is correct
12 Correct 16 ms 25436 KB Output is correct
13 Correct 42 ms 44380 KB Output is correct
14 Correct 42 ms 44380 KB Output is correct
15 Correct 58 ms 42368 KB Output is correct
16 Correct 51 ms 42328 KB Output is correct
17 Correct 101 ms 42324 KB Output is correct
18 Correct 101 ms 42488 KB Output is correct
19 Correct 14 ms 16984 KB Output is correct
20 Execution timed out 1101 ms 198968 KB Time limit exceeded
21 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 2 ms 12892 KB Output is correct
2 Correct 1 ms 6492 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 2 ms 12892 KB Output is correct
6 Correct 3 ms 16988 KB Output is correct
7 Correct 5 ms 25436 KB Output is correct
8 Correct 5 ms 23388 KB Output is correct
9 Correct 10 ms 25436 KB Output is correct
10 Correct 9 ms 23388 KB Output is correct
11 Correct 16 ms 25432 KB Output is correct
12 Correct 16 ms 25436 KB Output is correct
13 Correct 42 ms 44380 KB Output is correct
14 Correct 42 ms 44380 KB Output is correct
15 Correct 58 ms 42368 KB Output is correct
16 Correct 51 ms 42328 KB Output is correct
17 Correct 101 ms 42324 KB Output is correct
18 Correct 101 ms 42488 KB Output is correct
19 Correct 14 ms 16984 KB Output is correct
20 Execution timed out 1101 ms 198968 KB Time limit exceeded
21 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 2 ms 12892 KB Output is correct
2 Correct 1 ms 6492 KB Output is correct
3 Correct 2 ms 12892 KB Output is correct
4 Correct 2 ms 12892 KB Output is correct
5 Correct 2 ms 12892 KB Output is correct
6 Correct 3 ms 16988 KB Output is correct
7 Correct 5 ms 25436 KB Output is correct
8 Correct 5 ms 23388 KB Output is correct
9 Correct 10 ms 25436 KB Output is correct
10 Correct 9 ms 23388 KB Output is correct
11 Correct 16 ms 25432 KB Output is correct
12 Correct 16 ms 25436 KB Output is correct
13 Correct 42 ms 44380 KB Output is correct
14 Correct 42 ms 44380 KB Output is correct
15 Correct 58 ms 42368 KB Output is correct
16 Correct 51 ms 42328 KB Output is correct
17 Correct 101 ms 42324 KB Output is correct
18 Correct 101 ms 42488 KB Output is correct
19 Correct 14 ms 16984 KB Output is correct
20 Execution timed out 1101 ms 198968 KB Time limit exceeded
21 Halted 0 ms 0 KB -