摘要: 见这篇题解 主要是注意负数偏移的trick,乘以\(2\)来cover小数的trick还有注意代码中的注释 阅读全文
posted @ 2024-03-23 23:47 最爱丁珰 阅读(2) 评论(0) 推荐(0) 编辑
摘要: 主要是学一下输出,交互题里面不一定非要用cin和cout,这里用scanf就能够很方便的读出时间,注意scanf的格式控制串里面要打空格和左括号 阅读全文
posted @ 2024-03-23 23:26 最爱丁珰 阅读(1) 评论(0) 推荐(0) 编辑
摘要: 基环树要求每个点有且仅有一条出边,这里是每个点最多有一条出边,所以会形成一个树与基环树的森林,我们将基环树缩点之后,建立一个大的源点\(0\)即可 这里缩点可以用tarjan,也可以用拓扑排序(排序完之后剩下的点就是环),所以记住基环树缩点的两种方法 阅读全文
posted @ 2024-03-23 21:46 最爱丁珰 阅读(1) 评论(0) 推荐(0) 编辑
摘要: 这道题目主要是新学会一个trick:tarjan缩完点之后形成了一个拓扑逆序 什么意思?也就是说,缩完点之后,我们对每个scc进行连边,然后我们直接倒序循环,这就是一个topo序 可以参考这道题目的代码,注意初始化的时候不能只初始化\(d[scc]\),因为入度为\(0\)的点可能不止一个 upda 阅读全文
posted @ 2024-03-23 21:27 最爱丁珰 阅读(1) 评论(0) 推荐(0) 编辑
摘要: 主要是讲一下tarjan算法的正确性 我们的连边方案是对每一对已经有了的婚姻,从女方向男方连边,然后对于交往过的关系,从男方向女方连边 分析题意不难发现,如果某一对夫妻处于一个环中,那么这对婚姻关系就是不稳定的 证明一下,如果说一对夫妻不在某个环中但还是不稳定的,说明存在一条合法的路径,即\(B_i 阅读全文
posted @ 2024-03-23 21:03 最爱丁珰 阅读(4) 评论(0) 推荐(0) 编辑
摘要: 涉及乘法的差分约束,可以选择直接跑乘积最长路,也可以选择取对数转化为一般的差分约束 然后记住这道题目是求任意一种情况至少有一个约束不满足,然而差分约束是存在一种情况所有约束都满足,两个命题为取非关系,所以跑差分约束的无解情况就好了 阅读全文
posted @ 2024-03-23 19:55 最爱丁珰 阅读(1) 评论(0) 推荐(0) 编辑
摘要: 目录EasyX函数putimagesolidrectanglesetfillcolorlineGetHWndDrawTextinitgraphSetWindowTextGetTickCountMouseHit与GetMouseMsgBeginBatchDrawsetbkmodeBeginBatchD 阅读全文
posted @ 2024-03-23 18:16 最爱丁珰 阅读(5) 评论(0) 推荐(0) 编辑
摘要: 这道题目的官方解答写的就很好,看官解就好了 肯定是从最小的或者最大的数字开始考虑的 update 2024.7.29 重新做一遍,比较轻松地做出来了,用的官方解答 然而,看一看这篇题解 遇到二元关系,想到题解的做法也比较自然 证明不重不漏:显然树的拓扑序是必要条件,而对于任意一个拓扑序,可以用数学归 阅读全文
posted @ 2024-03-23 14:35 最爱丁珰 阅读(4) 评论(0) 推荐(0) 编辑
摘要: 我们将\(x++\),从而最终的答案一定是要小于\(x\)的,也就一定要有一位不同 我们从高位到低位枚举最高的一位与\(x\)不同的位置\(i\)(也就是说,认为第\(i+1\)位到最高位都与\(x\)相同,但第\(i\)位不同) 我们先考虑更高位置如何相同 如果更高位置为\(0\),那么那一位必须 阅读全文
posted @ 2024-03-23 14:34 最爱丁珰 阅读(2) 评论(0) 推荐(0) 编辑
摘要: 这道题目的代码的写法非常新,可以学习 首先我们从\(x=1\)开始想起,此时显然一条边都不用切 然后是\(x=2\),我们发现所有叶子节点都不能分离开来了,我们把所有叶子节点与其父亲节点弄成一个连通块,显然这里切掉是最优的,在考虑剩下的树,仍然对叶子节点实施这个操作,直到最后没有剩下的树为止 于是我 阅读全文
posted @ 2024-03-23 12:59 最爱丁珰 阅读(4) 评论(0) 推荐(0) 编辑