結果
| 問題 | No.3777 Train Seats |
| コンテスト | |
| ユーザー |
ococonomy1
|
| 提出日時 | 2026-10-23 22:10:13 |
| 言語 | C++17 (gcc 15.3.0 + boost 1.92.0 + ACL) |
| 結果 |
AC
不安定
|
| 実行時間 | 8 ms / 2,000 ms |
| + 204µs | |
| コード長 | 9,939 bytes |
| 記録 | |
| コンパイル時間 | 1,866 ms |
| コンパイル使用メモリ | 222,552 KB |
| 実行使用メモリ | 11,264 KB |
| 最終ジャッジ日時 | 2026-10-23 22:10:29 |
| 合計ジャッジ時間 | 4,402 ms |
|
ジャッジサーバーID (参考情報) |
judge5_0 / judge4_0 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 50 |
ソースコード
//#pragma GCC target("avx2")
//#pragma GCC optimize("O3")
//#pragma GCC optimize("unroll-loops")
#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using pii = pair<int,int>;
using pll = pair<ll,ll>;
using pli = pair<ll,int>;
#define MOD 998244353
//#define MOD 1000000007
#define el '\n'
#define El '\n'
#define YESNO(x) ((x) ? "Yes" : "No")
#define YES YESNO(true)
#define NO YESNO(false)
#define EXIT_ANS(x) {cout << (x) << '\n'; return;}
template <typename T> void inline SORT(T &v){sort(v.begin(),v.end()); return;}
template <typename T> void inline REV(T &v){reverse(v.begin(),v.end()); return;}
template <typename T> void inline VEC_UNIQ(T &v){sort(v.begin(),v.end()); v.erase(unique(v.begin(),v.end()),v.end()); return;}
template <typename T> auto inline MAX(T &v){return *max_element(v.begin(),v.end());}
template <typename T> auto inline MIN(T &v){return *min_element(v.begin(),v.end());}
template <typename T> auto inline SUM(vector<T> &v){T ans = 0; for(int i = 0; i < (int)v.size(); i++)ans += v[i]; return ans;}
template <typename T> void inline DEC(T &v){for(int i = 0; i < (int)v.size(); i++)v[i]--; return;}
template <typename T> void inline INC(T &v){for(int i = 0; i < (int)v.size(); i++)v[i]++; return;}
void inline TEST(void){cerr << "TEST" << endl; return;}
template <typename T,typename S> bool inline chmin(T &x,S y){
if(x > (T)y){
x = (T)y;
return true;
}
return false;
}
template <typename T,typename S> bool inline chmax(T &x,S y){
if(x < (T)y){
x = (T)y;
return true;
}
return false;
}
template <typename T = long long> vector<T> inline get_vec(int n){
vector<T> ans(n);
for(int i = 0; i < n; i++)cin >> ans[i];
return ans;
}
template <typename T> void inline print_vec(vector<T> &vec,bool kaigyou = false){
int n = (int)vec.size();
for(int i = 0; i < n; i++){
cout << vec[i];
if(kaigyou || i == n - 1)cout << '\n';
else cout << ' ';
}
if(!n)cout << '\n';
return;
}
template <typename T> void inline debug_vec(vector<T> &vec,bool kaigyou = false){
int n = (int)vec.size();
for(int i = 0; i < n; i++){
cerr << vec[i];
if(kaigyou || i == n - 1)cerr << '\n';
else cerr << ' ';
}
if(!n)cerr << '\n';
return;
}
vector<vector<int>> inline get_graph(int n,int m = -1,bool direct = false,bool decrement = true){
if(m == -1)m = n - 1;
vector<vector<int>> g(n);
while(m--){
int u,v;
cin >> u >> v;
if(decrement)u--,v--;
g[u].push_back(v);
if(!direct)g[v].push_back(u);
}
return g;
}
template <typename T> vector<vector<pair<T,int>>> inline get_weighted_graph(int n,int m = -1,bool direct = false,bool decrement = true){
if(m == -1)m = n - 1;
vector<vector<pair<T,int>>> g(n);
while(m--){
int u,v;
cin >> u >> v;
if(decrement)u--,v--;
ll w; cin >> w;
g[u].push_back(pair(w,v));
if(!direct)g[v].push_back(pair(w,u));
}
return g;
}
template<int m> class ococo_static_modint{
private:
using mint = ococo_static_modint;
mint pow(long long b)const{
assert(b >= 0);
mint ans = 1,temp = *this;
while(b){
if(b & 1)ans *= temp;
temp *= temp;
b >>= 1;
}
return ans;
}
mint inv(void)const{
return pow(m - 2);
}
public:
//これを書くことで初期値を決めてくれるらしい
ococo_static_modint() : val(0){}
//long long への変換
//operator long long(){return val;}
template <typename T>
ococo_static_modint(T x){
long long xv = (long long)(x) % m;
if(xv < 0)xv += m;
val = xv;
}
long long val = 0;
void operator++(int){
val++;
if(val == m)val = 0;
return;
}
void operator--(int){
if(val == 0)val = m;
val--;
return;
}
mint& operator+=(const mint& r){
val += r.val;
if(val >= m)val -= m;
return *this;
}
mint& operator-=(const mint& r){
val -= r.val;
if(val < 0)val += m;
return *this;
}
mint& operator*=(const mint &r){
val *= r.val;
val %= m;
return *this;
}
mint& operator/=(const mint &r){
assert(r != 0);
return *this = *this * r.inv();
}
friend mint operator+(const mint& l,const mint& r){
mint ans = l;
ans += r;
return ans;
}
friend mint operator-(const mint& l,const mint& r){
mint ans = l;
ans -= r;
return ans;
}
friend mint operator*(const mint& l,const mint& r){
mint ans = l;
ans *= r;
return ans;
}
friend mint operator/(const mint& l,const mint& r){
mint ans = l;
ans /= r;
return ans;
}
friend bool operator==(const mint& l,const mint& r){
return (l.val == r.val);
}
friend bool operator!=(const mint& l,const mint& r){
return (l.val != r.val);
}
int get_int(void){
return val;
}
friend ostream& operator<<(ostream& tp,const ococo_static_modint& x){
return tp << x.val;
}
friend istream& operator>>(istream& tp, ococo_static_modint &x){
ll v;
tp >> v;
x = v;
return tp;
}
};
template<int m> class ococo_combination{
private:
using mint = ococo_static_modint<m>;
int N;
vector<mint> kaizyou,gyakugen_kaizyou;
int pn = -1,pk = -1;
mint sum_ans = 0;
public:
//デフォルトで調べられる最大値が 1e7 になっている。TL/ML がヤバかったら小さくするも良し、クソでか二項係数が要求されたら大きくするも良し。
ococo_combination(long long n = 10000000){
n++;
N = n;
int prevn = (int)kaizyou.size();
if(prevn > n)return;
kaizyou.resize(n);
gyakugen_kaizyou.resize(n);
kaizyou[0] = kaizyou[1] = 1;
gyakugen_kaizyou[0] = gyakugen_kaizyou[1] = 1;
for(int i = max(prevn - 1,2); i < n; i++){
kaizyou[i] = kaizyou[i - 1] * i;
}
gyakugen_kaizyou[n - 1] = (mint)1 / kaizyou[n - 1];
for(int i = n - 2; i >= max(prevn - 1,2); i--)gyakugen_kaizyou[i] = gyakugen_kaizyou[i + 1] * (i + 1);
}
mint binom(int n,int k){
if(n < k || n < 0 || k < 0)return 0LL;
mint ans = kaizyou[n];
mint temp = gyakugen_kaizyou[n - k];
temp *= gyakugen_kaizyou[k];
ans *= temp;
return ans;
}
//1 * 2 * ... * n(mod P) を返す。当然 n は N 以下であることを要求する。
mint factorial(int n){
assert(n < N);
if(n < 0)return 0LL;
return kaizyou[n];
}
//binom(n,0) + binom(n,1) + ... + binom(n,k) を返す。
//計算量は少し特殊で、1回目は O(K)、2回目以降は前回の呼び出しを (pn,pk) としたとき O(abs(n - pn) + abs(k - pk))
//Mo の順番で入れることで N*sqrt(Q) とかで全部の答えを得られる。また、良い感じにスライドする場合はみなし O(1) とかになったりもする。
//これを呼び出すとき、 P >= 3 でないといけない(2で割る操作があるため)
//まだ verify してないので注意!
mint sum(int n,int k){
if(pn == -1 || abs(n - pn) + abs(k - pk) >= k){
sum_ans = 0;
for(int i = 0; i <= k; i++){
sum_ans += binom(n,i);
}
pn = n; pk = k;
return sum_ans;
}
while(n > pn){
sum_ans = 2LL * sum_ans - binom(pn,pk);
pn++;
}
while(n < pn){
mint temp = sum_ans + binom(pn - 1,pk);
sum_ans = temp / 2;
pn--;
}
while(k < pk){
sum_ans -= binom(pn,pk);
pk--;
}
while(k > pk){
pk++;
sum_ans += binom(pn,pk);
}
return sum_ans;
}
//n番目のカタラン数を呼び出す。n は 2*N 以下を要求するので注意
mint catalan(int n){
mint ans = kaizyou[2 * n];
ans *= gyakugen_kaizyou[n + 1];
ans *= gyakugen_kaizyou[n];
return ans;
}
};
using mint = ococo_static_modint<MOD>;
#define MULTI_TEST_CASE false
void solve(void){
//問題を見たらまず「この問題設定から言えること」をいっぱい言う
//よりシンプルな問題に言い換えられたら、言い換えた先の問題を自然言語ではっきりと書く
//複数の解法のアイデアを思いついた時は全部メモしておく
//g++ -D_GLIBCXX_DEBUG -Wall -O2 e.cpp -o o
int n; cin >> n;
if(n == 1)EXIT_ANS(1);
if(n == 2)EXIT_ANS(2);
//dp[i][j] = i 番目の席まで見て、j人が座ったとして、席の埋め方が何通りあるか
vector<vector<mint>> dp(n,vector<mint>(n + 1));
dp[0][1] = 1;
dp[1][1] = 1;
for(int i = 2; i < n; i++){
for(int j = 2; j <= n; j++){
dp[i][j] += dp[i - 2][j - 1];
if(i != 2)dp[i][j] += dp[i - 3][j - 1];
}
}
// for(int i = 0; i < n; i++){
// for(int j = 0; j <= n; j++)cerr << dp[i][j] << ' ';
// cerr << El;
// }
ococo_combination<MOD> comb(2000);
mint ans = 0;
for(int i = 1; i <= n; i++){
mint temp = dp[n - 1][i] + dp[n - 2][i];
temp *= comb.factorial(i);
temp *= comb.factorial(n - i);
//cerr << i << ' ' << temp << el;
ans += temp;
}
cout << ans << el;
return;
}
void calc(void){
return;
}
signed main(void){
cin.tie(nullptr);
ios::sync_with_stdio(false);
calc();
int t = 1;
if(MULTI_TEST_CASE)cin >> t;
while(t--){
solve();
}
return 0;
}
ococonomy1