結果

問題 No.2514 Twelvefold Way Returns
ユーザー chineristACchineristAC
提出日時 2023-10-20 22:32:29
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 686 ms / 3,000 ms
コード長 3,324 bytes
コンパイル時間 1,989 ms
コンパイル使用メモリ 148,384 KB
実行使用メモリ 8,972 KB
最終ジャッジ日時 2024-09-20 20:15:28
合計ジャッジ時間 16,478 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,812 KB
testcase_01 AC 5 ms
6,940 KB
testcase_02 AC 61 ms
6,940 KB
testcase_03 AC 13 ms
6,944 KB
testcase_04 AC 521 ms
7,936 KB
testcase_05 AC 417 ms
7,040 KB
testcase_06 AC 316 ms
6,940 KB
testcase_07 AC 2 ms
6,944 KB
testcase_08 AC 229 ms
6,940 KB
testcase_09 AC 223 ms
6,940 KB
testcase_10 AC 593 ms
8,308 KB
testcase_11 AC 11 ms
6,940 KB
testcase_12 AC 78 ms
6,944 KB
testcase_13 AC 4 ms
6,944 KB
testcase_14 AC 57 ms
6,940 KB
testcase_15 AC 165 ms
6,944 KB
testcase_16 AC 572 ms
7,964 KB
testcase_17 AC 287 ms
6,940 KB
testcase_18 AC 617 ms
8,548 KB
testcase_19 AC 655 ms
8,780 KB
testcase_20 AC 667 ms
8,620 KB
testcase_21 AC 676 ms
8,576 KB
testcase_22 AC 664 ms
8,704 KB
testcase_23 AC 191 ms
6,944 KB
testcase_24 AC 615 ms
8,368 KB
testcase_25 AC 234 ms
6,940 KB
testcase_26 AC 1 ms
6,940 KB
testcase_27 AC 670 ms
8,828 KB
testcase_28 AC 534 ms
8,768 KB
testcase_29 AC 381 ms
7,508 KB
testcase_30 AC 497 ms
8,360 KB
testcase_31 AC 573 ms
8,844 KB
testcase_32 AC 187 ms
6,944 KB
testcase_33 AC 1 ms
6,944 KB
testcase_34 AC 54 ms
6,940 KB
testcase_35 AC 549 ms
8,192 KB
testcase_36 AC 2 ms
6,944 KB
testcase_37 AC 2 ms
6,940 KB
testcase_38 AC 656 ms
8,860 KB
testcase_39 AC 686 ms
8,840 KB
testcase_40 AC 665 ms
8,972 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")

#include <iostream>
#include <vector>
#include <string>
#include <map>
#include <set>
#include <queue>
#include <algorithm>
#include <cmath>
#include <iomanip>
#include <random>
#include <stdio.h>
#include <fstream>
#include <functional>
#include <cassert>
#include <atcoder/modint>


using namespace std;
using namespace atcoder;

using mint  = modint998244353;


#define rep(i,n) for (int i=0;i<n;i+=1)
#define append push_back
#define all(x) (x).begin(), (x).end()

template<class T>
using vec = vector<T>;
template<class T>
using vvec = vec<vec<T>>;
template<class T>
using vvvec = vec<vvec<T>>;
using ll = long long;
using pii = pair<int,int>;
using pll = pair<ll,ll>;


template<class T>
bool chmin(T &a, T b){
  if (a>b){
    a = b;
    return true;
  }
  return false;
}

template<class T>
bool chmax(T &a, T b){
  if (a<b){
    a = b;
    return true;
  }
  return false;
}

template<class T>
T sum(vec<T> x){
  T res=0;
  for (auto e:x){
    res += e;
  }
  return res;
}

template<class T>
void printv(vec<T> x){
  for (auto e:x){
    cout<<e<<" ";
  }
  cout<<"\n";
}

template<class T>
ostream& operator<<(ostream& os, const vec<T>& A){
  os << "{";
  rep(i,A.size()){
    os << A[i];
    if (i!=A.size()-1){
      os << ", ";
    }
  }
  os << "}" ;
  return os;
}

template<class T>
ostream& operator<<(ostream& os, const deque<T>& A){
  os << "deque{[";
  rep(i,A.size()){
    os << A[i];
    if (i!=A.size()-1){
      os << ", ";
    }
  }
  os << "]}" ;
  return os;
}

template<class T>
ostream& operator<<(ostream& os, const pair<T,T>& A){
  os << "(";
  os << A.first ;
  os << ", ";
  os << A.second;
  os << ")";
  return os;
}

pair<mint,mint> omega_prod(pair<mint,mint> X,pair<mint,mint> Y){
  auto [a,b] = X;
  auto [c,d] = Y;
  return {(a*d+b*c-a*c),b*d-a*c};
};

pair<mint,mint> omega_pow(pair<mint,mint> X,int N){
  pair<mint,mint> res = {0,1};
  while (N){
    if ((N&1)){
      res = omega_prod(res,X);
    }
    X = omega_prod(X,X);
    N >>= 1;
  }
  return res;
}

ostream& operator<<(ostream& os, const mint a){
  os << a.val();
  return os;
}

int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int N,M;
    cin>>N>>M;


    vec<vec<pair<mint,mint>>> dp(2*M+1,vec<pair<mint,mint>>(2*M+1,{0,0}));
    pair<mint,mint> zero = {0,0};
    dp[M][M] = {0,1};
    mint i3 = mint(3).inv();
    for (int _=0;_<M;_++){
      vec<vec<pair<mint,mint>>> ndp(2*M+1,vec<pair<mint,mint>>(2*M+1,{0,0}));
      for (int i=0;i<=2*M;i++){
        for (int j=0;j<=2*M;j++){
          if (dp[i][j] == zero) continue;
          auto e = dp[i][j];
          ndp[i][j+1].first += e.first * i3;
          ndp[i][j+1].second += e.second * i3;

          e = omega_prod(e,{1,0});
          ndp[i-1][j-1].first += e.first * i3;
          ndp[i-1][j-1].second += e.second * i3;

          e = omega_prod(e,{1,0});
          ndp[i+1][j].first += e.first * i3;
          ndp[i+1][j].second += e.second * i3;
        }
      }
      swap(dp,ndp);
    }

    mint res = 0;
    for (int i=0;i<=2*M;i++){
      for (int j=0;j<=2*M;j++){
        auto e = omega_pow({i-M,j-M},N);
        auto f = omega_prod(dp[i][j],e);
        res += f.second;
      }
    }

    cout << res.val() << endl;

    

    

    

}
0