专栏文章

奇怪的 XX 怎么冒出来的?(0)

CF1421E题解参与者 1已保存评论 0

文章操作

快速查看文章及其快照的属性,并进行相关操作。

当前评论
0 条
当前快照
1 份
快照标识符
@minp7hlw
此快照首次捕获于
2025/12/02 06:05
3 个月前
此快照最后确认于
2025/12/02 06:05
3 个月前
查看原文
在这个系列 blog 中我会尽量解释一些 Ad-hoc 问题的解法是如何在一定观点下,自然呈现的。本次的题目是:CF1421E
首先考虑一个变换中的不变量。那么我们有:
v(+)=v(-)2,v(-)=v(+)2    v(+).v(\texttt{+}) = v(\texttt{-})^2, v(\texttt{-}) = v(\texttt{+})^2 \implies v(\texttt{+}).
然后因为我们希望就是你在一个字符串前面添加一个 +\texttt{+}-\texttt{-} 不要损失信息,所以我们最好有消去律,另外,空串对应了单位元。这么说,这个东西应该是一个群。那么:
x,yx2=y,y2=x=Z/3Z.\langle x, y \mid x^2=y,y^2=x \rangle = \mathbb Z / 3 \mathbb Z.
那么 x,yx, y 分别对应 1,21, 22,12, 1 就是自然的了。
说明 2cnt(+)+cnt(-)1+3Z2 \mathrm{cnt}(\texttt{+}) + \mathrm{cnt}(\texttt{-}) \in 1 + 3 \mathbb Z 之后,剩下的过程就可以去看其他题解了。

评论

0 条评论,欢迎与作者交流。

正在加载评论...