結果
問題 | No.616 へんなソート |
ユーザー |
![]() |
提出日時 | 2020-07-26 16:25:09 |
言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 106 ms / 2,000 ms |
コード長 | 1,408 bytes |
コンパイル時間 | 2,135 ms |
コンパイル使用メモリ | 198,396 KB |
最終ジャッジ日時 | 2025-01-12 06:03:17 |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 27 |
ソースコード
#include <bits/stdc++.h>using namespace std;typedef long long ll;typedef pair<ll, ll> p_ll;template<class T>void debug(T itr1, T itr2) { auto now = itr1; while(now<itr2) { cout << *now << " "; now++; } cout << endl; }#define repr(i,from,to) for (ll i=(ll)from; i<(ll)to; i++)#define all(vec) vec.begin(), vec.end()#define rep(i,N) repr(i,0,N)#define per(i,N) for (int i=(int)N-1; i>=0; i--)const ll MOD = pow(10,9)+7;const ll LLINF = pow(2,61)-1;const int INF = pow(2,30)-1;vector<ll> fac;void c_fac(int x=pow(10,6)+10) { fac.resize(x,true); rep(i,x) fac[i] = i ? (fac[i-1]*i)%MOD : 1; }ll inv(ll a, ll m=MOD) { ll b = m, x = 1, y = 0; while (b!=0) { int d = a/b; a -= b*d; swap(a,b); x -= y*d; swap(x,y); } return (x+m)%m; }ll nck(ll n, ll k) { return fac[n]*inv(fac[k]*fac[n-k]%MOD)%MOD; }ll gcd(ll a, ll b) { if (a<b) swap(a,b); return b==0 ? a : gcd(b, a%b); }ll lcm(ll a, ll b) { return a/gcd(a,b)*b; }int main() {ll N, K; cin >> N >> K;ll a[N]; rep(i,N) cin >> a[i];ll MK = N*(N-1)/2+10;ll dp[MK] = {}; dp[0] = 1;rep(i,N) {ll tmp[MK] = {};rep(j,i*(i+1)/2+1) {tmp[j] = (tmp[j]+dp[j]) % MOD;tmp[j+(i+1)] = ((tmp[j+(i+1)]-dp[j])%MOD+MOD) % MOD;}rep(j,MK) dp[j] = j==0 ? tmp[j] : (dp[j-1]+tmp[j]) % MOD;// debug(dp,dp+MK);}ll result = 0; rep(i,K+1) result = (result+dp[i]) % MOD;cout << result << endl;return 0;}