D-SubstringComparisonsimple的好题捏！只考虑每两个串的第一个位置，假设这两个位置不同，那么可以定出一个大小关系。将所有大小关系建成一张图，如果这张图是个DAG，那么就可以成立了，如果有环，说明环上的点都是一样的，因此可以将这些数缩成一个点，然后把对应的串往后移一位继续做。这

AT_arc165_d[ARC165D]SubstringComparison题解Links洛谷AtCoderDescription给定正整数\(n,m\)和\(m\)个形如\((A_{i},B_{i},C_{i},D_{i})\)的限制条件。判断是否存在一个长度为\(n\)的序列\(P\)满足\(\foralli\in[1,m]\)，\(P_{A_{i}\dotsB_{i}}\)字典序

AT_arc165_b[ARC165B]SlidingWindowSort2题解Links洛谷AtCoderDescription给定正整数\(n,k\)和一个长度为\(n\)的整数\(P\)，你需要选择一个长度为\(k\)的区间\([l,l+k-1]\)，将这个区间从小到大排序。找到操作后最终字典序最大的排列。\(1\leqk\leqn\l

有点结论场的感觉了。A题面简单题。证明一个结论，只要\(n\not=p^q(p\text{是}n\text{的一个质因子})\)，都是有解的，反之无解。先证明\(n=p^q\)无解，假定\(n\)分解为\(p^a\timesp^b(a\leb,a+b=q)\)，此时两数的\(\mathop{\mathrm{lcm}}\)为\(p^b\)。若\(b=q\)，则\(p^b