当前位置: 首页 > 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.jsqmd.com/news/192/

相关文章:

  • 集群无法启动CRS-4124: Oracle High Availability Services startup failed - 指南
  • Hello Yqc!
  • 2025.9.19——卷9-10选择
  • 软件工程学习日志2025.9.19
  • ctfshow web 入门 php特性
  • ECT-OS-JiuHuaShan 框架元推理,是人类良医与福音
  • upload-labs全通关
  • SAPO去中心化训练:多节点协作让LLM训练效率提升94%
  • 区间问题
  • 操作系统,知识体系一共包含哪些部分? - 实践
  • vscode 下载 VS Code Server 卡住(无需手动下载)
  • 详细介绍:Git如何无痕上传当前项目最新状态从当前远程到另一个远程
  • 【qt】全局事件总线
  • 查询本地IPV6 地址
  • 深入解析:React Device Detect 完全指南:构建响应式跨设备应用的最佳实践
  • ctfshow web89
  • ctfshow web90
  • 解决 Ubuntu 25.04 下 make menuconfig 报 ncurses 错误的问题 - 指南
  • web359
  • 实用指南:Android中handler机制
  • web360
  • 缺失的第一个正数-leetcode
  • hbase的安装应用
  • 如何在后端优雅地生成并传递动态错误提示?
  • ctfshow web357
  • 深入解析:Java全栈开发面试实录:从基础到微服务的实战解析
  • 实用指南:设计模式:建造者模式
  • web358
  • 谁会不爱低温静音 性能还更强的!酷睿Ultra 5 230F vs 锐龙5 9600X生产力、功耗、温度全方位对比
  • 04_Redis凭啥这么牛:核心特性剖析