スレタイ 箱入り無数目を語る部屋14

>>572
追加
tとsは同値である<->d(t,s)が有限な値に決まる
tとsは同値ではない<->d(t,s)が決まらない

sを当てるとすると、その同値類C(α)は箱をすべて開けないと決まらない。これはルール違反でレッドカード。
よって、決定番号d(r(α),s)は決まらない（何度も指摘済み）。