結果

問題 No.1035 Color Box
ユーザー micheeeeell1001
提出日時 2020-04-24 23:34:46
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 58 ms / 2,000 ms
コード長 4,569 bytes
コンパイル時間 3,390 ms
コンパイル使用メモリ 220,240 KB
最終ジャッジ日時 2025-01-10 00:39:27
ジャッジサーバーID
(参考情報)
judge2 / judge5
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 36
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#define _GLIBCXX_DEBUG
#include<bits/stdc++.h>
using namespace std;
#define rep(i,x) for(ll i = 0; i < (ll)(x); i++)
#define rrep(i,x) for(ll i = (ll)(x)-1;0 <= i; i--)
#define reps(i,x) for(ll i = 1; i < (ll)(x)+1; i++)
#define rreps(i,x) for(ll i = (ll)(x); 1 <= i; i--)
#define debug(x) cerr << #x << ": " << (x) << "\n";
#define all(x) (x).begin(), (x).end()
typedef long long ll;
typedef long double ld;
typedef pair<int,int> P;
typedef pair<ll,ll> Pll;
typedef vector<ll> vl;
typedef vector<vector<ll>> vvl;
typedef vector<vector<vector<ll>>> vvvl;
const ll INF = numeric_limits<ll>::max()/4;
const int n_max = 1e5+10;
#define int ll
template<std::int_fast64_t Modulus>
class modint {
using i64 = int_fast64_t;
public:
i64 a;
constexpr modint(const i64 x = 0) noexcept {
this -> a = x % Modulus;
if(a < 0){
a += Modulus;
}
}
// constexpr i64 &value() const noexcept {return a;}
constexpr const i64 &value() const noexcept {return a;}
constexpr modint operator+(const modint rhs) const noexcept {
return modint(*this) += rhs;
}
constexpr modint operator-(const modint rhs) const noexcept {
return modint(*this) -= rhs;
}
constexpr modint operator*(const modint rhs) const noexcept {
return modint(*this) *= rhs;
}
constexpr modint operator/(const modint rhs) const noexcept {
return modint(*this) /= rhs;
}
constexpr modint &operator+=(const modint rhs) noexcept {
a += rhs.a;
if(a >= Modulus) {
a -= Modulus;
}
return *this;
}
constexpr modint &operator-=(const modint rhs) noexcept {
if(a < rhs.a) {
a += Modulus;
}
a -= rhs.a;
return *this;
}
constexpr modint &operator*=(const modint rhs) noexcept {
a = a * rhs.a % Modulus;
return *this;
}
constexpr modint &operator/=(modint rhs) noexcept {
i64 a_ = rhs.a, b = Modulus, u = 1, v = 0;
while(b){
i64 t = a_/b;
a_ -= t * b; swap(a_,b);
u -= t * v; swap(u,v);
}
a = a * u % Modulus;
if(a < 0) a += Modulus;
return *this;
}
//
constexpr bool operator==(const modint rhs) noexcept {
return a == rhs.a;
}
constexpr bool operator!=(const modint rhs) noexcept {
return a != rhs.a;
}
constexpr bool operator>(const modint rhs) noexcept {
return a > rhs.a;
}
constexpr bool operator>=(const modint rhs) noexcept {
return a >= rhs.a;
}
constexpr bool operator<(const modint rhs) noexcept {
return a < rhs.a;
}
constexpr bool operator<=(const modint rhs) noexcept {
return a <= rhs.a;
}
// constexpr modint& operator++() noexcept {
// return (*this) += modint(1);
// }
// constexpr modint operator++(int) {
// modint tmp(*this);
// operator++();
// return tmp;
// }
// constexpr modint& operator--() noexcept {
// return (*this) -= modint(1);
// }
// constexpr modint operator--(int) {
// modint tmp(*this);
// operator--();
// return tmp;
// }
template<typename T>
friend constexpr modint modpow(const modint &mt, T n) noexcept {
if(n < 0){
modint t = (modint(1) / mt);
return modpow(t, -n);
}
modint res = 1, tmp = mt;
while(n){
if(n & 1)res *= tmp;
tmp *= tmp;
n /= 2;
}
return res;
}
};
const ll MOD = 1e9+7;
using mint = modint<MOD>;
//
std::ostream &operator<<(std::ostream &out, const modint<MOD> &m) {
out << m.a;
return out;
}
std::istream &operator>>(std::istream &in, modint<MOD> &m) {
ll a;
in >> a;
m = mint(a);
return in;
}
const int MAX = 1e6;
vector<mint> fac(MAX);
void COMinit(){
fac[0] = 1;
reps(i,n_max-1){
fac[i] = fac[i-1] * mint(i);
}
}
mint COM(ll n, ll k){
if (n < k) return (mint)0;
if (n < 0 || k < 0) return (mint)0;
return fac[n] / (fac[k] * fac[n-k]);
}
signed main(){
cin.tie(nullptr);
ios::sync_with_stdio(false);
ll n,m; cin >> n >> m;
COMinit();
mint ans = 0;
rreps(i,m){
if((m-i) % 2 == 0){
ans += COM(m, i) * modpow(mint(i), n);
}
else{
ans -= COM(m, i) * modpow(mint(i), n);
}
// debug(ans);
}
cout << ans << endl;
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0