Submission #1019641

# Submission time Handle Problem Language Result Execution time Memory
1019641 2024-07-11T06:26:57 Z bobbilyking Longest Trip (IOI23_longesttrip) C++17
0 / 100
1 ms 600 KB
#include "longesttrip.h"
using namespace std;
#include <bits/stdc++.h>

#define F(i, l, r) for (int i = (l); i < (r); ++i)
#define A(a) (a).begin(), (a).end()

int edge[300][300];
int parent[300];
int find(int i) {
    return i == parent[i] ? i : parent[i] = find(parent[i]);
}

int GN;

bool query(int A, int B) {
    assert(min(A, B) >= 0 and max(A, B) < GN);
    return edge[A][B] | edge[B][A];
}

vector<int> longest_trip(int N, int ______________)
{
    assert(false);
    GN = N;
    // okay we're just going to build the spanning tree straight up, fuck this shit. 
    iota(parent, parent + N, 0ll);
    
    F(i, 0, N) F(j, i + 1, N) {
        if (are_connected({i}, {j})) {
            parent[find(i)] = find(j);
            edge[i][j] = edge[j][i] = 1;
        }
    }

    F(i, 0, N) if (find(i) != find(0)) {
        vector<int> v[2];
        F(j, 0, N) v[find(j) == find(0)].push_back(j);
        if (v[0].size() < v[1].size()) swap(v[0], v[1]);

        auto hamil = v[0];

        F(i, 1, hamil.size()) assert(query(hamil[i-1], hamil[i]));

        return v[0];
    }

    vector<int> hamil;

    auto gen = [&]() {
        set<int> v;
        F(i, 0, N) if (find(A(hamil), i) == hamil.end()) v.insert(i);
        return v;
    };

    if (query({0}, {1})) {
        hamil = {0, 1};
    } else if (query({1}, {2})) {
        hamil = {1, 2};
    } else {
        hamil = {0, 2};
    }

    while (hamil.size() != N) { // this will reach N, with the exception of one case 
        // cout << "HOW " << endl;

        F(i, 1, hamil.size()) assert(query(hamil[i-1], hamil[i]));

        if (query({hamil[0]}, {hamil.back()})) {
            // its true that we have a hamiltonian CYCLE, so any rotation is valid. 
        } else {
            // Pick any node not in hamil, this must be connected to either the front or the back.
            auto i = *gen().begin();
            if (query({hamil[0]}, {i})) hamil.insert(hamil.begin(), i);
            else hamil.push_back(i);
            
            continue;
        }

        // Okay, we want to find *any* connection between hamil and others, if exists already. 
        auto bad = gen();

        bool seen_edge = false;
        F(___, 0, hamil.size()) {
            auto v = hamil.back(); hamil.pop_back(); hamil.insert(hamil.begin(), v);
            for (auto y: bad) if (edge[v][y]) {
                hamil.insert(hamil.begin(), y);
                seen_edge = true; 
                goto end;
            }
        }
        end: 

        assert(seen_edge); // we already handle the CC = 2 case up there in this brute force approach
    }
        F(i, 1, hamil.size()) assert(query(hamil[i-1], hamil[i]));


    return hamil;
}

Compilation message

longesttrip.cpp: In function 'std::vector<int> longest_trip(int, int)':
longesttrip.cpp:5:40: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
    5 | #define F(i, l, r) for (int i = (l); i < (r); ++i)
      |                                        ^
longesttrip.cpp:42:9: note: in expansion of macro 'F'
   42 |         F(i, 1, hamil.size()) assert(query(hamil[i-1], hamil[i]));
      |         ^
longesttrip.cpp:63:25: warning: comparison of integer expressions of different signedness: 'std::vector<int>::size_type' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
   63 |     while (hamil.size() != N) { // this will reach N, with the exception of one case
      |            ~~~~~~~~~~~~~^~~~
longesttrip.cpp:5:40: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
    5 | #define F(i, l, r) for (int i = (l); i < (r); ++i)
      |                                        ^
longesttrip.cpp:66:9: note: in expansion of macro 'F'
   66 |         F(i, 1, hamil.size()) assert(query(hamil[i-1], hamil[i]));
      |         ^
longesttrip.cpp:5:40: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
    5 | #define F(i, l, r) for (int i = (l); i < (r); ++i)
      |                                        ^
longesttrip.cpp:83:9: note: in expansion of macro 'F'
   83 |         F(___, 0, hamil.size()) {
      |         ^
longesttrip.cpp:5:40: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
    5 | #define F(i, l, r) for (int i = (l); i < (r); ++i)
      |                                        ^
longesttrip.cpp:95:9: note: in expansion of macro 'F'
   95 |         F(i, 1, hamil.size()) assert(query(hamil[i-1], hamil[i]));
      |         ^
# Verdict Execution time Memory Grader output
1 Runtime error 0 ms 600 KB Execution killed with signal 6
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Runtime error 1 ms 600 KB Execution killed with signal 6
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Runtime error 1 ms 600 KB Execution killed with signal 6
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Runtime error 0 ms 344 KB Execution killed with signal 6
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Runtime error 1 ms 600 KB Execution killed with signal 6
2 Halted 0 ms 0 KB -