当前位置: 首页 > news >正文

已完成今日求所有满足长为 $a$ 的和为 $b$ 的按位或为 $c$ 的非负整数序列的异或和的异或和大学习

给定 \(a\)\(b\)\(c\)

求所有满足长为 \(a\) 的和为 \(b\) 的按位或为 \(c\) 的非负整数序列的异或和的异或和。

\[c\le 2^{20}, a \le 2^{40}, b \le 2^{60} \]


所有方案轮换对称,所以仅考虑 \(n\) 为奇数。

钦定第 \(1\) 个数的第 \(i\) 位为 \(1\),方案数为:

\[\begin{align*} &\sum_{c'\subseteq c} (-1)^{|c|-|c'|}\sum_{2^i\in t_1, t_1+t_2+...+t_a=b}\prod_{j=1}^a[t_j\subseteq c'] \\ \equiv &\sum_{c'\subseteq c}\sum_{2^i\in t_1, t_1+t_2+...+t_a=b}\prod_{j=1}^a\binom {c'}{t_i} \\ \equiv& \sum_{c'\subseteq c}\binom {ac'-2^i}{b-2^i} \pmod 2 \end{align*} \]

枚举 \(c'\)\(i\) 即可 \(\mathcal O(c\log c)\) 解决。

http://www.hskmm.com/?act=detail&tid=9947

相关文章:

  • Hello Yqc!
  • 2025.9.19——卷9-10选择
  • 软件工程学习日志2025.9.19
  • ECT-OS-JiuHuaShan 框架元推理,是人类良医与福音
  • upload-labs全通关
  • SAPO去中心化训练:多节点协作让LLM训练效率提升94%
  • mybatis-plus学习笔记
  • 区间问题
  • 操作系统,知识体系一共包含哪些部分? - 实践
  • vscode 下载 VS Code Server 卡住(无需手动下载)
  • 查询本地IPV6 地址
  • 解决 Ubuntu 25.04 下 make menuconfig 报 ncurses 错误的问题 - 指南
  • web359
  • web360
  • 缺失的第一个正数-leetcode
  • hbase的安装应用
  • 如何在后端优雅地生成并传递动态错误提示?
  • 深入解析:Java全栈开发面试实录:从基础到微服务的实战解析
  • web358
  • 04_Redis凭啥这么牛:核心特性剖析
  • WPF包
  • 惊爆!Flutter消息通道的超神全解析!
  • ctfshow web351
  • ctfshow web353
  • Linux虚拟机常用命令与Hadoop生态组件启动大全
  • BGP路由属性与选路-1
  • private void Form1_Load和 private void Form1_Activated 方法区别
  • BGP反射路由器
  • HarmonyOS Stage模型与ArkTS:现代应用开发的核心架构与最佳实践 - 详解
  • H5 页面与 Web 页面的制作方法 - 实践