結果
| 問題 |
No.2255 Determinant Sum
|
| コンテスト | |
| ユーザー |
👑 potato167
|
| 提出日時 | 2023-03-24 21:44:52 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 3,383 bytes |
| コンパイル時間 | 2,549 ms |
| コンパイル使用メモリ | 208,428 KB |
| 最終ジャッジ日時 | 2025-02-11 17:11:28 |
|
ジャッジサーバーID (参考情報) |
judge2 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 7 WA * 16 |
ソースコード
#include <bits/stdc++.h>
#pragma GCC optimize("Ofast")
using namespace std;
using std::cout;
using std::cin;
using std::endl;
using ll=long long;
using ld=long double;
ll ILL=2167167167167167167;
const int INF=2100000000;
const int mod=998244353;
#define rep(i,a,b) for (ll i=a;i<b;i++)
#define all(p) p.begin(),p.end()
template<class T> using _pq = priority_queue<T, vector<T>, greater<T>>;
template<class T> ll LB(vector<T> &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();}
template<class T> ll UB(vector<T> &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();}
template<class T> bool chmin(T &a,const T &b){if(a>b){a=b;return 1;}else return 0;}
template<class T> bool chmax(T &a,const T &b){if(a<b){a=b;return 1;}else return 0;}
template<class T> void So(vector<T> &v) {sort(v.begin(),v.end());}
template<class T> void Sore(vector<T> &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});}
void yneos(bool a){if(a) cout<<"Yes\n"; else cout<<"No\n";}
template<class T> void vec_out(vector<T> &p){for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout<<p[i];}cout<<"\n";}
template<class T> T vec_min(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;}
template<class T> T vec_max(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;}
template<class T> T vec_sum(vector<T> &a){assert(!a.empty());T ans=a[0]-a[0];for(auto &x:a) ans+=x;return ans;}
namespace po167{
long long rev(long long a,long long mod){
a%=mod;
long long ans=1;
long long H=mod-2;
while(H){
if(H&1) ans=(ans*a)%mod;
a=(a*a)%mod;
H>>=1;
}
return ans;
}
long long Determinant_Matrix(std::vector<std::vector<long long>> G,long long MOD){
int N=G.size();
long long ans=1;
for(int i=0;i<N;i++){
for(int j=i;j<N;j++){
G[j][i]=(G[j][i]%MOD+MOD)%MOD;
if(G[j][i]!=0){
if(j!=i){
for(int k=i;k<N;k++){
std::swap(G[i][k],G[j][k]);
}
ans*=-1;
}
break;
}
}
if(G[i][i]==0){
return 0;
}
ans=(ans*G[i][i])%MOD;
long long R=rev(G[i][i],MOD);
for(int j=i+1;j<N;j++){
long long D=(R*G[j][i])%MOD;
for(int k=i;k<N;k++){
G[j][k]=(G[j][k]-(D*G[i][k])%MOD+MOD)%MOD;
}
}
}
return (ans+MOD)%MOD;
}
//行列木定理
long long Kirchhoffs_theorem(std::vector<std::vector<long long>> G,long long MOD){
int N=G.size();
std::vector<std::vector<long long>> H(N-1,std::vector<long long>(N-1));
for(int i=0;i<N-1;i++){
for(int j=0;j<N;j++){
if(i==j) continue;
H[i][i]=(H[i][i]+G[i][j])%MOD;
if(j!=N-1){
H[i][j]=(MOD-G[i][j])%MOD;
}
}
}
return Determinant_Matrix(H,MOD);
}
}
using po167::Determinant_Matrix;
using po167::Kirchhoffs_theorem;
void solve();
// oddloop
int main() {
ios::sync_with_stdio(false);
cin.tie(nullptr);
int t=1;
cin>>t;
rep(i,0,t) solve();
}
void solve(){
int N,P;
cin>>N>>P;
vector<vector<ll>> p(N,vector<ll>(N));
vector<int> X(N),Y(N);
bool A=0;
rep(i,0,N) rep(j,0,N){
cin>>p[i][j];
if(p[i][j]==-1){
if(P==2) X[i]++,Y[j]++;
A=1;
}
}
if(!A) cout<<Determinant_Matrix(p,P)<<"\n";
else if(P!=2) cout<<"0\n";
else{
if(vec_max(X)>1||vec_max(Y)>1){
cout<<"0\n";
return;
}
else if(vec_min(X)==1){
cout<<"1\n";
}
else{
rep(i,0,N) rep(j,0,N){
if(X[i]==1&&Y[j]==1){
if(p[i][j]==-1) p[i][j]=1;
else p[i][j]=0;
}
}
cout<<Determinant_Matrix(p,P)<<"\n";
}
}
}
potato167