面白い数学の問題おしえて～な 44問目 (368ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

299(1): 09/02(火)17:53 ID:fZOAs2Xe(11/11) AAS
#S₁ > 0 とする。s₀ ∈ S₁ をえらんで f(s₀) = {w₀} とおく。S’ = S＼{s₀}、W’ = W＼{w₀} とし f’(s) = f(s)＼{w₀} とする。W が最小反例だから W’ の相異なる部分集合 A’,B’ で
(1) #A’ = #B’ = ⌈ #W’/2 ⌉
(2) S(A’) = S(B’)
となるものがとれる。⌈ #W’/2 ⌉ = ⌈ #W/2 ⌉ なら A = A’、B = B’ とすれば S(A) = S(A’)、S(B) = S(B’) となり矛盾する。⌈ #W’/2 ⌉ = ⌈ #W/2 ⌉ - 1 なら A = A’∪{w₀}、B = B’∪{w₀} とすればS(A) = S(A’)’∪{s₀}、S(B) = S(B’)’∪{s₀} となり矛盾する。 □

---

301: 09/02(火)22:27 ID:Mll4sRUZ(1) AAS
>>299
うお…すごい大作だ　本当にお疲れ様
まじでごめんなんだけど、正しさを確かめる気力が無いから想定解だけ書かせてもらうね

>>282 の続き
Wの部分集合A,Bが A⊂B かつ |A|+2≦|B|≦500 を満たすならば、f(A)≠f(B).
（証明）
Bの元のうちAに属さないものが２つ存在するのでそれらを w_1,w_2 とおく。
省14

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.014s