CSES - Aalto Competitive Programming 2024 - wk7 - Wed - Results
Submission details
Task:Longest route
Sender:aalto2024h_006
Submission time:2024-10-23 17:45:51 +0300
Language:C++ (C++20)
Status:READY
Result:ACCEPTED
Test results
testverdicttime
#1ACCEPTED0.00 sdetails
#2ACCEPTED0.00 sdetails
#3ACCEPTED0.00 sdetails
#4ACCEPTED0.00 sdetails
#5ACCEPTED0.00 sdetails
#6ACCEPTED0.17 sdetails
#7ACCEPTED0.17 sdetails
#8ACCEPTED0.17 sdetails
#9ACCEPTED0.17 sdetails
#10ACCEPTED0.17 sdetails
#11ACCEPTED0.16 sdetails
#12ACCEPTED0.16 sdetails
#13ACCEPTED0.00 sdetails
#14ACCEPTED0.00 sdetails
#15ACCEPTED0.13 sdetails
#16ACCEPTED0.00 sdetails
#17ACCEPTED0.13 sdetails
#18ACCEPTED0.10 sdetails
#19ACCEPTED0.01 sdetails
#20ACCEPTED0.09 sdetails
#21ACCEPTED0.00 sdetails

Code

#include<bits/stdc++.h>
using namespace std;
 
using Edges = vector<vector<int>>; 
 
int INF = 0x3f3f3f3f;

struct TopoSort {
    enum class Status : uint8_t { to_visit, visiting, visited };
 
    const Edges& graph;
    const int n;
    vector<Status> status;
    vector<int> order;
    vector<int>::reverse_iterator it;
 
    TopoSort(const Edges& graph) :
        graph(graph),
        n(graph.size()),
        status(n, Status::to_visit),
        order(n),
        it(order.rbegin()) {}
 
    bool Sort() 
    {
        for (int i = 0; i < n; ++i) 
            if (status[i] == Status::to_visit && !Dfs(i)) 
                return false;
        return true;
    }
 
    bool Dfs(const int u) 
    {
        status[u] = Status::visiting;
        for (const int v : graph[u]) 
        {
            if (status[v] == Status::visiting) 
                return false;
            if (status[v] == Status::to_visit && !Dfs(v)) 
                return false;
        }
        status[u] = Status::visited;
        *it++ = u;
        return true;
    }
};
 
int main()
{
    int n, m;
    cin >> n >> m;
    Edges edge(n+1);
    for(int i=1; i<=m; i++)
    {
        int x, y;
        cin >> x >> y;
        edge[x].push_back(y);
    }
    TopoSort T(edge);
    T.Sort();

    // Calc the f
    vector<int> dis(n+1), father(n+1);
    for(int i=1; i<=n; i++)
        dis[i] = -INF;
    dis[1] = 1;
    
    for(int i=1; i<=n; i++)
    {
        int x = T.order[i-1];
// cout << x << " ";
        if(dis[x] == -INF)
            continue;
        for(auto y: edge[x])
        {
            if(dis[y] < dis[x] + 1)
            {
                father[y] = x;
                dis[y] = dis[x] + 1;
            }
        }
    }

    if(dis[n] <= 0)
    {
        cout << "IMPOSSIBLE";
        return 0;
    }
    int max_dis = dis[n], now_city = n;

    vector<int> list;
    while (father[now_city])
    {
        list.push_back(now_city);
        now_city = father[now_city];
    }
    list.push_back(now_city);
    
    reverse(list.begin(), list.end());

    cout << max_dis << endl;
    for(auto x: list)
        cout << x << " ";
    
    return 0;
}

Test details

Test 1

Verdict: ACCEPTED

input
10 10
2 6
1 2
4 6
5 6
...

correct output
5
1 2 5 6 10 

user output
5
1 2 5 6 10 

Test 2

Verdict: ACCEPTED

input
10 10
3 9
6 5
6 9
2 8
...

correct output
4
1 2 8 10 

user output
4
1 2 8 10 

Test 3

Verdict: ACCEPTED

input
10 10
5 10
4 10
8 7
7 10
...

correct output
3
1 4 10 

user output
3
1 4 10 

Test 4

Verdict: ACCEPTED

input
10 10
8 10
2 6
2 10
7 10
...

correct output
IMPOSSIBLE

user output
IMPOSSIBLE

Test 5

Verdict: ACCEPTED

input
10 10
8 4
2 10
1 3
4 9
...

correct output
5
1 8 7 2 10 

user output
5
1 8 7 2 10 

Test 6

Verdict: ACCEPTED

input
100000 200000
86085 57043
45527 29537
41919 84699
95993 82082
...

correct output
IMPOSSIBLE

user output
IMPOSSIBLE

Test 7

Verdict: ACCEPTED

input
100000 200000
10961 53490
59843 36636
40674 66772
32618 41570
...

correct output
31
1 37239 44082 21537 90572 7332...

user output
31
1 37239 44082 21537 90572 7332...

Test 8

Verdict: ACCEPTED

input
100000 200000
87375 76468
38855 27547
49415 83191
38572 1524
...

correct output
35
1 91343 59014 56722 34054 3875...

user output
35
1 91343 59014 56722 34054 3875...

Test 9

Verdict: ACCEPTED

input
100000 200000
17973 70097
19982 80323
96486 2404
75650 63274
...

correct output
36
1 25685 90292 59380 91058 2663...

user output
36
1 25685 90292 59380 91058 2663...

Test 10

Verdict: ACCEPTED

input
100000 200000
74343 53088
97443 7885
64807 58252
9374 33312
...

correct output
28
1 26390 15278 11333 48479 6881...

user output
28
1 26390 15278 11333 48479 6881...

Test 11

Verdict: ACCEPTED

input
100000 199998
1 100000
1 100000
2 100000
2 100000
...

correct output
2
1 100000 

user output
2
1 100000 

Test 12

Verdict: ACCEPTED

input
100000 199998
1 2
1 2
2 3
2 3
...

correct output
100000
1 2 3 4 5 6 7 8 9 10 11 12 13 ...

user output
100000
1 2 3 4 5 6 7 8 9 10 11 12 13 ...

Test 13

Verdict: ACCEPTED

input
2 1
1 2

correct output
2
1 2 

user output
2
1 2 

Test 14

Verdict: ACCEPTED

input
5 4
1 2
2 3
3 4
1 5

correct output
2
1 5 

user output
2
1 5 

Test 15

Verdict: ACCEPTED

input
99999 149997
1 3
3 5
5 7
7 9
...

correct output
99999
1 2 3 4 5 6 7 8 9 10 11 12 13 ...

user output
99999
1 2 3 4 5 6 7 8 9 10 11 12 13 ...

Test 16

Verdict: ACCEPTED

input
3 2
1 3
3 2

correct output
2
1 3 

user output
2
1 3 

Test 17

Verdict: ACCEPTED

input
99999 149997
1 2
2 4
4 6
6 8
...

correct output
99999
1 3 2 5 4 7 6 9 8 11 10 13 12 ...

user output
99999
1 3 2 5 4 7 6 9 8 11 10 13 12 ...

Test 18

Verdict: ACCEPTED

input
100000 200000
1 2
1 3
1 4
1 5
...

correct output
IMPOSSIBLE

user output
IMPOSSIBLE

Test 19

Verdict: ACCEPTED

input
5 4
2 1
3 1
1 4
1 5

correct output
2
1 5 

user output
2
1 5 

Test 20

Verdict: ACCEPTED

input
100000 99999
99999 100000
99998 99999
99997 99998
99996 99997
...

correct output
100000
1 2 3 4 5 6 7 8 9 10 11 12 13 ...

user output
100000
1 2 3 4 5 6 7 8 9 10 11 12 13 ...

Test 21

Verdict: ACCEPTED

input
4 4
3 1
3 4
1 2
2 4

correct output
3
1 2 4 

user output
3
1 2 4