摘要: 首先,最开始给的图是合法的。 其次,由 tarjan 强连通算法的引理,我们知道,若这张图强连通,这张图的所有点就一定构成一个环。 也就是说针对原图染色对于所有 \((u,v)\) 边,都有 \(c_{u} \equiv c_{v}+1\pmod k\) 成立。 针对第一个点的染色,每个图,我们有 阅读全文
posted @ 2025-03-05 15:17 PM_pro 阅读(22) 评论(0) 推荐(0)