ゲームマスターを排除した公平な人狼“Mental Jinro” - Qiita

前提 参加者がどのような振る舞いをするのかについて、次のような前提を置く。 参加者の間で協調して悪意のある振る舞いをすることはない 参加者は、自らの所属する陣営が不利になるような不正はしない 悪意ある振る舞いをする参加者に協調された場合、ゲームマスターがいる人狼でも不正ができてしまうため、この人狼でも考慮しないものとする。 $\def\Z{\mathbb{Z}^*_p}$ コミットメント この人狼で用いるコミットメントについて説明する。コミットメントとは「ある数を明らかにしないまま、ただしある数を後で反故にできない」ための仕組みである。具体的な例で説明すると、例えば$A$と$B$が電話で会話をしている時に、$A$がコインの裏か表を予想して、$B$がコイントスをするというゲームを考える。 $B$は$p = 2q + 1$となるような大きな素数$p, q$をランダムに生成して、$\Z$2の位数