Multiparty-Computation
隱蔽的和理性的對手是一樣的嗎?
Aumann 和 Lindell 在 2009 年將隱蔽對手定義為具有 epsilon-deterrence 作弊的非正式對手。一些作者(例如 John R. Wallrabenstein)定義了類似的對手,並將其稱為“理性”行事的理性對手。我還沒有看到理性對手的基於模擬的定義。
那麼,本質上,隱蔽的和理性的對手是一樣的嗎?它們可以互換使用嗎?
正如前面的答案所說,它們肯定不一樣。但是,它們之間肯定存在聯繫。具體來說,隱蔽模型只是說有一個威懾參數 $ \epsilon $ 並且保證是,如果對手試圖作弊,那麼它至少有可能被抓住 $ \epsilon $ . 出現的問題是應該如何 $ \epsilon $ 被設定在現實生活中。
在這裡,可以利用理性。具體來說,如果給你對手的效用,當它成功地作弊未被發現時,它的效用(可能較低)在它沒有作弊時,它的效用(可能更低)當它被檢測到作弊時,那麼你可以計算的價值 $ \epsilon $ 這將保證理性選擇是誠實行事。我將把如何計算的細節留給你(這並不難)。