洛谷P1290“欧几里德的游戏”的一个证明
原题链接。本题有一种复杂度和欧几里得算法相同的$O(\log... Read more
原题链接。本题有一种复杂度和欧几里得算法相同的$O(\log... Read more
Consider the following variant of the Nim game (source: Read more
Link to pr... Read more
题目链接.首先把所有的一元限制按照$c_j$... Read more
给定一张无向图, 有边权, 可能有重边和自环. 我们用$p_0$表示原图上从节点$1$到$n$的一条最短路. 对图上的任意一条边$e$, 设$p(e)$是删去边$e$后的从$1$到$n$的最短路, 设$f(e)$是$p(e)$的... Read more
On $\mathbb R$, we have the usual $\min$ and $\max$ operators. They are distributive over each other. Read more
A combinatorics problem on tree. Read more
A very brief record on how to build and customize a Hexo blog, migrate from WordPress, and deploy it on Cloudflare Pages. Read more
Definitions, examples using Maybe and [], laws, and more. Read more