結果

問題 No.1222 -101
ユーザー kyoprounokyoprouno
提出日時 2020-09-05 22:40:52
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 218 ms / 2,000 ms
コード長 3,220 bytes
コンパイル時間 2,171 ms
コンパイル使用メモリ 180,248 KB
実行使用メモリ 26,544 KB
最終ジャッジ日時 2023-08-19 13:11:14
合計ジャッジ時間 8,454 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 18 ms
18,604 KB
testcase_01 AC 18 ms
18,712 KB
testcase_02 AC 18 ms
18,300 KB
testcase_03 AC 18 ms
18,632 KB
testcase_04 AC 18 ms
18,300 KB
testcase_05 AC 18 ms
18,348 KB
testcase_06 AC 19 ms
18,336 KB
testcase_07 AC 18 ms
18,708 KB
testcase_08 AC 18 ms
18,596 KB
testcase_09 AC 20 ms
18,324 KB
testcase_10 AC 30 ms
26,480 KB
testcase_11 AC 29 ms
26,388 KB
testcase_12 AC 201 ms
26,544 KB
testcase_13 AC 196 ms
26,376 KB
testcase_14 AC 196 ms
26,448 KB
testcase_15 AC 118 ms
26,316 KB
testcase_16 AC 158 ms
26,376 KB
testcase_17 AC 189 ms
26,392 KB
testcase_18 AC 117 ms
26,324 KB
testcase_19 AC 137 ms
26,380 KB
testcase_20 AC 165 ms
26,376 KB
testcase_21 AC 163 ms
26,424 KB
testcase_22 AC 18 ms
18,344 KB
testcase_23 AC 18 ms
18,688 KB
testcase_24 AC 18 ms
18,296 KB
testcase_25 AC 18 ms
18,396 KB
testcase_26 AC 18 ms
18,488 KB
testcase_27 AC 18 ms
18,776 KB
testcase_28 AC 19 ms
18,472 KB
testcase_29 AC 18 ms
18,668 KB
testcase_30 AC 18 ms
18,808 KB
testcase_31 AC 19 ms
18,580 KB
testcase_32 AC 172 ms
26,440 KB
testcase_33 AC 173 ms
26,320 KB
testcase_34 AC 215 ms
26,392 KB
testcase_35 AC 216 ms
26,512 KB
testcase_36 AC 218 ms
26,368 KB
testcase_37 AC 217 ms
26,524 KB
testcase_38 AC 211 ms
26,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC optimize("O3")
#include <bits/stdc++.h>
#define ll long long
#define rep(i,n) for(ll i=0;i<(n);i++)
#define pll pair<ll,ll>
#define pii pair<int,int>
#define pq priority_queue
#define pb push_back
#define eb emplace_back
#define fi first
#define se second
#define endl '\n'
#define ios ios_base::sync_with_stdio(0),cin.tie(0),cout.tie(0);
#define lb(c,x) distance(c.begin(),lower_bound(all(c),x))
#define ub(c,x) distance(c.begin(),upper_bound(all(c),x))

using namespace std;

const ll mod=1e9+7;

struct mint {
  ll x; // typedef long long ll;
  mint(ll x=0):x((x%mod+mod)%mod){}
  mint operator-() const { return mint(-x);}
  mint& operator+=(const mint a) {
    if ((x += a.x) >= mod) x -= mod;
    return *this;
  }
  mint& operator-=(const mint a) {
    if ((x += mod-a.x) >= mod) x -= mod;
    return *this;
  }
  mint& operator*=(const mint a) { (x *= a.x) %= mod; return *this;}
  mint operator+(const mint a) const { return mint(*this) += a;}
  mint operator-(const mint a) const { return mint(*this) -= a;}
  mint operator*(const mint a) const { return mint(*this) *= a;}
  mint pow(ll t) const {
    if (!t) return 1;
    mint a = pow(t>>1);
    a *= a;
    if (t&1) a *= *this;
    return a;
  }
 
  // for prime mod
  mint inv() const { return pow(mod-2);}
  mint& operator/=(const mint a) { return *this *= a.inv();}
  mint operator/(const mint a) const { return mint(*this) /= a;}
};
istream& operator>>(istream& is, mint& a) { return is >> a.x;}
ostream& operator<<(ostream& os, const mint& a) { return os << a.x;}
// combination mod prime
// https://www.youtube.com/watch?v=8uowVvQ_-Mo&feature=youtu.be&t=1619
struct combination {
  vector<mint> fact, ifact;
  combination(ll n):fact(n+1),ifact(n+1) {
    assert(n < mod);
    fact[0] = 1;
    for (ll i = 1; i <= n; ++i) fact[i] = fact[i-1]*i;
    ifact[n] = fact[n].inv();
    for (ll i = n; i >= 1; --i) ifact[i-1] = ifact[i]*i;
  }
  mint operator()(ll n, ll k) {
    if (k < 0 || k > n) return 0;
    return fact[n]*ifact[k]*ifact[n-k];
  }
  mint p(ll n, ll k) {
    return fact[n]*ifact[n-k];
  }
} c(1000005);

int main(){
    ll n,m;
    cin >> n >> m;
    vector<ll> two_pow(n+2);
    rep(i,n+2){
        if(i==0) two_pow[i]=1;
        else{
            two_pow[i]=(two_pow[i-1]*2)%mod;
        }
    }
    vector<ll> zero_seg(n+1),nonzero_imos(n+2);
    ll nonzero_num=0;
    rep(i,m){
        ll l,r,p;
        cin >> l >> r >> p;
        if(p==0) zero_seg[r]=l;
        else{//Pjがiを含むような区間に1を足す
            nonzero_num+=1;
            nonzero_imos[l]+=1;
            nonzero_imos[r+1]-=1;
        }
    }
    for(ll i=2;i<n+2;i++){
        nonzero_imos[i]+=nonzero_imos[i-1];
    }
    
    vector<ll> dp(n+1),cum(n+2);
    dp[0]=1;
    cum[0]=1;
    ll max_left=0;
    for(ll i=1;i<n+1;i++){
        if(nonzero_imos[i]==0){
            dp[i]=(cum[i-1]-two_pow[i-max_left]*cum[(max_left+n+1)%(n+2)])%mod;
        }
        cum[i]=(2*cum[i-1]+dp[i])%mod;
        max_left=max(max_left,zero_seg[i]);
    }
    mint pre_ans=cum[n]-two_pow[n-max_left+1]*cum[(max_left+n+1)%(n+2)];
    mint val=2;
    mint ans=pre_ans;
    rep(i,nonzero_num){
        ans/=2;
    }
    cout << ans << endl;
    return 0;
}
0