haozexu

摘要： P12431 [BalticOI 2025] Gingerbread 复杂度证明 性质一 当 \(n\ge 9\)，答案不大于 \(1\)。 证明： 引理一 \(\forall i\in\mathbb N^{+},i\perp (i+1)\) 证明：若 \(d\mid i,d\mid (i+1)\) 阅读全文

摘要： 如何使你的 GCC 变可爱（适配 Dev-C++） kawaii-gcc 项目通过修改 GCC 的本地化翻译文件，使得你的 GCC 变得可爱雌小鬼！ 1. 下载 kawaii-gcc 从 Github Bill-Haku/kawaii-gcc 下载编译后的 .mo 文件。 如果您能正常访问 GitH 阅读全文

摘要： 在属于我们的漫漫长夜里尽情起舞 20251107 上午 T1 正确性：下称连通块大小为该连通块内可用的度数和，初始时显然等于点数的二倍。关键性质，考虑用 \(w\) 最大的边将树分开后，所有达到最大不同块之间连边次数的方案，最后要么所有点都用完了，要么有剩下点的连通块为最大的那个连通块。 证明：考虑 阅读全文

摘要： 本文为负能量垃圾场。 观看 https://www.bilibili.com/video/BV1wAWqzJE3g/ 并且提取其中的主旨，写成一个动宾短语，共三个单词，均在视频文案中出现了，用下划线连接。 阅读全文

摘要： P10674 [MX-S1-T3] 电动力学 题解 提供一种比现有题解简单的 DP 方式和用到结论的证明。 首先，建立原图的圆方树，注意到如果两个圆点 \(x,y\in T\)，那么在圆方树上 \(x\to y\) 路径上的所有方点对应的点双连通分量中的点都能加入 \(S\)，为了证明这一点，我们需 阅读全文

摘要： 《Untitled》 注：如果您是搜索标题来的，对不起，本文和标题没有关系，只是作者犯中二病了想取个不明所谓的标题。虽然这和我当时的心境有很大关系。 20250918 P4794 [BalticOI 2018] Alternating Current / 交流电 ……都会变得，温暖，又明亮…… 展开 阅读全文

该文被密码保护。 阅读全文

摘要： Logs 20250818 [EVENING] [ACTION:REPLAY] [APPENDIX] [Procedure #1] Cyaneous Rain - haozexu - 博客园 [TARGET] 20250818 NOI2025-10连测 T1 20250819 [MORNING] [ 阅读全文

摘要： [Look-back] 20250905 T2 Island Hopping 做太久了，所以是怎么会逝呢？ 其实一开题就发现了航线上的性质，但是当时是以一个非常不清晰的方式描述的，我描述的是“两两岛屿之间有没有陆地”。但是什么叫之间呢？是什么意思？当时想的是两个点之间的矩形内没有陆地，但是我们的问题 阅读全文

摘要： [Procedure #18] CF2133F Flint and steel from latest cf div2 [Start] 这个，好吧不是那道典题，这里的 creeper 是不能连锁引爆的，但是也不同于经典的选线段覆盖问题，因为 creeper 炸死就不能被选了。所以一些看起来直接的想法 阅读全文