摘要：
博客园，我又回来啦！ Static & Dynamic environment 在ML语言中，每当出现一个新的语句，我们都用现存的 Static / Dynamic Environment 对它进行 type-check / Evaluate。 只有通过 type-check 的语句才不会出现错误。 阅读全文
摘要：
题意 给定一个 $N$ 个点的完全图，现在要移除至少一条边，问移除后恰好有 $M$ 个联通块的方案数是多少 $N,M \leq 300$ 解法 可以发现每一种删边方案都对应着一种加边方案，又给出的图是完全图，那么实际上就是要求我们求出 $N$ 个点可以形成的联通块的个数 数据范围明示了是 $N^3$ 阅读全文
摘要：
题意 给定一个图，请把它分为两个子图，使得每一个子图都是完全图；并且要求这两个图的边数之和最少 解法 先建出原图的反图，即有边连接的两个点之间不连边，没有边连接的两个点之间连一条边 可以发现这个图可以被拆成两个完全图当且仅当每一个联通块都是一个二分图 因为如果不是二分图（存在奇环）的话，一定有奇数个 阅读全文
该文被密码保护。 阅读全文
摘要：
题意 你在抛硬币。其中抛到正面的概率是 $p$，请求出第一次出现连续 $k$ 次正面的期望步数 解法 第一次接触期望 DP 根据题目来设状态，设 $f_i$ 为第一次出现连续 $i$ 次正面的期望步数 考虑掷一次硬币带来的影响：掷一个正面，可以使连续 $i 1$ 次延长为连续 $i$ 次；掷一次反面 阅读全文
该文被密码保护。 阅读全文