#line 1 "..\\Main.cpp" #include #include #include #include #include #line 2 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\linear-modulo\\matrix-modulo.hpp" #line 4 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\linear-modulo\\matrix-modulo.hpp" #include #include namespace nachia{ template struct MatrixModulo{ private: int h; int w; std::vector elems; public: MatrixModulo(int new_h=0, int new_w=0){ h = new_h; w = new_w; elems.assign(h * w, 0); } MatrixModulo(const MatrixModulo &) = default; int numRow() const { return h; } int numColumn() const { return w; } int height() const { return numRow(); } int width() const { return numColumn(); } typename std::vector::iterator operator[](int y){ return elems.begin() + (y * w); } typename std::vector::const_iterator operator[](int y) const { return elems.begin() + (y * w); } static MatrixModulo Identity(int idx){ auto res = MatrixModulo(idx, idx); for(int i = 0; i < idx; i++) res[i][i] = 1; return res; } void swapColumns(int x1, int x2){ assert(0 <= x1 && x1 < numColumn()); assert(0 <= x2 && x2 < numColumn()); for(int y=0; y=i; k--) g[j][k] -= g[j][i] * g[i][k]; } return ans; } int rank() const { MatrixModulo g = *this; int y = 0; for (int d=0; d=d; j--) g[i][j] -= g[i][d] * g[y][j]; y++; } return y; } MatrixModulo pow(unsigned long long i){ auto a = *this; auto res = Identity(height()); while(i){ if(i % 2 == 1) res = res * a; a = a * a; i /= 2; } return res; } }; } // namespace nachia #line 4 "D:\\Programming\\VSCode\\competitive-cpp\\nachia\\linear-modulo\\characteristic-polynomial.hpp" namespace nachia{ template std::vector CharacteristicPolynomial(MatrixModulo mat){ assert(mat.numRow() == mat.numColumn()); int n = mat.numRow(); if(n == 0){ return {1}; } std::vector T(n); for(int y=1; y dp(n+1, n+1); dp[0][0] = 1; for(int y=0; y res(n+1); for(int i=0; i<=n; i++) res[i] = ((n%2 == 1) ? -dp[n][i] : dp[n][i]); return res; } } // namespace nachia #line 8 "..\\Main.cpp" using Modint = atcoder::static_modint<998244353>; using namespace std; using i64 = long long; using u64 = unsigned long long; #define rep(i,n) for(int i=0; i<(int)(n); i++) const i64 INF = 1001001001001001001; struct ModintX{ Modint x; Modint c; ModintX& operator+=(ModintX a){ x += a.x; c += a.c; return *this; } ModintX& operator-=(ModintX a){ x -= a.x; c -= a.c; return *this; } ModintX& operator*=(Modint a){ x *= a; c *= a; return *this; } ModintX operator*(Modint a) const { return { x*a, c*a }; } void sh(){ x = c; c = 0; } }; void testcase(){ int n; cin >> n; vector> Mt(n, vector(n)); rep(i,n) rep(j,n){ int x; cin >> x; Mt[i][j].c = x; } rep(i,n) rep(j,n){ int x; cin >> x; Mt[i][j].x = x; } int shifted = 0; Modint times = 1; rep(y,n){ if(shifted == n+1){ rep(i,n+1) cout << "0\n"; return; } int p = y; while(p < n && Mt[p][y].x.val() == 0) p++; if(p == n){ shifted++; rep(q,n) Mt[q][y].sh(); p = y; vector t(y); rep(y2,y) t[y2] = -Mt[y2][y].x; rep(y2,n) rep(x,y) Mt[y2][y] += Mt[y2][x] * t[x]; y--; continue; } swap(Mt[p], Mt[y]); if(p != y) times = -times; { Modint t = Mt[y][y].x; times *= t; t = t.inv(); rep(i,n) Mt[y][i] *= t; } for(int y2=y+1; y2 t(n); for(int x=y+1; x y && j > y) continue; if(i == j) assert(Mt[i][j].x.val() == 1); else assert(Mt[i][j].x.val() == 0); } } rep(i,n) rep(j,n){ if(i == j) assert(Mt[i][j].x.val() == 1); else assert(Mt[i][j].x.val() == 0); } using Matrix = nachia::MatrixModulo; auto matc = Matrix(n,n); rep(i,n) rep(j,n) matc[i][j] = -Mt[i][j].c; auto poly = nachia::CharacteristicPolynomial(matc); rep(i,n+1) poly[i] *= times; poly.resize(n*2+2); rep(i,n+1) cout << poly[i+shifted].val() << '\n'; } int main(){ ios::sync_with_stdio(false); cin.tie(nullptr); testcase(); return 0; }