제출 #896813

#	제출 시각	아이디	문제	언어	결과	실행 시간	메모리
896813		Nelt	늑대인간 (IOI18_werewolf)	C++17	0 / 100	330 ms	196040 KiB

werewolf

#include "werewolf.h"
#pragma GCC optimize("O3,unroll-loops")
#pragma GCC target("avx,avx2,fma,popcnt")

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>

/* DEFINES */
#define S second
#define F first
#define ll long long
#define ull unsigned long long
#define ld long double
#define npos ULLONG_MAX
#define INF LLONG_MAX
#define vv(a) vector<a>
#define pp(a, b) pair<a, b>
#define pq(a) priority_queue<a>
#define qq(a) queue<a>
#define ss(a) set<a>
#define mm(a, b) map<a, b>
#define ump(a, b) unordered_map<a, b>
#define ANDROID                   \
    ios_base::sync_with_stdio(0); \
    cin.tie(0);                   \
    cout.tie(0);
#define elif else if
#define endl "\n"
#define allc(a) begin(a), end(a)
#define all(a) a, a + sizeof(a) / sizeof(a[0])
#define pb push_back
#define logi(a) __lg(a)
#define sqrt(a) sqrtl(a)
#define mpr make_pair
#define ins insert
using namespace std;
using namespace __gnu_pbds;
using namespace __cxx11;
typedef char chr;
typedef basic_string<chr> str;
template <typename T, typename key = less<T>>
using ordered_set = tree<T, null_type, key, rb_tree_tag, tree_order_statistics_node_update>;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
const ll N = 2e5 + 5;
vv(ll) sufg[N], prefg[N], adj[N], adj1[N];
ll d[N], d1[N], f[N], f1[N];
struct Dsu
{
    ll n, ans;
    vv(ll) dsu;
    Dsu(ll sz = 1)
    {
        n = sz;
        ans = n;
        dsu.resize(n + 1, 0);
        init();
    }
    void init()
    {
        for (ll i = 1; i <= n; i++)
            dsu[i] = -1;
    }
    bool Union(ll x, ll y, bool flg)
    {
        x = repr(x), y = repr(y);
        if (x == y)
            return false;
        if (flg and (x > y))
            swap(x, y);
        if (!flg and (x < y))
            swap(x, y);
        ans--;
        dsu[y] += dsu[x];
        dsu[x] = y;
        return true;
    }
    ll repr(ll x)
    {
        if (dsu[x] < 0)
            return x;
        return dsu[x] = repr(dsu[x]);
    }
    ll query()
    {
        return ans;
    }
    ll size(ll x)
    {
        return -dsu[repr(x)];
    }
};
vv(pp(ll, ll)) st[N << 1];
vv(ll) pref[N << 1];
ll sz;
void build()
{
    for (ll i = sz - 1; i >= 1; i--)
    {
        merge(allc(st[i << 1]), allc(st[i << 1 | 1]), back_inserter(st[i]));
        pref[i].resize(st[i].size());
        pref[i][0] = st[i][0].S;
        for (ll j = 1; j < st[i].size(); j++)
            pref[i][j] = max(pref[i][j - 1], st[i][j].S);
    }
}
bool query(ll l, ll r, ll l1, ll r1)
{
    ll pos;
    for (l += sz - 1, r += sz; l < r; l >>= 1, r >>= 1)
    {
        if (l & 1)
        {
            pos = upper_bound(allc(st[l]), mpr(r1, INF)) - st[l].begin() - 1;
            if (pos >= 0 and pos < st[l].size() and pref[l][pos] >= l1)
                return true;
            l++;
        }
        if (r & 1)
        {
            r--;
            pos = upper_bound(allc(st[r]), mpr(r1, INF)) - st[r].begin() - 1;
            if (pos >= 0 and pos < st[r].size() and pref[r][pos] >= l1)
                return true;
        }
    }
    return false;
}
ll timer = 1;
void prefdfs(ll v)
{
    d[v] = timer++;
    for (ll to : prefg[v])
        prefdfs(to);
    f[v] = timer++;
}
void sufdfs(ll v)
{
    d1[v] = timer++;
    for (ll to : sufg[v])
        sufdfs(to);
    f1[v] = timer++;
}
std::vector<int> check_validity(int n, std::vector<int> X, std::vector<int> Y, std::vector<int> St, std::vector<int> E, std::vector<int> L, std::vector<int> R)
{
    sz = (n << 1);
    ll q = St.size();
    for (ll i = 0; i < X.size(); i++)
        X[i]++, Y[i]++, adj[min(X[i], Y[i])].pb(max(X[i], Y[i])), adj1[max(X[i], Y[i])].pb(min(X[i], Y[i]));
    vv(pp(ll, ll)) sufproc[n + 1], prefproc[n + 1];
    ll sufrep[q], prefrep[q];
    for (ll i = 0; i < q; i++)
        St[i]++, E[i]++, L[i]++, R[i]++, sufproc[L[i]].pb(mpr(St[i], i)), prefproc[R[i]].pb(mpr(E[i], i));
    Dsu dsu(n);
    for (ll i = 1; i <= n; i++)
    {
        for (ll j : adj1[i])
            if (i != dsu.repr(j))
            {
                prefg[i].pb(dsu.repr(j));
                dsu.Union(i, j, true);
            }
        for (auto [j, ind] : prefproc[i])
            prefrep[ind] = dsu.repr(j);
    }
    dsu = Dsu(n);
    for (ll i = n; i >= 1; i--)
    {
        for (ll j : adj[i])
            if (i != dsu.repr(j))
            {
                sufg[i].pb(dsu.repr(j));
                dsu.Union(i, j, false);
            }
        for (auto [j, ind] : sufproc[i])
            sufrep[ind] = dsu.repr(j);
    }
    timer = 1;
    prefdfs(n);
    timer = 1;
    sufdfs(1);
    for (ll i = sz; i < (sz << 1); i++)
        st[i] = {mpr(-INF, INF)};
    for (ll i = 1; i <= n; i++)
        st[d[i] + sz - 1] = {mpr(f1[i], d1[i])};
    build();
    // cout << "OK\n";
    vv(int) ans;
    // for (ll i = 0; i < q; i++)
    //     cout << d1[sufrep[i]] << " " << f1[sufrep[i]] << endl;
    for (ll i = 0; i < q; i++)
        ans.pb(query(d[prefrep[i]], f[prefrep[i]], d1[sufrep[i]], f1[sufrep[i]]));
    return ans;
}

컴파일 시 표준 에러 (stderr) 메시지

werewolf.cpp: In function 'void build()':
werewolf.cpp:103:26: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::pair<long long int, long long int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  103 |         for (ll j = 1; j < st[i].size(); j++)
      |                        ~~^~~~~~~~~~~~~~
werewolf.cpp: In function 'bool query(long long int, long long int, long long int, long long int)':
werewolf.cpp:115:34: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::pair<long long int, long long int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  115 |             if (pos >= 0 and pos < st[l].size() and pref[l][pos] >= l1)
      |                              ~~~~^~~~~~~~~~~~~~
werewolf.cpp:123:34: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<std::pair<long long int, long long int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  123 |             if (pos >= 0 and pos < st[r].size() and pref[r][pos] >= l1)
      |                              ~~~~^~~~~~~~~~~~~~
werewolf.cpp: In function 'std::vector<int> check_validity(int, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>, std::vector<int>)':
werewolf.cpp:148:22: warning: comparison of integer expressions of different signedness: 'long long int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
  148 |     for (ll i = 0; i < X.size(); i++)
      |                    ~~^~~~~~~~~~

• Subtask 1: 0 / 7
• Subtask 2: 0 / 8
• Subtask 3: 0 / 34
• Subtask 4: 0 / 51