剧透预警。

不是codegolf。

膜祠。

又test了一场cc，写一篇博客敷衍一下读者

放出来的有点晚。。

本文是ECCC TR18-138（FOCS2018最佳学生论文奖之一）的一个笔记。由于（笔者个人观点）论文写得比较晦涩，而idea本身比较简洁，所以我在这里会试着讲得更加科普向(>_>)，可能会为了直观性而一定程度地放弃严谨性。另外，笔者也只是刚刚理解了论文的大致思路，因此可能会有错误之处，烦请各位批评指正。

本文假设读者有本科计算理论的背景，例如知道$\mathsf{P},\mathsf{NP}$的定义，知道规约的概念。

提示：这篇文章的主题是code-golf(即写出尽可能短的代码)，使用的语言是Python 2/3。这篇文章含有cf April Fool contest 2018的剧透。

（除草。。还没更完，看心情更。。

诈尸（

这题其实可以手算。

10个月没做IBM了。。

chrome + tampermonkey禁止自己访问知乎。

提示：由于排版需要，我的Editorial使用了[hide]、[/hide]标签，不科学上网这个标签就用不了，所以请大家科学浏览Editorial。(不过说起来不科学浏览的话，公式什么的也显示不了吧。