cover: Pixiv ID 141075191 三角函数 刷到飞哥的一道题。 求证: \sin\cos x<\cos\sin x 把柿子移到一边去,先求个导看看极值试试: \begin{aligned} (\cos\sin x-\sin\cos x)'&=0\\ \frac{\sin\sin x
cover: Pixiv ID 138508263 传送门 k 太小了,结合题目易于想到枚举前 2^k 位的状态,然后限制不是一般算法能做的,考虑 \texttt{dp} ,每加一位贡献只跟前 k-1 位有关,设进状态转移,设 f_{i,j} 表示考虑到第 i 位,后 k-1 位状态为