結果
問題 | No.2443 特殊線形群の標準表現 |
ユーザー | Kude |
提出日時 | 2023-08-25 21:32:06 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 204 ms / 3,000 ms |
コード長 | 2,973 bytes |
コンパイル時間 | 3,958 ms |
コンパイル使用メモリ | 276,468 KB |
実行使用メモリ | 8,960 KB |
最終ジャッジ日時 | 2024-12-24 07:58:54 |
合計ジャッジ時間 | 6,945 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 21 |
ソースコード
#include<bits/stdc++.h> namespace { #pragma GCC diagnostic ignored "-Wunused-function" #include<atcoder/all> #pragma GCC diagnostic warning "-Wunused-function" using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template<class T> bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template<class T> bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair<int,int>; using VI = vector<int>; using VVI = vector<VI>; using VL = vector<ll>; using VVL = vector<VL>; using mint = modint; template<class T, T (*add)(T, T), T (*zero)(), T (*mul)(T, T), T (*one)(), int N> struct Mat : array<array<T, N>, N> { using M = Mat<T, add, zero, mul, one, N>; void make_identity() { for (int i = 0; i < N; i++) { for (int j = 0; j < N; j++) { (*this)[i][j] = zero(); } } for (int i = 0; i < N; i++) { (*this)[i][i] = one(); } } M& operator+=(const M& rhs) { for (int i = 0; i < N; i++) { for (int j = 0; j < N; j++) { (*this)[i][j] = add((*this)[i][j], rhs[i][j]); } } return *this; } M& operator*=(const M& rhs) { static M temp; for (int i = 0; i < N; i++) { for (int j = 0; j < N; j++) { temp[i][j] = zero(); } } for (int i = 0; i < N; i++) { for (int j = 0; j < N; j++) { for (int k = 0; k < N; k++) { temp[i][k] = add(temp[i][k], mul((*this)[i][j], rhs[j][k])); } } } *this = temp; return *this; } template <class I> void inplace_pow(I k) { assert(k >= 0); static M temp; temp = *this; make_identity(); while (k) { if (k & 1) *this *= temp; k >>= 1; if (k) temp *= temp; } } friend ostream& operator<<(ostream& os, const M& A) { for (int i = 0; i < N; i++) { for (int j = 0; j < N; j++) { os << A[i][j] << " \n"[j + 1 == N]; } } return os; } }; mint add(mint x, mint y) { return x + y; } mint zero() { return mint(); } mint mul(mint x, mint y) { return x * y; } mint one() { return mint::raw(1); } using M = Mat<mint, add, zero, mul, one, 2>; M op(M x, M y) { y *= x; return y; } M e() { M t; t.make_identity(); return t; } } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, b, q; cin >> n >> b >> q; mint::set_mod(b); vector<M> init(n); rep(i, n) { M a; rep(i, 2) rep(j, 2) { int x; cin >> x; a[i][j] = x; } init[i] = a; } segtree<M, op, e> seg(init); rep(_, q) { int l, r, x, y; cin >> l >> r >> x >> y; auto a = seg.prod(l, r); mint s = a[0][0] * x + a[0][1] * y; mint t = a[1][0] * x + a[1][1] * y; cout << s.val() << ' ' << t.val() << '\n'; } }