QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#212596#5827. 异或图kkkgjyismine470 1097ms31700kbC++143.6kb2023-10-13 17:54:082023-10-13 17:54:08

Judging History

This is the latest submission verdict.

  • [2023-10-13 17:54:08]
  • Judged
  • Verdict: 70
  • Time: 1097ms
  • Memory: 31700kb
  • [2023-10-13 17:54:08]
  • Submitted

answer

#include<bits/stdc++.h>
#define ll long long 
using namespace std;
const ll mod=998244353;
int N,M,mp[20][20],cnt[1<<20],Lian[1<<20],fa[20];
ll f[15000000],A[20],g[1<<20],C,pw[10003],comb[404][404],dp1[1<<20],dp2[1<<20];int p[20],tot,popcnt[1<<20];
int find(int r){return r==fa[r]?r:(fa[r]=find(fa[r]));}
void add(ll &x,const ll y){if((x+=y)>=mod)x-=mod;}
void sub(ll &x,const ll y){if((x+=(mod-y))>=mod)x-=mod;}
void dfs(int u,int mask,int now,int w,int op,int cnt1,ll v,ll &res){
	if(u==tot){if((popcnt[now]&1)==op){if(cnt1)res=(res+v*pw[(cnt1-1)*w])%mod;else if(w==0)add(res,v);}return;}
	if(!((mask>>u)&1)){
		if(w)v=v*(((A[p[u]]&((1ll<<w)-1ll))+1ll)%mod)%mod;
		dfs(u+1,mask,now,w,op,cnt1,v,res);
	}else{
		dfs(u+1,mask,now,w,op,cnt1+1,v,res);
		if(w)v=v*(((A[p[u]]&((1ll<<w)-1ll))+1ll)%mod)%mod;
		dfs(u+1,mask,(now|(1<<u)),w,op,cnt1,v,res);
	}
}
ll mn[1<<20];
void init(int mask){
	if(!mask)return;mn[mask]=1e18;
	for(int i=0;i<N;++i)fa[i]=i;
	for(int i=0;i<N;++i)if((mask>>i)&1)for(int j=i+1;j<N;++j)if(((mask>>j)&1)&&mp[i+1][j+1])fa[find(i)]=find(j),++cnt[mask];
	int pos=-1;for(int i=0;i<N;++i)if((mask>>i)&1)pos=i;Lian[mask]=1;
	for(int i=0;i<N;++i)if(((mask>>i)&1)&&find(i)!=find(pos))Lian[mask]=0;
	tot=0;for(int i=0;i<N;++i)if((mask>>i)&1)p[tot++]=i+1,mn[mask]=min(mn[mask],A[i+1]);
	for(int i=60;i>=0;--i){
	    int m=0,Xor,cnt1;for(int j=0;j<tot;++j)m|=(((A[p[j]]>>i)&1ll)<<j);
		dfs(0,m,0,i,((C>>i)&1ll),0,1ll,g[mask]);
		if((popcnt[m]&1)!=((C>>i)&1ll))break;
	} mn[mask]%=mod;
}
int pw3[20];
int getop(int x,int y){return ((x/pw3[y])%3);}
bool cmp(int x,int y){
	if(A[x]==A[y])return x<y;
	return A[x]<A[y];
}
int val3[1<<20],tr[20],id[1<<20];
int main() {
	scanf("%d%d%lld",&N,&M,&C);pw[0]=pw3[0]=1;for(int i=1;i<=N;++i)pw3[i]=pw3[i-1]*3;for(int i=1;i<=10000;++i)pw[i]=pw[i-1]*2ll%mod;
	for(int i=0;i<=400;++i)comb[i][0]=1ll;for(int i=1;i<=400;++i)for(int j=1;j<=i;++j)comb[i][j]=(comb[i-1][j-1]+comb[i-1][j])%mod;
	for(int i=0;i<(1<<N);++i)for(int j=0;j<N;++j)if((i>>j)&1)val3[i]+=pw3[j];
	for(int i=1;i<(1<<N);++i)popcnt[i]=popcnt[i>>1]+(i&1);for(int i=1;i<=N;++i)scanf("%lld",&A[i]);
	for(int i=1;i<=M;++i){int u,v;scanf("%d%d",&u,&v);mp[u][v]=mp[v][u]=1;}if(C==0ll)g[0]=1ll;
    for(int i=0;i<(1<<N);++i)init(i);int mx=0;for(int i=0;i<N;++i)mx+=2*pw3[i];ll res=0ll,res1=0ll;f[0]=1ll;
    for(int i=0;i<N;++i)id[(1<<i)]=i;
    for(int i=0;i<N;++i){
    	tr[i]=(1<<i);
    	for(int j=0;j<N;++j)if(cmp(i+1,j+1))tr[i]|=(1<<j);
	}
	for(int i=0;i<(1<<N);++i){
    	if(!i)continue;
    	int mn=-1;for(int j=0;j<N;++j)if((i>>j)&1){mn=j;break;}
    	int All=(i^(1<<mn));
		for(int k=0;k<=cnt[i];++k){
			if(k&1)sub(dp1[i],comb[cnt[i]][k]);
			else add(dp1[i],comb[cnt[i]][k]);
		}dp2[i]=dp1[i];
		for(int j=All;;j=((j-1)&All)){
			int now=(j^(1<<mn)),Other=(i^now);
			if(now&&Other)dp2[i]=(dp2[i]+(mod-dp2[now])*dp1[Other])%mod;
			if(!j)break;
		}
	}
    for(int i=1;i<=mx;++i){
    	int pos=-1,t=i,v,fl=1;
		for(int j=0;j<N;++j){
			v=getop(i,j);
			if(v==2){pos=j;t-=2*pw3[j];break;}
		}
    	int Mask=0,mx0=-1,p=0,t1=0;
		for(int j=0;j<N;++j){
			v=getop(i,j);
			if(!v)fl=0;else p|=(1<<j),mx0=j;
			if(v==2)Mask|=(1<<j);
			if(v==1)t1|=(1<<j);
		}
		p^=(1<<mx0);
		for(int S=p;;S=((S-1)&p)){
			if(popcnt[S]&1){
				if(((S|(1<<mx0))|t1)==t1)f[i]=(f[i]+f[i-val3[S|(1<<mx0)]]*dp2[S|(1<<mx0)]%mod*(mn[S|(1<<mx0)]+1ll))%mod;
			}else{
				if(popcnt[((S|(1<<mx0))&Mask)]==1&&(tr[id[((S|(1<<mx0))&Mask)]]&(S|(1<<mx0)))==(S|(1<<mx0)))f[i]=(f[i]+f[i-val3[(S|(1<<mx0))]-pw3[id[((S|(1<<mx0))&Mask)]]]*dp2[(S|(1<<mx0))])%mod;
			}
			if(!S)break;
		}
	    if(fl)res=(res+f[i]*g[Mask])%mod;
	} cout<<res<<endl;
	return 0;
}

Details

Tip: Click on the bar to expand more detailed information

Subtask #1:

score: 20
Accepted

Test #1:

score: 20
Accepted
time: 3ms
memory: 19972kb

input:

4 6 2
7 11 14 0
1 2
1 3
2 3
2 4
4 1
4 3

output:

44

result:

ok 1 number(s): "44"

Test #2:

score: 0
Accepted
time: 2ms
memory: 20128kb

input:

4 4 6
12 14 14 5
4 2
1 4
3 2
1 2

output:

798

result:

ok 1 number(s): "798"

Test #3:

score: 0
Accepted
time: 0ms
memory: 18036kb

input:

3 3 2
10 4 11
2 1
3 2
1 3

output:

33

result:

ok 1 number(s): "33"

Test #4:

score: 0
Accepted
time: 0ms
memory: 17780kb

input:

4 0 4
9 8 5 2

output:

148

result:

ok 1 number(s): "148"

Test #5:

score: 0
Accepted
time: 0ms
memory: 17772kb

input:

5 6 14
12 15 13 13 12
3 1
2 4
2 5
2 1
5 3
4 5

output:

21337

result:

ok 1 number(s): "21337"

Test #6:

score: 0
Accepted
time: 0ms
memory: 18088kb

input:

4 5 5
5 2 4 13
2 1
3 4
1 4
4 2
3 2

output:

42

result:

ok 1 number(s): "42"

Test #7:

score: 0
Accepted
time: 3ms
memory: 17912kb

input:

4 4 3
13 7 8 12
4 1
3 1
2 4
4 3

output:

552

result:

ok 1 number(s): "552"

Test #8:

score: 0
Accepted
time: 0ms
memory: 18092kb

input:

4 2 12
1 12 4 11
2 1
3 1

output:

70

result:

ok 1 number(s): "70"

Test #9:

score: 0
Accepted
time: 0ms
memory: 19768kb

input:

5 5 6
10 7 8 2 13
1 5
1 3
2 1
4 3
5 3

output:

1231

result:

ok 1 number(s): "1231"

Test #10:

score: 0
Accepted
time: 0ms
memory: 18096kb

input:

5 7 9
6 7 13 15 12
1 3
5 3
5 2
4 5
4 3
4 1
3 2

output:

6223

result:

ok 1 number(s): "6223"

Test #11:

score: 0
Accepted
time: 0ms
memory: 17912kb

input:

3 0 3
15 7 12

output:

104

result:

ok 1 number(s): "104"

Test #12:

score: 0
Accepted
time: 0ms
memory: 17788kb

input:

3 2 9
10 6 5
1 2
1 3

output:

17

result:

ok 1 number(s): "17"

Test #13:

score: 0
Accepted
time: 0ms
memory: 19828kb

input:

5 5 11
7 9 15 9 9
5 4
5 1
5 2
1 3
3 4

output:

5224

result:

ok 1 number(s): "5224"

Test #14:

score: 0
Accepted
time: 0ms
memory: 18092kb

input:

5 0 12
9 8 14 11 2

output:

3006

result:

ok 1 number(s): "3006"

Test #15:

score: 0
Accepted
time: 0ms
memory: 19972kb

input:

3 1 1
6 10 4
3 1

output:

30

result:

ok 1 number(s): "30"

Subtask #2:

score: 50
Accepted

Dependency #1:

100%
Accepted

Test #16:

score: 50
Accepted
time: 0ms
memory: 20128kb

input:

9 27 705410105529944560
929827299070190972 733413770730537329 473007347105710981 190062421504120247 918561152768663129 196040702922254016 981530663192980241 203295856357272834 337150461958783092
2 8
7 9
8 9
2 3
9 2
2 7
9 5
9 4
4 8
1 7
6 3
6 1
4 1
6 5
2 4
2 1
9 3
9 6
7 3
7 5
5 2
4 5
2 6
3 1
3 8
4 3
8 6

output:

5392583

result:

ok 1 number(s): "5392583"

Test #17:

score: 0
Accepted
time: 0ms
memory: 19932kb

input:

9 7 788762650337246371
605340092851479114 625896945107761227 361131331380167081 572133549445050458 929899192003968010 340514051531987427 690728985364969400 268762741220048006 818120252827139346
5 8
9 6
6 1
1 9
9 8
5 1
4 5

output:

35237078

result:

ok 1 number(s): "35237078"

Test #18:

score: 0
Accepted
time: 0ms
memory: 18092kb

input:

7 8 968166787047166534
945734997493219809 465616677643913237 530128109571749460 717120283671096308 118646732725835921 510958884109370001 797022604947155276
5 2
4 7
1 2
6 5
4 2
4 6
1 6
6 3

output:

133871438

result:

ok 1 number(s): "133871438"

Test #19:

score: 0
Accepted
time: 232ms
memory: 22580kb

input:

12 21 341964498832651322
422448536649714733 488538974423366199 893293448611252565 879334133559023407 13516625885288091 43377983230712374 263189254162337644 474056776923289355 540904774976211471 103364876621830299 515157013276720499 213857038587555252
12 9
8 3
1 9
1 7
3 1
8 11
11 10
6 10
6 1
10 2
7 9...

output:

296076062

result:

ok 1 number(s): "296076062"

Test #20:

score: 0
Accepted
time: 56ms
memory: 19072kb

input:

11 42 215284372701527433
670445786006000260 969876209382224733 248721347029697734 375741447316879814 840434941395805804 187091598433077755 126574401069916039 764298539206353847 750906714570719526 387387869969339518 713140316419888823
1 10
2 5
1 7
4 11
3 11
2 7
4 5
9 5
1 6
3 4
10 9
11 9
3 7
2 1
8 11
...

output:

861118590

result:

ok 1 number(s): "861118590"

Test #21:

score: 0
Accepted
time: 0ms
memory: 18072kb

input:

7 20 619868500075052677
653541655679358091 619279335581334164 74945438024390700 772996180610853550 636253173293891586 125935970032544337 454311587629767538
7 3
4 5
6 7
2 7
4 2
5 3
4 6
2 6
7 4
5 7
2 5
6 3
5 1
2 3
3 4
1 7
2 1
1 3
5 6
4 1

output:

396474896

result:

ok 1 number(s): "396474896"

Test #22:

score: 0
Accepted
time: 1058ms
memory: 31372kb

input:

13 1 655058659126783551
220930961455414900 363602338013759573 443737606888655227 137555247528320912 492558319379424931 930253239754276705 727679308735300884 787033056632957722 29595553176095069 586820353385061840 342786039873677428 141912073483259823 800159879032310691
4 9

output:

504321097

result:

ok 1 number(s): "504321097"

Test #23:

score: 0
Accepted
time: 0ms
memory: 17968kb

input:

8 20 301184670062888420
242892377877643484 3476501038317923 44616426924438256 159029640149965614 908446126450853551 608694214104046729 348038770876101788 993564634039215219
5 7
3 8
3 4
8 5
4 6
7 1
6 7
2 4
7 4
3 6
1 2
8 4
8 1
5 4
7 8
1 6
2 5
3 1
8 2
1 4

output:

4724341

result:

ok 1 number(s): "4724341"

Test #24:

score: 0
Accepted
time: 0ms
memory: 19820kb

input:

6 11 392024297517399665
88458611428053942 931089704347713876 2933742226147026 827268679955144802 950336975252592744 47151195847292633
3 5
6 4
5 4
2 3
6 5
5 1
1 4
5 2
2 4
1 3
3 4

output:

708968421

result:

ok 1 number(s): "708968421"

Test #25:

score: 0
Accepted
time: 48ms
memory: 20248kb

input:

11 37 271739451037214460
146061942241336421 138038807419718309 876032468776218591 790840232774594443 931090305572222272 446985261776711380 111295394912463090 788835018487784052 490717555570673932 654796069953431186 30534002965260366
10 6
6 7
4 7
2 5
6 4
2 10
3 4
10 7
2 11
4 9
9 7
6 11
1 11
1 9
9 10
...

output:

405837840

result:

ok 1 number(s): "405837840"

Test #26:

score: 0
Accepted
time: 0ms
memory: 17780kb

input:

7 20 603717808363574959
741883086260303904 498239876637304614 692656406513867207 11452440849146981 847091012107531819 751030904432703677 42306162304440584
7 4
3 5
3 1
7 3
2 1
2 4
7 2
5 6
5 7
4 5
1 6
3 2
1 5
6 3
2 5
3 4
4 6
6 2
7 1
4 1

output:

409098870

result:

ok 1 number(s): "409098870"

Test #27:

score: 0
Accepted
time: 0ms
memory: 20140kb

input:

7 14 276788100956613806
955375196371523555 993133468996644095 851781246244565785 406378187351709927 103400146137304775 3339166120945122 878092054213365193
6 5
3 4
6 3
2 7
1 4
6 1
7 6
3 7
4 2
4 6
1 7
1 5
4 7
3 2

output:

424423580

result:

ok 1 number(s): "424423580"

Test #28:

score: 0
Accepted
time: 55ms
memory: 20204kb

input:

11 42 703121070332973172
453838237041390989 7923458002585165 10157854185578313 428694248761966896 99567674522515040 887169792891871053 685704683091155403 1114809813572478 44938950664511738 433569272578015242 743893677718957742
10 2
5 4
7 3
5 9
10 7
6 1
9 7
5 7
8 6
2 5
2 11
1 10
3 5
4 3
4 1
5 11
11 7...

output:

266801727

result:

ok 1 number(s): "266801727"

Test #29:

score: 0
Accepted
time: 3ms
memory: 17884kb

input:

9 30 557579472218086545
389315525875489778 580024732015329877 122856826128791692 353894892064461662 593243941610294518 367724855679451396 93186374563462910 566339146552758642 503166485328553628
1 2
6 4
7 6
7 2
5 7
6 2
7 3
5 1
9 2
5 6
8 3
1 9
2 3
7 4
6 3
7 8
4 5
8 9
9 7
1 7
6 9
1 4
4 3
2 4
2 5
1 6
8 ...

output:

949276406

result:

ok 1 number(s): "949276406"

Test #30:

score: 0
Accepted
time: 4ms
memory: 20140kb

input:

8 3 145845032992032081
128648457003011001 90366745088645729 628278583922604945 949868219248781702 205548014539121837 573918524435421016 330291118265768760 961310581410805998
4 6
8 3
8 5

output:

522900734

result:

ok 1 number(s): "522900734"

Test #31:

score: 0
Accepted
time: 1007ms
memory: 31500kb

input:

13 75 122013601152601020
102573945790661441 119801481456740433 918257918904279930 290942994898157004 263309413587975225 176964463128718582 761601089984502811 634241033261747054 571682868717366221 514639207383578779 104093621484438574 329127701356038973 75081873200425743
12 10
8 5
6 8
9 10
3 11
11 7
...

output:

692554911

result:

ok 1 number(s): "692554911"

Test #32:

score: 0
Accepted
time: 1027ms
memory: 30228kb

input:

13 64 329467924442467878
646292845363466402 340430390655540423 886810138845116533 39936097409539153 913432466960561002 602450520208761333 373828261638409015 667657474356136433 785467436052153428 146484939478409777 905868211050101145 17011363096280257 145760138946384094
12 11
5 7
6 2
7 4
7 11
13 2
3 ...

output:

649034073

result:

ok 1 number(s): "649034073"

Test #33:

score: 0
Accepted
time: 1073ms
memory: 29704kb

input:

13 66 384520332466220624
456964675653769808 680045069530079454 274948142501386066 134398246845947863 670356535886270750 178282565665823320 512794756447850828 50252545496862865 541422634474563231 961120209571547713 371355651307501836 186254550272900976 966822162226229042
8 13
13 1
2 4
2 1
6 10
8 9
4 ...

output:

658091946

result:

ok 1 number(s): "658091946"

Test #34:

score: 0
Accepted
time: 1094ms
memory: 31700kb

input:

13 65 572440567840425592
511814115740732885 663983644274559529 290152050813440086 965100648598673086 30857576447532207 38983595600942050 44868781971516033 852778926994745179 689837263233427103 463859563825515127 374239587300029375 570685282674371777 524325090774617958
13 9
9 1
8 11
7 2
7 8
7 13
5 7
...

output:

143909590

result:

ok 1 number(s): "143909590"

Test #35:

score: 0
Accepted
time: 226ms
memory: 22452kb

input:

12 47 770433712593606285
440182952918236765 194832650378037376 697219961142716540 563570699573734184 269618082361587938 55268899053737043 485296751296674284 998533476123971567 111577714986287643 348822154801743257 627132722657408754 18059004572680409
8 6
12 1
1 8
7 9
11 1
9 10
9 6
2 5
6 5
5 1
10 3
6...

output:

775067582

result:

ok 1 number(s): "775067582"

Test #36:

score: 0
Accepted
time: 240ms
memory: 21728kb

input:

12 55 4026650049374118
857996118172858941 88567476008765118 124350619367959778 367372126789516747 162295446852695236 401458281846570045 560683838805908801 180182810302793022 266620617912155367 15471844114452206 627626552161917860 304587113952804811
10 7
5 4
7 4
5 10
7 2
9 10
9 1
12 3
9 12
4 3
3 7
6 ...

output:

215932540

result:

ok 1 number(s): "215932540"

Test #37:

score: 0
Accepted
time: 1097ms
memory: 30276kb

input:

13 72 103008731614274418
363442214120251460 50427867905538777 595260092919904639 373828918204231160 590436074764227318 232099477938107397 236426318819808960 244361286929299921 731166249407001339 112590684380573953 704728975731111649 956279851373121643 397374860922230268
9 3
1 7
5 8
11 9
8 11
5 7
12 ...

output:

187894198

result:

ok 1 number(s): "187894198"

Test #38:

score: 0
Accepted
time: 1030ms
memory: 30556kb

input:

13 67 301754072747398126
265229440645252605 147893078440826980 324796610061770660 551587001457543179 760667349634888702 663754795357245527 13662180881282347 505883171963085228 700459283676605999 680916615477968075 346754098755067485 36257491903674274 90955993330063055
11 10
12 3
10 9
1 5
5 3
7 3
11 ...

output:

610716167

result:

ok 1 number(s): "610716167"

Test #39:

score: 0
Accepted
time: 1080ms
memory: 31336kb

input:

13 69 75403304803046764
425586910005736592 969627160068708952 8405841780640838 200628822715657197 443919674658362813 814581495306742342 380276028841733301 16989707177466348 680330714625880719 558713286113730870 9955498253036428 725789604884677928 365353215214093400
3 4
3 6
12 5
3 10
4 1
3 5
3 2
11 9...

output:

260792359

result:

ok 1 number(s): "260792359"

Test #40:

score: 0
Accepted
time: 216ms
memory: 22220kb

input:

12 56 869512898929058396
754220212722812283 166889637803908373 104797582558497589 528115017624931431 615539035822791815 118783102898342804 693208985325316886 154703682974820603 72071186025455087 848518128787570353 935988349833056226 57807088687352158
5 2
3 5
4 8
11 1
7 3
2 3
8 2
12 1
8 1
7 6
1 9
12 ...

output:

243805672

result:

ok 1 number(s): "243805672"

Test #41:

score: 0
Accepted
time: 0ms
memory: 17920kb

input:

4 0 266137408554724708
132280826017951321 850283254994779845 125636870147394639 582930455427494327

output:

774985478

result:

ok 1 number(s): "774985478"

Test #42:

score: 0
Accepted
time: 0ms
memory: 17780kb

input:

5 0 227375183671684403
838078019228775407 525418186087747640 57761599398559037 631551466152686290 559180159956140299

output:

767267818

result:

ok 1 number(s): "767267818"

Test #43:

score: 0
Accepted
time: 16ms
memory: 17788kb

input:

10 0 12788671132569757
97604854595547116 837007520784391111 15665557093666358 394749031141258240 72625652061598325 201830158728703466 9652200671985894 541584810371802861 840666350721214277 28209319880081489

output:

611951263

result:

ok 1 number(s): "611951263"

Test #44:

score: 0
Accepted
time: 0ms
memory: 17872kb

input:

6 0 123695341588462971
746972473676804132 975557135115047878 105838726424604358 739722922748391586 815745791731060342 436086535778078347

output:

964600451

result:

ok 1 number(s): "964600451"

Test #45:

score: 0
Accepted
time: 16ms
memory: 16184kb

input:

10 0 514811793088171031
59031476825104549 506730165360872294 201622444164879971 79022523342161951 806946332677854690 982921196100386080 615442285110985500 66715232445866401 85195983895901861 934202056826291570

output:

997996310

result:

ok 1 number(s): "997996310"

Test #46:

score: 0
Accepted
time: 0ms
memory: 17972kb

input:

3 0 217195448970700851
522826994884125301 493574146457808013 878001063403190253

output:

813992307

result:

ok 1 number(s): "813992307"

Subtask #3:

score: 0
Time Limit Exceeded

Test #47:

score: 0
Time Limit Exceeded

input:

14 0 731833687287532167
157552918690640051 900457311668526045 111217720157614956 84140984111060473 814012186135880499 784848789620248379 958953377683017264 105083874298571687 104921429970878846 44983041675142735 871013110538758030 686733907990421995 98063590462078176 495161493555059993

output:


result:


Subtask #4:

score: 0
Skipped

Dependency #1:

100%
Accepted

Dependency #2:

100%
Accepted

Dependency #3:

0%