最小最大平均循环权重问题-计算机科学-机器学习-算法.pdfVIP

最小最大平均循环权重问题

123

NogaKleinElmalem,RicaGonen,andErelSegal-Halevi

1TheOpenUniversityofIsrael,noga486@

2TheOpenUniversityofIsrael,ricagonen@

3ArielUniversity,Israel,erelsgl@

July29,2025

本

译

中Abstract

1当一栋老旧的公寓楼被拆除并重建时，我们如何公平地重新分配新公寓以尽量

v

3减少居民之间的嫉妒？我们将这个问题简化为一个称为最小最大平均循环权重问

5

2题的组合优化问题。在这个问题中，我们要找到一种方法来将物品分配给代理人，

0

2使关联的嫉妒图中的有向循环的最大平均权重最小化。虽然从零开始时（实现多项

.

7式时间可解性），该问题可以归结为最大权重匹配问题，但当我们考虑到预先存在

0

5的条件（如居民对其原有公寓的满意程度）时，我们表明情况并非如此。这个问题

2

:在一般情况下是否可以在多项式时间内解决仍然是一个引人入胜的开放问题。

v

i

x

r

a1介绍

本笔记中的问题是由公平分配改进激发的。在此设定中，有个代理，每个代理在

一座老房子里拥有一套公寓。这座房子被拆除，并建造了一座新房，其中每位代理都获

得一套新公寓。通常情况下，每个代理都会享受一个改进，这可以通过比较新旧公寓的

价值差来衡量。然而，一些代理可能会觉得他们的邻居得到了更大的改善，这可能导致

嫉妒。我们的目标是尽量减少这种嫉妒。

为了从更大范围的观众那里获得反馈，我们将问题简化为一个更一般的组合问题：

最小最大平均循环权重，这个问题本身可能也很有趣。我们正式地将其呈现如下。1

1我们请感兴趣的读者参阅/abs/2504.16852以获取关于公平改进问题的更多详

情，以及它与最小最大平均循环权重的关系。还讨论了通过不同技术来实现嫉妒最小化的问题，见Nguyen

andRothe[5],Netzeretal.[4],Petersetal.[6]。

1

2符号表示法

令是一个代理的集合，是一个对象的集合，并且。每个代

理为每个对象分配一个正实数值，表示为。我们用表示节点集

上的完全二分图，其中每条边的值为。

一个分配是中的一个完美匹配，表示每个代理分配恰好一个对象。我们用表

示一种分配方式，其中表示分配给代理的对象。我们将所有种可能的分配

集合记为。

给定一个分配，代理在代理处的嫉妒表示为并定义为：

。分配的嫉妒图，记为，是一个完整的有向图，节点集为，弧

的权重是。23

我们对图中的有向圈感兴趣。特别地，我们对每个有向圈的平均重量感兴趣

（圈中弧的权重之和除以弧的数量）。

定义2.1.对于任何有向图，记为的最大平均循环权重是中所有