====== Update on Wiki ====== 成功搬家，正在逐渐把老博客里东西搬过来。 \\ 预计下周装修完毕。 ====== 团队训练 ====== 暂无 ====== 每周推荐 ====== * 傅云濠推荐：cf#639 F 下文有链接 ====== 做题记录 ====== ====== 傅云濠 ====== ===== 专题 ===== 下次一定 ===== 比赛 ===== CF#639 ===== 题目 ===== [[https://www.cnblogs.com/FYH-SSGSS/p/12853483.html|这里]] ====== 王兴罡 ====== 笔记本风扇问题拿去维修，本周白给 ===== 专题 ===== ===== 比赛 ===== ===== 题目 ===== ---- ====== 黄旭民 ====== ===== 专题 ===== 鸽 ===== 比赛 ===== [[https://www.cnblogs.com/Mychael/p/12852972.html|Codeforces Round #639 (Div. 2)]] ===== 题目 ===== ====A Puzzle Pieces==== [[http://codeforces.com/contest/1345/problem/A|Puzzle Pieces]] 就是问用题中特定形状的拼图能不能拼出$n \times m$的矩形分析一下可以发现，如果$n=1$或者$m=1$肯定是可以的然后发现最大的块就是$2 \times 2$了，也就是说n和m在其它情况都不能大于2 ====B Card Constructions==== [[http://codeforces.com/contest/1345/problem/B|Card Constructions]] 简单题 ====C Hilbert's Hotel==== [[http://codeforces.com/contest/1345/problem/C|Hilbert's Hotel]] 题意是有无穷个房间，标号为全体整数，现在以$n$为周期进行调整，在每个周期内模$n$余$k$的房间的客人向前移动$a_k$个房间【$a_k$可能为负】，问是否会有客人冲突。显然，如果$0$到$n - 1$通过$a_k$变换形成一个与$0$到$n-1$一一对应的映射，那么对于移动后的每个房间，都唯一对应一个开始的位置，没有冲突。一但形成的映射不是一一对应的，那么一定会有房间冲突。 ====D Monopole Magnets==== [[http://codeforces.com/contest/1345/problem/D|Monopole Magnets]] 题意是有一个$n \times m$的矩阵，你可以向其中每个位置放置任意个黑点和白点。符合如下规则： 1、每一列每一行必须有白点 2、所有黑点可以向同一行或同一列的白点所在方向移动任意格。要求带#点必须可以被移动到，剩余带.点必须不能被移动到。求最少需要多少黑点，或者无解。分析发现，任意#之间的路径可达，如果两个#之间存在.，那么一定是不合法的。也就是说，#形成的联通块是凸的。其次如果存在一行全为.且任意一列都有#，那么不合法。因为那一行一定要放置白点，无论放置在哪都会导致该列#处的黑点到达。然后数一数#联通块个数就是答案了 ====E Quantifier Question==== [[http://codeforces.com/contest/1345/problem/E|Quantifier Question]] 【当天cf一直in queue，写到这题就停了，但大概想到做法了】题意是给出一个公式包含$n$变量的若干个$\left(x_i < x_j\right)$的合取的形式，要求给出一个合适的量词，使得公式为真。量词中$x_i$顺序固定，要求使用尽量多的全称量词$\forall$ 首先我们发现，一个$\left(x_i