이 제출은 이전 버전의 oj.uz에서 채점하였습니다. 현재는 제출 당시와는 다른 서버에서 채점을 하기 때문에, 다시 제출하면 결과가 달라질 수도 있습니다.
#include <bits/stdc++.h>
#define all(v) v.begin(), v.end()
using namespace std;
using ll = long long;
using P = pair<ll, ll>;
using PP = pair<ll, P>;
const ll n_ = 1e6 + 100, inf = (ll)2e9 * (ll)1e9 + 7, mod = 998244353;
ll n, m, tc = 1, a, b, c, d, sum, x, y, z, base, ans, k;
ll mod1;
class seg {
   public:
    vector<ll> tree;
    ll base;
    seg(int n) {
        n += 10;
        for (base = 1; base <= n; base *= 2);
        tree.resize(n * 4);
        for (int i = 0; i < tree.size(); i++) tree[i] = 1;
    }
    ll f(ll l, ll r) {
        ll ret = 1;
        l += base, r += base;
        while (l <= r) {
            if (l % 2) ret = (ret * tree[l++]) % mod1;
            if (!(r % 2)) ret = (ret * tree[r--]) % mod1;
            l /= 2, r /= 2;
        }
        return ret;
    }
    void update(ll i, ll v) {
        i += base;
        tree[i] += v;
        tree[i] %= mod1;
        i /= 2;
        while (i) {
            tree[i] = (tree[i * 2] * tree[i * 2 + 1]) % mod1;
            i /= 2;
        }
    }
};
vector<ll> color[n_];
void solve() {
    cin >> n >> k >> mod1;
    vector<P> v(n), I;
    vector<ll> cnt(n + 1), checked(n + 1), F(n + 1), A;
    seg ST(n + 1), ST2(n + 1);
    for (int i = 0; i < n; i++) cin >> v[i].first >> v[i].second;
    sort(all(v), greater<>());
    for (auto [a, b] : v) {
        if (checked[b]) {
            color[F[b]].push_back(a);
            continue;
        }
        checked[b] = true;
        F[b] = k - 1 - I.size();
        color[F[b]].push_back(a);
        I.push_back({a, F[b]});
    }
    for (int i = 0; i < n_; i++) sort(all(color[i]));
    sort(all(I));
    reverse(all(v));
    ll idx = 0;
    for (auto [a, b] : I) {
        A.push_back(a);
        while (idx < n && v[idx].first * 2 <= a) {
            ST.update(F[v[idx].second], 1);
            idx++;
        }
        ans = (ans + ST.f(0, b)) % mod1;
        // cout<<a<<' '<<b<<' '<<ans<<endl;
    }
    // cout<<"HELLO"<<' '<<ans<<endl;
    idx = 0;
    ll idx2 = 0;
    for (auto [a, b] : I) {
        while (idx < n && v[idx].first * 2 <= a) {
            ST2.update(F[v[idx].second], 1);
            idx++;
        }
        x = *upper_bound(all(color[b]), a / 2);
        auto it = lower_bound(all(A), x * 2);
        idx2 = it - A.begin();
        ll temp = ST2.f(0, b - 1);
        temp = (temp * (ST2.f(b + 1, idx2 - 1) + mod1 - 1)) % mod1;
        // cout<<a<<' '<<x<<' '<<b<<' '<<idx<<' '<<idx2<<' '<<temp<<endl;
        ans += temp;
        ans %= mod1;
    }
    cout << ans << endl;
}
int main() {
    ios_base::sync_with_stdio(0);
    cin.tie(0), cout.tie(0);
    // cin >> tc;
    while (tc--) solve();
};
컴파일 시 표준 에러 (stderr) 메시지
fish.cpp: In constructor 'seg::seg(int)':
fish.cpp:18:27: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<long long int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
   18 |         for (int i = 0; i < tree.size(); i++) tree[i] = 1;
      |                         ~~^~~~~~~~~~~~~| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... | 
| # | Verdict  | Execution time | Memory | Grader output | 
|---|
| Fetching results... |