104525
数学の部屋BBS
質問のある方は、学年等を書くようにしてくださいね。
数学の掲示板なので、算数・数学ネタが望ましいです。(^^)
○付きの数字などは、機種依存文字なので使わないでください。
数学記号の表記については
http://simfan.cn1.jp/mathmarks/index.htmや
http://simfan.cn1.jp/mathmarks/sub2.htm
を参考にしてください。
過去ログはhttp://www.artis-research.com/mathbbs/index.cgiでご覧ください。
★ ７人の死刑囚と７色の帽子 / ハンニバル・フォーチュン
パズルです。先日の「７人の死刑囚と８色の帽子」とは設定が異なります。

とある独裁国。かねてよりの独裁者による命令があり、賢い死刑囚には恩赦が与えられて解放されることになっている。
とある刑務所には７人のとても賢い死刑囚がいる。
彼らの処刑予定日は明日だ。
賢さを認めて恩赦を与えるべきなのかどうか決定するために刑務所長が次のようなテストを考えた。

７色の帽子を用意する。赤、橙、黄、緑、青、藍、紫の色の帽子が７つづつあり、死刑囚たちはこのことを教えられる。
処刑の前に死刑囚たちはいったん１室に集められ、目隠しをされ、帽子をかぶらせられ、そして目隠しをはずされる。
死刑囚たちが被った帽子の色は、全て異なるかもしれないが、そうである必要はない。（各色ともに帽子は７つづつあるから。）
死刑囚たちは自分以外の帽子の色は見ることができるが、自分の帽子の色は見ることができない。
死刑囚同士の間では、互いの帽子の色を教えあうようないかなるコミュニケーションも禁じられる。
各死刑囚は、自分の帽子の色について推定し紙に書いて、ひとりづつ刑務所長に渡す。もちろん、各死刑囚は他の死刑囚が書いた紙の内容を知るすべはない。
少なくとも１人の死刑囚が自分の帽子の色を紙に書いていれば【全員が恩赦を受けて】死刑は中止になり、刑務所から解放される。


以上のようなテストを決めた刑務所長は、明日に処刑予定の７人の死刑囚を所長室に集めてテスト内容を説明する。
また、本日中であるならば死刑囚たちは自分達が恩赦を受けられるように事前に取り決めを交わしておくことが許されている。

死刑囚全員が恩赦を確実に受けられるような取り決めは存在するだろうか。

※実はこのパズルとその解とが書いてある某パズル本を入手してあります。本質が変わらないようにしながら文面を変え翻案したのちに投稿しております。

私は、独力では解けませんでした（テヘペロ【死語】）
数学力が必要なようです。
No.22756 2020/04/10(Fri) 00:07:10
☆ Re: ７人の死刑囚と７色の帽子 / ハンニバル・フォーチュン
各色に0から6までの数値をあてがいます。たとえば 赤=0、橙=1、黄=2、緑=3、青=4、藍=5、紫=6など。
死刑囚全員の帽子の色の数値の総和Ｓについて刑務所長は知っていますが各死刑囚は知りません。同じことですが Ｔ＝Ｓ％７ （Ｓを７で割ったときの余り）について刑務所長は知っていますが各死刑囚は知りません。仮にＴの値を刑務所長が特定のひとりの死刑囚に教えればその死刑囚は自分の帽子の色を確実に言い当てることができることは明白です。ところが本問においては刑務所長は各死刑囚にＴの値を教えませんから、Ｔの値の取りうる範囲、すなわち、０,１,２,３,４,５,６のうちどれかについてヤマをはって自分の帽子の色の推定値を紙に書き出して刑務所長に渡すしかありません。
死刑囚全員が事前に取り決めをして協調行動をとらない限り【少なくとも誰かひとりが色を言い当てる】事象が発生する確率は、1-(6/7)^7ですからおよそ66%です。
さて、死刑囚たちが事前に取り決めを交わして【少なくとも誰かひとりが色を言い当てる】確率を100％にするためには、【少なくとも誰かひとりが色を言い当てている場合には他の６人は色をはずす】必要があります。こうした協調行動を目的に以下の通りに事前取り決めをします。
囚人たちは０から６までの互いにユニークな番号をつけあいます。この番号をｉとしましょう。
番号ｉの死刑囚は Ｔ＝Ｓ％７＝ｉ と仮定して、自分の帽子の色の数値を計算して紙に書いて刑務所長に渡します。
死刑囚全員の紙が所長に渡されたときに、どれか１枚の紙のみに書かれた帽子の色は、必ず当たっています。Ｔ＝Ｓ％７について７通りの仮定をたてていますからどれかひとつの仮定は当たっています。その当たった仮定のもとで計算した特定のひとりの死刑囚は自分が書いた帽子の色が当たっています。こうして死刑囚全員は恩赦による釈放を勝ち取れます。
No.22757 2020/04/11(Sat) 14:09:38
★ 連続する（特殊な）自然数の立方数の差の素因数分解 / かっちい
連続する（ある条件を満たす）自然数の立方数の差についていくつか素因数分解をしてみたところ奇妙な現象があらわれました。

n を 非負整数とします。

数列 a(n) を次のように定義します。

a(n) = (2n(n +1) +1)^3 -(2n(n +1))^3

a(n) は連続する２つの非負整数の立方数の差になっていますが、より小さい方の整数は矩形数の２倍（三角数の４倍）となっています。
（ただし今回は 0 は三角数でもあり矩形数でもあると約束しておきます。）

小さめの n についていくつか計算し素因数分解してみました。

a(0) = 1 = (6*0 +1)
a(1) = 61 = (6*10 +1)
a(2) = 469 = (6*1 +1)*(6*11 +1)
a(3) = 1801 = (6*300 +1)
a(4) = 4921 = (6*1 +1)*(6*3 +1)*(6*6 +1)
a(5) = 10981 = (6*13 +1)*(6*23 +1)
a(6) = 21421 = (6*5 +1)*(6*115 +1)
a(7) = 37969 = (6*7 +1)*(6*147 +1)

上記の通り a(n) を素因数分解すると、各素因数はいずれも 6 で割ると 1 あまるようにみえます。

投稿スペースを考えて n = 0 から 7 までを例示しました。他にもいくつか計算しましたが私が非力なためか例外をみつけるにいたっておりません。

不可思議な現象にみえますけれども理由がわからないでいます。

ご教示頂ければ幸いです。
No.22746 2020/04/02(Thu) 21:34:07
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / 陳
a(n)を素因数分解すると、「６で割ると１余る」ことの理由が分からないということについて、解答します。


x^3-y^3=(x-y)(x^2+xy+y^2)…(1)

x=y+1とおくと、

(1)式は、3y^2+3y+1となる。

ここで、y=2n(n+1)とおくと、(1)式は６で割って１余る数です。
No.22747 2020/04/03(Fri) 14:08:09
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / かっちい
陳さん。応答、有り難うございます。

> a(n)を素因数分解すると、「６で割ると１余る」ことの理由が分からないということについて、解答します。
>
>
> x^3-y^3=(x-y)(x^2+xy+y^2)…(1)
>
> x=y+1とおくと、
>
> (1)式は、3y^2+3y+1となる。
>
> ここで、y=2n(n+1)とおくと、(1)式は６で割って１余る数です。


陳さんが仰ることは以下と等価であると思います。

a(n) = (2n(n +1) +1)^3 -(2n(n +1))^3 = 12n^4 +24n^3 +18n^2 +6n +1 = 6(2n^4 +4n^3 +3n^2 +n) +1
であるから、 a(n) を 6 で割ると 1 余る。

私が知りたいのは、「a(n) を 6 で割ると 1 余る」理由ではなくて、「a(n) を素因数分解したときに、各素因数（=素数）が悉く 6 で割ると 1 余る」理由なのです。

ある自然数からなる数列、b(n) が 任意の n について 6 で割ると 1 余るとしましょう。

例えば
b(n) = (6n +5)(12n +5)
は、この条件を満たします。

b(2) = 493 = 17*29
ですが、17 や 29 は 1 と合同ではありません。 (mod 6)

a(n) では私が試した限りでは、全ての素因数が 1 と合同のようにみえます。 (mod 6)
No.22748 2020/04/03(Fri) 17:11:54
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / らすかる
理由はわかりませんが、「素因数が6n+1型の素数のみ」は正しいようです。
↓こちらは「素因数が6n+1型の素数のみである数」の列です。
http://oeis.org/A004611
このCOMMENTSの4段落目に
「z^2=x^2+xy+y^2かつgcd(x,y,z)=1を満たすようなz」も同じ数列になる
と書かれていますが、
z=(2n(n+1)+1)^3-(2n(n+1))^3
x=4n(n+1)(3n^2+3n+1)
y=(2n+1)^2
とするとz^2=x^2+xy+y^2が成り立ち、
またこのとき3y^2-2y-4x=1ですから
gcd(x,y,z)=1も満たしています。
従ってz=(2n(n+1)+1)^3-(2n(n+1))^3の値はこの数列に含まれ、
素因数が6n+1型の素数のみであることがわかります。
「素因数が6n+1型の素数のみである数」の集合と
「z^2=x^2+xy+y^2かつgcd(x,y,z)=1を満たすようなz」の集合が
一致することに関してその下に書かれていますが、よくわかりませんでした。
No.22749 2020/04/03(Fri) 19:29:40
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / かっちい
らすかるさん、大変に貴重な御助言をまことに有り難うございます。
実験にすぎなかったことに肯定的な筋道がたってありがたかったです。
また、お陰様で以下の通り、判明いたしました。

まず第一に、私の思い込みにて、

a(n) = (2n(n +1) +1)^3 -(2n(n +1))^3

なる数列が特殊なのだという先入観がありましたが、実際には、

c(m) = (m +1)^3 -(m)^3

にて、各素因数が 6k+1型 になるのでした。

第２にその確認ですが、以下の通りです。

p が (3m^2 +3m +1) の素因数であるとします。すなわち

3m^2 +3m +1 == 0 (mod p)

ただしここで、明らかに p は 2 でも 3 でもないことに留意しておきます。

このとき

(6m + 3)^2 +3 = 36m^2 +36m +12 = 12(3m^2 +3m +1)

ですから

(6m + 3)^2 +3 == 0 (mod p)

が言えます。

一方、「3 と異なる奇素数 q に対して、q が x^2 +3 を割り切るような整数 x が存在することと、q が 6 を法として 1 に合同であることは同値である。」ことが【平方剰余の相互法則】から導かれます。（注１）

x を、(6m + 3)、q を p と置き換えて考えればよくて、

(3m^2 +3m +1) の素因数である p について

p == 1 (mod 6)

といえることになります。

【注１】平方剰余の相互法則（Wikipedia）
https://ja.m.wikipedia.org/wiki/%E5%B9%B3%E6%96%B9%E5%89%B0%E4%BD%99%E3%81%AE%E7%9B%B8%E4%BA%92%E6%B3%95%E5%89%87

※生まれて初めて平方剰余の相互法則を使いました。存在は知っていましたが頭の片隅で化石になっておりました。

らすかるさん、このたびはまことにありがとうございました。

ところで「素因数が6n+1型の素数のみである数」の集合と「z^2=x^2+xy+y^2かつgcd(x,y,z)=1を満たすようなz」の集合が一致することの証明は私には難物のようです。
No.22750 2020/04/04(Sat) 14:18:26
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / かっちい
余談ながら、なぜこの変な a(n) を素因数分解しようとしていたかお話させてください。

n = (3(2k +1)^2 -1)/2
n +1 = (3(2k +1)^2 +1)/2

と置いて、n と (n +1) とが互いに素、その和と積とは互いに素、を確認しておいて

2n +1 = 3(2k +1)^2
n(n +1) = (1/4)(9(2k +1)^4 -1)

次に連続する自然数についてそれぞれの立方数を求めて加えたものが、平方数になりえるかについて調べておりました。

n^3 +(n +1)^3
= (2n +1)(n^2 +n +1)
= [3{(2k +1)^2}][3{(2k(k +1) +1)^3 -(2k(k +1) +0)^3}]

(n^3 +(n +1)^3)が平方数となるものを探すために
{(2k(k +1) +1)^3 -(2k(k +1) +0)^3} が平方数であるものを探したいというわけです。(たぶんありません。)

とりあえず素因数分解してパターンを見たかったところで 素因数が 6k+1 で表せることに気がついた、という次第です。

ところで一般に(m +1)^3 -(m)^3が平方数であることもありえて、その場合には
(m +1)^3 -(m)^3 = (t^2 +(t +1)^2)^2 のようなtが存在している、またその形に限ることが知られていまして…

m が 2k(k +1) のタイプのものがみつかるかどうかもあれこれいじっています。

余談を終わります。
No.22751 2020/04/04(Sat) 14:38:09
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / かっちい
(m +1)^3 -m^3 = (t^2 +(t +1)^2)^2

となるような t について t ≦ 10^7 の範囲での 一覧を下記に示します。

0
2
9
35
132
494
1845
6887
25704
95930
358017
1336139
4986540

今回、あらためまして
t^2 +(t +1)^2 == 1 (mod 6)
であることをたった今、上記の範囲内で検算いたしまして、無事に終わりました。

m に 2k(k +1) で表すことができるものがあるかどうか、考えあぐねております。
No.22752 2020/04/04(Sat) 22:33:19
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / かっちい
らすかるさんへ。

> ↓こちらは「素因数が6n+1型の素数のみである数」の列です。
> http://oeis.org/A004611


よくみたら A004611(n) は「素因数が 3n+1型 の素数のみである数」ですね。

Divisible only by primes congruent to 1 mod 3.

if a prime p divides n, then p == 1 mod 3.

とありますので。
Also z such that z^2 = x^2 + x*y + y^2 and gcd(x,y,z) = 1.

とあるのも「素因数が 3n+1型 の素数のみである数」の集合と一致する、ということになります。

ところが、
A004611(1) から A004611(55) までは確かに「素因数が 6n+1型 の素数のみである数」になっています。

訳がわかりません……
No.22753 2020/04/06(Mon) 10:13:39
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / らすかる
「3n+1型 の素数」と「6n+1型 の素数」は全く同じ集合ですね。
「3n+2型 の素数」と「6n+5型 の素数」は一致しませんが。
No.22754 2020/04/06(Mon) 11:15:47
☆ Re: 連続する（特殊な）自然数の立方数の差の素因数分解 / かっちい
> 「3n+1型 の素数」と「6n+1型 の素数」は全く同じ集合ですね。
> 「3n+2型 の素数」と「6n+5型 の素数」は一致しませんが。


ごもっともでした。
らすかるさん、有り難うございます。

n > 0 の整数において
3n+1型 が素数ならば それは奇素数なのであって、 3n は偶数、 n = 2m とでもおけば 6m+1型 の素数なのでした。

こんなことも直ぐに判らないようでは本当に馬鹿な私です。
No.22755 2020/04/06(Mon) 13:19:34
★ 高校1年 確率 / 野菜
1〜6が等確率で出るサイコロを用いてすごろくを行うとき、ゴールのnマス手前からぴったりゴールできる(通り過ぎると不可)確率をP(n)とする。
nを限りなく大きくしたとき、どのような値に近づくか。

この問題なのですが、詳細は省略しますが、

　1≦n≦6のとき　P(n)＝(1/6)(7/6)^(n-1)
　n≧7のとき　P(n)＝(1/6)(P(n-6)+P(n-5)+P(n-4)+P(n-3)+P(n-2)+P(n-1))

となるので、n≧7のときはP(n)は前6回の平均なので、nを限りなく大きくしたとき何かの値に近づきそうなのですが。
よろしくお願いします。
No.22738 2020/03/26(Thu) 13:40:02
☆ Re: 高校1年 確率 / らすかる
1回に進む平均マス数は7/2なので、無限の長さの場合に
特定のマスに止まる確率は2/7となります。
従って質問の答えは2/7です。
No.22739 2020/03/26(Thu) 16:11:28
☆ Re: 高校1年 確率 / かっちい
「すごろくが後戻りなしで上がれる確率」 では 煩雑な漸化式を解くやり方でも計算できて、それがらすかるさんによる解法によるものと一致している旨、解説しています。

http://zakii.la.coocan.jp/enumeration/31_sugoroku.htm
No.22740 2020/03/26(Thu) 16:21:16
☆ Re: 高校1年 確率 / 野菜
>>らすかる様
たしかにサイコロの期待値が7/2なのでそうなりますね。どうもありがとうございました。

>>かっちい様
７項間漸化式と極限の話がとても納得できました。どうもありがとうございました。
No.22742 2020/03/27(Fri) 00:15:46
★ ７人の死刑囚と８色の帽子 / ハンニバル・フォーチュン
とあるパズルをみかけて感激しましたのでご紹介させてください。なお文面は変えてあります。オリジナルの問題：引用元については後日ご案内いたします。（答えがわかってしまいますので。）

とある独裁国。この国では死刑の方法は縛り首か電気椅子かのどちらかであり、死刑囚はどちらで処刑してもらいたいかについてを希望することができる。
また、かねてよりの独裁者による命令があり、賢い死刑囚には恩赦が与えられて解放されることになっている。
とある刑務所には７人のとても賢い死刑囚がいる。
彼らの処刑予定日は明日だ。
縛り首による死刑か、電気椅子による死刑か、はたまた賢さを認めて恩赦を与えるべきなのか、彼らの処分を決定するために刑務所長が次のようなテストを考えた。

８色の帽子を用意する。黒、赤、橙、黄、緑、青、藍、紫の色の帽子が１つづつあり、死刑囚たちはこのことを教えられる。
処刑の前に死刑囚たちはいったん１室に集められ、目隠しをされ、帽子をかぶらせられ、そして目隠しをはずされる。死刑囚たちは自分以外の帽子の色は見ることができるが、自分の帽子の色は見ることができない。また黒色の帽子が誰かは不明だがランダムに決められた１人にかぶせられたと教えられる。残りの７色のうち６色がランダムに選ばれ黒色の帽子をかぶらせられた者以外の６人の死刑囚にランダムにかぶらせられたと教えられる。１色ぶん帽子が余るが、それが何色なのかについては死刑囚には教えられない。
死刑囚同士の間では、互いの帽子の色を教えあうようないかなるコミュニケーションも禁じられる。
ついで、各死刑囚のなかで縛り首を希望するものは縛り首準備室に全員移動し、電気椅子を希望するものは電気椅子準備室に全員移動する。
その後、ひとりづつそれぞれの処刑の準備室から処刑室に移動させられた死刑囚は、処刑の直前にもしも自分にかぶらせられた帽子の色について論理的にひとつに特定したことを説明できれば、賢さが認められて晴れて恩赦を受けられる。

以上のようなテストを決めた刑務所長は、明日に処刑予定の７人の死刑囚を所長室に集めてテスト内容を説明する。
また、本日中であるならば死刑囚たちは自分達が恩赦を受けられるように事前に取り決めを交わしておくことが許されている。

死刑囚全員が恩赦を確実に受けられるような取り決めは存在するだろうか。


このような素晴らしいパズルを作問された方に感謝するとともに、本掲示板の閲覧者の皆様にご紹介したく、投稿させていただいた次第です。
No.22736 2020/03/23(Mon) 23:06:41
☆ Re: ７人の死刑囚と８色の帽子 / ハンニバル・フォーチュン
オリジナルの問題：引用元によれば以下の文面（１）を文面（２）に変更したときには、死刑囚全員が恩赦を確実に受けられるような取り決めは存在せず、確率７/８で死刑囚全員が恩赦を受ける取り決めがあります。

（１）>また黒色の帽子が誰かは不明だがランダムに決められた１人にかぶせられたと教えられる。残りの７色のうち６色がランダムに選ばれ黒色の帽子をかぶらせられた者以外の６人の死刑囚にランダムにかぶらせられたと教えられる。１色ぶん帽子が余るが、それが何色なのかについては死刑囚には教えられない。


（２）>８色のうち７色がランダムに選ばれ７人の死刑囚にランダムにかぶらせられたと教えられる。１色ぶん帽子が余るが、それが何色なのかについては死刑囚には教えられない。


この、確率７/８という値はかなり良い確率でして、下記のパズルとその解答での確率１/２よりも命が助かる確率が大きいです。

稲葉直貴氏による《９９人の囚人》
( inabapuzzle.com/hirameki/suuri_ans6.html )


この１/２と７/８との差がどこに起因しているかというと、縛り首を選ぶか電気椅子を選ぶかという意思表示が可能という設定をもちいて、自分がみている状況から作り出す１ビット分の情報を他の死刑囚に公知できるからなのですね。
No.22737 2020/03/25(Wed) 17:16:16
☆ Re: ７人の死刑囚と８色の帽子 / ハンニバル・フォーチュン
No.22736 2020/03/23(Mon) 23:06:41 でご案内させて頂いたパズルについて、まずは私が感激した解法を書きます。これとは別の解法もありますので後日ご案内いたします。比較して頂ければ幸いです。

第一に注意しておきたいことは、パズルの設定によって７人の死刑囚のうち１人は黒色の帽子をかぶっていることです。
またそれ故、ある１人の死刑囚の視点では他の６人の死刑囚の帽子が黒色ではないことから、自分が黒色の帽子をかぶっていることを確実に知ることができます。と同時にこの黒色の帽子をかぶっている死刑囚は、１色ぶん余らせられた帽子の色について確実に知ることができます。

第二に注意しておきたいことは、
黒以外の色の帽子をかぶっている死刑囚にとっては、自分がかぶっている帽子の色と１色ぶん余らせられた帽子の色との２色について確実には知ることができないことです。２色のうちどちらが自分がかぶっている帽子の色なのかを独力では知り得ないのですね。

仮に黒色の帽子の死刑囚が、自身が知っている「１色ぶん余らせられた帽子の色」を他の死刑囚全員に知らせることが出来れば他の死刑囚は自身がかぶっている帽子の色を知ることになり、全員が恩赦を受けることが可能となります。
しかしながら設定されたルールでは互いの帽子の色を教えあうようないかなるコミュニケーションも禁じられていますのでなんとか抜け道を考えることとなります。この抜け道については少なくとも２通りあり、今回は簡明かつ感銘をうける抜け道をご紹介いたします。

事前取り決めにおいて、帽子の色に点数をあてがいます。
黒=0、赤=1、橙=2、黄=3、緑=4、青=5、藍=6、紫=7 としましょう。
各死刑囚は自分の持ち点を次のように計算します。すなわち。
黒色の帽子の死刑囚は、「１色ぶん余らせられた帽子の色」の点数の２倍を持ち点とします。
帽子の色が黒ではない死刑囚は、「１色ぶん余らせられた帽子の色」の点数と「自分がかぶっている帽子の色」の点数の和を自分の持ち点とします。
各死刑囚は自分の持ち点が７以下ならば縛り首を希望し持ち点が８以上ならば電気椅子を希望します。
それぞれの処刑の準備室に全員がはいった後に各死刑囚は電気椅子を希望した死刑囚の人数を知ることができます。（ある意味において黒色の帽子の死刑囚は既に知っていましたが。）この人数が「１色ぶん余らせられた帽子の色」の点数と等しくなっています。ゆえに死刑囚たちは「自分がかぶっている帽子の色」の点数を確実に知ることができたということになります。
以上の事前取り決めにより確率１００％で全員が恩赦をうけることができます。

各死刑囚がそれぞれ１ビットの情報を持ち寄ることで解決する
この素敵な解法は以下から学びました。

id:iwdsts さんによる太陽のブログ：2018-10-29：論理クイズ：100人の囚人 https://iwdsts-suntitle.hatenablog.com/entry/2018/10/29/195243


ここまでで解法のひとつ、私が感銘を受けた簡明な解法をご案内いたしました。
もうひとつの解法は奇順列と偶順列とを使う方法ですがこちらは先にご案内した解法に比べてステップが大変です。尤もパズルの設定では各死刑囚は極めて賢いので大丈夫なのでしょうけれども。
No.22741 2020/03/26(Thu) 23:16:52
☆ Re: ７人の死刑囚と８色の帽子 / 黄桃
こういう類の問題は設定を明確にしてほしいです。

＃コミュニケーション不可とありますが、取り決めにしたがって動くのは一種のコミュニケーションでしょう。

1. テスト内容は本日知らされた。
2. 全員取り決めを守り全員の釈放を目的とする（例えば、黒の帽子の人が自分だけ助かるような裏切りをする可能性は考慮しない）。
3. 翌日のルールは以下の通りとする。
(a)準備室への移動自体が唯一の他の死刑囚への伝達可能事項（これ以外のいかなる行為も不許可＝即アウト）。
(b)移動先も死刑囚の（本当の好みとは無関係に）自由
ここまでは、まあそうだろう、と推定できますが、次の2つが曖昧です。
(c)準備室には一人ずつ順に移動か、一斉移動か。1人ずつなら順序は死刑囚の自由か。
(d)各死刑囚が他の死刑囚がどこの準備室に移動したのかは知っているのか（特に(c)で一人ずつ移動する場合）。

関連リンクを読む限り(c)が一斉移動、(d)がYES のようです。それなら、次のようにすればOKです（黒は除かれてないことが既知の場合でもそうでない場合でも同じ）。
(1)色に 0,1,..,7 の番号をつけ円形にならべる。差が1である２つの色、と、0と7は隣同士と定義する。
(2)各自、見えてない２つの色が隣同士なら絞首刑、そうでないなら電気椅子を選ぶ
(2.5) すると、ちょうど2人（除かれた色の隣の色の帽子をかぶった死刑囚）が絞首刑、残りが電気椅子を選ぶことになる。
(3)絞首刑を選んだ死刑囚は、同室になった相手の色の隣で、自分が見てない色が取り除かれた色とわかる。
(4)電気椅子を選んだ死刑囚は、絞首刑を選んだ2人の死刑囚の間の色（両方の色のとなりである色）が除かれた色とわかる。
(5)除かれた色がわかったので自分の色がわかる。

(c)が一人ずつで順番は自由、(d)が自分より前に移動した死刑囚はYES,自分より後はNO、だとすれば、最初の問題（黒は使われる）では次のような解があります
（2番目の問題、あるいは、最初の問題でも順序指定で黒でない帽子の人が最初になると、最初の人はまったく情報がないので決定不可能）。
(0)上と同じように番号をつける。ただし、今度は円形に並べず、小さい番号が下、大きい番号は上と呼ぶことにする。
(1)絞首刑が上、電気椅子が下と定義する。
(2)黒の帽子の人は除かれた色がわかるので、その色が半分より上か下かにしたがって(1)のように移動する（除かれた色が4以上なら上＝絞首刑に移動）
(3)(2)で黒の帽子の人が上に移動したとすると、下、つまり0-3の番号はすべて見える、となるので、0-3の色の帽子を被った人（少なくとも3人いる）は自分の色がわかる（他の3つが見えていて、残りの１つだけが見えないから）。
　　よって、除かれた色がわかるので、その色が4-7 の中で上半分なら絞首刑、下半分なら電気椅子を選んで移動。
(4) (3)で例えば下＝電気椅子を選んだとすれば、除かれた色は4か5, であり、6,7は見える、とわかったので、6,7の色の人（少なくとも一人いる）は自分の色がわかる。
　　　したがって除かれた色がわかる。そして、それが4,5のいずれかであることを上か下かで最後の一人に教えることができる。

＃黒が除かれてないのは既知だから、運が良ければ(3)の段階で（残った候補が黒ともう１色となって確定）全員自分の色がわかる。
No.22743 2020/03/28(Sat) 11:56:39
☆ Re: ７人の死刑囚と８色の帽子 / ハンニバル・フォーチュン
黄桃さま。

出題の不備についてのご指摘をまことに有り難うございます。
仰る通りです。

また、素晴らしい解法をご教示くださいましてまことに有り難うございます。

お教え頂いた方法のひとつを使えば、先日の私の投稿（No.22737 2020/03/25(Wed) 17:16:16）に於ける下記の文はヌルイということになります。

《オリジナルの問題：引用元によれば以下の文面（１）を文面（２）に変更したときには、死刑囚全員が恩赦を確実に受けられるような取り決めは存在せず、確率７/８で死刑囚全員が恩赦を受ける取り決めがあります。

（１）>また黒色の帽子が誰かは不明だがランダムに決められた１人にかぶせられたと教えられる。残りの７色のうち６色がランダムに選ばれ黒色の帽子をかぶらせられた者以外の６人の死刑囚にランダムにかぶらせられたと教えられる。１色ぶん帽子が余るが、それが何色なのかについては死刑囚には教えられない。


（２）>８色のうち７色がランダムに選ばれ７人の死刑囚にランダムにかぶらせられたと教えられる。１色ぶん帽子が余るが、それが何色なのかについては死刑囚には教えられない。》

確率７/８ではなく確率１で死刑囚全員が恩赦を受ける事前取り決めがある、ということになります。

私が実際に死刑囚ならば賢さが足りない故に１/８の確率で訪れる死を免れませんでした。
No.22744 2020/03/30(Mon) 18:53:21
☆ Re: ７人の死刑囚と８色の帽子 / ハンニバル・フォーチュン
解ける形でシェイプアップいたしました。

とある独裁国。
かねてよりの独裁者による命令があり、賢い死刑囚には恩赦が与えられて解放されることになっている。
とある刑務所には７人のとても賢い死刑囚がいる。
彼らの処刑予定日は明日だ。
死刑にすべきか、はたまた賢さを認めて恩赦を与えるべきなのか、彼らの処分を決定するために刑務所長が次のようなテストを考えた。

８色の帽子を用意する。黒、赤、橙、黄、緑、青、藍、紫の色の帽子が１つづつあり、７人の死刑囚たちはこのことを教えられる。
処刑の前に死刑囚たちはいったん１室に集められ、目隠しをされ、それぞれ帽子をかぶらせられ、そして目隠しをはずされる。死刑囚たちは自分以外の帽子の色は見ることができるが、自分の帽子の色は見ることができない。また、１色ぶん帽子が余るが、それが何色なのかについては死刑囚には教えられない。
死刑囚同士の間では、【互いの帽子の色を直接的に教えあうような】いかなるコミュニケーションも禁じられる。
刑務所長がこう言う。
「私が手を叩く。そこで、７人の中で真っ先に処刑されたい者は右手を、最後に処刑されたい者は左手を、即座に手を挙げるように。それぞれの希望者がひとりづつならば２人の希望はかなえられる。これがお前たち死刑囚がお互いの意思を伝え会う唯一の機会である。」

また、その後に刑務所長は紙と鉛筆とを配り、こうも言う。
「おのおの、自分の帽子の色について推定せよ。【互いの帽子の色を直接的に教えあうような】いかなるコミュニケーションも禁じられる。１色だけを紙に書け。全員が正解を書けば恩赦が全員に与えられる。」

以上のようなテストを決めた刑務所長は、明日に処刑予定の７人の死刑囚を所長室に集めてテスト内容を説明する。
また、本日中であるならば死刑囚たちは自分達が恩赦を受けられるように事前に取り決めを交わしておくことが許される。

死刑囚全員が恩赦を確実に受けられるような取り決めは存在するだろうか。（刑務所長はそうであると目論んでいる。）
No.22745 2020/03/31(Tue) 23:26:33
★ とある性質を持つ三角数の非存在について / かっちい
悩んでおります。

kを正の整数とします。

2k が三角数のときに、

3(5k(5k +1)/2 -3k(3k +1)/2)

もまた三角数となるような k は果たしてどれほどあるのでしょうか。


なにかヒントになるようなアイデアがあれば嬉しいです。

何卒宜しくお願いいたします。
No.22732 2020/03/10(Tue) 23:01:56
★ (No Subject) / Y.AOKI
数学の部屋　http://math.a.la9.jp/　に
『あなたはＰＣＲ検査で陽性になりました。実際に感染している確率は？』を載せました。試してみてください。
No.22728 2020/03/10(Tue) 20:27:25
☆ Re:あなたはＰＣＲ検査で陽性になりました。実際に感染している確率は？ / かっちい
> 数学の部屋　http://math.a.la9.jp/　に
> 『あなたはＰＣＲ検査で陽性になりました。実際に感染している確率は？』を載せました。試してみてください。

教材の開発を有難うございます。
拝見いたしました。

感想を申し上げます。
感度の既定値が少々高すぎるかも知れません。

「感度が30％から50％だとか，特異度が90％とか99％と言われる」（注１）と、神戸大学で長年長年にわたり公衆衛生学と疫学を講義で教えていらっしゃる中澤港先生（専門は公衆衛生学/国際保健学）が書かれていらっしゃいます。

（注１）実は、COVID-19の場合では、リアルタイムRT-PCRで検査するという方法は確定診断の手段になってしまっていますので、感度も特異度も求められないというのが原理的な側面になってしまっているのです。別途に確定診断の方法があって、それをリファレンスにしてPCRの感度や特異度を求められれば良いのですけれども…ないものねだりなのです。
では何ゆえ、「感度が30％から50％だとか，特異度が90％とか99％と言われる」などとアバウトな感触が出回っているかについては、以下をご参照ください。


http://minato.sip21c.org/2019-nCoV-im3r.html
の検査性能の項に詳しく書いてあります。
No.22729 2020/03/10(Tue) 22:03:15
☆ Re: :あなたはＰＣＲ検査で陽性になりました。実際に感染している確率は？ / Y.Aoki
情報ありがとうございます。
初期値はあくまでも初期値でいろいろ試していただくのが趣旨なので、あえて私の主張に不利になるように高めにしました。しかし感度の初期値は５０％でもよかったかもしれませんね。特異度の初期値５％はまあまあですか。
検査性能について　は参考になりました。
No.22730 2020/03/10(Tue) 22:22:27
☆ Re: / Y.Aoki
失礼、特異度の初期値９５％です。
No.22731 2020/03/10(Tue) 22:33:11
☆ Re: / ヨッシー
背後に１億超の非感染者がいるとこういう結果になるのですね。
何はともあれ、青木さんが久々にページ更新されてうれしい限りです。
私も頑張らねば。
No.22733 2020/03/12(Thu) 22:10:11
☆ Re: ヨッシー / Y.Aoki
ヨッシーさん、お久しぶりです。
今後、検査で陽性になって、実際は感染していないのに精神的に落ち込んでしまう人も多いと思うので、もちろん感染している可能性もあるので油断はできませんが、必ずしも感染しているわけではないということを知っていただいて、みんなで頑張っていきたいという思いで、緊急で作らせていただきました。
No.22734 2020/03/13(Fri) 12:43:23
☆ Re: 更新について / 清一
10年以上前息子がよく今週の問題でお世話になっていました。ある時から更新がなされず、金沢在住のため某中学に電話をしたことがあります。その時その中学からは情報が得られませんでした。しかしながら数日前更新されていることに気が付き、目頭が熱くなってきました。状況が好転してきているんですね。
No.22735 2020/03/21(Sat) 12:20:30
★ 対数螺旋は等角曲線？ / める
最近対数螺旋が等角曲線という性質を持つと知りました。
対数螺旋は、極座標表示で、R＝a∧θ
（Rは原点からの距離、aは定数、θは原点からの角度）ととてもシンプルに表示できます。この曲線が等角曲線である（原点から伸ばした直線と同じ角度で常に交わる）という性質は直感的にわかりません。
交点の傾きを求めて、原点から伸ばした直線との傾きとの差をタンジェントで求め、タンジェントの逆数が、θやRによらず一定であることを示すという方針の証明がありましたが、とても形式的でそれで証明してもなぜ等角なのか直感的に納得できませんでした。
対数螺旋の定義式から、感覚的に納得できる等角の証明はないものでしょうか？
No.22725 2020/03/07(Sat) 07:08:04
☆ Re: 対数螺旋は等角曲線？ / らすかる
感覚的にこれで納得できるかどうかはわかりませんが・・・

あるθから微小な角度dθだけ増やしたとき、a^(θ+dθ)/a^θ=a^dθ
ですから、θの値にかかわらずrは必ずa^dθ倍になります。
ということは、「原点からa^θまでの距離」と
「原点からa^(θ+dθ)までの距離」の比はθによらず一定ですから
原点、a^θ、a^(θ+dθ)の3点で作られる三角形はすべて相似であり、
「原点とa^θを結ぶ直線」と「a^θとa^(θ+dθ)を結ぶ直線」の角度は
常に一定になります。
No.22726 2020/03/07(Sat) 13:46:17
☆ Re: 対数螺旋は等角曲線？ / める
私の期待していた、感覚的によく納得できる解説でした。
対数螺旋はオウムガイの殻のように、微小な相似の三角形が積み重なったものと捉えられるのですね。そう考えると等角であることがとても自然に納得できました。
いつも親切に教えていただき本当にありがとうございます。
No.22727 2020/03/07(Sat) 19:41:53
★ ベルトラン・チェビシェフの定理について。 / コルム
次の質問に答えていただけると幸いです。以下のURLです。
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q11220784871
No.22722 2020/03/02(Mon) 20:46:24
☆ Re: ベルトラン・チェビシェフの定理について。 / いとをかし
https://www.chart.co.jp/subject/sugaku/suken_tsushin/76/76-8.pdf
がスッキリまとまっていいのではないですか？
No.22723 2020/03/03(Tue) 12:37:25
☆ Re: ベルトラン・チェビシェフの定理について。 / コルム
それでは、よくわからなかったので、詳しいものを選んだのです。
教えていただけないでしょうか？すみません。
No.22724 2020/03/03(Tue) 14:52:37
★ (No Subject) / su
F[x, y] = [x/(x^2 + y^2 - 2 y + 1), (1 - y)/(
x^2 + y^2 - 2 y + 1)] による

　円 x^2 + y^2 = 2 の像を求めよ。
No.22721 2020/02/26(Wed) 20:24:01
★ 助けて! / hisao
y= x^2 (0<=x<=1)の曲線の長さを2等分するその曲線上の中点座標（x,y)は?
条件：上記、曲線の長さは、1.47894...と計算済みとする。
No.22713 2020/02/16(Sun) 14:07:15
☆ Re: 助けて! / らすかる
曲線の長さの公式に当てはめて
2∫[0〜t]√(1+4x^2)dx=∫[0〜1]√(1+4x^2)dx
これより
4t√(1+4t^2)+2log(2t+√(1+4t^2))=2√5+log(2+√5)
となりますが、これはおそらく解析的には解けません。
数値的に解くと
(x,y)≒(0.61073868295805988604,0.37300173886134558907)
となります。
No.22714 2020/02/16(Sun) 15:12:33
☆ Re: 助けて! / hisao
> 曲線の長さの公式に当てはめて
> 2∫[0〜t]√(1+4x^2)dx=∫[0〜1]√(1+4x^2)dx
> これより
> 4t√(1+4t^2)+2log(2t+√(1+4t^2))=2√5+log(2+√5)
> となりますが、これはおそらく解析的には解けません。
> 数値的に解くと
> (x,y)≒(0.61073868295805988604,0.37300173886134558907)
> となります。

ありがとうございます。
No.22715 2020/02/16(Sun) 16:05:05
☆ Re: 助けて! / hisao
> > 曲線の長さの公式に当てはめて
> > 2∫[0〜t]√(1+4x^2)dx=∫[0〜1]√(1+4x^2)dx
> > これより
> > 4t√(1+4t^2)+2log(2t+√(1+4t^2))=2√5+log(2+√5)
> > となりますが、これはおそらく解析的には解けません。
> > 数値的に解くと
> > (x,y)≒(0.61073868295805988604,0.37300173886134558907)
> > となります。
>
>
No.22716 2020/02/16(Sun) 16:05:42
☆ Re: 助けて! / hisao
>解析的には解けません
理解しました。感謝です。

>数値的に解く
どうやったら数値的に解けるのですか。
No.22717 2020/02/16(Sun) 16:14:19
☆ Re: 助けて! / hisao
pythonで(x,y)≒(0.610...,0.373...)表示してみました。
http://30d.jp/20120218toyo/49
No.22718 2020/02/16(Sun) 16:49:21
☆ Re: 助けて! / らすかる
自力でやるならニュートン法など使えば出来ると思いますが、
今回は↓こちらのサイトを使いました。
https://www.wolframalpha.com/input/?i=4t%2Asqrt%281%2B4t%5E2%29%2B2log%282t%2Bsqrt%281%2B4t%5E2%29%29%3D2%2Asqrt%285%29%2Blog%282%2Bsqrt%285%29%29&lang=ja
No.22719 2020/02/16(Sun) 18:09:59
☆ Re: 助けて! / hisao
素晴らしい。交点で答えがでる。「ニュートン法」も勉強します。助かりました。
No.22720 2020/02/17(Mon) 10:06:32
以下のフォームに記事No.と投稿時のパスワードを入力すれば
投稿後に記事の編集や削除が行えます。
200/200件 [ ページ : << 1 ... 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 >> ]
- HOME - お知らせ(3/8) - 記事検索 - 携帯用URL - フィード - ヘルプ - メール - 環境設定 -
- Skin: Modern v2.0 - Author: ロケットBBS -
Rocket Board Type-X (Free) Rocket BBS