結果

問題 No.916 Encounter On A Tree
コンテスト
ユーザー renjyaku_int
提出日時 2020-03-17 19:56:35
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 2,882 bytes
コンパイル時間 1,572 ms
コンパイル使用メモリ 169,412 KB
実行使用メモリ 11,768 KB
最終ジャッジ日時 2024-11-30 22:51:33
合計ジャッジ時間 3,611 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 56
権限があれば一括ダウンロードができます

ソースコード

diff # 

//#include <tourist>
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<ll, ll> p;
const int INF = 1e9;
const ll LINF = ll(1e18) + 1;
const int MOD = 1000000007;
const int dx[4] = {0, 1, 0, -1}, dy[4] = {-1, 0, 1, 0};
const int Dx[8] = {0, 1, 1, 1, 0, -1, -1, -1}, Dy[8] = {-1, -1, 0, 1, 1, 1, 0, -1};
#define yes cout << "Yes" << endl
#define YES cout << "YES" << endl
#define no cout << "No" << endl
#define NO cout << "NO" << endl
#define rep(i, n) for (int i = 0; i < n; i++)
#define ALL(v) v.begin(), v.end()
#define debug(v)          \
    cout << #v << ":";    \
    for (auto x : v)      \
    {                     \
        cout << x << ' '; \
    }                     \
    cout << endl;
template <class T>
bool chmax(T &a, const T &b)
{
    if (a < b)
    {
        a = b;
        return 1;
    }
    return 0;
}
template <class T>
bool chmin(T &a, const T &b)
{
    if (b < a)
    {
        a = b;
        return 1;
    }
    return 0;
}
//cout<<fixed<<setprecision(15);有効数字15桁
//-std=c++14
ll gcd(ll a, ll b) { return b ? gcd(b, a % b) : a; }
ll lcm(ll a, ll b) { return a / gcd(a, b) * b; }
ll d, l, r, k;
int main()
{
    cin.tie(0);
    ios::sync_with_stdio(false);
    cin >> d >> l >> r >> k;
    ll base = 1;
    ll lrank, rrank;
    ll count = 0;
    while (true)
    {
        base *= 2;
        if (l < base)
        {
            lrank = count;
            break;
        }
        count++;
    }
    base = 1;
    count = 0;
    while (true)
    {
        base *= 2;
        if (r < base)
        {
            rrank = count;
            break;
        }
        count++;
    }
    //cout << lrank << " " << rrank << "\n";
    ll lcarank=0;
    while(lrank+rrank-2*lcarank>k&&lcarank<=min(lrank,rrank)){
        lcarank++;
    }
    ll ans = 1;
    if(rrank+lrank==k+2*lcarank){
        if(lrank==lcarank){
            ans=(1<<lrank);
            ans*=(1<<(rrank-lrank));//lcaから到達する頂点数
            ans%=MOD;
        }
        else{
            ans=(1<<(lrank-lcarank-1));
            ans *= (1 << (rrank - lcarank - 1));
            ans%=MOD;
            ans *= (1 << lcarank);
            ans%=MOD;
            ans*=2;
            ans%=MOD;
        }
    }
    else{
        return cout<<0<<"\n",0;
    }
    vector<ll> factm((1 << 20), 1);
    ll fact = 1;
    for (int i = 1; i < (1 << 20); i++)
    {
        fact *= i;
        fact %= MOD;
        factm[i] = fact;
    }
    for (int i = 1; i < d; i++)
    {
        ll now = pow(2, i);
        if (i == lrank && i == rrank)
        {
            ans *= factm[now-2];
            ans %= MOD;
        }
        else if (i == lrank || i == rrank)
        {
            ans *= factm[now-1];
            ans %= MOD;
        }
        else
        {
            ans *= factm[now];
            ans %= MOD;
        }
    }
    cout << ans << "\n";
}
0