最大值

https://www.zybuluo.com/ysner/note/1215455

题面

给定(n)个数和(c),求两数间最大运算值。

  • (c=1):与运算((&))
  • (c=2):异或运算((igotimes))
  • (c=3):或运算((|))

数据范围

  • (30pts nleq1000)
  • (60pts a_ileq1024)
  • (100pts nleq10^5,a_ileq2^{20})

解析

(30pts)算法

(O(n^2))枚举

(60pts)算法

注意到数的个数对答案没有影响。
开个桶存这(1024)个数。
然后(O(1024^2))枚举。
(注意答案可能为两个相等数的运算值)

与运算

从高位开始枚举,查询该位为(1)的数有(x)个。
如果(x<2),说明这一位凑不出(1),答案这一位为(0)
如果$x=2 (,说明这一位只能由两数凑出,答案就是这两数的运算值。 如果)x>2$,说明答案这一位为(1),同时可以把这一位为(0)的数排除掉,因对答案无贡献。

fp(i,1,n) vis[i]=1;
  fq(i,20,0)
    {
      top=0;
      fp(j,1,n)
	if(vis[j])
	if(a[j]&(1<<i)) sta[++top]=a[j];
      if(top<2) continue;
      if(top==2) {ans=sta[1]&sta[2];return;}
      if(top>2) ans|=(1<<i);
      fp(j,1,n)
	if(!(a[j]&(1<<i))) vis[j]=0;
    }

异或运算

对于一个数,我们很清楚使运算值最大的另一数是多少。
于是从高位往低位构建一棵(Tire)树(二叉树)。
显然无脑尽量走更优边。

il void Build(re int x,re int d,re int num)
{
  if(d<0) return;
  if(num&(1<<d))
    {
      if(!t[x][1]) t[x][1]=++tot;
      Build(t[x][1],d-1,num);
    }
    else
      {
	if(!t[x][0]) t[x][0]=++tot;
        Build(t[x][0],d-1,num);
      }
}
il int dfs(re int x,re int now,re int d)
{
  if(d<0) return 0;
  if(now&(1<<d))
    {
      if(t[x][0]) return (1<<d)|dfs(t[x][0],now,d-1);
      if(t[x][1]) return dfs(t[x][1],now,d-1);
    }
  else
    {
      if(t[x][1]) return (1<<d)|dfs(t[x][1],now,d-1);
      if(t[x][0]) return dfs(t[x][0],now,d-1);
    }
  return 0;
}
il void work2()
{
  fp(i,1,n) Build(0,20,a[i]);
  fp(i,1,n) ans=max(ans,dfs(0,a[i],20));
}

或运算

首先标记每个数本身和真子集(即本身改几个(1)(0)后所形成的数),代表这些数能对结果提供的有效(即另一数对应位为(0),而不是(1))影响。
具体方法是先标记本身。
然后枚举数位,从大到小枚举数,把该位为(1)的数的这一位改为(0)后形成的数标记。

接下来,对每个数从高位往低位枚举,并设一补集(E)
如果第(i+1)位为(0),且(E|(1<<i))这一数可被提供出来,则(E|=(1<<i))
其实也是贪心。

memset(tong,0,sizeof(tong)); 
  fp(i,1,n) tong[a[i]]=1;
  fp(i,0,20)
    fq(j,1<<20,0)
    if(j&(1<<i)) tong[j^(1<<i)]|=tong[j];
  fp(j,1,n)
    {
      re int E=0;
    fq(i,20,0)
    if(!(a[j]&(1<<i))&&tong[E|(1<<i)]) E|=(1<<i);    
      ans=max(ans,E|a[j]);
    }

(100pts)算法

以上三算法复杂度均为(O(20n))
于是一道模板题就被(AC)了。

原文地址:https://www.cnblogs.com/yanshannan/p/9319996.html