結果

問題 No.1222 -101
ユーザー kyoprouno
提出日時 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
権限があれば一括ダウンロードができます

ソースコード

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{//Pji1
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;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0