G. Xor-matic Number of the Graph

http://codeforces.com/problemset/problem/724/G

題意：給你一張無向圖。定義一個無序三元組(u,v,s)表示u到v的(不一定為簡單路徑)路徑上xor值為s。求出這張無向圖所有不重復三元組的s之和。1≤n≤10^5,1≤m≤2*10^5。

想法：

如果做過【Wc2011 xor】這道題目(題解)，那么問題變得簡單起來了。

①假設我們欽定一個(u,v),設任意一條u->v的路徑xor值為X,該連通圖所有小環xor值構成的序列為{Ai}。

那么(u,v)的所有路徑的xor值可以由X xor {Ai}的子集xor值得到。于是一個(u,v)的 s 之和變成了求X xor{Ai}的子集可以得到多少個不同的數，這些不同的數的和是多少？

如果能知道{Ai}的子集xor值的值域，那么好辦了。于是用線性基得到值域{T}。求和的話，按位考慮定義S(i)為{T}中第i為1的個數，為0的個數取個補集就好了。

對于一個(u,v)：

②考慮所有的無序點對(u,v)的答案。上面說過任意一條u->v的路徑都可以，不如就欽定是DFS遍歷得到DFS樹的樹上路徑。

樹上兩點路徑xor值的求法很簡單：設dis(i)表示第i個到根節點路徑xor值。

dis(a,b)=dis(a) xor dis(lca(a,b)) xor dis(b) xor dis(lca(a,b))=dia(a) xor dis(b)。

根據上面求ans 的式子，ans只與X的第j位是什么有關，所以設cnt(i)表示兩點路徑xor值第i位為1的個數。cnt(i)可以利用上面dis(a,b)=dia(a) xor dis(b)求。

對于所有(u,v):

于是解決了。

#include<cstdio> #include<vector> #define ll long long const int len(100000),MP(1000000007); struct Node{int nd;ll co;}; std::vector<Node>Edge[len+10]; int n,m,u,v,top,ans,much,vis[len+10]; ll sum,S[61],cnt[61],now[61];//cnt(i) 統計 i-th =0的個數 now(i):dx^dy i-th==1的個數 ll st[len+10],dis[len+10],All,t; struct Base_Linear {ll p[61];int size;void ins(ll x){for(int j=60;j>=0;j--)if((x>>j)&1){if(p[j])x^=p[j];else {p[j]=x;size++;break;}}} }BL; template <class T>void read(T &x) {x=0;int f=0;char ch=getchar();while(ch<'0'||ch>'9'){f=(ch=='-');ch=getchar();}while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}x=f?-x:x; } ll power(int a,int b) {ll t=1,y=a;for(;b;b>>=1){if(b&1)t=(t*y)%MP;y=(y*y)%MP;}return t; } void add(int a,int b,ll c){Edge[a].push_back((Node){b,c});} void plus(ll x) {for(int j=0;j<=60;j++)if(((x>>j)&1)==0)cnt[j]++; } void Dfs(int x) {much++; vis[x]=1; plus(dis[x]); st[++top]=dis[x];for(int v=0,sz=Edge[x].size();v<sz;v++){Node y=Edge[x][v];if(vis[y.nd])BL.ins(dis[x]^dis[y.nd]^y.co);else {dis[y.nd]=dis[x]^y.co;Dfs(y.nd);}} } void Back() {for(int j=0;j<=60;j++)cnt[j]=now[j]=S[j]=0;for(int j=0;j<=60;j++)BL.p[j]=0; BL.size=0;much=0; All=0; } void Total() {for(;top;top--){for(int j=0;st[top];j++,st[top]>>=1)if(st[top]&1)now[j]=(now[j]+cnt[j])%MP;}for(int j=0;j<=60;j++)All|=BL.p[j];for(int j=0;All;j++,All>>=1)if(All&1)S[j]=power(2,BL.size-1);All=power(2,BL.size); ll C=1;for(int j=0;j<=60;j++,C<<=1,C%=MP){sum=(ll)much*(much-1)/2;ll t1=now[j]*(All-S[j])%MP;ll t2=((sum-now[j])*S[j])%MP;ans=(ans+C*t1+C*t2)%MP;} } int main() {read(n),read(m);for(int i=1;i<=m;i++){read(u),read(v),read(t);add(u,v,t),add(v,u,t);}for(int i=1;i<=n;i++)if(!vis[i])//圖可能不連通 {Back();Dfs(i);Total();}ans+=ans<0?MP:0;printf("%d",ans);return 0; } View Code

?

轉載于:https://www.cnblogs.com/Oncle-Ha/p/6679576.html

總結

以上是生活随笔為你收集整理的Codeforces 724 G Xor-matic Number of the Graph 线性基+DFS的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。