19/10/07 17:10:40.66 9nA4ptKj.net
何でわざわざこんな回りくどい問題設定にしたのかというと、例えば
【１から７までのカードをA,B,C三人にそれぞれ3,3,1の枚数でランダムに配り、
AとBが『自分の手札に関する事実』を宣言することでAとBだけに三人のカードの内訳を確定させるにはどうすれば良いか】
という問題における
【AもBも、自分が持っているカードの組xyzについて『AまたはBのどちらかはxyzという手札である』と宣言すれば良い】
という別解、みたいなのを排除するためということになるかな
自分の手札がxyzの時にする宣言が『自分の手札がpqrである』という可能性も含んでいるならば、その宣言は手札がpqrだった時にする宣言と同じ、ということを担保したかった