結果

問題 No.1222 -101
ユーザー sugarrrsugarrr
提出日時 2020-09-05 00:19:02
言語 C++17(clang)
(17.0.6 + boost 1.83.0)
結果
AC  
実行時間 68 ms / 2,000 ms
コード長 3,386 bytes
コンパイル時間 2,522 ms
コンパイル使用メモリ 163,864 KB
実行使用メモリ 14,512 KB
最終ジャッジ日時 2024-05-05 03:50:44
合計ジャッジ時間 4,574 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 1 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 1 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 1 ms
5,376 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 1 ms
5,376 KB
testcase_10 AC 34 ms
9,600 KB
testcase_11 AC 7 ms
9,600 KB
testcase_12 AC 61 ms
14,512 KB
testcase_13 AC 63 ms
14,188 KB
testcase_14 AC 64 ms
14,172 KB
testcase_15 AC 37 ms
11,956 KB
testcase_16 AC 50 ms
13,032 KB
testcase_17 AC 59 ms
14,144 KB
testcase_18 AC 39 ms
11,936 KB
testcase_19 AC 50 ms
12,568 KB
testcase_20 AC 52 ms
13,672 KB
testcase_21 AC 51 ms
13,412 KB
testcase_22 AC 2 ms
5,376 KB
testcase_23 AC 1 ms
5,376 KB
testcase_24 AC 2 ms
5,376 KB
testcase_25 AC 1 ms
5,376 KB
testcase_26 AC 1 ms
5,376 KB
testcase_27 AC 1 ms
5,376 KB
testcase_28 AC 1 ms
5,376 KB
testcase_29 AC 2 ms
5,376 KB
testcase_30 AC 1 ms
5,376 KB
testcase_31 AC 1 ms
5,376 KB
testcase_32 AC 68 ms
14,308 KB
testcase_33 AC 68 ms
14,312 KB
testcase_34 AC 55 ms
14,172 KB
testcase_35 AC 56 ms
14,108 KB
testcase_36 AC 56 ms
14,312 KB
testcase_37 AC 56 ms
14,316 KB
testcase_38 AC 57 ms
14,312 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

//#include <bits/stdc++.h>
#include "bits/stdc++.h"
using namespace std;
typedef long long ll;

/*
#include "boost/multiprecision/cpp_int.hpp"
#include "boost/multiprecision/cpp_dec_float.hpp"
namespace mp = boost::multiprecision;
typedef mp::cpp_int LL;
typedef mp::number<mp::cpp_dec_float<1024>> DD;// 仮数部が1024ビットの浮動小数点数型(TLEしたら小さくする)
*/
 
typedef long double dd;
#define i_7 (ll)(1E9+7)
//#define i_7 998244353
#define i_5 i_7-2
ll mod(ll a){
    ll c=a%i_7;
    if(c>=0)return c;
    return c+i_7;
}
typedef pair<ll,ll> l_l;
typedef pair<dd,dd> d_d;
ll inf=(ll)1E16;
#define rep(i,l,r) for(ll i=l;i<=r;i++)
#define rrep(i,r,l) for(ll i=r;i>=l;i--)
#define pb push_back
ll max(ll a,ll b){if(a<b)return b;else return a;}
ll min(ll a,ll b){if(a>b)return b;else return a;}
void Max(ll &pos,ll val){pos=max(pos,val);}//Max(dp[n],dp[n-1]);
void Min(ll &pos,ll val){pos=min(pos,val);}
void Add(ll &pos,ll val){pos=mod(pos+val);}
dd EPS=1E-12;
#define fastio ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
#define fi first
#define se second
#define endl "\n"  //インタラクティブで消す！！！！！！！！！！！！！！！！！！！！！
#define SORT(v) sort(v.begin(),v.end())
#define ERASE(v) v.erase(unique(v.begin(),v.end()),v.end())
#define POSL(v,x) (lower_bound(v.begin(),v.end(),x)-v.begin())
#define POSU(v,x) (upper_bound(v.begin(),v.end(),x)-v.begin())
template<class T,class S>
inline bool chmax(T &a, S b) {
    if(a < b) {
        a = b;
        return true;
    }
    return false;
}
template<class T,class S>
inline bool chmin(T &a, S b) {
    if(a > b) {
        a = b;
        return true;
    }
    return false;
}

void mod_print(ll k){
    ll P=50000;
    rep(y,1,P){
        ll x=mod(y*k);
        
        if(abs(x)<=P||x+P>=i_7){
            if(x+P>=i_7){
                x-=i_7;
            }
            cout<<x<<"/"<<y<<endl;
            //cout<<setprecision(5)<<(dd)x/(dd)y;
            return;
        }
    }
    cout<<"nun"<<endl;
}
#define all(c) c.begin(),c.end()
typedef vector<ll> vl;
//////////////////////////


struct task{
    ll l,r,p;
};
ll po(ll i,ll p){
    if(p==0)return 1;
    else{
        i=mod(i);
        if(p==1)return i;
        if(p%2==0)return po(mod(i*i),p/2);
        return mod(i*po(i,p-1));
    }
}
ll bunbo(ll n){
    return po(n,i_5);
}

int main(){fastio
    ll n,m;cin>>n>>m;
    vector<task>va,vb;
    rep(zz,1,m){
        task t;cin>>t.l>>t.r>>t.p;
        if(t.p==0)va.pb(t);
        else vb.pb(t);
    }
    ll im[n+5];memset(im,0,sizeof(im));
    for(auto t:vb){
        im[t.l]++;
        im[t.r+1]--;
    }
    rep(i,1,n+4)im[i]+=im[i-1];
    
    ll rm[n+2];memset(rm,0,sizeof(rm));
    for(auto x:va){
        chmax(rm[x.r],x.l);
    }
    rep(i,1,n+1)chmax(rm[i],rm[i-1]);
    ll b[n+2];memset(b,0,sizeof(b));
    ll c[n+2];memset(c,0,sizeof(c));
    b[0]=1;
    c[0]=1;
    rep(i,1,n+1){
        if(im[i]>0){
            b[i]=0;
            c[i]=mod(2*c[i-1]);
            continue;
        }
        /*rep(j,rm[i-1],i-1){
            Add(b[i],b[j]*po(2,i-j-1));
        }*/
        b[i]=c[i-1];
        if(rm[i-1]>=1){
            Add(b[i],-c[rm[i-1]-1]*po(2,i-rm[i-1]));
        }
        c[i]=mod(c[i-1]*2+b[i]);
    }
//    rep(i,0,n+1)cout<<b[i]<<" ";cout<<endl;
    cout<<mod(b[n+1]*bunbo(po(2,vb.size())))<<endl;
    
    return 0;
}
0