結果
| 問題 |
No.1554 array_and_me
|
| コンテスト | |
| ユーザー |
theory_and_me
|
| 提出日時 | 2021-06-17 22:03:29 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 141 ms / 2,000 ms |
| コード長 | 3,323 bytes |
| コンパイル時間 | 1,959 ms |
| コンパイル使用メモリ | 201,276 KB |
| 最終ジャッジ日時 | 2025-01-22 08:37:19 |
|
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 41 |
ソースコード
#include <bits/stdc++.h>
using namespace std;
const int mod = 998244353;
// modint
template <std::uint_fast64_t Modulus> class modint {
using u64 = std::uint_fast64_t;
public:
u64 a;
constexpr modint(const u64 x = 0) noexcept : a(x % Modulus) {}
constexpr u64 &value() noexcept { return a; }
constexpr const u64 &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 {
u64 exp = Modulus - 2;
while (exp) {
if (exp % 2) {
*this *= rhs;
}
rhs *= rhs;
exp /= 2;
}
return *this;
}
};
using mint = modint<mod>;
using vm = vector<mint>;
using vvm = vector<vm>;
ostream& operator << (ostream& os, const mint v){
os << v.value(); return os;
}
template <class T, class U> constexpr T power(T x, U exp) {
T ret = static_cast<T>(1);
while (exp) {
if (exp % static_cast<U>(2) == static_cast<U>(1))
ret *= x;
exp /= static_cast<U>(2);
x *= x;
}
return ::std::move(ret);
}
// 配列 x から目的関数値 f(x) を計算
mint calculate_objective_mod(vector<int> &x, vector<int> &A, int K){
int N = A.size();
int A_sum = 0;
for(int i=0;i<N;i++) A_sum += A[i];
mint res = 1;
for(int i=1;i<=K;i++) res *= i;
for(int i=0;i<N;i++){
for(int j=1;j<=x[i];j++) res /= j;
}
for(int i=0;i<N;i++){
mint y = A[i];
y /= A_sum;
for(int j=1;j<=x[i];j++) res *= y;
}
return res;
}
// priority_queue に入れる構造体
struct dat{
int idx, A_val, x_val;
bool operator< (const dat &right)const{
return A_val * (right.x_val + 1) < right.A_val * (x_val + 1);
}
};
int N_sum = 0;
int K_sum = 0;
void solve(){
int N, K;
cin >> N >> K;
assert(1 <= N and N <= 100000);
assert(1 <= K and K <= 100000);
N_sum += N;
K_sum += K;
vector<int> A(N);
for(int i=0;i<N;i++) cin >> A[i];
for(int i=0;i<N;i++) assert(1 <= A[i] and A[i] <= 1000);
vector<int> x(N, 0);
priority_queue<dat> pq;
for(int i=0;i<N;i++) pq.push(dat{i, A[i], x[i]});
for(int i=0;i<K;i++){
auto p = pq.top();pq.pop();
x[p.idx]++;
pq.push(dat{p.idx, A[p.idx], x[p.idx]});
}
mint res = calculate_objective_mod(x, A, K);
cout << res << endl;
return;
}
int main(){
int T;
cin >> T;
assert(1 <= T and T <= 100);
while(T--){
solve();
}
assert(1 <= N_sum and N_sum <= 100000);
assert(1 <= K_sum and K_sum <= 100000);
}
theory_and_me