結果
問題 | No.916 Encounter On A Tree |
ユーザー | uchiiii |
提出日時 | 2020-07-23 16:34:38 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
AC
|
実行時間 | 9 ms / 2,000 ms |
コード長 | 3,272 bytes |
コンパイル時間 | 3,102 ms |
コンパイル使用メモリ | 219,112 KB |
実行使用メモリ | 7,640 KB |
最終ジャッジ日時 | 2024-06-23 17:47:22 |
合計ジャッジ時間 | 4,998 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 7 ms
7,640 KB |
testcase_01 | AC | 7 ms
7,432 KB |
testcase_02 | AC | 7 ms
7,592 KB |
testcase_03 | AC | 7 ms
7,520 KB |
testcase_04 | AC | 7 ms
7,500 KB |
testcase_05 | AC | 7 ms
7,400 KB |
testcase_06 | AC | 6 ms
7,540 KB |
testcase_07 | AC | 7 ms
7,532 KB |
testcase_08 | AC | 8 ms
7,428 KB |
testcase_09 | AC | 8 ms
7,400 KB |
testcase_10 | AC | 8 ms
7,524 KB |
testcase_11 | AC | 7 ms
7,564 KB |
testcase_12 | AC | 8 ms
7,416 KB |
testcase_13 | AC | 7 ms
7,524 KB |
testcase_14 | AC | 8 ms
7,556 KB |
testcase_15 | AC | 7 ms
7,476 KB |
testcase_16 | AC | 7 ms
7,568 KB |
testcase_17 | AC | 7 ms
7,396 KB |
testcase_18 | AC | 7 ms
7,516 KB |
testcase_19 | AC | 7 ms
7,504 KB |
testcase_20 | AC | 8 ms
7,456 KB |
testcase_21 | AC | 7 ms
7,540 KB |
testcase_22 | AC | 9 ms
7,448 KB |
testcase_23 | AC | 8 ms
7,460 KB |
testcase_24 | AC | 8 ms
7,516 KB |
testcase_25 | AC | 8 ms
7,584 KB |
testcase_26 | AC | 7 ms
7,568 KB |
testcase_27 | AC | 8 ms
7,532 KB |
testcase_28 | AC | 8 ms
7,508 KB |
testcase_29 | AC | 7 ms
7,500 KB |
testcase_30 | AC | 7 ms
7,588 KB |
testcase_31 | AC | 8 ms
7,488 KB |
testcase_32 | AC | 7 ms
7,524 KB |
testcase_33 | AC | 7 ms
7,556 KB |
testcase_34 | AC | 8 ms
7,412 KB |
testcase_35 | AC | 8 ms
7,556 KB |
testcase_36 | AC | 7 ms
7,428 KB |
testcase_37 | AC | 7 ms
7,520 KB |
testcase_38 | AC | 7 ms
7,468 KB |
testcase_39 | AC | 7 ms
7,556 KB |
testcase_40 | AC | 8 ms
7,524 KB |
testcase_41 | AC | 9 ms
7,528 KB |
testcase_42 | AC | 8 ms
7,520 KB |
testcase_43 | AC | 7 ms
7,408 KB |
testcase_44 | AC | 7 ms
7,432 KB |
testcase_45 | AC | 7 ms
7,480 KB |
testcase_46 | AC | 8 ms
7,428 KB |
testcase_47 | AC | 7 ms
7,496 KB |
testcase_48 | AC | 7 ms
7,516 KB |
testcase_49 | AC | 7 ms
7,428 KB |
testcase_50 | AC | 7 ms
7,516 KB |
testcase_51 | AC | 7 ms
7,516 KB |
testcase_52 | AC | 8 ms
7,412 KB |
testcase_53 | AC | 8 ms
7,396 KB |
testcase_54 | AC | 8 ms
7,500 KB |
testcase_55 | AC | 7 ms
7,504 KB |
testcase_56 | AC | 7 ms
7,584 KB |
testcase_57 | AC | 7 ms
7,588 KB |
testcase_58 | AC | 7 ms
7,544 KB |
testcase_59 | AC | 8 ms
7,600 KB |
testcase_60 | AC | 7 ms
7,428 KB |
コンパイルメッセージ
main.cpp: In function 'mint solve()': main.cpp:89:55: warning: iteration 524287 invokes undefined behavior [-Waggressive-loop-optimizations] 89 | for(ll i=1; i<=MX; i++) fact[i] = fact[i-1]*mint(i); | ^ main.cpp:89:18: note: within this loop 89 | for(ll i=1; i<=MX; i++) fact[i] = fact[i-1]*mint(i); | ~^~~~
ソースコード
#pragma region #pragma GCC target("avx2") #pragma GCC optimize("03") #pragma GCC optimize("unroll-loops") #include <bits/stdc++.h> using namespace std; typedef long double ld; typedef long long ll; typedef unsigned long long ull; #define endl "\n" #define FOR(i,a,b) for(int i=(a);i<=(b);i++) #define PII pair<int, int> #define PLL pair<ll, ll> #define ALL(x) (x).begin(), (x).end() constexpr int INF=1<<30; constexpr ll LINF=1LL<<60; constexpr ll mod=1e9+7; constexpr int NIL = -1; template<class T>inline bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; } template<class T>inline bool chmin(T &a, const T &b) { if (b<a) { a = b; return 1; } return 0; } #pragma endregion //------------------- struct mint { ll x; mint(ll x=0):x(x%mod){} bool operator==(const mint a)const{return x==a.x;} bool operator!=(const mint a)const{return x!=a.x;} bool operator>=(const mint a){return (x >= a.x)? 1: 0;} bool operator<(const mint a){return !(*this>=a);} bool operator>(const mint a){return (x > a.x)? 1:0;} bool operator<=(const mint a){return !(*this>a);} mint& operator+=(const mint a) { if ((x += a.x) >= mod) x -= mod; return *this; } mint& operator-=(const mint a) { if ((x += mod-a.x) >= mod) x -= mod; return *this; } mint& operator*=(const mint a) { (x *= a.x) %= mod; return *this; } mint& operator/=(const mint a) { return (*this) *= a.inv(); } mint operator+(const mint a) const { mint res(*this); return res+=a; } mint operator-(const mint a) const { mint res(*this); return res-=a; } mint operator*(const mint a) const { mint res(*this); return res*=a; } mint operator/(const mint a) const { mint res(*this); return res/=a; } mint pow(ll t) const { if (!t) return 1; mint a = pow(t>>1); a *= a; //2 square if (t&1) a *= *this; return a; } // for prime mod mint inv() const { return pow(mod-2); } }; int depth(int a) { int i = 1; int cur = 2; while(cur-1 < a) { i++; cur *= 2; } return i; } constexpr ll MX = 1<<19; mint fact[MX]; mint solve() { int d,l,r,k; cin >> d >> l >> r >> k; fact[0] = mint(1); for(ll i=1; i<=MX; i++) fact[i] = fact[i-1]*mint(i); int dep_l = depth(l); int dep_r = depth(r); // cout << dep_l << dep_r << endl; int dep_diff = dep_r - dep_l; if(k < dep_diff) return mint(0); int cnt = 0; while(k > dep_diff and cnt < dep_l - 1) {dep_diff += 2; cnt++;} if(k != dep_diff) return mint(0); // cout << cnt << endl; mint ans; int par = dep_l - cnt; if(cnt != 0) { ans = mint(1LL<<(dep_l-par-1)) * mint(1LL<<(dep_r-par-1)) * 2; ans *= mint(1LL<<(par-1)); for(int i=2; i<=d; i++) { ll num = (1<<(i-1)) - (i==dep_l? 1:0) - (i==dep_r? 1:0); ans *= fact[num]; } } else { ans = mint(1LL<<(dep_r - par)); ans *= mint(1LL<<(par-1)); for(int i=2; i<=d; i++) { ll num = (1<<(i-1)) - (i==dep_l? 1:0) - (i==dep_r? 1:0); ans *= fact[num]; } } return ans; } int main(){ cin.tie(0); ios::sync_with_stdio(false); //cout << fixed << setprecision(15); auto res = solve(); cout << res.x << endl; return 0; }