HNOI 2010 解题报告
由于题目的版权问题, 这里并不会出现题目描述, 请通过其他渠道获取题目描述.
合唱队 Chorus
很容易的区间DP, 设
分别表示当前状态为区间
, 最后一个放的元素在区间的左侧和右侧的方案数. 时间复杂度
.
平面图判定 Planar
判定存在 Hamilton 回路的平面图, 实际上就是判定能否把区间(边)分成两个集合, 使得每个集合内的元素互不相交(但可以严格包含).
这道题其实是有
的解法的, 但是这道题的点数过少, 也有很方便的解法. 根据欧拉定理, 平面图的边数
和点数
满足
. 那我们可以把边数的规模降低, 然后可以用
的染色解决此题.
物品调度 Fsk
假设我们已经知道了终止状态, 如何求得最小步数呢. 我们可以用
的时间求出这个置换的每个循环. 对于每个长度大于1的循环, 若其中含有0元素, 那么最少需
步, 否则需要
步.
现在的问题是如何求出终止状态, 观察题意发现, 每个元素的终止状态是放在
之后第一个非空的模
剩余系中, 并且放在这个模
剩余系中当前位置的下一个可行位置, 因此我们可以用链表/平衡树维护每个模
剩余系的情况以及每个模
剩余系内部的情况. 可以做到
的复杂度.
公交线路 Bus
我们可以用每辆车到一个点的距离集合来表示一个状态, 由于不能有空位以及车之间没有区别, 实际状态集合的最多只有
个之少.
我们可以用矩阵乘法来优化转移, 复杂度最多为
.
取石子游戏 Stone
解法未知.
城市建设 City
解法未知.
弹飞绵羊 Bounce
首先这道题只能往后跳, 所以我们用块状链表维护每个点在块内和块外的情况即可用
的时间解决此题.
正解之一是利用括号序列, 每次操作都是把一棵子树砍下并且接在某个结点上, 那么我们可以维护括号序列整段移动来完成这个操作. 同时为了回答询问我们需要知道每个左括号的左边有几个未匹配的左括号, Splay 可以维护这个值, 时间复杂度
.
矩阵 Matrix
设给定的矩阵是
, 原矩阵是
, 另设
矩阵, 其中:
的第一行和第一列均是0, 且
.
同时满足
. 证明在此(外链打开请谨慎).
那么我们搜索
的第一行, 在枚举
时检查第
列并更新第一列的可行集合来剪枝. 这样就可以通过这道题了.