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

狡兔三窟

题目大意:

\(n\) 层,每一层都有 \(k\) 个点,只有相邻的两层之间会有连边,且给定。
\(f_{l,r}\) 表示 \(l\) 层到第 \(r\) 层最多能选出来多少不交的路径。
\(\sum_{l = 1}^{n} \sum_{r = l + 1}^{n} f(l,r)\)
\(n \le 4 \times 10^4, k \le 9\)

解题思路:

考虑拆 \(f(l,r)\),即要对每个 \(x\) 求出来有多少 \(f(l,r) \ge x\)
那么枚举 \(x\),注意到前面对对后面的唯一影响是第 \(i\) 层的选点方案,于是 \(dp_{i,S}\) 表示前 \(i\) 个点,第 \(i\) 个点的选点方案为 \(S\) 的最小左端点。
考虑转移时的判定,显然 \(\text{Hall}\) 定理比较合适,因为我们要相当于 \(\text{check}\) 每一个 \(S\) 能匹配的下一个集合。
\(\text{flow and dp}\) 显然都是不合适的。

那么考虑如何 \(\text{check}\) 一个 \(A\) 能否到达 \(B\),设 \(g_{S}\) 表示 \(S\) 向下一层有边的点的集合。

\[\forall_{S \subseteq A} \text{SZ} (g_{S} \text{ AND } B) \ge \text{SZ} S \]

http://www.jsqmd.com/news/519802/

相关文章:

  • Day1---Markdown
  • Chord本地智能视频分析工具体验:无需网络,上传即分析,隐私安全
  • 基于KART-RERANK的Keil5工程文件智能管理与代码片段推荐
  • Ruoyi Cloud本地开发环境搭建全攻略:从Docker容器到Nacos配置中心
  • 2026年股权融资咨询怎么选?这份高性价比榜单值得参考 - 2026年企业推荐榜
  • 2026年河北伸缩看台服务商综合能力评估与选择指南 - 2026年企业推荐榜
  • 从管道检测到心电分析:ICEEMDAN混合降噪法的跨界实战,远不止信号去噪那么简单
  • SPIRAN ART SUMMONER新手教程:Ubuntu系统环境配置与模型加载全流程
  • 硬件工程师必备的EMC设计思维与实战指南
  • 软件兼容性测试避坑指南:从环境配置到问题定位的5个实战技巧
  • python+flask+vue3的云端网上书城 图书商城销售听书系统
  • React15 - 如何在React 15中实现自定义的事件订阅与发送(例如组件间通信)
  • MakeBlockDrive驱动库深度解析:硬件抽象与模块化控制
  • 裸机环境下I²C总线-设备分层抽象设计与实现
  • 2026年Q1装修风格如何选?五大耐看高级服务商深度测评 - 2026年企业推荐榜
  • SmolVLA快速部署:GitHub Actions自动化构建smolvla镜像流程
  • Javino协议:嵌入式多智能体机器人串行通信中间件
  • 某讯验证码逆向实战:解密滑块/云验证码/天御/防水墙中的collect、eks、ans等关键参数
  • 手把手教你用ComfyUI Qwen:上传人脸,秒变多风格全身照
  • Minio和Ceph的License详解:AGPLv3 vs LGPL,如何避免商业使用中的法律风险?
  • Arduino声音传感器除了做声控灯,还能玩出什么花样?分享3个创意项目思路
  • RC6红外协议嵌入式库:轻量级C++实现与工程实践
  • Ostrakon-VL-8B赋能微信小程序:图像识别与内容生成实战
  • 2026安徽3+2院校全景调研:发展趋势、头部机构解析与科学择校策略 - 2026年企业推荐榜
  • 基于STM32的温室环境智能监控系统设计
  • 嵌入式C语言面向对象实践与TDD工程方法
  • DevOps05-k8s:Helm【在k8s内进行应用管理】
  • 瑞萨RX MCU在BLDC电机控制中的创新应用与实践
  • 卡尔曼滤波。 1、卡尔曼滤波的含义是现时刻的最佳估计为在前一时刻的最佳估计的基础上根据现时刻的...
  • SUPER COLORIZER模型服务化架构:利用Docker实现一键部署与弹性伸缩