平山:なんだろうこれ
渡辺:帰納法回るかな
兒玉:結婚定理で殴れないですかね
馬杉:帰納法で行けそうじゃね
平山:結婚定理で行けるのか…?
兒玉:子供の部分集合
平山:あー、結論否定すると
馬杉:え、それ以前に自明じゃね?被りを最大化すると最悪で
馬杉:
渡辺:小さい順から選ぶ方針で帰納法が回る説
馬杉:
平山:最悪全部
平石:その計算が知りたい
渡辺:
平山:
渡辺:それぞれの項は高々
平石:あー、なるほど
馬杉:
平山:評価がぎりぎりだとぴったりのケースか
渡辺:天才
- 工事中
一般性を失わずに