超高效合约：推动可计算合约设计的边界

我们研究了D"utting等人[FOCS'21]中“组合行为”框架下的最优合约问题，其中授权方将项目委托给代理人，后者选择一组隐藏且成本较高的行为，而最终报酬由该行为集合上的单调集合函数给出。授权方提供合约，指定代理人获得报酬的比例，目标是计算最大化授权方预期效用的合约。先前工作在“基本替代”奖励下建立了多项式时间算法，同时指出一般亚调和奖励下的NP难度；随后工作将可算性扩展至“超调和”奖励，表明可算案例在替代和补充两个 regime 中都存在。上述工作均未明确界定可算边界。我们的主要结果是针对\Ultra奖励提供多项式时间算法，该类严格包含基本替代，但不局限于可加函数，从而桥接了替代和补充两个 regime。我们进一步超越加法成本，建立了针对\Ultra奖励和由可加函数与对称函数之和构成的成本函数的多项式时间算法。据我们所知，这是首次将\Ultra函数应用于著名经济场景。