過去ログ

uchinyan
#43784
ボーナス問題さんへ

更なるご意見をありがとうございます。

んーと,説明不足は否めないので,その点は申し訳なかったのですが...

元の問題では,#43736で,
>しかし,もちろんこれらは先ほどの 3 の倍数の条件を満たさなければならないので,候補は,
>1, 4, 7, 22, 25, 28, 43, 46, 49
>に絞られます。そしてこれらは他の対称性の条件も満たし,また実際に実現可能なのも容易に分かります。
と,最後にちょっとだけですが実現可能性に触れています。
これは,議論するまでもなく実際にちょっとやってみれば簡単に実例が作れるので,明らか,と思ったからです。
例えば,これ。他も同様です。
 XAAABBB
 ECCCDDD
 EFFFGGG
 EHHHIII
 JKLMNOP
 JKLMNOP
 JKLMNOP
最初は言及するまでもないかな,とも思ったのですが,さすがに何も言わないのも気が引けたので一言触れました。

ボーナス問題では,#43751で,
>□■ は 3 で割って 0 余る <−−− タイプ0
>□□
>...
>さらに,これらは,各タイプの■に対になっている残る数を入れれば実際に実現可能です,
と,やはり,最後にちょっとだけですが実現可能性に触れています。
これも,議論するまでもなく実際にちょっとやってみれば簡単に実例が作れるので,明らか,と思ったからです。
例えば,これ。他も同様です。
 GBBBCCC
 GDDDAXE
 GFFFAAE
 HHHIIIE
 JKLMNOP
 JKLMNOP
 JKLMNOP
こちらも,最初は言及するまでもないかな,とも思ったのですが,さすがに何も言わないのはマズイと思い一言触れました。

注意
 ABBBCCC
 AADDDXE
 FFFGGGE
 HHHIIIE
 JKLMNOP
 JKLMNOP
 JKLMNOP
の例は,X = 13,■ = 2,の例で私が上で触れた例とは違います。
この点も説明不足で申し訳ありませんでしたが,
対称性を含む余りの条件を満たす「タイプ0と X」の X と■について,少なくとも私は論理的には何ら言及していません。
■ = X とし,かぎ形と X を 2 * 2 の正方形に収めれば,「実際にやってみる」ことで実例が作れる,とだけ,
上記の「>」で引用した元の文では言っているつもりでした。

>私が考えるに、齟齬があるとすれば、これではないでしょうか ?
結局は,そうなると思います。
私が,「実際にやってみれば」と言うか,実例を明確に図示すればよかった,ということになりそうですね。

ところで,Analytic Combinatorics,解析的組み合わせ論とでも訳すのかな?,を使って,
7 * 7 でかぎ形 3 個の場合,(0,0), (3,0), (6,0), (0,3), (6,3), (0,6), (3,6), (6,6),の 8 個だけが残せない,
ことを証明できないのでしょうか?
真似をして少し考えてはみたのですが,よく分かっていないこともあり,(3,3) も不可になったりでうまくいきません。
どうなんでしょうか?
ネコの住む家   10月10日(土) 13:39:55     43786

過去問題一覧へ戻る