QOJ.ac
QOJ
ID | 题目 | 提交者 | 结果 | 用时 | 内存 | 语言 | 文件大小 | 提交时间 | 测评时间 |
---|---|---|---|---|---|---|---|---|---|
#792159 | #9278. Linear Algebra Intensifies | bulijiojiodibuliduo# | WA | 4ms | 35684kb | C++17 | 5.2kb | 2024-11-29 02:07:40 | 2024-11-29 02:07:41 |
Judging History
answer
#include <bits/stdc++.h>
using namespace std;
#define rep(i,a,n) for (int i=a;i<n;i++)
#define per(i,a,n) for (int i=n-1;i>=a;i--)
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define SZ(x) ((int)(x).size())
typedef vector<int> VI;
typedef basic_string<int> BI;
typedef long long ll;
typedef pair<int,int> PII;
typedef double db;
mt19937 mrand(random_device{}());
const ll mod=998244353;
int rnd(int x) { return mrand() % x;}
ll powmod(ll a,ll b) {ll res=1;a%=mod; assert(b>=0); for(;b;b>>=1){if(b&1)res=res*a%mod;a=a*a%mod;}return res;}
ll gcd(ll a,ll b) { return b?gcd(b,a%b):a;}
// head
template<int MOD, int RT> struct mint {
static const int mod = MOD;
static constexpr mint rt() { return RT; } // primitive root for FFT
int v; explicit operator int() const { return v; } // explicit -> don't silently convert to int
mint():v(0) {}
mint(ll _v) { v = int((-MOD < _v && _v < MOD) ? _v : _v % MOD);
if (v < 0) v += MOD; }
bool operator==(const mint& o) const {
return v == o.v; }
friend bool operator!=(const mint& a, const mint& b) {
return !(a == b); }
friend bool operator<(const mint& a, const mint& b) {
return a.v < b.v; }
mint& operator+=(const mint& o) {
if ((v += o.v) >= MOD) v -= MOD;
return *this; }
mint& operator-=(const mint& o) {
if ((v -= o.v) < 0) v += MOD;
return *this; }
mint& operator*=(const mint& o) {
v = int((ll)v*o.v%MOD); return *this; }
mint& operator/=(const mint& o) { return (*this) *= inv(o); }
friend mint pow(mint a, ll p) {
mint ans = 1; assert(p >= 0);
for (; p; p /= 2, a *= a) if (p&1) ans *= a;
return ans; }
friend mint inv(const mint& a) { assert(a.v != 0);
return pow(a,MOD-2); }
mint operator-() const { return mint(-v); }
mint& operator++() { return *this += 1; }
mint& operator--() { return *this -= 1; }
friend mint operator+(mint a, const mint& b) { return a += b; }
friend mint operator-(mint a, const mint& b) { return a -= b; }
friend mint operator*(mint a, const mint& b) { return a *= b; }
friend mint operator/(mint a, const mint& b) { return a /= b; }
};
const int MOD=998244353;
using mi = mint<MOD,5>; // 5 is primitive root for both common mods
namespace simp {
vector<mi> fac,ifac,invn;
void check(int x) {
if (fac.empty()) {
fac={mi(1),mi(1)};
ifac={mi(1),mi(1)};
invn={mi(0),mi(1)};
}
while (SZ(fac)<=x) {
int n=SZ(fac),m=SZ(fac)*2;
fac.resize(m);
ifac.resize(m);
invn.resize(m);
for (int i=n;i<m;i++) {
fac[i]=fac[i-1]*mi(i);
invn[i]=mi(MOD-MOD/i)*invn[MOD%i];
ifac[i]=ifac[i-1]*invn[i];
}
}
}
mi gfac(int x) {
assert(x>=0);
check(x); return fac[x];
}
mi ginv(int x) {
assert(x>0);
check(x); return invn[x];
}
mi gifac(int x) {
assert(x>=0);
check(x); return ifac[x];
}
mi binom(int n,int m) {
if (m < 0 || m > n) return mi(0);
return gfac(n)*gifac(m)*gifac(n - m);
}
mi binombf(int n,int m) {
if (m < 0 || m > n) return mi(0);
if (m>n-m) m=n-m;
mi p=1,q=1;
for (int i=1;i<=m;i++) p=p*(n+1-i),q=q*i;
return p/q;
}
}
const int N=501000;
int f[N],n,m,id[N];
set<PII> e[N];
mi g[1111][1111];
mi det(vector<vector<mi>> f) {
int n=SZ(f);
mi ans=1;
rep(i,0,n) {
bool fg=0;
rep(j,i,n) {
if (f[j][i]!=0) {
rep(k,i,n) swap(f[i][k],f[j][k]);
if (j!=i) ans*=-1;
fg=1;
break;
}
}
if (!fg) return 0;
mi v=1/(-f[i][i]);
rep(j,i+1,n) {
mi tmp=f[j][i]*v;
rep(k,i,n) f[j][k]=(f[j][k]+tmp*f[i][k]);
}
}
rep(i,0,n) ans=ans*f[i][i];
return ans;
}
int find(int x) {
return f[x]==x?x:f[x]=find(f[x]);
}
int main() {
scanf("%d%d",&n,&m);
rep(i,0,n+1) f[i]=i;
rep(i,0,m) {
int u,v;
scanf("%d%d",&u,&v);
--u;
f[find(u)]=find(v);
e[u].insert(mp(v,i));
e[v].insert(mp(u,i));
}
rep(i,0,n+1) if (find(i)!=find(0)) {
puts("0");
return 0;
}
if (m==n) {
puts("1");
return 0;
}
queue<int> q;
rep(i,0,n+1) {
if (SZ(e[i])==1) q.push(i);
}
while (!q.empty()) {
auto u=q.front(); q.pop();
auto [v,w]=*e[u].begin();
assert(e[v].count(mp(u,w)));
e[v].erase(mp(u,w));
e[u].clear();
if (SZ(e[v])==1) {
q.push(v);
}
}
VI pv;
int c2=0;
rep(i,0,n+1) {
if (SZ(e[i])>=3) {
pv.pb(i);
id[i]=SZ(pv);
}
if (SZ(e[i])==2) c2++;
}
if (pv.empty()) {
printf("%d\n",c2);
return 0;
}
mi ans=1;
VI selfv;
auto addeg=[&](int u,int v,int w) {
u=id[u]-1; v=id[v]-1;
if (u==v) {
selfv.pb(w);
return;
}
ans=ans*w;
//printf("%d %d %d\n",u,v,w);
mi iw=mi(1)/mi(w);
g[u][u]+=iw;
g[u][v]-=iw;
};
function<void(int,int,int,int)> dfs=[&](int u,int par,int dep,int rt) {
if (dep>0&&id[u]) {
addeg(rt,u,dep);
return;
}
for (auto [v,w]:e[u]) if (w!=par) {
dfs(v,w,dep+1,rt);
}
};
for (auto u:pv) dfs(u,-1,0,u);
//printf("%d\n",(int)ans);
vector<vector<mi>> ff;
rep(i,1,SZ(pv)) ff.pb(vector<mi>(g[i]+1,g[i]+SZ(pv)));
ans=ans*det(ff);
sort(all(selfv));
//for (auto x:selfv) printf("%d ",x); puts("");
for (int i=0;i<SZ(selfv);i+=2) ans=ans*selfv[i];
printf("%d\n",(int)ans);
}
詳細信息
Test #1:
score: 100
Accepted
time: 0ms
memory: 35076kb
input:
3 4 1 2 2 3 1 2 3 3
output:
2
result:
ok 1 number(s): "2"
Test #2:
score: 0
Accepted
time: 4ms
memory: 34440kb
input:
1 1 1 1
output:
1
result:
ok 1 number(s): "1"
Test #3:
score: 0
Accepted
time: 0ms
memory: 35608kb
input:
1 10 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
output:
10
result:
ok 1 number(s): "10"
Test #4:
score: 0
Accepted
time: 0ms
memory: 34252kb
input:
2 1 1 2
output:
0
result:
ok 1 number(s): "0"
Test #5:
score: 0
Accepted
time: 0ms
memory: 34316kb
input:
2 2 1 2 1 1
output:
1
result:
ok 1 number(s): "1"
Test #6:
score: 0
Accepted
time: 2ms
memory: 34568kb
input:
2 3 1 1 2 2 1 2
output:
3
result:
ok 1 number(s): "3"
Test #7:
score: -100
Wrong Answer
time: 0ms
memory: 35684kb
input:
12 23 10 12 6 12 3 6 3 4 5 12 10 10 10 11 9 9 8 12 4 12 1 9 4 9 2 2 10 11 5 12 8 12 9 9 1 9 6 12 10 10 2 2 3 6 3 4
output:
6144
result:
wrong answer 1st numbers differ - expected: '3072', found: '6144'