从暴力考虑转化题意
考虑最暴力的做法,我们枚举路径的两端,然后采用类似求树上路径长度的做法,计算两点到根的贡献,然后除去(LCA)到根的贡献两次。
即,设(v_i)为(i)到根路径上的边权异或和,那么((x,y))的答案就是:
[v_x xor v_y xor v_{LCA(x,y)} xor v_{LCA(x,y)}
]
由于(v_{LCA(x,y)} xor v_{LCA(x,y)}=0),所以答案就是:
[v_x xor v_y
]
于是,题意就变成了,在若干个数中,找出异或值最大的两个数。
(Trie)树
我们把每个(v_i)扔入(Trie)中,然后对于每个(v_i)在(Trie)树上查询最大异或值(基础操作略)。
这样就可以了。
代码
#include<bits/stdc++.h>
#define Tp template<typename Ty>
#define Ts template<typename Ty,typename... Ar>
#define Reg register
#define RI Reg int
#define Con const
#define CI Con int&
#define I inline
#define W while
#define N 1000000
#define add(x,y,v) (e[++ee].nxt=lnk[x],e[lnk[x]=ee].to=y,e[ee].val=v)
#define Gmax(x,y) (x<(y)&&(x=(y)))
using namespace std;
int n,ee,lnk[N+5];struct edge {int to,nxt,val;}e[N<<1];
class FastIO
{
private:
#define FS 100000
#define tc() (A==B&&(B=(A=FI)+fread(FI,1,FS,stdin),A==B)?EOF:*A++)
#define tn (x<<3)+(x<<1)
#define D isdigit(c=tc())
char c,*A,*B,FI[FS];
public:
I FastIO() {A=B=FI;}
Tp I void read(Ty& x) {x=0;W(!D);W(x=tn+(c&15),D);}
}F;
class TrieSolver
{
private:
int v[N+5];
template<int SZ,int BIT> class Trie//Trie树
{
private:
int rt,Nt,V[SZ*BIT+5],S[SZ*BIT+5][2];
I void Ins(CI v,int& rt,CI d) {!rt&&(rt=++Nt),~d&&(Ins(v,S[rt][v>>d&1],d-1),0);}//插入
I int Qry(CI v,CI rt,CI d)//求最大异或值
{
if(!rt||!~d) return 0;RI t=v>>d&1;
return S[rt][t^1]?(Qry(v,S[rt][t^1],d-1)|(1<<d)):Qry(v,S[rt][t],d-1);//能取1就取1
}
public:
I void Ins(CI v) {Ins(v,rt,BIT);}
I int Qry(CI v) {return Qry(v,rt,BIT);}
};Trie<N,30> T;
I void dfs(CI x,CI lst=0)//dfs遍历
{
RI i;for(i=lnk[x];i;i=e[i].nxt) e[i].to^lst&&
(v[e[i].to]=v[x]^e[i].val,dfs(e[i].to,x),0);T.Ins(v[x]);
}
public:
I void Solve()
{
RI i,t,ans=0;for(dfs(1),i=1;i<=n;++i) t=T.Qry(v[i]),Gmax(ans,t);//枚举v求答案
printf("%d",ans);//输出答案
}
}S;
int main()
{
freopen("tree.in","r",stdin),freopen("tree.out","w",stdout);
RI i,x,y,z;for(F.read(n),i=1;i^n;++i) F.read(x),F.read(y),F.read(z),add(x,y,z),add(y,x,z);
return S.Solve(),0;
}