第一题先考虑无解的情况，来看样例三，很容易发现是因为\(k\)太大了，所以每次都会修改之前已经改好的。于是我们猜想，如果任意一段连续的数的长度都小于\(k\)，那么就无解，证明比较容易，反证就好了，如果存在一个解，那么这个解的最后一步操作，一定是连续的\(k\)个格子，而且这\(k\)个格子的颜色一

先从一个例子开始假如硬币开始是这样的:HHHHHTHH然后就可以将这个反面硬币\(T\)左边的硬币全都反过来，共需\(5\)步。然后就变成了：TTTTTTHH最后再将最右边两个反过来就可以了，共需\(5+2=7\)步。如果\(p\)为这个反面的硬币位置的话，那么答案\(as=2p-1\)。推导

拓扑排序差分约束要求构造长度为\(n\)的序列使其满足\(m\)条形如\(a_i-a_j\lex_k\)或\(a_i<a_j\)的约束。对于每个约束\(a_i-a_j\lex_k\)由\(j\)向\(i\)连一条长度为\(x_k\)的有向边，若图中存在负环，则无解。若约束全部为\(a_i<a_j\)形式（即\(x\)

题面传送门这么牛的结论题！分别考虑每个联通块，不断去掉一度点显然不影响，我们依次给出几个手玩的结论：性质1：如果有奇环，那么无解。只需要给奇环上的集合全部赋值\(\{0,1\}\)即可。性质2：若存在两个环的边不相交，那么无解。考虑一个环，取其对称的两个点，分别记为\(p,q\)。令\(

Tarjan思路先来看一下题目给出的无解的这个样例。不难发现，导致无解的两条边就是\(6-7\)和\(2-4\)这两个桥。所以这个题就转换成了求桥，如果存在桥就是无解。代码#include<bits/stdc++.h>usingnamespacestd;constintN=1e5+5,M=3e5+5;inlineintread();intn,

暴力[CSP-S2022]数据传输，暴力建边跑dijkstra，44[CSP-S2022]星战，无解+性质分析的暴力，只要每个点有出度，那么就可以无限穿梭，只需要判断出度是否均为\(1\)，暴力，还有对于只有\(1,3\)操作，可以用全局变量统计，每次修改\(O(1)\)，共70[CSP-S2022]假期计划，暴力枚举四个点，60