Submission #6999292
Source Code Expand
#include <bits/stdc++.h>
using namespace std;
// template {{{
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define mt make_tuple
#define lb lower_bound
#define ub upper_bound
#define f first
#define s second
#define resz resize
#define sz(x) int((x).size())
#define all(x) (x).begin(), (x).end()
#define FOR(i, a, b) for (int i = (a); i < (b); i++)
#define F0R(i, a) for (int i = 0; i < (a); i++)
#define FORd(i, a, b) for (int i = (b)-1; i >= (a); i--)
#define F0Rd(i, a) for (int i = (a)-1; i >= 0; i--)
#define trav(a, x) for (auto& a : x)
#define sort_by(x, y) sort(all(x), [&](const auto& a, const auto& b) { return y; })
using ll = long long;
using vi = vector<int>;
using vvi = vector<vi>;
using vll = vector<ll>;
using vvll = vector<vll>;
using vb = vector<bool>;
using vd = vector<double>;
using vs = vector<string>;
using pii = pair<int, int>;
using pll = pair<ll, ll>;
using pdd = pair<double, double>;
using vpii = vector<pii>;
using vvpii = vector<vpii>;
using vpll = vector<pll>;
using vvpll = vector<vpll>;
using vpdd = vector<pdd>;
using vvpdd = vector<vpdd>;
template<typename T> void ckmin(T& a, const T& b) { a = min(a, b); }
template<typename T> void ckmax(T& a, const T& b) { a = max(a, b); }
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
namespace __input {
template<class T1, class T2> void re(pair<T1,T2>& p);
template<class T> void re(vector<T>& a);
template<class T, size_t SZ> void re(array<T,SZ>& a);
template<class T> void re(T& x) { cin >> x; }
void re(double& x) { string t; re(t); x = stod(t); }
template<class Arg, class... Args> void re(Arg& first, Args&... rest) {
re(first); re(rest...);
}
template<class T1, class T2> void re(pair<T1,T2>& p) { re(p.f,p.s); }
template<class T> void re(vector<T>& a) { F0R(i,sz(a)) re(a[i]); }
template<class T, size_t SZ> void re(array<T,SZ>& a) { F0R(i,SZ) re(a[i]); }
}
using namespace __input;
namespace __output {
template<class T1, class T2> void pr(const pair<T1,T2>& x);
template<class T, size_t SZ> void pr(const array<T,SZ>& x);
template<class T> void pr(const vector<T>& x);
template<class T> void pr(const set<T>& x);
template<class T1, class T2> void pr(const map<T1,T2>& x);
template<class T> void pr(const T& x) { cout << x; }
template<class Arg, class... Args> void pr(const Arg& first, const Args&... rest) {
pr(first); pr(rest...);
}
template<class T1, class T2> void pr(const pair<T1,T2>& x) {
pr("{",x.f,", ",x.s,"}");
}
template<class T, bool pretty = true> void prContain(const T& x) {
if (pretty) pr("{");
bool fst = 1; for (const auto& a: x) pr(!fst?pretty?", ":" ":"",a), fst = 0;
if (pretty) pr("}");
}
template<class T> void pc(const T& x) { prContain<T, false>(x); pr("\n"); }
template<class T, size_t SZ> void pr(const array<T,SZ>& x) { prContain(x); }
template<class T> void pr(const vector<T>& x) { prContain(x); }
template<class T> void pr(const set<T>& x) { prContain(x); }
template<class T1, class T2> void pr(const map<T1,T2>& x) { prContain(x); }
void ps() { pr("\n"); }
template<class Arg> void ps(const Arg& first) {
pr(first); ps();
}
template<class Arg, class... Args> void ps(const Arg& first, const Args&... rest) {
pr(first," "); ps(rest...);
}
}
using namespace __output;
#define TRACE(x) x
#define __pn(x) pr(#x, " = ")
#define pd(...) __pn((__VA_ARGS__)), ps(__VA_ARGS__), cout << flush
namespace __algorithm {
template<typename T> void dedup(vector<T>& v) {
sort(all(v)); v.erase(unique(all(v)), v.end());
}
template<typename T> typename vector<T>::iterator find(vector<T>& v, const T& x) {
auto it = lower_bound(all(v), x); return it != v.end() && *it == x ? it : v.end();
}
template<typename T> size_t index(vector<T>& v, const T& x) {
auto it = find(v, x); assert(it != v.end() && *it == x); return it - v.begin();
}
template<typename C, typename T> vector<T> prefixes(const C& v, T zero) {
vector<T> res(sz(v) + 1, zero); F0R (i, sz(v)) res[i+1] = res[i] + v[i]; return res;
}
template<typename C, typename T> vector<T> suffixes(const C& v, T zero) {
vector<T> res(sz(v) + 1, zero); F0Rd (i, sz(v)) res[i] = v[i] + res[i+1]; return res;
}
}
using namespace __algorithm;
struct monostate {
friend istream& operator>>(istream& is, const __attribute__((unused))monostate& ms) { return is; }
friend ostream& operator<<(ostream& os, const __attribute__((unused))monostate& ms) { return os; }
} ms;
template<typename W=monostate> struct wedge {
int u, v, i; W w;
wedge<W>(int _u=-1, int _v=-1, int _i=-1) : u(_u), v(_v), i(_i) {}
int operator[](int loc) const { return u ^ v ^ loc; }
friend void re(wedge& e) { re(e.u, e.v, e.w); --e.u, --e.v; }
friend void pr(const wedge& e) { pr(e.u, "<-", e.w, "->", e.v); }
};
namespace __io {
void setIn(string s) { freopen(s.c_str(),"r",stdin); }
void setOut(string s) { freopen(s.c_str(),"w",stdout); }
void setIO(string s = "") {
ios_base::sync_with_stdio(0); cin.tie(0); cout.precision(15);
if (sz(s)) { setIn(s+".in"), setOut(s+".out"); }
}
}
using namespace __io;
// }}}
// modnum {{{
template<int MOD> struct modnum {
int v;
modnum() : v(0) {}
modnum(ll _v) : v(_v % MOD) { if (v < 0) v += MOD; }
explicit operator int() const { return v; }
friend istream& operator >> (istream& i, modnum& n) { ll w; i >> w; n = modnum(w); return i; }
friend ostream& operator << (ostream& o, const modnum& n) { return o << n.v; }
friend bool operator == (const modnum& a, const modnum& b) { return a.v == b.v; }
friend bool operator != (const modnum& a, const modnum& b) { return a.v != b.v; }
modnum& operator += (const modnum& o) { v += o.v; if (v >= MOD) v -= MOD; return *this; }
modnum& operator -= (const modnum& o) { v -= o.v; if (v < 0) v += MOD; return *this; }
modnum& operator *= (const modnum& o) { v = int(ll(v) * ll(o.v) % MOD); return *this; }
modnum operator - () { modnum res; if (v) res.v = MOD - v; return res; }
friend modnum operator + (const modnum& a, const modnum& b) { return modnum(a) += b; }
friend modnum operator - (const modnum& a, const modnum& b) { return modnum(a) -= b; }
friend modnum operator * (const modnum& a, const modnum& b) { return modnum(a) *= b; }
modnum pow(ll e) const {
if (e < 0) return 1 / this->pow(-e);
if (e == 0) return 1;
if (e & 1) return *this * this->pow(e-1);
return (*this * *this).pow(e/2);
}
modnum inv() const {
int g = MOD, x = 0, y = 1;
for (int r = v; r != 0; ) {
int q = g / r;
g %= r; swap(g, r);
x -= q * y; swap(x, y);
}
assert(g == 1);
assert(y == MOD || y == -MOD);
return x < 0 ? x + MOD : x;
}
modnum& operator /= (const modnum& o) { return (*this) *= o.inv(); }
friend modnum operator / (const modnum& a, const modnum& b) { return modnum(a) /= modnum(b); }
static int totient() {
int tot = MOD, tmp = MOD;
for (int p = 2; p * p <= tmp; p++) if (tmp % p == 0) {
tot = tot / p * (p - 1);
while (tmp % p == 0) tmp /= p;
}
if (tmp > 1) tot = tot / tmp * (tmp - 1);
return tot;
}
static int primitive_root() {
if (MOD == 1) return 0;
if (MOD == 2) return 1;
int tot = totient(), tmp = tot;
vi tot_pr;
for (int p = 2; p * p <= tmp; p++) if (tot % p == 0) {
tot_pr.push_back(p);
while (tmp % p == 0) tmp /= p;
}
if (tmp > 1) tot_pr.push_back(tmp);
for (int r = 2; r < MOD; r++) if (__gcd(r, MOD) == 1) {
bool root = true;
for (int p : tot_pr) root &= modnum(r).pow(tot / p) != 1;
if (root) return r;
}
assert(false);
}
static modnum generator() { static modnum g = primitive_root(); return g; }
static int discrete_log(modnum v) {
static const int M = ceil(sqrt(MOD));
static unordered_map<int, int> table;
if (table.empty()) {
modnum e = 1;
for (int i = 0; i < M; i++) { table[e.v] = i; e *= generator(); }
}
static modnum f = generator().pow(totient() - M);
for (int i = 0; i < M; i++) {
if (table.count(v.v)) return table[v.v] + i * M;
v *= f;
}
assert(false);
}
static modnum unity_root(int deg) {
assert(totient() % deg == 0);
return generator().pow(totient() / deg);
}
static modnum fact(int n) {
static vector<modnum> fact = { 1 };
for (assert(n >= 0); fact.size() <= n; )
fact.push_back(fact.back() * fact.size());
return fact[n];
}
static modnum finv(int n) {
static vector<modnum> finv = { 1 };
for (assert(n >= 0); finv.size() <= n; )
finv.push_back(finv.back() / finv.size());
return finv[n];
}
static modnum ncr(int n, int r) {
assert(n >= 0);
if (r < 0 || n < r) return 0;
return fact(n) * finv(r) * finv(n - r);
}
};
// }}}
using mn = modnum<int(1e9 + 7)>;
using vmn = vector<mn>;
using vvmn = vector<vmn>;
bool cache[64][2][2][2];
mn res[64][2][2][2];
mn go(ll L, ll R, int d, bool bot, bool top, bool lead) {
if (d < 0) return 1;
mn& ans = res[d][bot][top][lead];
bool& fl = cache[d][bot][top][lead];
if (fl) return ans; else fl = true;
F0R (tv, 2) F0R (bv, 2) {
if (bv > tv) continue;
if (!lead && (bv != tv)) continue;
int th = !!(R & (1ll << d));
int bh = !!(L & (1ll << d));
if (top && tv > th) continue;
if (bot && bv < bh) continue;
ans += go(L, R, d - 1, bot && (bv == bh), top && (tv == th), lead || (tv > 0));
}
return ans;
}
int main() {
setIO();
ll L, R; re(L, R);
ps(go(L, R, 62, true, true, false));
return 0;
}
Submission Info
| Submission Time |
|
| Task |
F - Coincidence |
| User |
socketnaut |
| Language |
C++14 (GCC 5.4.1) |
| Score |
600 |
| Code Size |
10471 Byte |
| Status |
AC |
| Exec Time |
1 ms |
| Memory |
256 KiB |
Compile Error
./Main.cpp: In function ‘void __io::setIn(std::string)’:
./Main.cpp:142:56: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result [-Wunused-result]
void setIn(string s) { freopen(s.c_str(),"r",stdin); }
^
./Main.cpp: In function ‘void __io::setOut(std::string)’:
./Main.cpp:143:58: warning: ignoring return value of ‘FILE* freopen(const char*, const char*, FILE*)’, declared with attribute warn_unused_result [-Wunused-result]
void setOut(string s) { freopen(s.c_str(),"w",stdout); }
^
Judge Result
| Set Name |
Sample |
All |
| Score / Max Score |
0 / 0 |
600 / 600 |
| Status |
|
|
| Set Name |
Test Cases |
| Sample |
a01, a02, a03 |
| All |
a01, a02, a03, b04, b05, b06, b07, b08, b09, b10, b11, b12, b13, b14, b15, b16, b17, b18, b19, b20, b21, b22, b23 |
| Case Name |
Status |
Exec Time |
Memory |
| a01 |
AC |
1 ms |
256 KiB |
| a02 |
AC |
1 ms |
256 KiB |
| a03 |
AC |
1 ms |
256 KiB |
| b04 |
AC |
1 ms |
256 KiB |
| b05 |
AC |
1 ms |
256 KiB |
| b06 |
AC |
1 ms |
256 KiB |
| b07 |
AC |
1 ms |
256 KiB |
| b08 |
AC |
1 ms |
256 KiB |
| b09 |
AC |
1 ms |
256 KiB |
| b10 |
AC |
1 ms |
256 KiB |
| b11 |
AC |
1 ms |
256 KiB |
| b12 |
AC |
1 ms |
256 KiB |
| b13 |
AC |
1 ms |
256 KiB |
| b14 |
AC |
1 ms |
256 KiB |
| b15 |
AC |
1 ms |
256 KiB |
| b16 |
AC |
1 ms |
256 KiB |
| b17 |
AC |
1 ms |
256 KiB |
| b18 |
AC |
1 ms |
256 KiB |
| b19 |
AC |
1 ms |
256 KiB |
| b20 |
AC |
1 ms |
256 KiB |
| b21 |
AC |
1 ms |
256 KiB |
| b22 |
AC |
1 ms |
256 KiB |
| b23 |
AC |
1 ms |
256 KiB |