BZOJ 3105: [cqoi2013]新Nim游戏 [高斯消元XOR 线性基]

时间:2024-01-11 16:20:02

以后我也要用传送门!


题意:一些数,选择一个权值最大的异或和不为0的集合


终于有点明白线性基是什么了...等会再整理

求一个权值最大的线性无关子集

线性无关子集满足拟阵的性质,贪心选择权值最大的,用高斯消元判断是否和已选择的线性相关

每一位记录pivot[i]为i用到的行

枚举要加入的数字的每一个二进制为1的位,如果有pivot[i]那么就异或一下(消元),否则pivot[i]=这个数并退出

如果最后异或成0了就说明线性相关...

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <bitset>
using namespace std;
typedef long long ll;
const int N=,INF=1e9;
inline int read(){
char c=getchar();int x=,f=;
while(c<''||c>''){if(c=='-')f=-;c=getchar();}
while(c>=''&&c<=''){x=x*+c-'';c=getchar();}
return x*f;
}
int n,a[N],bin[];
ll ans,sum;
void ini(){
bin[]=;
for(int i=;i<=;i++) bin[i]=bin[i-]<<;
}
int pivot[N];
void Gauss(){
for(int i=;i<=n;i++){
int _=a[i];
for(int j=;j>=;j--) if(a[i]&bin[j]){
if(pivot[j]) a[i]^=a[pivot[j]];
else {pivot[j]=i;break;}
}
if(a[i]) ans+=_;
}
}
int main(){
freopen("in","r",stdin);
ini();
n=read();
for(int i=;i<=n;i++) a[i]=read(),sum+=a[i];
sort(a+,a++n,greater<int>());
Gauss();
if(!ans) puts("-1");
else printf("%lld",sum-ans);
}

bzoj2460 一样的

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <cmath>
#include <bitset>
using namespace std;
typedef long long ll;
const int N=;
inline ll read(){
char c=getchar();ll x=,f=;
while(c<''||c>''){if(c=='-')f=-;c=getchar();}
while(c>=''&&c<=''){x=x*+c-'';c=getchar();}
return x*f;
}
int n,pivot[N];
ll ans,bin[N];
struct data{
ll a,w;
bool operator <(const data &r)const{return w>r.w;}
}a[N];
void ini(){
bin[]=;
for(int i=;i<=;i++) bin[i]=bin[i-]<<;
}
void Gauss(){
for(int i=;i<=n;i++){
for(int j=;j>=;j--) if(a[i].a&bin[j]){
if(pivot[j]) a[i].a^=a[pivot[j]].a;
else {pivot[j]=i;break;}
}
if(a[i].a) ans+=a[i].w;
}
}
int main(){
freopen("in","r",stdin);
ini();
n=read();
for(int i=;i<=n;i++) a[i].a=read(),a[i].w=read();
sort(a+,a++n);
Gauss();
printf("%lld",ans);
}