結果

問題 No.2230 Good Omen of White Lotus
コンテスト
ユーザー pointN
提出日時 2023-03-01 19:23:06
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 205 ms / 2,000 ms
コード長 2,330 bytes
コンパイル時間 1,505 ms
コンパイル使用メモリ 134,404 KB
最終ジャッジ日時 2025-02-11 00:33:59
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 44
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <functional>
#include <cmath>
#include <iomanip>
#include <stack>
#include <queue>
#include <numeric>
#include <map>
#include <unordered_map>
#include <set>
#include <fstream>
#include <chrono>
#include <random>
#include <bitset>
//#include <atcoder/all>
#define rep(i,n) for(int i=0;i<(n);i++)
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
#define sz(x) ((int)(x).size())
#define pb push_back
using ll = long long;
using namespace std;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
ll gcd(ll a, ll b) {return b?gcd(b,a%b):a;}
ll lcm(ll a, ll b) {return a/gcd(a,b)*b;}

const ll mod = 998244353;

template<class T>
struct segtree{
  int n,N;
  vector<T> tr;
  T op(T a, T b){
    return max(a,b);
  }
  T e() {
    return 0;
  }
  segtree(int N_):n(N_){ calcN(); tr.assign(N*2,e()); }
  segtree(vector<T> A){
    n=sz(A); calcN(); tr.assign(N*2,e());
    rep(i,n) tr[i+N]=A[i];
    for(int i=N-1;i;i--) tr[i]=op(tr[i<<1|0],tr[i<<1|1]);
  }
  void calcN(){ N=1; while(N<n) N*=2; }
  void set(int idx, T val){
    idx+=N; tr[idx]=val; while(idx>1){ idx>>=1; tr[idx]=op(tr[idx<<1|0],tr[idx<<1|1]); }
  }
  T get(int idx){ return tr[idx+N]; }
  T prod(int l, int r){
    T res=e(); l+=N; r+=N;
    while(l<r){
      if(l&1) res = op(res,tr[l++]);
      if(r&1) res = op(res,tr[--r]);
      l>>=1; r>>=1;
    }
    return res;
  }
  T all_prod(){ return tr[1]; }
};

ll inv(ll x){
  ll res = 1, k = mod - 2;
  while(k){
    if(k&1) res = (res * x) % mod;
    x = (x * x) % mod;
    k >>= 1;
  }
  return res;
}

ll mpow(ll a, ll x){
  ll res = 1;
  while(x > 0){
    if(x & 1) res = (res * a) % mod;
    a = (a * a) % mod;
    x >>= 1;
  }
  return res;
}

int main(){
  ll H,W,N,P; cin >> H >> W >> N >> P;
  ll pinv = inv(P);
  vector<pair<ll,ll>> A(N);
  rep(i,N){
    ll y,x; cin >> y >> x; y--; x--;
    A[i] = {y,x};
  }
  sort(all(A));
  segtree<ll> seg(W);
  rep(i,N){
    ll x = A[i].second;
    seg.set(x,seg.prod(0,x+1)+1);
  }
  ll m = seg.all_prod();
  ll n = H+W-1-2-m;
  ll ans = 1-mpow((P-1)*pinv%mod,n)*mpow((P-2)*pinv%mod,m)%mod+mod;
  cout << ans%mod << endl;
  return 0;
}
0