結果

問題 No.2230 Good Omen of White Lotus
ユーザー otoshigootoshigo
提出日時 2023-02-24 23:10:04
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 306 ms / 2,000 ms
コード長 2,201 bytes
コンパイル時間 1,330 ms
コンパイル使用メモリ 105,808 KB
実行使用メモリ 16,964 KB
最終ジャッジ日時 2024-09-13 06:03:09
合計ジャッジ時間 7,503 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 2 ms
6,944 KB
testcase_02 AC 2 ms
6,940 KB
testcase_03 AC 2 ms
6,940 KB
testcase_04 AC 2 ms
6,944 KB
testcase_05 AC 2 ms
6,940 KB
testcase_06 AC 2 ms
6,940 KB
testcase_07 AC 2 ms
6,944 KB
testcase_08 AC 2 ms
6,940 KB
testcase_09 AC 2 ms
6,940 KB
testcase_10 AC 2 ms
6,940 KB
testcase_11 AC 2 ms
6,940 KB
testcase_12 AC 2 ms
6,944 KB
testcase_13 AC 2 ms
6,940 KB
testcase_14 AC 46 ms
6,944 KB
testcase_15 AC 2 ms
6,944 KB
testcase_16 AC 69 ms
6,944 KB
testcase_17 AC 69 ms
6,940 KB
testcase_18 AC 69 ms
6,940 KB
testcase_19 AC 70 ms
6,944 KB
testcase_20 AC 6 ms
6,944 KB
testcase_21 AC 3 ms
6,940 KB
testcase_22 AC 8 ms
6,944 KB
testcase_23 AC 9 ms
6,940 KB
testcase_24 AC 56 ms
6,944 KB
testcase_25 AC 56 ms
6,944 KB
testcase_26 AC 57 ms
6,940 KB
testcase_27 AC 97 ms
6,940 KB
testcase_28 AC 105 ms
6,940 KB
testcase_29 AC 212 ms
16,964 KB
testcase_30 AC 220 ms
16,836 KB
testcase_31 AC 216 ms
16,964 KB
testcase_32 AC 216 ms
16,960 KB
testcase_33 AC 305 ms
12,484 KB
testcase_34 AC 306 ms
12,484 KB
testcase_35 AC 302 ms
12,488 KB
testcase_36 AC 295 ms
12,484 KB
testcase_37 AC 306 ms
12,600 KB
testcase_38 AC 295 ms
12,484 KB
testcase_39 AC 296 ms
12,480 KB
testcase_40 AC 109 ms
6,940 KB
testcase_41 AC 74 ms
6,944 KB
testcase_42 AC 148 ms
7,236 KB
testcase_43 AC 39 ms
6,944 KB
testcase_44 AC 221 ms
10,312 KB
testcase_45 AC 85 ms
6,944 KB
testcase_46 AC 157 ms
9,156 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<vector>
#include<algorithm>
#include<map>
#include<atcoder/modint>
using namespace std;
using ll=long long;
using mint=atcoder::modint998244353;
#define rep(i,n) for(int i=0;i<n;i++)
#define rrep(i,n) for(int i=(n)-1;i>=0;i--)
#define all(v) v.begin(),v.end()
#define rall(v) v.rbegin(),v.rend()
template<class T> bool chmax(T &a, T b){if (a < b){a = b;return true;} else return false;}
template<class T> bool chmin(T &a, T b){if (a > b){a = b;return true;} else return false;}

template <class S, S (*op)(S, S), S (*e)()>
struct segtree{
    int n;
    vector<S> dat;
    segtree(int N){
        int x = 1;
        while (x < N) x *= 2;
        n = x;
        dat.resize(2 * n - 1, e());
    }
    void set(int i, S x){
        assert(i >= 0 && i < n);
        i += n - 1;
        dat[i] = x;
        while (i > 0){
            i = (i - 1) / 2;
            dat[i] = op(dat[2 * i + 1], dat[2 * i + 2]);
        }
    }
    S get(int i){
        assert(i >= 0 && i < n);
        i += n - 1;
        return dat[i];
    }
    S prod(int a, int b, int k = 0, int l = 0, int r = -1){
        if (r < 0) r = n;
        if (r <= a || l >= b) return e();
        if (l >= a && r <= b) return dat[k];
        else{
            S vl = prod(a, b, 2 * k + 1, l, (l + r) / 2);
            S vr = prod(a, b, 2 * k + 2, (l + r) / 2, r);
            return op(vl, vr);
        }
    }
};

int op(int l,int r){
    return max(l,r);
}

int e(){
    return 0;
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    int H,W,N;
    ll P;
    cin>>H>>W>>N>>P;
    vector<pair<int,int>>vp;
    vector<int>Y;
    rep(i,N){
        int x,y;
        cin>>x>>y;
        Y.push_back(y);
        vp.push_back(make_pair(x,y));
    }
    sort(all(vp));
    sort(all(Y));
    Y.erase(unique(all(Y)),Y.end());
    int l=Y.size();
    map<int,int>mp;
    rep(i,l)mp[Y[i]]=i;
    segtree<int,op,e>seg(l);
    int M=0;
    for(auto[x,y]:vp){
        int i=mp[y],m=seg.prod(0,i+1);
        seg.set(i,max(seg.get(i),m+1));
        chmax(M,max(seg.get(i),m+1));
    }
    mint ans=1;
    rep(i,M)ans*=1-2/(mint)P;
    rep(i,H+W-3-M)ans*=1-1/(mint)P;
    ans=1-ans;
    cout<<ans.val()<<"\n";
}
0