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

AGC 039

C

容易发现一次操作是循环移位后最高位取反。

可以证明 \(k\) 次操作可以让 \(X\) 回到原始值,当且仅当 \(k\) 是偶数且 \(X\) 由奇数个长度为 \(\frac k 2\) 的串,不断取反并连接形成。这个结论打下表就发现了,然后证明也不是很难。知道了这个结论后就没啥难的了。

D

我求你了别在主线正赛出这种题,我什么都会做的。

E

如果对这个组合对象比较熟悉,应该会知道一个定理:交叉图为树的弦图数量,恰好是满三叉树的数量。上面这个等式和这个题的分析方法是基本一致的。

off topic:Fuss-Catalan 数。有 \(m\) 个非叶子节点,每个非叶子节点恰好有 \(k\) 个儿子,的树数量 \(C_m^{(k)}=\frac 1{(k-1)m+1}\binom{km}{m}\),满足递推关系 \(C_m^{(k)}=\sum_{a_1+\dots+a_k=m-1}C_{a_1}^{(k)}C_{a_2}^{(k)}\cdots C_{a_k}^{(k)}\)

考虑设 \(f_{l,r,k}\) 表示区间 \([l,r]\) 的点中,有且仅有 \(k\) 连了一条到区间外的边,其他点在内部两两配对的方案数。显然不会有两条跨过 \(k\) 的相交线,且必须有至少一条,否则 \(k\) 的左右两边不连通。那么我们枚举最终答案中最靠上的一条,设为 \((x,y)\),那么内部的点一定可以分为三个区间,设左区间为 \([l,p]\),有且仅有 \(x\) 连到区间外面;中区间为 \((p,q)\),有且仅有 \(k\) 连到区间外面;右区间为 \([q,r]\),有且仅有 \(y\) 连到区间外面。于是我们以 \(n^4\) 的枚举量递归了子问题。实际上,这种分析方式和开头提到的计数问题的分析方式完全一致。复杂度是 \(\mathrm O(n^7)\) 的,常数极小,可以通过,用一些简单的分步转移可以做到 \(\mathrm O(n^5)\)

F

有两种做法。

第一种是容斥做法,我们在确定 \(x_i=\min_{j=1}^m a_{i,j},y_i=\min_{j=1}^n a_{j,i}\) 后,可以确定矩阵的权值为 \(\prod_{i=1}^n\prod_{j=1}^m\min(x_i,y_j)\),还需要乘上合法的矩阵个数。我们进行组合意义的转化:计算满足 \(A_{i,j}\ge\max(x_i,y_j),B_{i,j}\le\min(x_i,y_j)\) 且对于每个 \(i\) 至少有一个 \(A_{i,j}=x_i\) 和一个 \(A_{j,i}=y_i\) 的矩阵二元组 \((A,B)\) 个数,可以看做 \(A\) 是一个任意合法矩阵,而 \(B\)\(\prod_{i=1}^n\prod_{j=1}^m\min(x_i,y_j)\) 拆出的组合意义。我们发现第二条限制很难看,对它进行容斥,容易发现答案为 \(f(x)-f(x+1)\) 状物,只需钦定 \(a\)\(b\) 列,将这些行的 \(x\) 限制加一,这些列的 \(y\) 限制加一,带上 \((-1)^{a+b}\) 的容斥系数即可。注意这个容斥只对 \(A\) 做,\(B\) 的计算过程不需要改变。进行容斥之后,我们就可以 dp 了,设 \(f_{t,i,j}\) 表示填了 \([1,t]\),确定了 \(i\)\(j\) 列的所有方案的一坨系数的和。我们分步转移,先转移没有容斥限制的行/列,再转移有容斥限制的,因为本质上有容斥限制的应该和 \(t+1\) 同一批转移。转移系数考虑与当前行(列同理)相交的所有列,如果一个列的 \(y_j\) 已经在之前被确定了,那么对于这个列和当前行的交点 \((i,j)\),我们可以知道 \(\max(x_i,y_j)=t\),于是 \(A_{i,j}\) 的取值范围也就被确定了,需要带上一个 \((K-t+1)\) 的系数;否则一个列的 \(y_j\) 还没有确定,那么我们能确定的是交点 \((i,j)\)\(\min(x_i,y_j)=t\),于是 \(B_{i,j}\) 的取值范围被确定了,需要带上一个 \(t\) 的系数。容易发现,这些系数的乘积只需要知道之前填的列的数量即可确定。于是就做完了。

第二种做法。暂时不写了。

http://www.rkmt.cn/news/1384381.html

相关文章:

  • MobX社区资源大全:10个必备工具、插件和扩展库推荐 [特殊字符]
  • 探索Windows 10上的Android世界:揭秘WSA-Windows-10项目的3个技术突破
  • 别再死磕USB HID了!用ESP32的Arduino框架手把手教你实现蓝牙鼠标键盘(附完整代码)
  • 深度解析Crawl4AI:如何用智能异步爬虫为AI应用构建高质量数据管道
  • 论文写作告别 “玄学试错”:okbiye 毕业论文功能如何用标准化流程破解毕业焦虑
  • 5个必知的Universal-Updater高级功能:从QR扫描到后台安装
  • 二值响应假设检验:临界值精确构造与多重检验控制方法
  • Unity体素雾效VFM2:原理、性能与交互式雾气实现
  • 全国计算机技术与软件专业技术资格(水平)考试2015年上半年 下午试卷Ⅱ答题纸
  • 抖音批量下载助手终极指南:快速构建你的专属视频素材库
  • DeepSeek代码审查不是“开箱即用”,而是“精准调教”——资深架构师的6项定制化实践
  • 为Claude Code配置Taotoken以解决密钥被封与Token不足问题
  • 【DeepSeek注释生成优化实战指南】:20年AI工程师权威拆解3大瓶颈与5步提效法
  • 如何修复Play Integrity验证:2025年终极解决方案指南
  • grunt-webfont扩展开发:自定义输出与插件生态系统完整指南
  • AI技术开发企业知识库
  • SwipeSelector核心架构揭秘:从ViewPager到自定义组件的实现原理
  • 如何用Jasminum插件让Zotero完美支持中文文献管理:完整指南
  • AI 英语伴学APP开发
  • 保姆级教程:用Python+OpenCV+Mediapipe实现手势识别(附完整代码与FPS优化)
  • Lilac数据探索:如何通过语义搜索发现数据集隐藏价值
  • 收藏干货|2026 版企业 AI 落地实操指南,程序员小白入门避坑必备
  • 浏览器指纹识别机制深度剖析与反识别技术实现
  • XML Notepad插件开发教程:创建自定义编辑器和扩展功能
  • PPG 发布2025年度可持续发展报告:可持续产品销售创新高,减排目标超预期推进
  • 武汉国电华美16875kVA串联谐振试验装置,这手活儿细
  • AI当代,怎么利用好AI工具管理好项目风险?
  • Claude多方案对比评估终极 checklist:17项原子级验证项,仅限本周开放下载(2024Q2最新修订版)
  • MinPy强化学习应用:并行Actor-Critic算法实现
  • Claude数据库设计辅助的5层校验机制(语义一致性、事务边界、时序依赖、权限映射、迁移兼容性),行业首份技术白皮书级解析