Stackelberg-Pareto 合成（完整版）
计算机科学与博弈论
2021-05-05 v3
摘要
在本文中，我们研究图上双人 Stackelberg 博弈的框架，其中玩家 0 宣布一个策略，玩家 1 以最优响应的策略理性回应。虽然通常假设玩家 1 具有单一目标，我们在此考虑其具有多个目标的新设定。在此背景下，玩家 1 以策略回应后，获得一个由其满足的目标对应的布尔向量形式的收益。玩家 1 的理性由其回应必须在给定玩家 0 策略下产生 Pareto 最优收益来刻画。我们研究 Stackelberg-Pareto 合成问题，即询问玩家 0 是否能宣布一个满足其目标的策略，无论玩家 1 的理性回应如何。对于目标均为奇偶目标或均为可达性目标的博弈，我们证明该问题是固定参数可处理的且为 NEXPTIME 完全。该问题即使在可达性目标与树状图的简单情形下也已为 NP 完全。
引用
@article{arxiv.2102.08925,
title = {Stackelberg-Pareto Synthesis (Full Version)},
author = {Véronique Bruyère and Jean-François Raskin and Clément Tamines},
journal= {arXiv preprint arXiv:2102.08925},
year = {2021}
}
备注
31 pages, 8 figures, modified introduction and related work, fixed typos, added details