1.(>>217に書いた)「同値類に時間依存性はない」って話も、理解できていなかったんだろうな(^^ 2.>>48にあるように、関数f 〜 g の同値類で、有限個の値のみ異なる同値類分類をすることを考える。
3.”in step 3, Bob reveals {(x0, f(x0)) | x0 ≠ x }, you know what equivalence class f is in, because you know its values at all but one point. ” 一つのやり方は、事前に全ての関数を類別して、代表を決めておくこと。これ、正攻法でパズルも同じ記載だ。 このやり方の問題点は、必要なのは、一つの関数fの同値類にすぎないのに、無駄な多数の同値類分類をすることだ。 もう一つのやり方は、事後的に”Bob reveals”の後に、問題の関数fの同値類のみを扱うこと。 こうすれば、無駄な作業はない。