为不确定任务招聘：信息与合同的联合设计

在本文中，我们首次提出了信息与合同联合设计的计算问题。我们考虑了三种可能的合同类别，其灵活性和简单性依次递减：模糊合同、显式合同菜单和显式单一合同。模糊合同允许委托人通过依赖于未知自然状态的合同来隐藏所应用的支付方案，而显式合同则在代理人决策之前披露合同。我们的结果显示了合同简单性与联合设计计算复杂度之间的权衡。实际上，我们证明，具有模糊合同的近似最优机制可以在多项式时间内计算。然而，它们是复杂的机制，不适用于某些现实场景。相反，显式合同菜单和单一合同是更简单的机制，但无法高效计算。特别地，我们证明，使用显式合同菜单和单一合同计算最优机制是APX-难的。我们还刻画了最优机制的结构。有趣的是，直接机制对于最灵活的模糊合同和最不灵活的显式单一合同都是最优的，但对于合同菜单则不是最优的。最后，受我们的难度结果启发，我们将注意力转向线性合同菜单和单一线性合同。我们证明，使用显式线性合同菜单和显式单一线性合同计算最优机制的问题均存在FPTAS。