\(\newcommand{\stirlingI}[2]{\genfrac{[}{]}{0pt}{}{#1}{#2}}\)Lucas 定理想必大家都知道了：令 \(p\) 为一个质数，\(n = u_1 p + u_2\)，\(m = v_2 p + v_2\)，其中 \(0 \leq u_2, v_2 < p\)，则有
\[
\binom{n}{m} \equiv \binom{u_1}{v_1} \binom{u_2}{v_2} \pmod{p}.
\]
但是 Lucas 定理只对模为质数的情况有效。虽然对于合数我们有 CRT，但是还是得处理模为质数幂的情况。这篇文章主要讲模为质数幂该如何处理。文章非常多的地方参考翻译了 prabowo 的博客（虽然他也是参考了 min_25 的博客），但是也有一些小修改（虽然他也有一些小修改），主要就是改进了一下 bound。
之前 Andrew Granville 也有一篇 关于拓展 Lucas 定理的文章，但是里面特判太多了……复杂度也高，我写过一次之后不想再写了……
很久很久之前看到过这么一个问题：炉石里一套牌共有 30 张，问至少要探底多少次才能保证可以将牌库排序成想要的顺序？这里给不了解背景的朋友介绍一下，所谓 探底，就是选择牌库底三张牌中的一张将其至于牌库顶。
我们来抽象一下这个题：对于一个大小为 \(n\) 的排列 \(P\)，一次操作可以把前三个数中的一个塞到最后。既然这是个排序算法，我们不妨将其称作 探底排序 好了…… 那么现在问题就是问探底排序的最坏情况下需要多少次操作。我们先研究一个简化版，每次只能把前两个元素中的一个塞到最后。
作为一名 TCS 大师，我对这个问题挺有兴趣的。但是显然，求出精确解看起来非常难（而且我怀疑甚至不存在通项），于是就退而求其次，分析一下其时间复杂度好了。
近日听闻噩耗，Google CodeJam 要停止举办了：
After nearly 20 years of Code Jam, it's time to say goodbye. While Code Jam will not continue as planned, we invite you to participate in our Competitions' Farewell Round on Saturday, April 15 at 14:00 UTC.
去年以来整个硅谷都不景气，Google 也不例外开启了 大裁员模式 ，裁了 12k 人，即使在 2008 年经济危机的时候，Codejam 也坚持办了下去，但是现已加入 Killed by Google 荣誉套餐，真是可惜了……只能感慨，Google 再也不是当年的 Google 了……
近期看了《来自深渊》，《三体》（腾讯）和《三体》（艺画开天），评分如下：
剧 透 警 告 ！
最近一时兴起更新了一下博客主题。三天打鱼两天晒网，文章没写多少，主题倒是一直在更新 2333……工欲善其事，必先利其器，再利其器，又利其器，复利其器，重利其器，更利其器，终忘其事……
几张拼图一展。
众所周知，我在今年进化成了哲学医生，这也导致了我再也买不了学生票了，成为了一名 底层 社会打工仔。由于这样那样的原因，我来到了芝加哥，开始了我的打工生活。这篇文章记录的就是我从学校搬到芝加哥这段过程中发生的小插曲。
整篇文章就是个碎碎念，毫无章法地想到哪里说哪里。可能之后会把一些段落拆开单独做成一篇文章。这里面大部分东西都是今年八九月份的事情了，但是一直攒着没写。这再不写 2022 都快过完了……
\(\newcommand{\erf}{\operatorname{erf}} \newcommand{\erfc}{\operatorname{erfc}}\) 不久之前，我在票圈看到了这么一个问题：
兴趣一下子就上来了……
工程单身汉进化，艺术大师！
艺术大师超进化，哲学医生！
转眼间 PhD 都快结束了，本科期间的 ICPC 经历我都记不太清楚了，这里就讲讲 PhD 期间打 ICPC 的一些故事吧。不过没准啥时候会填一下本科期间的坑呢……
