bzoj 4589 Hard Nim —— FWT

题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4589

先手必败,是一开始所有石子的异或和为0;

生成函数 (xpri[1] + xpri[2] + ... + xpri[k])n,pri[k] <= m

FWT求解即可;

而且不要快速幂里面每次变换来变换去的,只有快速幂前后需要变换。

代码如下:

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
int const xn=(1<<16),mod=1e9+7;
int n,m,a[xn],b[xn],lim,inv,cnt,pri[xn];
bool vis[xn];
void init()
{
  int mx=xn-1;
  for(int i=2;i<=mx;i++)
    {
      if(!vis[i])pri[++cnt]=i;
      for(int j=1;j<=cnt&&(ll)i*pri[j]<=mx;j++)
    {
      vis[i*pri[j]]=1;
      if(i%pri[j]==0)break;
    }
    }
}
int upt(int x){while(x>=mod)x-=mod; while(x<0)x+=mod; return x;}
ll pw(ll a,int b)
{
  ll ret=1;
  for(;b;b>>=1,a=(a*a)%mod)if(b&1)ret=(ret*a)%mod;
  return ret;
}
void fwt(int *a,int tp)
{
  for(int mid=1;mid<lim;mid<<=1)
    for(int j=0,len=(mid<<1);j<lim;j+=len)
      for(int k=0;k<mid;k++)
    {
      int x=a[j+k],y=a[j+mid+k];
      a[j+k]=upt(x+y); a[j+mid+k]=upt(x-y);
      if(tp==-1)a[j+k]=(ll)a[j+k]*inv%mod,a[j+mid+k]=(ll)a[j+mid+k]*inv%mod;
    }
}
int main()
{
  inv=pw(2,mod-2); init();
  while(scanf("%d%d",&n,&m)==2)
    {
      memset(a,0,sizeof a);
      for(int i=2;i<=m;i++)if(!vis[i])a[i]=1;
      memset(b,0,sizeof b); b[0]=1;
      lim=1; while(lim<=m)lim<<=1;
      fwt(a,1); fwt(b,1);
      for(;n;n>>=1)
    {
      if(n&1)for(int i=0;i<lim;i++)b[i]=(ll)a[i]*b[i]%mod;
      for(int i=0;i<lim;i++)a[i]=(ll)a[i]*a[i]%mod;
    }
      fwt(b,-1);
      printf("%d\n",b[0]);
    }
  return 0;
}

原文地址:https://www.cnblogs.com/Zinn/p/10040007.html

时间: 2024-11-15 00:59:00

bzoj 4589 Hard Nim —— FWT的相关文章

bzoj 4589 Hard Nim——FWT

题目:https://www.lydsy.com/JudgeOnline/problem.php?id=4589 一开始异或和为0的话先手必败.有 n 堆,每堆可以填那些数,求最后异或和为0的方案数,就是一个快速幂的异或FWT. 注意快速幂的过程中对那些数组直接乘就行,不用总是FWT!!! 为什么比Zinn慢了1008ms? #include<iostream> #include<cstdio> #include<cstring> #include<algorit

bzoj 4589: Hard Nim

传送门 先筛出m以内的质数,g[i]表示i是否是素数 f[i][j]表示前n堆数异或和为j的方案数. f[0][0]=1; f[0][1]~f[0][m]=0; f[i][j] = sigma( f[i-1][k] * g[k^j] ) 发现这个玩意满足乘法结合律 ∴ f[n][] = sigma(f[0][]*g[]*g[]*g[]*g[]--) =sigma(f[0]*g[]^n) ; f[0][]为单位元 所以ans=g[]^n g[]^n可以用FWT+快速幂来算,时间复杂度就是log^2

bzoj4589: Hard Nim fwt

题意:求n个m以内的素数亦或起来为0的方案数 题解:fwt板子题,先预处理素数,把m以内素数加一遍(下标),然后fwt之后快速幂即可,在ifwt之后a[0]就是答案了 /************************************************************** Problem: 4589 User: walfy Language: C++ Result: Accepted Time:4984 ms Memory:1928 kb *****************

【BZOJ 2819】 Nim

2819: Nim Time Limit: 20 Sec  Memory Limit: 128 MB Submit: 926  Solved: 355 [Submit][Status] Description 著名游戏设计师vfleaking,最近迷上了Nim.普通的Nim游戏为:两个人进行游戏,N堆石子,每回合可以取其中某一堆的任意多个,可以取完,但不可以不取.谁不能取谁输.这个游戏是有必胜策略的.于是vfleaking决定写一个玩Nim游戏的平台来坑玩家. 为了设计漂亮一点的初始局面,vfl

BZOJ 3105 新Nim游戏

注意到线性基的非空子集的异或都不是0. 我们的目的就是消出这样一个线性基,是对面再怎么拿,异或和都是1. 从大到小排序消就好了 #include<iostream> #include<cstdio> #include<cstring> #include<algorithm> #define maxn 105 using namespace std; long long n,a[maxn],b[maxn],bit[32],ans=0,sum=0; bool v

【BZOJ】【2819】NIM

这题……咋说捏,其实是一道披着博弈论外衣的树上操作问题…… 随便用dfs序或者树链剖分转成序列,然后查询路径上的所有点的NIM和(异或和)就行了,毕竟除了是在树上以外,就是裸的NIM问题. 树链剖分:一开始把线段树写跪了,然后输出“Yes”和“No”的时候全部大写了,再然后发现线段树空间开小了…… 代码如下: 1 //BZOJ 2819 2 #include<cstdio> 3 #include<vector> 4 #include<cstring> 5 #includ

【BZOJ】4147: [AMPPZ2014]Euclidean Nim

[算法]博弈论+数论 [题意]给定n个石子,两人轮流操作,规则如下: 轮到先手操作时:若石子数<p添加p个石子,否则拿走p的倍数个石子 : 轮到后手操作时:若石子数<q添加q个石子,否则拿走q的倍数个石子 . 拿走所有石子的人胜利,问先手是否必胜,或输出游戏会永远进行下去 [题解]引用自:BZOJ 4147 AMPPZ2014 Euclidean Nim 博弈论+数论 by popoqqq 施工中--

BZOJ 1874 取石子游戏 (NIM游戏)

题解:简单的NIM游戏,直接计算SG函数,至于找先手策略则按字典序异或掉,去除石子后再异或判断,若可行则直接输出. #include const int N=1005; int SG[N],b[N],hash[N],a[N],sum,tmp,i,j,n,m; void FSG(int s){ SG[0]=0; for(int i=1;i<=s;i++){ for(int j=1;b[j]<=i&&j<=m;j++)hash[SG[i-b[j]]]=i; for(int j

BZOJ 3105:[cqoi2013]新Nim游戏

BZOJ 3105:[cqoi2013]新Nim游戏 题目链接:http://www.lydsy.com/JudgeOnline/problem.php?id=3105 题目大意:在传统的Nim取石子游戏中做了改变:两人刚开始可以取走任意堆石子(不包括全部)后进行传统游戏,问先手能否必胜,若必胜求出刚开始最少取多少石子. 线性基 传统Nim游戏先手必胜的前提条件为$a_0 \lxor a_1 \lxor a_2 \lxor ... \lxor a_{n-1} \neq 0$. 故若欲使新Nim游