本文探讨了在模意义下非简单路径和非简单环中的强连通分量性质，包括路径长度的对称性和环长的特定性质。证明了在强连通分量中，如果存在特定长度的路径或环，那么存在相反长度的路径或相同长度的环，并且所有环长可以通过特定点的环长进行线性组合。此外，文章还提及了最小公倍数在构造环长中的应用。
（模意义下&非简单路径&非简单环）
名字是随便取的qwq
强连通分量路径长的性质
property1
如果存在一条从 u u u到 v v v长为 x x x的路径，就一定存在一条从 v v v到 u u u长为 − x -x −x的路径。
proof
假设存在一条从 v v v到 u u u长为 y y y的路径，那么就有一条
y + x + y + x + y + ⋯ + x + y = ( M O D − 1 ) × x + M O D × y = − x y + x + y + x + y + \cdots + x + y = (MOD - 1) \times x + MOD \times y = -x y+x+y+x+y+⋯+x+y=(MOD−1)×x+MOD×y=−x
的路径。
强连通分量环长的性质
property2
如果存在一个经过点 a a a长为 x x x的环，就一定存在一个经过点 b b b长为 x x x的环。
proof
假设从 b b b到 a a a有一条长为 y y y的路径，那么根据property1，存在一条从 a a a到 b b b长为 − y -y
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
