QOJ.ac
QOJ
ID | 题目 | 提交者 | 结果 | 用时 | 内存 | 语言 | 文件大小 | 提交时间 | 测评时间 |
---|---|---|---|---|---|---|---|---|---|
#152293 | #5437. Graph Completing | TadijaSebez | TL | 866ms | 104232kb | C++14 | 3.0kb | 2023-08-27 23:13:52 | 2023-08-27 23:13:53 |
Judging History
answer
#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pb push_back
const int mod=998244353;
int add(int x,int y){x+=y;return x>=mod?x-mod:x;}
int subtract(int x,int y){x-=y;return x<0?x+mod:x;}
int mul(int x,int y){return (ll)x*y%mod;}
int powmod(int x,int k){
int ans=1;
for(;k;k>>=1,x=mul(x,x)){
if(k&1)ans=mul(ans,x);
}
return ans;
}
void ckadd(int&x,int y){x=add(x,y);}
const int N=5050;
int po2[N*N];
vector<pair<int,int>> G[N];
vector<int> T[N];
int U[2*N],V[2*N];
int n,m;
vector<int> E[N];
int sz[N],edgs[N],csz,sub[N];
int disc[N],low[N],tid;
bool bridge[2*N];
void Bridges(int u,int p){
disc[u]=low[u]=++tid;
for(auto e:G[u]){
if(e.first==p)continue;
if(!disc[e.first]){
Bridges(e.first,u);
if(low[e.first]==disc[e.first]){
bridge[e.second]=true;
}
low[u]=min(low[u],low[e.first]);
}else{
low[u]=min(low[u],disc[e.first]);
}
}
}
bool was[N];
int nodeCnt,edgeCnt;
int where[N];
void CNT(int u,int chn){
was[u]=true;
where[u]=chn;
edgeCnt+=T[u].size();
nodeCnt++;
for(int v:T[u]){
if(!was[v]){
CNT(v,chn);
}
}
}
void Compress(){
Bridges(1,0);
for(int i=1;i<=m;i++){
if(!bridge[i]){
T[U[i]].pb(V[i]);
T[V[i]].pb(U[i]);
}
}
for(int i=1;i<=n;i++){
if(!was[i]){
csz++;
nodeCnt=0;
edgeCnt=0;
CNT(i,csz);
edgeCnt/=2;
sz[csz]=nodeCnt;
edgs[csz]=edgeCnt;
}
}
for(int i=1;i<=m;i++){
if(bridge[i]){
E[where[U[i]]].pb(where[V[i]]);
E[where[V[i]]].pb(where[U[i]]);
}
}
}
vector<array<int,2>> DFS(int u,int p){
vector<array<int,2>> dp(sz[u]+1,{0,0});
dp[sz[u]][0]=po2[sz[u]*(sz[u]-1)/2-edgs[u]];
sub[u]=sz[u];
for(int v:E[u]){
if(v!=p){
vector<array<int,2>> dpv=DFS(v,u);
vector<array<int,2>> tmp(sub[u]+sub[v]+1,{0,0});
for(int i=sub[u]+sub[v];i>=sz[u];i--){
for(int j=max(sz[v],i-sub[u]);j<=sub[v];j++){
if(i>=j && i-j<=sub[u]){
ckadd(tmp[i][0],(ll)dp[i-j][0]*dpv[j][0]%mod*po2[(i-j)*j-1]%mod);
ckadd(tmp[i][0],(ll)dp[i-j][1]*dpv[j][1]%mod*po2[(i-j)*j-1]%mod);
}
if(i<=sub[u]){
ckadd(tmp[i][0],mul(dp[i][0],dpv[j][1]));
ckadd(tmp[i][0],mul(dp[i][1],dpv[j][0]));
}
if(i>=j && i-j<=sub[u]){
ckadd(tmp[i][1],(ll)dp[i-j][0]*dpv[j][1]%mod*po2[(i-j)*j-1]%mod);
ckadd(tmp[i][1],(ll)dp[i-j][1]*dpv[j][0]%mod*po2[(i-j)*j-1]%mod);
}
if(i<=sub[u]){
ckadd(tmp[i][1],mul(dp[i][0],dpv[j][0]));
ckadd(tmp[i][1],mul(dp[i][1],dpv[j][1]));
}
}
}
sub[u]+=sub[v];
dp=tmp;
}
}
return dp;
}
int Solve(){
auto dp=DFS(1,0);
int ans=0;
for(int i=1;i<=sub[1];i++){
ckadd(ans,subtract(dp[i][0],dp[i][1]));
}
return ans;
}
int main(){
scanf("%i %i",&n,&m);
for(int i=1;i<=m;i++){
scanf("%i %i",&U[i],&V[i]);
G[U[i]].pb({V[i],i});
G[V[i]].pb({U[i],i});
}
po2[0]=1;
for(int i=1;i<=n*n;i++){
po2[i]=mul(po2[i-1],2);
}
Compress();
printf("%i\n",Solve());
return 0;
}
詳細信息
Test #1:
score: 100
Accepted
time: 1ms
memory: 4116kb
input:
3 2 1 2 2 3
output:
1
result:
ok 1 number(s): "1"
Test #2:
score: 0
Accepted
time: 1ms
memory: 4028kb
input:
4 4 1 2 2 3 3 4 4 1
output:
4
result:
ok 1 number(s): "4"
Test #3:
score: 0
Accepted
time: 2ms
memory: 5904kb
input:
2 1 1 2
output:
0
result:
ok 1 number(s): "0"
Test #4:
score: 0
Accepted
time: 1ms
memory: 4136kb
input:
3 3 1 2 2 3 3 1
output:
1
result:
ok 1 number(s): "1"
Test #5:
score: 0
Accepted
time: 1ms
memory: 5972kb
input:
4 3 1 2 2 3 3 4
output:
5
result:
ok 1 number(s): "5"
Test #6:
score: 0
Accepted
time: 1ms
memory: 4068kb
input:
4 3 1 2 1 3 1 4
output:
4
result:
ok 1 number(s): "4"
Test #7:
score: 0
Accepted
time: 1ms
memory: 5668kb
input:
4 5 1 2 2 3 3 4 4 1 1 3
output:
2
result:
ok 1 number(s): "2"
Test #8:
score: 0
Accepted
time: 1ms
memory: 4076kb
input:
4 6 1 2 2 3 3 4 4 1 1 3 2 4
output:
1
result:
ok 1 number(s): "1"
Test #9:
score: 0
Accepted
time: 3ms
memory: 4720kb
input:
141 9870 124 111 31 87 121 106 127 90 54 125 38 17 115 23 129 111 8 116 90 85 10 29 96 110 24 125 51 113 119 33 58 64 8 5 54 97 112 44 70 138 116 85 38 138 138 21 26 18 69 128 68 31 69 42 126 110 49 118 83 124 69 4 9 110 88 104 48 53 46 30 111 120 99 85 13 85 73 85 40 124 39 38 121 40 46 100 29 61 4...
output:
1
result:
ok 1 number(s): "1"
Test #10:
score: 0
Accepted
time: 0ms
memory: 6296kb
input:
142 10000 19 3 4 86 36 122 36 88 130 86 107 59 3 119 132 90 80 124 122 95 75 66 70 123 63 119 8 44 114 9 81 19 106 77 96 93 79 141 104 50 117 66 30 48 128 109 56 73 106 116 70 8 72 130 59 110 140 20 40 11 134 71 27 51 33 93 82 96 133 118 50 14 32 64 71 12 48 33 22 32 116 17 104 45 66 71 111 142 131 ...
output:
2048
result:
ok 1 number(s): "2048"
Test #11:
score: 0
Accepted
time: 3ms
memory: 4620kb
input:
200 10000 47 42 33 120 146 144 94 170 170 181 20 101 185 190 197 33 18 37 12 86 148 115 136 120 41 182 120 11 44 132 167 67 118 139 114 52 80 37 171 56 93 139 113 112 129 122 166 4 47 60 57 6 104 119 179 104 107 1 8 70 197 70 39 127 134 1 18 26 85 100 158 121 61 105 33 113 51 54 45 85 45 130 97 164 ...
output:
365281854
result:
ok 1 number(s): "365281854"
Test #12:
score: 0
Accepted
time: 4ms
memory: 7308kb
input:
500 10000 453 98 266 181 170 163 213 8 447 241 197 380 44 136 383 217 142 351 252 381 34 87 8 100 173 306 322 35 481 398 267 493 94 457 391 198 381 436 455 468 481 415 307 470 376 1 178 480 379 75 133 248 466 165 394 296 302 50 142 42 388 454 92 239 63 310 118 159 397 257 282 308 137 370 24 389 353 ...
output:
980584487
result:
ok 1 number(s): "980584487"
Test #13:
score: 0
Accepted
time: 7ms
memory: 8672kb
input:
1000 10000 818 182 136 75 353 22 34 927 455 560 720 103 752 822 493 253 627 976 34 951 329 587 292 180 189 524 345 84 420 939 97 11 141 631 232 79 600 473 351 100 567 735 237 571 582 459 39 723 709 632 784 391 448 176 643 808 336 874 696 44 819 143 5 470 690 781 875 230 872 570 681 211 270 157 106 1...
output:
588230924
result:
ok 1 number(s): "588230924"
Test #14:
score: 0
Accepted
time: 16ms
memory: 22144kb
input:
2000 10000 820 636 1257 375 1342 1314 1243 1839 1469 1206 46 675 172 1422 1121 412 1882 900 1543 709 1811 727 1217 1205 1411 674 365 738 1184 1568 1781 1999 1591 556 1755 432 28 1231 1809 1461 270 1485 1087 1636 1471 1683 148 984 452 321 393 1844 800 1491 657 951 1943 1550 1593 924 1201 1474 1148 70...
output:
950164126
result:
ok 1 number(s): "950164126"
Test #15:
score: 0
Accepted
time: 93ms
memory: 102992kb
input:
5000 10000 2319 4192 4971 4546 4619 2058 1652 3642 2789 4237 2458 3238 2642 4855 2347 4170 1752 4173 2834 3683 1659 4380 4572 2645 116 4683 2667 3234 895 4589 2283 2027 53 3963 3590 726 783 3836 2019 722 3464 461 1805 2302 2404 3192 4015 3107 4256 1911 4734 3106 2902 3995 4592 2782 2099 478 3687 228...
output:
583179928
result:
ok 1 number(s): "583179928"
Test #16:
score: 0
Accepted
time: 866ms
memory: 104232kb
input:
5000 4999 2338 1012 4038 1912 2148 2944 1852 501 3624 2551 857 852 3031 1067 1102 808 2019 1627 1351 879 2463 4890 4431 724 1626 2136 2952 698 3556 378 1651 28 3163 3413 4862 2026 4448 104 3909 147 1718 862 4537 3495 20 1589 2520 2860 990 2316 727 4827 178 3027 4199 4590 683 4827 1724 3072 2717 1854...
output:
327217607
result:
ok 1 number(s): "327217607"
Test #17:
score: 0
Accepted
time: 428ms
memory: 102456kb
input:
5000 4999 900 1057 1438 871 129 49 3364 950 2628 2103 4737 3455 4038 1928 4953 2614 2063 387 3855 2903 1048 3621 4365 149 463 4726 772 4301 3310 2518 2340 2074 3338 4293 1719 3978 2276 1414 3531 3768 1105 1874 1429 4464 3624 4204 1628 3866 3104 4844 217 3582 1828 2650 2050 4317 938 2110 3301 3000 16...
output:
192742148
result:
ok 1 number(s): "192742148"
Test #18:
score: -100
Time Limit Exceeded
input:
5000 4999 684 4606 4488 3074 2368 3680 605 944 2423 4494 3550 3009 1936 4186 1192 2026 1178 1276 4130 2188 1625 2432 1252 525 2246 723 4925 2802 1570 426 3339 4012 1911 846 1246 93 3723 4701 1083 3118 1454 1231 1890 3105 2299 2859 183 1709 3795 3192 172 1141 1958 1935 4322 3687 2230 1317 2591 3113 3...