結果
問題 | No.1222 -101 |
ユーザー |
![]() |
提出日時 | 2020-09-05 22:40:52 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 206 ms / 2,000 ms |
コード長 | 3,220 bytes |
コンパイル時間 | 1,972 ms |
コンパイル使用メモリ | 180,800 KB |
実行使用メモリ | 26,752 KB |
最終ジャッジ日時 | 2024-11-29 06:15:37 |
合計ジャッジ時間 | 7,019 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 35 |
ソースコード
#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 modmint 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=1619struct 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;}