带偏好的跨链交换

加密货币的极端估值与波动性要求投资者频繁分散投资，这就需要安全的交换协议。跨链交换协议允许互不信任的各方安全地交换其资产。然而，当前的模型与协议都假设用户可接受结果具有预定义的偏好。本文提出一种广义的交换模型，允许每一方对其流入与流出资产的子集指定偏好。本文表明，在此模型下现有交换协议未必是强纳什均衡。本文刻画了具有安全、活跃且为强纳什均衡的协议的一类交换图，并针对该类给出了这样一种协议。此外，本文通过从 3SAT 的归约证明判定一个交换是否属于该类是 NP 难的，并进一步通过从 $\exists\forall\mathsf{DNF}$ 的归约证明其为 $\Sigma_2^{\mathsf{P}}$-完全的。