結果

問題 No.1222 -101
ユーザー snow39snow39
提出日時 2020-09-05 00:57:22
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 4,390 bytes
コンパイル時間 1,206 ms
コンパイル使用メモリ 106,988 KB
実行使用メモリ 21,888 KB
最終ジャッジ日時 2024-05-05 03:57:17
合計ジャッジ時間 7,508 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 2 ms
5,376 KB
testcase_07 AC 1 ms
5,376 KB
testcase_08 WA -
testcase_09 AC 2 ms
5,376 KB
testcase_10 WA -
testcase_11 AC 172 ms
19,584 KB
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 AC 2 ms
5,376 KB
testcase_23 AC 2 ms
5,376 KB
testcase_24 AC 1 ms
5,376 KB
testcase_25 AC 2 ms
5,376 KB
testcase_26 AC 2 ms
5,376 KB
testcase_27 AC 2 ms
5,376 KB
testcase_28 AC 1 ms
5,376 KB
testcase_29 WA -
testcase_30 WA -
testcase_31 AC 1 ms
5,376 KB
testcase_32 WA -
testcase_33 WA -
testcase_34 WA -
testcase_35 WA -
testcase_36 AC 190 ms
21,760 KB
testcase_37 AC 184 ms
21,888 KB
testcase_38 AC 187 ms
21,760 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <algorithm>
#include <string>
#include <vector>
#include <cmath>
#include <map>
#include <queue>
#include <iomanip>
#include <set>
#include <tuple>
#define mkp make_pair
#define mkt make_tuple
#define rep(i,n) for(int i = 0; i < (n); ++i)
#define all(v) v.begin(),v.end()
using namespace std;
typedef long long ll;
const ll MOD=1e9+7;
template<class T> void chmin(T &a,const T &b){if(a>b) a=b;}
template<class T> void chmax(T &a,const T &b){if(a<b) a=b;}

ll mod_pow(ll x,ll n){
  x%=MOD;
  ll res=1;
  while(n>0){
    if(n&1) res=res*x%MOD;
    x=x*x%MOD;
    n>>=1;
  }
  return res;
}

ll inv2;

typedef pair<ll,ll> PL;

#include <functional>

template< typename T, typename S >
struct LazySegmentTree{
    int n;
    vector<T> data;
    vector<S> lazy;
    T te;
    S se;

    inline void merge_functions(S& lazy,S& val){
        //lazy+=val;
        //lazy=val;
        //lazy=lazy*val%MOD;
        //ll coef=0;
        //if(val) mod_pow(2,val);
        lazy=(lazy*val)%MOD;
    }
    inline void operate(T& data,S& val,int len){
        //data+=val*len;
        //data=val*len;
        //data=data*val%MOD;
        //data+=val;
        //data=val;

        val%=MOD;
        if(val==0){
            data.first=0;
            data.second=0;
        }
        if(val==1) return;

        ll a=data.first;
        ll b=data.second;
        data.first=(a+b)*(val*inv2)%MOD;
        data.second=(a+b)*(val*inv2)%MOD;
    }
    inline T merge_values(T& x,T& y){
        return mkp((x.first+y.first)%MOD,(x.second+y.second)%MOD);
        //return min(x,y);
        //return max(x,y);
    }

    LazySegmentTree(){}
    LazySegmentTree(int sz,T te,S se):te(te),se(se){
        n=1;
        while(n<sz) n*=2;
        data.resize(2*n-1,te);
        lazy.resize(2*n-1,se);
    }

    void build(vector<T> &A){
        for(int k=0;k<int(A.size());k++) data[k+n-1]=A[k];
        for(int k=n-2;k>=0;k--) data[k]=merge_values(data[2*k+1],data[2*k+2]);
    }

    void eval(int k,int l,int r){
        if(lazy[k]==se) return;
        operate(data[k],lazy[k],r-l);
        if(r-l>1){
            merge_functions(lazy[2*k+1],lazy[k]);
            merge_functions(lazy[2*k+2],lazy[k]);
        }
        lazy[k]=se;
    }

    void update(int a,int b,S val,int k=0,int l=0,int r=-1){
        if(r<0) r=n;
        eval(k,l,r);
        if(b<=l||r<=a) return;
        if(a<=l&&r<=b){
            merge_functions(lazy[k],val);
            eval(k,l,r);
        }else{
            update(a,b,val,2*k+1,l,(l+r)/2);
            update(a,b,val,2*k+2,(l+r)/2,r);
            data[k]=merge_values(data[2*k+1],data[2*k+2]);
        }
    }

    T query(int a,int b,int k=0,int l=0,int r=-1){
        if(r<0) r=n;
        eval(k,l,r);
        if(b<=l||r<=a) return te;
        if(a<=l&&r<=b) return data[k];

        T vl=query(a,b,2*k+1,l,(l+r)/2);
        T vr=query(a,b,2*k+2,(l+r)/2,r);
        return merge_values(vl,vr);
    }
};

/*
  LazySegmentTree<ll,ll> seg(N,te,se);
  vector<ll> init(N,0);
  seg.build(init);
*/

int main(){
  cin.tie(0);
  ios::sync_with_stdio(false);

  inv2=mod_pow(2,MOD-2);

  int N,M;
  cin>>N>>M;
  vector<int> L(M),R(M),P(M);
  rep(i,M) cin>>L[i]>>R[i]>>P[i];

  vector<int> qry(N+1,-1);
  rep(i,M){
      qry[R[i]]=i;
  }

  ll te=0,se=0;
  LazySegmentTree<PL,ll> seg(N+1,mkp(0,0),1);
  vector<PL> init(N+1,mkp(1,0));
  seg.build(init);

  int edge=0;
  for(int i=1;i<=N;i++){
      if(qry[i]==-1){
          auto val=seg.query(edge,i);
          ll nex=(val.first+val.second)%MOD;
          seg.update(i,i+1,nex);// 0
          seg.update(edge,i,2);// 1 or -1

          continue;
      }

      int now=qry[i];
      int lef=L[now];
      if(P[now]==0){
          auto val=seg.query(edge,i);
          ll nex=(val.first+val.second)%MOD;
          seg.update(i,i+1,nex);// 0
          seg.update(lef,i,2);// 1 or -1

          chmax(edge,lef);
      }else if(P[now]==1){
          if(lef<=edge){
              cout<<0<<endl;
              return 0;
          }
          seg.update(lef,i+1,0);// 0
          //seg.update(edge,lef,2);// 1 or -1
      }else{
          if(lef<=edge){
              cout<<0<<endl;
              return 0;
          }
          seg.update(lef,i+1,0);// 0
          //seg.update(edge,lef,2);// 1 or -1
      }
  }

  auto val=seg.query(edge,N+1);
  ll ans=(val.first+val.second)%MOD;
  cout<<ans<<endl;

  return 0;
}
0