【学习笔记】ARC144
没办法只能vp了
K Derangement
- arc 的题找规律风险还是蛮大的
- 显然我们要按 n n n, K K K分类讨论
- 不难发现 n = 2 K n=2K n=2K时存在最优构造
- 显然 n ≥ 2 K n\ge 2K n≥2K时有解
- 因此递归构造即可
- 我来浅证一下 n ∈ [ 2 K , 4 K ) n\in [2K,4K) n∈[2K,4K) 时结论的正确性
- 假设 n ∈ [ 2 K , 3 K ] n\in [2K,3K] n∈[2K,3K]
- 首先给出构造 ( K + 1 , . . , n , ∣ 1 , 2 , . . . , K ) (K+1,..,n,|1,2,...,K) (K+1,..,n,∣1,2,...,K)
- 如果我交换前半段和后半段的数
- 前半段的数会被挤到后半段去
- 这个数至少是 2 K + 1 2K+1 2K+1
- 显然在 [ n − K + 1 , n ] [n-K+1,n] [n−K+1,n]中不存在解
- 假设 n ∈ ( 3 K , 4 K ] n\in (3K,4K] n∈(3K,4K]
- 可以将前半部分和后半部分交换一段
- 给出构造 ( K + 1 , . . . , 2 K , 1 , . . . , n − 3 K , n − K + 1 , . . . , n , ∣ n − 3 K + 1 , . . . , K , 2 K + 1 , . . . , n − K ) (K+1,...,2K,1,...,n-3K,n-K+1,...,n,|n-3K+1,...,K,2K+1,...,n-K) (K+1,...,2K,1,...,n−3K,n−K+1,...,n,∣n−3K+1,...,K,2K+1,...,n−K)
- 注意到如果我们把 n − 3 K + 1 n-3K+1 n−3K+1换到前面去的话,至少会把 n − K + 1 n-K+1 n−K+1换到后面去
- 显然是无解的
话说为什么我要证得这么详细
AND OR Equation
GCD of Path Weights
__EOF__

本文作者:仰望星空的蚂蚁
本文链接:https://www.cnblogs.com/cqbzly/p/17530122.html
关于博主:评论和私信会在第一时间回复。或者直接私信我。
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力!
本文链接:https://www.cnblogs.com/cqbzly/p/17530122.html
关于博主:评论和私信会在第一时间回复。或者直接私信我。
版权声明:本博客所有文章除特别声明外,均采用 BY-NC-SA 许可协议。转载请注明出处!
声援博主:如果您觉得文章对您有帮助,可以点击文章右下角【推荐】一下。您的鼓励是博主的最大动力!
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 全程不用写代码,我用AI程序员写了一个飞机大战
· MongoDB 8.0这个新功能碉堡了,比商业数据库还牛
· 记一次.NET内存居高不下排查解决与启示
· 白话解读 Dapr 1.15:你的「微服务管家」又秀新绝活了
· DeepSeek 开源周回顾「GitHub 热点速览」
2021-07-17 【题解】Alice ans Bob(博弈论)