結果

問題 No.916 Encounter On A Tree
ユーザー どららどらら
提出日時 2019-10-26 00:26:42
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 1,797 bytes
コンパイル時間 1,588 ms
コンパイル使用メモリ 168,424 KB
実行使用メモリ 12,156 KB
最終ジャッジ日時 2024-09-13 11:24:07
合計ジャッジ時間 3,754 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 56
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;

static const ll MOD = 1000000007;

ll fact[1100000];

int main(){
  fact[0] = fact[1] = 1;
  for(ll i=2; i<1100000; i++) fact[i] = (fact[i-1] * i) % MOD;
  
  ll d, l, r, k;
  cin >> d >> l >> r >> k;

  ll li = 0, ri = 0;
  ll p = 1;
  REP(i,1,21){
    if(p <= l && l < p*2){ li = i; }
    if(p <= r && r < p*2){ ri = i; }
    p *= 2;
  }
  
  if(k < (ri-li) || (k-(ri-li))%2 != 0){
    cout << 0 << endl;
  }else{
    ll a = (k-(ri-li))/2;
    ll lca = li-a;
    if(lca < 1){
      cout << 0 << endl;
      return 0;
    }

    cerr << li << " " << ri << " " << a << " " << lca << endl;
    
    if(li == ri){
      ll ln = 1LL << (li-1);
      ll rn = (1LL << (a-1));
      
      ll ret = 1;
      REP(i,1,d+1){
        if(i==ri){
          ret *= ((ln%MOD) * (rn%MOD))%MOD;
          ret %= MOD;
          ret *= fact[(1LL << (ll)(i-1)) - 2];
          ret %= MOD;
        }else{
          ret *= fact[(1LL << (ll)(i-1))];
          ret %= MOD;
        }
      }
      cout << ret << endl;
    }else{
      ll ln = 1LL << (li-1);
      ll rn = 1LL << (ri-lca-1);
      if(a==0){
        rn *= 2;
        rn %= MOD;
      }

      cerr << ln << " " << rn << endl;
      
      ll ret = ((ln%MOD) * (rn%MOD))%MOD;;
      REP(i,1,d+1){
        if(i==li || i==ri){
          ret *= fact[(1LL << (ll)(i-1)) - 1];
          ret %= MOD;
        }
        else{
          ret *= fact[(1LL << (ll)(i-1))];
          ret %= MOD;
        }
      }
      cout << ret << endl;
    }
  }
  
  return 0;
}
0