結果
| 問題 |
No.1035 Color Box
|
| コンテスト | |
| ユーザー |
carrot46
|
| 提出日時 | 2020-04-24 22:23:43 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 3,271 bytes |
| コンパイル時間 | 1,533 ms |
| コンパイル使用メモリ | 176,888 KB |
| 実行使用メモリ | 13,636 KB |
| 最終ジャッジ日時 | 2024-10-15 03:06:45 |
| 合計ジャッジ時間 | 4,932 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | -- * 2 |
| other | AC * 1 TLE * 1 -- * 34 |
ソースコード
#include <bits/stdc++.h>
#include <iomanip>
using namespace std;
#define reps(i,s,n) for(int i = s; i < n; i++)
#define rep(i,n) reps(i,0,n)
#define Rreps(i,n,e) for(int i = n - 1; i >= e; --i)
#define Rrep(i,n) Rreps(i,n,0)
#define ALL(a) a.begin(), a.end()
#define fi first
#define se second
typedef long long ll;
typedef vector<ll> vec;
typedef vector<vec> mat;
ll N,M,H,W,Q,K,A,B;
string S;
const ll MOD = 998244353;
//const ll MOD = (1e+9) + 7;
const ll INF = 1LL<<60;
typedef pair<ll, ll> P;
class mint{
public:
ll x;
static unsigned long long mod;
static unsigned long long mod_plus;
mint(){x = 0;}
mint(ll _x) : x((_x < 0 ? ((_x += mod_plus) < 0 ? _x + mod_plus : _x) : _x)%mod){}
/*mint& operator=(const ll &a){
x = a;
return *this;
}*/
mint operator-(){
return x == 0 ? 0 : mod - x;
}
mint& operator+=(const mint& a){
if((x += a.x) >= mod) x -= mod;
return *this;
}
mint operator+(const mint& a) const{
mint res(*this);
return res += a;
}
mint& operator-=(const mint& a){
if((x -= a.x) < 0) x += mod;
return *this;
}
mint operator-(const mint& a) const{
mint res(*this);
return res -= a;
}
mint& operator*=(const mint& a){
(x *= a.x)%=mod;
return *this;
}
/*mint& operator*=(const ll& a){
mint temp(a);
return *this *= temp;
}*/
mint operator*(const mint& a) const{
mint res(*this);
return res *= a;
}
/*mint operator*(const ll& a) const{
mint res(*this);
return res *= a;
}*/
mint pow(unsigned long long pw) const{
mint res(1), comp(*this);
while(pw){
if(pw&1) res *= comp;
comp *= comp;
pw >>= 1;
}
return res;
}
//以下、modが素数のときのみ
mint inv() const{
mint res(*this);
return res.pow(mod - 2);
}
mint& operator/=(const mint &a){
(x *= a.inv().x)%=mod;
return *this;
}
mint operator/(const mint &a) const{
mint res(*this);
return res /= a;
}
};
ostream& operator<<(ostream& os, const mint& a){
os << a.x;
return os;
}
unsigned long long mint::mod = int(1e+9) + 7;
unsigned long long mint::mod_plus = (LLONG_MAX / mint::mod) * mint::mod;
typedef vector<mint> vm;
vm fact(int(1e+5) + 10, 1);
void makefact(){
mint temp(1);
reps(i,2,1e+5 + 10){
temp *= i;
fact[i] = temp;
}
}
mint nCm(ll n, ll m){
return fact[n] / (fact[n-m] * fact[m]);
}
map<ll, mint> dp;
mint dfs(ll n, ll m){
if(m == 1) return 1;
if(n == m) return fact[n];
if(dp[n*n + m].x != 0) return dp[n*n + m];
mint res(0);
for(int i = m / 2; n - i >= (m + 1) / 2; ++i){
res += dfs(i, m / 2) * dfs(n - i, (m + 1) / 2) * nCm(n, i);
}
return dp[n*n + m] = res;
}
int main() {
cin>>N>>M;
makefact();
cout<<dfs(N, M)<<endl;
}
carrot46