結果

問題 No.916 Encounter On A Tree
ユーザー kcvlexkcvlex
提出日時 2019-10-25 21:59:35
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 8 ms / 2,000 ms
コード長 2,769 bytes
コンパイル時間 1,896 ms
コンパイル使用メモリ 164,788 KB
実行使用メモリ 4,376 KB
最終ジャッジ日時 2023-10-11 04:10:57
合計ジャッジ時間 4,358 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,348 KB
testcase_01 AC 1 ms
4,352 KB
testcase_02 AC 1 ms
4,352 KB
testcase_03 AC 7 ms
4,348 KB
testcase_04 AC 1 ms
4,352 KB
testcase_05 AC 7 ms
4,352 KB
testcase_06 AC 2 ms
4,348 KB
testcase_07 AC 7 ms
4,352 KB
testcase_08 AC 2 ms
4,352 KB
testcase_09 AC 3 ms
4,356 KB
testcase_10 AC 2 ms
4,352 KB
testcase_11 AC 1 ms
4,348 KB
testcase_12 AC 1 ms
4,352 KB
testcase_13 AC 7 ms
4,348 KB
testcase_14 AC 2 ms
4,376 KB
testcase_15 AC 7 ms
4,348 KB
testcase_16 AC 2 ms
4,352 KB
testcase_17 AC 7 ms
4,352 KB
testcase_18 AC 2 ms
4,348 KB
testcase_19 AC 7 ms
4,352 KB
testcase_20 AC 1 ms
4,348 KB
testcase_21 AC 7 ms
4,348 KB
testcase_22 AC 1 ms
4,348 KB
testcase_23 AC 7 ms
4,348 KB
testcase_24 AC 2 ms
4,352 KB
testcase_25 AC 7 ms
4,352 KB
testcase_26 AC 2 ms
4,352 KB
testcase_27 AC 5 ms
4,352 KB
testcase_28 AC 2 ms
4,356 KB
testcase_29 AC 7 ms
4,348 KB
testcase_30 AC 1 ms
4,352 KB
testcase_31 AC 2 ms
4,348 KB
testcase_32 AC 2 ms
4,348 KB
testcase_33 AC 1 ms
4,352 KB
testcase_34 AC 3 ms
4,356 KB
testcase_35 AC 2 ms
4,352 KB
testcase_36 AC 8 ms
4,348 KB
testcase_37 AC 7 ms
4,352 KB
testcase_38 AC 3 ms
4,348 KB
testcase_39 AC 1 ms
4,348 KB
testcase_40 AC 7 ms
4,352 KB
testcase_41 AC 2 ms
4,352 KB
testcase_42 AC 2 ms
4,348 KB
testcase_43 AC 1 ms
4,352 KB
testcase_44 AC 2 ms
4,352 KB
testcase_45 AC 2 ms
4,356 KB
testcase_46 AC 1 ms
4,352 KB
testcase_47 AC 2 ms
4,356 KB
testcase_48 AC 1 ms
4,348 KB
testcase_49 AC 1 ms
4,352 KB
testcase_50 AC 2 ms
4,348 KB
testcase_51 AC 2 ms
4,352 KB
testcase_52 AC 1 ms
4,352 KB
testcase_53 AC 2 ms
4,352 KB
testcase_54 AC 2 ms
4,352 KB
testcase_55 AC 2 ms
4,352 KB
testcase_56 AC 1 ms
4,352 KB
testcase_57 AC 2 ms
4,348 KB
testcase_58 AC 1 ms
4,352 KB
testcase_59 AC 1 ms
4,352 KB
testcase_60 AC 2 ms
4,352 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

// #define DEBUGGING
#include <bits/stdc++.h>
using namespace std;
#define endl '\n'
#define ALL(V) (V).begin(), (V).end()
#define ALLR(V) (V).rbegin(), (V).rend()

template <typename T> using V = vector<T>;
template <typename T> using VV = V<V<T>>;
using ll = int64_t;
using ull = uint64_t;
using PLL = pair<ll, ll>;

template <typename T> const T& var_min(const T &t) { return t; }
template <typename T> const T& var_max(const T &t) { return t; }
template <typename T, typename... Tail> const T& var_min(const T &t, const Tail&... tail) { return min(t, var_min(tail...)); }
template <typename T, typename... Tail> const T& var_max(const T &t, const Tail&... tail) { return max(t, var_max(tail...)); }
template <typename T, typename... Tail> void chmin(T &t, const Tail&... tail) { t = var_min(t, tail...); }
template <typename T, typename... Tail> void chmax(T &t, const Tail&... tail) { t = var_max(t, tail...); }
template <typename T> const T& clamp(const T &t, const T &low, const T &high) { return max(low, min(high, t)); }
template <typename T> void chclamp(T &t, const T &low, const T &high) { t = clamp(t, low, high); }

namespace init__ {

struct InitIO {
    InitIO() {
        cin.tie(nullptr);
        ios_base::sync_with_stdio(false);
        cout << fixed << setprecision(30);
    }
} init_io;

}

#ifdef DEBUGGING
// #include "../debug/debug.cpp"
#include "../../debug/debug.cpp"
#else
#define DEBUG(...) 0
#define DEBUG_SEPARATOR_LINE 0
#endif

template <typename T>
T make_v(T init) { return init; }

template <typename T, typename... Tail>
auto make_v(T init, size_t s, Tail... tail) {
#define rec make_v(init, tail...)
    return V<decltype(rec)>(s, rec);
#undef rec
}

const ll mod = 1e9 + 7;

ll solve() {
    ll d, l, r, k;
    cin >> d >> l >> r >> k;
    d--; l--; r--;

    auto min_n = [&](ll dep) { return (1ll << dep) - 1; };
    auto max_n = [&](ll dep) { return min_n(dep + 1) - 1; };

    ll ld = 0, rd = 0;
    for(; ; ld++) if(min_n(ld) <= l && l <= max_n(ld)) break;
    for(; ; rd++) if(min_n(rd) <= r && r <= max_n(rd)) break;

    ll ans = 1;
    if(ld + k == rd) {
        (ans *= (1ll << ld)) %= mod;
        (ans *= (1ll << (rd - ld))) %= mod;
    } else {
        ll lca = ld - 1;
        for(; 0 <= lca; lca--) if(ld - lca + rd - lca == k) break;
        if(lca == -1) return 0;
        ll sel = 1;
        for(ll i = lca + 1; i < rd; i++) sel *= 2;
        DEBUG(lca, ld, rd, sel);
        (ans *= (1ll << ld)) %= mod;
        (ans *= sel) %= mod;
    }
    for(ll cur_d = 1; cur_d <= d; cur_d++) {
        ll cnt = 1ll << cur_d;
        cnt -= ld == cur_d;
        cnt -= rd == cur_d;
        for(ll i = 2; i <= cnt; i++) (ans *= i) %= mod;
    }
    return ans;
}

int main() {
    cout << solve() << endl;
    return 0;
}
0