[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋18 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
735(1): Gautama Siddhartha 2024/04/08(月)16:03 ID:ABB9L6ja(1) AAS
>Q1.s^nから2^nへの関数yで
> 箱入り無数目の記事より 外部ﾘﾝｸ:imgur.com
> 決定番号dが存在して、関数yの定義域を詳しく書くと
> y：(s,r(s),n)→0 or 1 ｜s∈S^N、r(s)∈S^N/〜,n∈N で
> y(s,r(s),n')＝1 ｜ d <= n'
> となりますね（念押し確認）
逆にそうならない例が示せるかな？
示せない、つまりそのような例から必ず矛盾が導けるなら
そうなる、と言い切れる
>Q2.「Ynをy(X)(n)をとする」を、
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s