2024-02-01 一个例子看懂环形均分纸牌 七夕祭 acwing105 图论

概要

n个人围成一圈，每个人都有pi张纸牌，若要每个人牌数相等，怎样使交换牌数最少？

我在网上看到了很多博客，都是用n个人抽象成3个人的模型来做的，这种解答是错误的。下面使用本文例子来反驳。

注意：本处负数+11即符合常理，下文不再说明。

若按照抽象将右侧四个顶点抽象出来，并将权值为1的边删去，权值为3的边减1，权值为2的边加1————总权值和仍是增加的，因为椭圆内还增加了大小为1的流。

构造算法伪代码

path transform(path ori):
	// ori是一个环形最优解
	选取两个点a，b
	统计a到b的两条路径上d的顺向边数和逆向边数
	找最小顺边值（顺向边数>逆向边数）/最小逆边值（逆向边数>顺向边数），记作质蕴涵流
	合并两条质蕴涵流
	return newpath

合并方法

情况1：如果两条质蕴涵流同向，如图所示，

则合并如图所示：

这个过程交换牌数减少val2*(cnt1+cnt2).

情况2：如果两个质蕴涵流反向，如图所示，

则合并如图所示：

这个过程交换牌数减少val1*(cnt1-cnt2).

这个过程我们记录的最小顺边或最小逆边会被删除，并且这个过程交换牌数是不增的。（当情况2时，若cnt1=cnt2，则交换牌数不变）

贪心选择性质

环形交换纸牌的贪心选择性质：问题至少包含一个两个人不交换纸牌的最优解。

使用反证法。

若有一个环形最优解，则一定可以通过上述变换转化为链形最优解，这个过程中交换牌数是不减的。

补充

关于这个问题，还有推导一些性质：

当任意两点之间的两条路径cnt都相等时，这个解一定已经是最优解。例子：请研究本文例子，它事实上已经是最优解。