洛谷P1477假面舞会

容易知道这是一道图论。设a能看到b,那么就连一条(a,b)有向边。

定义:A为面具种类数,即答案

对于一个基图联通的图(基图:将图中有向边变为无向边的新图),不妨从任意一个点开始遍历,给这个数任意一个实数点权x,那么这个点的面具种类为(x%A+A)%A

对于当前遍历到的点,若有一条出边,那么终点(设为y)的点权应该是x+1,对应的面具种类应该是((x+1)%A+A)%A

同理,若这是一条入边(我们把这条入边当成出边,即“倒着走”),那么y的点权应该是x1,对应的面具种类应该是((x1)%A+A)%A

设想,若基图没有环,那么A的最大值应该是这个基图中最大点权与最小点权之差,最小值应该是3

若基图有环,不妨设一个点p,在第一次被遍历到的点权为i,第二次被遍历到的点权为j,那么应该满足(i%A+A)%A=(j%A+A)%A(一个点只能对应唯一的一个面具种类)

ij(%A)

得到ij0(%A)

即A为两次遍历到的点权之差的约数

若一个点被两次以上遍历到怎么办?显然取最大公约数即可

若整张图不止一个点被多次遍历到怎么办?显然取最大公约数即可

到这里,其实我们回头看,会发现原题每个点都带有若干个方程,我们只需要让同一个点的所有方程的结果都相等即可

最大值是最大公约数,最小值是最大公约数的大于3的约数(这里其实用到了一个定理:多个数的共同约数一定是这些数的最大公约数的约数,只不过我并不会证明,有空可以学习一下)

原图包含了很多个基图联通的图,将答案合并起来即可。

最后一个问题:如何实现倒着走有向边?

连一个边权为1的反边即可

posted @   最爱丁珰  阅读(57)  评论(0编辑  收藏  举报
编辑推荐:
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 【译】Visual Studio 中新的强大生产力特性
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 【设计模式】告别冗长if-else语句:使用策略模式优化代码结构
点击右上角即可分享
微信分享提示