[luogu5387]人形演舞
先对每一个求sg函数,暴力复杂度为$o(m^{2})$
取$k$满足$2^{k}\le x<2^{k+1}$(即$x$二进制下的最高位),考虑$y$与$2^{k}$的关系
1.若$1\le y<2^{k}$,那么必然有$1\le y\le x$,因此仅要求$0\le (x\oplus y)<x$
由于$y$的第$k$位为0且$x$的第$k$位为1,因此$2^{k}\le (x\oplus y)<x$,同时对于其中任意一个取值,根据异或的可逆性,都可以得到
2.若$2^{k}\le y\le x$,类似的必然有$0\le (x\oplus y)\le x-2^{k}$,同样其中任意一个取值都可以得到
换言之,$x$的后继的范围为$[0,x-2^{k}]\cup[2^{k},x)$,归纳$sg(x)=x-2^{k}+1$,则$sg(2^{k})=1$(其后继只有$sg(0)=0$),然后$sg(x)=mex(sg(0),sg([2^{k},x]))\ge x-2^{k}+1$
同时,由于$sg(x)\le x$,因此前面半段不能增加答案,即得到结论
进一步的,即求$\sum_{\bigoplus_{i=1}^{n}sg(a_{i})=0}1$,令$f_{n}(x)=\sum_{i=0}^{\infty}(\sum_{\bigoplus_{j=1}^{n}sg(a_{j})=i}1)x^{i}$,定义乘法为两式的异或卷积,即有$f_{n}(x)=f_{n-1}(x)f_{1}(x)=f^{n}_{1}(x)$,用快速幂+FWT计算,时间复杂度为$o(m\log_{2}n\log_{2}m)$
然后注意到FWT和IFWT的执行,在快速幂中存在重复,因此只需要在最开始和结尾执行一次,时间复杂度降为$o(m(\log_{2}mod+\log_{2}m))$,即可通过
1 #include<bits/stdc++.h>
2 using namespace std;
3 #define mod 998244353
4 int n,ans,f[2000005];
5 long long m;
6 int main(){
7 scanf("%lld%d",&m,&n);
8 m%=mod-1;
9 for(int i=0;i<20;i++)
10 for(int j=(1<<i);j<=min((1<<i+1)-1,n);j++)f[j-(1<<i)+1]++;
11 for(int i=0;i<20;i++)
12 for(int j=0;j<(1<<20);j++)
13 if (j&(1<<i)){
14 int x=f[j],y=f[(j^(1<<i))];
15 f[(j^(1<<i))]=(x+y)%mod;
16 f[j]=(y+mod-x)%mod;
17 }
18 for(int i=0;i<(1<<20);i++){
19 int x=f[i],y=m;
20 f[i]=1;
21 while (y){
22 if (y&1)f[i]=1LL*f[i]*x%mod;
23 x=1LL*x*x%mod;
24 y>>=1;
25 }
26 }
27 for(int i=0;i<20;i++)
28 for(int j=0;j<(1<<20);j++)
29 if (j&(1<<i)){
30 int x=f[j],y=f[(j^(1<<i))];
31 f[(j^(1<<i))]=1LL*(mod+1)/2*(x+y)%mod;
32 f[j]=1LL*(mod+1)/2*(y+mod-x)%mod;
33 }
34 for(int i=1;i<(1<<20);i++)ans=(ans+f[i])%mod;
35 printf("%d",ans);
36 }
[luogu5387]人形演舞的更多相关文章
- 天天坐在电脑面前,小心抑郁!来自一个人的旅行<自导自演>
画图画累了?写代码写累了?何不放松一下呢. 一望无际.亲近自然.忘乎所以.放空自我! 一个人的旅行, GoPro拍摄,后期采用FCPX.记录梦想, 自导自演.一个人去了很多地方, 认识和很多当地人,交 ...
- 从匿名方法到 Lambda 表达式的推演过程
Lambda 表达式是一种可用于创建委托或表达式目录树类型的匿名函数. 通过使用 lambda 表达式,可以写入可作为参数传递或作为函数调用值返回的本地函数. 以上是msdn官网对Lambda 表达式 ...
- tyvj1191 迎春舞会之三人组舞
背景 HNSDFZ的同学们为了庆祝春节,准备排练一场舞 描述 n个人选出3*m人,排成m组,每组3人. 站的队形——较矮的2个人站两侧,最高的站中间. 从对称学角度来欣赏, ...
- 从下往上看--新皮层资料的读后感 第三部分 70年前的逆向推演- 从NN到ANN
第三部分 NN-ANN 70年前的逆向推演 从这部分开始,调整一下视角主要学习神经网络算法,将其与生物神经网络进行横向的比较,以窥探一二. 现在基于NN的AI应用几乎是满地都是,效果也不错,这种貌似神 ...
- OpenCV人形检测Hog
#include "iostream" #include "queue" using namespace std; #include "opencv2 ...
- C语言 数组做函数参数退化为指针的技术推演
//数组做函数参数退化为指针的技术推演 #include<stdio.h> #include<stdlib.h> #include<string.h> //一维数组 ...
- Web Design:欧美人形剪影的404界面
项目需求,必须得写个404界面,比较愁,因为网站属于那种电商+艺术品拍卖的网站,404界面不太好设计 很多时候网站直接代码报错输出404,不过设计过的404也有好处,比如改进用户体验.增强互动性之类的 ...
- Java 炫舞按键功能 DancingPlay (整理)
/** * Java 炫舞按键功能 DancingPlay (整理) * 2016-1-2 深圳 南山平山村 曾剑锋 * * 设计声明: * 1.本次设计是模仿QQ炫舞类游戏,当图标到红色的检测区域时 ...
- [转] 与调试器共舞 - LLDB 的华尔兹
你是否曾经苦恼于理解你的代码,而去尝试打印一个变量的值? NSLog(@"%@", whatIsInsideThisThing); 或者跳过一个函数调用来简化程序的行为? NSNu ...
随机推荐
- Python爬取 | 王者荣耀英雄皮肤海报
这里只展示代码,具体介绍请点击下方链接. Python爬取 | 王者荣耀英雄皮肤海报 import requests import re import os import time import wi ...
- java设计模式_单例模式
懒汉式 非线程安全 特点:Lazy 初始化.非多线程安全.易实现 描述:这种方式是最基本的实现方式,这种实现最大的问题就是不支持多线程.因为没有加锁 synchronized,所以严格意义上它并不算单 ...
- Longhorn 云原生容器分布式存储 - 故障排除指南
内容来源于官方 Longhorn 1.1.2 英文技术手册. 系列 Longhorn 是什么? Longhorn 云原生容器分布式存储 - 设计架构和概念 Longhorn 云原生容器分布式存储 - ...
- webRTC中语音降噪模块ANS细节详解(二)
上篇(webRTC中语音降噪模块ANS细节详解(一))讲了维纳滤波的基本原理.本篇先给出webRTC中ANS的基本处理过程,然后讲其中两步(即时域转频域和频域转时域)中的一些处理细节. ANS的基本处 ...
- vue2和vue3比较
一.vue3新特性: 1.数据响应重新实现(ES6的proxy代替Es5的Object.defineProperty) 2.源码使用ts重写,更好的类型推导 3.虚拟DOM新算法(更快,更小) 4.提 ...
- 【UE4 C++ 基础知识】<15> 智能指针 TSharedPtr、UniquePtr、TWeakPtr、TSharedRef
基本概念 UE4 对 UObject 对象提供垃圾回收 UE4 对原生对象不提供垃圾回收,需要手动进行清理 方式 malloc / free new / delete new与malloc的区别在于, ...
- 论文解读丨表格识别模型TableMaster
摘要:在此解决方案中把表格识别分成了四个部分:表格结构序列识别.文字检测.文字识别.单元格和文字框对齐.其中表格结构序列识别用到的模型是基于Master修改的,文字检测模型用到的是PSENet,文字识 ...
- 通过Envoy实现.NET架构的网关
什么是Gateway 在微服务体系结构中,如果每个微服务通常都会公开一组精细终结点,这种情况可能会有以下问题 如果没有 API 网关模式,客户端应用将与内部微服务相耦合. 在客户端应用中,单个页面/屏 ...
- .NET Core TLS 协议指定被我钻了空子~~~
前言 此前,测试小伙伴通过工具扫描,平台TLS SSL协议支持TLS v1.1,这不安全,TLS SSL协议至少是v1.2以上才行,想到我们早已将其协议仅支持v1.3,那应该非我们平台问题.我依然自信 ...
- uvm中类继承和phase
1,uvm中类继承关系如下所示 2,uvm中phase如下所示