Gavin's Blog

CF573D Bear and Cavalry 总之我只会 O(nq)O(nq)O(nq)。将 www 和 hhh 分别排序，存一下每个战士对应的马，每次修改直接交换。每次询问从前到后统计答案，只需要这一个对应，然后左右两个交叉对应，然后三个对应，这几种情况取最大就行。 CF838D Airplane Arrangements 方案数也可以转成概率乘总方案数。 我们将问题转换为每个人随机指...

Problem #1 Multiples of 3 or 5 Problem Description If we list all the natural numbers below $10$ that are multiples of $3$ or $5$, we get $3, 5, 6$ and $9$. The sum of these multiples is $23$. Find...

jzp 走了，新开一个。 2600 专训 CF2189E Majority Wins? 每次替换 [l,r][l,r][l,r] 会让长度减少 r−lr-lr−l，等价于可以花费 r−l+1r-l+1r−l+1 的代价删除 r−lr-lr−l 个字符。 可以理解为，删除一个字符的代价为 111，一次操作的代价也是 111。 题目要求最后变成 111 的最小代价，需要删除 n−1n-1n−1...

用了很久 LazyVim，还是决定自己配一个。不基于 AstroNvim 等框架。 TBD，因为我还没配置完

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110...

采用的 NTT，模数和原根就在代码开头改。Solver 里挂了目前可以解决的所有洛谷板子题，把 PROB 宏改成题号可以直接跑。 理论上需要 >=17 的 C++ 标准，更老的标准可能需要改一下。没有使用编译器拓展。本质是直接继承的 vector<int>。 下面的链接是挂的 GitHub Gist 的 Embed，这个有点丑。

什么是 BT 在遥远的 2001 年，程序员… TBD.

网站托管于海因里希·海涅杜塞尔多夫大学 假定您对 Lean 4 有基本的了解——至少知道它是做什么的。 教程世界 第1关：rfl 策略 介绍第一个策略（tactic）——rfl，它可以证明所有形如 X = X 的定理。 12example (x q : Nat) : 37 * x + q = 37 * x + q := by rfl 关于 rfl： rfl 是“相等关系的自反性”（re...

Website Hosted By Heinrich Heine University Düsseldorf Assuming you have a basic understanding of Lean 4 — at least knowing what it is used for. Tutorial World Level 1. The rfl tactic Introduce the...