线性基

作用

用于处理多个数中选取一些数的Xor最大值,最小值,并且能否得到某个值.可以在log的时间解决

实现方法

是一个大小为log的,对于每一位记录一个最高位为它的某个数的数组,要求这个数组可以表示所有这些数的子集的Xor值,初始全部为零

插入及查询

插入数u时,从高位到低位遍历,如果u的这一位有值,则进行判断,若数组的这一位还没有数,则改为u并且break,否则u^数组中的这个数(详见代码),这样操作之后u只有两种结果:
1.被记录到了数组中
2.未被记录,则此时u必定为0,说明此时的线性基已经能通过Xor得到u.
因此我们可以用这种方法来判断此时是否存在Xor值为u的子集.

代码

	void insert(int u)
	{
		int i;
		for(i=MAX_LOG;i>=0;i--)
		{
			if(u&(1 << i))
			{
				if(!num[i])
				{
					num[i]=u;
					break;
				}
				else u^=num[i];
			}
		}
	}
	bool check(int u)
	{
		int i;
		for(i=MAX_LOG;i>=0;i--)
		{
			if(u&(1 << i))
			{
				if(!num[i])
				{
					return 0;
				}
				else u^=num[i];
			}
		}
		return 1;
	}

查询最大值

用贪心的思想来做.
从高到低遍历数组,如果ans Xor第i位的那个数后大于ans,则Xor这个数,因为这样可以保证ans第i位为1,且后面不可能有机会改变第i位.

代码

	int ask_max()
	{
		int res=0,i;
		for(i=MAX_LOG;i>=0;i--)
		{
			if((res^num[i])>res) res^=num[i];
		}
		return res;
	}

查询最小值

此时数组中最小的非零数就是最小值

代码

	int ask_min()
	{
		int i;
		for(i=0;i<=MAX_LOG;i++)
		{
			if(num[i]) return num[i];
		}
	}

查询第k小/大

首先将数组中的所有数变成包含这个最高位且可以通过Xor得到的最小值.
具体实现方法就是每一位向后扫,若Xor后变小,则Xor.
之后就可以发现第k大/小只要将k改为二进制后,将二进制所对应的位置的数Xor起来即可.

代码

	int ask_kth(int k)
	{
		int i,j,tmp[MAX_LOG],tt=-1,res=0;
		for(i=0;i<=MAX_LOG;i++)
		{
			for(j=i-1;j>=0;j--)
			{
				if(num[i]&(1 << j)) num[i]^=num[j];
			}
			if(num[i]) tmp[++tt]=num[i];
		}
		for(i=0;i<=tt;i++)
		{
			if((1 << i)&k) res^=tmp[i];
		}
		return res;
	}

模板代码

struct Xxj
{
	int num[MAX_LOG];
	void init()
	{
		memset(num,0,sizeof(num));
	}
	void insert(int u)
	{
		int i;
		for(i=MAX_LOG;i>=0;i--)
		{
			if(u&(1 << i))
			{
				if(!num[i])
				{
					num[i]=u;
					break;
				}
				else u^=num[i];
			}
		}
	}
	bool check(int u)
	{
		int i;
		for(i=MAX_LOG;i>=0;i--)
		{
			if(u&(1 << i))
			{
				if(!num[i])
				{
					return 0;
				}
				else u^=num[i];
			}
		}
		return 1;
	}
	int ask_max()
	{
		int res=0,i;
		for(i=MAX_LOG;i>=0;i--)
		{
			if((res^num[i])>res) res^=num[i];
		}
		return res;
	}
	int ask_min()
	{
		int i;
		for(i=0;i<=MAX_LOG;i++)
		{
			if(num[i]) return num[i];
		}
	}
	int ask_kth(int k)
	{
		int i,j,tmp[MAX_LOG],tt=-1,res=0;
		for(i=0;i<=MAX_LOG;i++)
		{
			for(j=i-1;j>=0;j--)
			{
				if(num[i]&(1 << j)) num[i]^=num[j];
			}
			if(num[i]) tmp[++tt]=num[i];
		}
		for(i=0;i<=tt;i++)
		{
			if((1 << i)&k) res^=tmp[i];
		}
		return res;
	}
};