253 名前: the representative of that equivalence class that you picked ahead of time. Now, in step 4, guess that f(x) is equal to g(x).” とするための代表gを得ること。 しかも、代表gはなんでも可で、特別の制約なし。 さすれば、究極の手抜きは、”Bob reveals”の後に、fを得て、fの有限個の数値を適当に異なるようにして、チョコチョコとgを作る。 (関数fの同値類分類を完成させる必要さえない!!) このgを、さも事前に全ての関数の同値類を分類し、全ての代表を選んでおいた顔をして、「これが代表だよ、Bob!」と、gを出せば、Bobがびっくりするという仕掛けだ(^^