OSを作ってみよう (534ﾚｽ)
上下前次1-新
241: LightCone ◆sSJBc30S5w 03/03/21 11:44 AAS
>>240
もう少し説明が必要かもしれませんが、あれで証明になっています。
B(k)には、必ず、
Sum(B(m)) > Sum(B(m-1)) > Sum(B(m-2)) > Sum(B(m-3)) >...
の性質があって、さらに、
Sum(B(k)) >= 2^n
なんです。
要するに、Sum(B(k))は、単調減少数列で、しかも、下限が 2^n なの
です。しかも整数なので、いつか必ず 2^n に等しくなると言う論法です。
242: 03/03/21 11:54 AAS
>>240
＞和が2^nになるB(p)が存在しなくてはならないから存在する
数学的帰納法と背理法がまざってるだけだろ。
＞といっているのように見えるのは気のせいですか？
で、おまいは何が言いたいんだよ。証明が間違ってると言いたいのか？
それとも他に同じ証明を知ってるのか？
同じ命題に対する証明であってもより違う方法で証明することには意味があるって、
わかってるよな？
243(1): LightCone ◆sSJBc30S5w 03/03/21 12:10 AAS
>>240
飛躍を少なく直しておきましたので、ご覧下さい:
(ii) 今、集合Aそのものも、B(m)の条件を満たす事に注意する。
もし、Sum(B(m-1)) > 2^n であるならば、(i)の m を、m-1 に置き換えて議論を繰り返すと、
数学的帰納法により、
Sum(B(m)) > Sum(B(m-1)) > Sum(B(m-2)) > Sum(B(m-3)) >...
及び、
省8
244(1): 03/03/21 13:19 AAS
素朴な疑問なんですが、
2のべき数を足して、2のべき数にすることは可能なのでしょうか？
245: 244 03/03/21 13:23 AAS
もしかして、
「2^n未満の2のべき数の集合Aにおいて、Sum(A) > 2^nならば」
と言ってるあたり、集合Aには重複する要素もあるということでしょうか？
それなら納得。
246(2): 03/03/21 13:24 AAS
>>243
自分のスレでやれ
247(1): 03/03/21 14:33 AAS
証明をろくに見ずにカキコ
>>229
2^nを2^n以下の2のべき数の和と考えて、
その2のべき数の集合に
2^x（n > x >= 0）である何かを最低一つ加えれば
それが集合Aになるんじゃないのか？
これはもの凄い勢いで当たり前のことかと。
いや、なんか漏れが激しく勘違いしてるのかも知れんが。
248: 03/03/21 14:39 AAS
>>247
えらそうに言っているが、
＞いや、なんか漏れが激しく勘違いしてるのかも知れんが。
教えて欲しいなら、率直にそう言えばよかろうて。
249: 03/03/21 14:43 AAS
>>246
冷静に見ると、
>>223-228 あたりがこのｽﾚで引っ張り出したのが原因と思われ。
本人は、 >>237
＞今後、ここに沢山書かれても一々コメントできないと思います。
と書いてる品。文句があるなら他のﾔｼに言え。
250: 03/03/21 15:05 AAS
のなめ氏も休眠状態（ｽﾚに対して）みたいだし、いいんじゃ？
251: LightCone ◆sSJBc30S5w 03/03/21 15:26 AAS
>>246
ご要望どおり、あちらのスレで返答しました。
252(1): 03/03/21 21:38 AAS
スレ違いで『Beなんでも相談室』から移動してきました
質問なんですが。Windows2000正規版からアップグレードって作れますか？
よかったら教えてください。
253: bloom 03/03/21 21:44 AAS
外部ﾘﾝｸ:www.agemasukudasai.com
254: 03/03/21 21:57 AAS
>>252
「Beなんでも相談室」にも書いてるなんてなんともリアルなネタだな。
ここもスレ違い。というより、板違い。Windows板に行けよ
255: 03/03/22 03:04 AAS
>>223
buddy systemっぽいね。
256(2): 03/03/22 13:02 AAS
2^nあたりは、相棒アルゴリズムっぽいけど、
実際のところどういう適用をしようとしてたんだろ。
257(1): 03/03/22 16:33 AAS
>256
相棒アルゴリズム＝buddyじゃないか？
いや、さっきbuddy systemｸﾞｸﾞって気付いたんだが。
258: 256 [256] 03/03/23 00:52 AAS
>>257
すみません。相棒＝Buddyです。
255をうけての256の発言でした。
259: 221=204 03/03/25 14:50 AAS
すまんおれがわるかった
204を補足しただけなんだが
260: 03/03/25 19:54 AAS
もう遅いよ。
上下前次1-新書関写板覧索設栞歴
あと 274 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s