摘要：
[Note] 图解【模板】插头 DP 阅读全文
posted @ 2025-05-12 19:53
haozexu
阅读(6)
评论(0)
推荐(0)
摘要：
[Entertain] 证明 CF868F-P5574 的类莫队算法 该算法详见 CF868F Yet Another Minimization Problem - 洛谷 (luogu.com.cn) 与 P5574 [CmdOI2019] 任务分配问题 - 洛谷 (luogu.com.cn) 题解 阅读全文
posted @ 2025-05-09 16:07
haozexu
阅读(14)
评论(0)
推荐(0)
摘要：
[Entertain] 20250404 T1 之 "容易发现" 一个序列 \(a\)，若长度为 \(n\)，冒泡排序（递增） \(k\) 轮之后，前 \(i\) 个数会变成原序列前 \(\min(i+k,|a|)\) 个数中较小的 \(i\) 个。 先对于 \(k=1\) 说明。我们知道一个序列中 阅读全文
posted @ 2025-05-04 15:19
haozexu
阅读(8)
评论(0)
推荐(0)
摘要：
[Entertain] 一则容斥原理复杂度分析 可以感受推式子的过程其实是无意间在用组合意义转化的 本文同一用 \(\cap\) 表示按位与，\(\cup\) 表示按位或，\(\vert S\vert\) 表示 \(\operatorname{popcount}(S)\)。 有一个对于所有 \(S\ 阅读全文
posted @ 2025-04-18 10:07
haozexu
阅读(3)
评论(0)
推荐(0)
摘要：
[Entertain] 2025.04.17 T1 贪心证明 考试的时候使用了一个贪心算法，现在试证其正确性。 Part 1. 贪心过程 深度优先遍历整棵树，回溯时，重复执行：从子树中找一个提上来之后收益最大的棋子，重复操作直到找不到为止。 Part 2. 正确性证明 采用决策包容性证明贪心策略，由 阅读全文
posted @ 2025-04-17 16:03
haozexu
阅读(20)
评论(0)
推荐(0)
摘要：
Valuable Problem 1. 20250416-B 三项式 Entry 1 我知道为什么卡住了，因为我不知道怎么处理数位和 其实直接数位 DP 这个和就可以了，然后设出进位等等就好做了 其实不是什么很大的弯转不过来，场上肯定也有这个想法，但是 出于懈怠和不自信的理由，没有摆脱原先的思路。 阅读全文
posted @ 2025-04-16 21:56
haozexu
阅读(11)
评论(0)
推荐(0)
摘要：
[Entertain]2025.04.16 T3 证明 若 \(G=(V,E)\) 是一张 \(3n\) 个点 \(m\) 条边的简单无向联通图，现在求 \(V\) 的一个划分 \(V_1,V_2,V_3\) 满足 \(V_1\cup V_2\cup V_3=V\)，且两两之间没有交，并且满足下面三 阅读全文
posted @ 2025-04-16 17:00
haozexu
阅读(10)
评论(0)
推荐(0)
摘要：
杂题 I P5471 [NOI2019] 弹跳 本题有简单的 KDT 优化建图做法，可以不建出边，而是对于每一弹跳机在 KDT 上查询。 与之类似的，我们还有更优秀的方法。 以下，我们称一个点被扩展，就是说将它的出边进行松弛，说一个点被松弛，就是通过其他点更新了起点到它的最短路长度。 根据 Dijk 阅读全文
posted @ 2025-03-20 18:21
haozexu
阅读(6)
评论(0)
推荐(0)
摘要：
省选算法复习 相比于之前还是有很多更加深入的理解 qwq 1. 线段树优化建图 当我们需要向区间内所有点连边或者从区间中所有点连到某个点的时候，便可以使用线段树来优化，如果需要从区间每一个点连到另一个区间每一个点的话，加一个虚点就好了。 这不是一个很困难的技巧，关键在于要建模。 P5471 [NOI 阅读全文
posted @ 2025-03-20 18:08
haozexu
阅读(31)
评论(0)
推荐(1)
浙公网安备 33010602011771号