摘要 Abstract
在组合设置下计算近似最优合同的问题最近引起了计算机科学界极大的兴趣。之前的研究为该问题提供了丰富的结构化和算法见解。然而,大多数这些结果依赖于假设委托人有无限预算激励代理人,而这一假设在实践中往往不现实。这促使人们研究在预算约束下的最优合同问题。我们研究了在二元和组合行动下的多代理合同的预算约束问题。对于二元行动,我们的贡献有三个方面。首先,我们将之前已知的所有关于委托人收入的近似保证推广到预算设定中。其次,通过预算约束的视角,我们揭示了委托人收入的标准目标与其他目标之间的有益联系。我们确定了一个广泛的对象类别,我们称之为BEST对象,包括奖励、社会福利和收入,并证明它们都是等价的(至多一个常数因子),从而为所有BEST对象提供近似保证。第三,我们引入了节俭的价格,量化了由于预算约束导致的损失,并对这一度量建立了接近紧的界限,从而更深入地洞察了预算和激励之间的权衡。对于组合行动,我们得到了一个强烈的负面结果。具体来说,我们证明在具有次模奖励的预算设定下,无法对任何BEST目标进行有限的近似。这与具有次模奖励的无预算设定形成对比,在无预算设定下,对于收入已经知道存在多项式时间的常数因子近似。从积极的方面来看,对于总替代品奖励,我们恢复了二元行动的结果,为所有BEST目标获得了常数因子近似。
The problem of computing near-optimal contracts in combinatorial settings has recently attracted significant interest in the computer science community. Previous work has provided a rich body of structural and algorithmic insights into this problem. However, most of these results rely on the assumption that the principal has an unlimited budget for incentivizing agents, an assumption that is often unrealistic in practice. This motivates the study of the optimal contract problem under budget constraints. We study multi-agent contracts with budget constraints under both binary and combinatorial actions. For binary actions, our contribution is threefold. First, we generalize all previously known approximation guarantees on the principal's revenue to budgeted settings. Second, through the lens of budget constraints, we uncover insightful connections between the standard objective of the principal's revenue and other objectives. We identify a broad class of objectives, which we term BEST objectives, including reward, social welfare, and revenue, and show that they are all equivalent (up to a constant factor), leading to approximation guarantees for all BEST objectives. Third, we introduce the price of frugality, which quantifies the loss due to budget constraints, and establish near-tight bounds on this measure, providing deeper insights into the tradeoffs between budgets and incentives. For combinatorial actions, we establish a strong negative result. Specifically, we show that in a budgeted setting with submodular rewards, no finite approximation is possible to any BEST objective. This stands in contrast to the unbudgeted setting with submodular rewards, where a polynomial-time constant-factor approximation is known for revenue. On the positive side, for gross substitutes rewards, we recover our binary-actions results, obtaining a constant-factor approximation for all BEST objectives.