この場では、組合せ数学に関して、一般に公開されている研究を紹介し、その研究について考察する。
公開されている研究の内容は、
論文:繰り返しを許さない組合せの各組を全て算出できる数式
[1]
に記述されている組合せ数学に関する問題である。
一般に、組合せ数学では、組合せの数(総数)を計算する目的のもとで研究され、議論されることが多い。
組合せには、繰り返し(重複)を許す場合と、繰り返し(重複)を許さない場合の二通りがある。
ここでは常に、繰り返しを許さない組合せの場合のみを扱う。
繰り返しを許さない組合せの総数 C(n, r) が、
-
で与えられることは周知である。
この総数 C(n, r) 種類の組合せについて、その全てを計算式で算出する方法を以下で示し考察する。
現在までの組合せに関する数学の理論には、
組合せそのものの実体を網羅して書き出すために用いる計算式としての数式が存在しない。したがって、
辞書
[2]
[3]
[4]
[5]
[6]
[7]
や解説書
[8]
[9]
[10]
などの、どこにもその数式は記述されていない。
コンピュータを用いて計算するためのプログラムは数多く存在するが、
これらのプログラムは計算式として用いるための数式ではない。
以下では,組合せそのものの実体を網羅して書き出すために計算式として用いる数式を示す。
以下で示す組合せの算出方法は、前掲の論文に記述されている方法である。
なお、n は選ぶ候補の数で、r は選択の回数である。n と r は、いずれも正の整数である。
まず、組合せの要素を、正の整数 1, 2, 3, . . . , n. または、
b1, b2, b3, . . . , bnで表示し、
組合せを〈1, 2, 3, . . . , r〉または、
〈b1, b2, b3, . . . , br〉で表示する。
ここに、
b1, b2, b3, . . . , br, . . . , bn は全て、
正の整数とする。
公開されている研究論文では計算式として、
以下の漸化式を用いて組合せを算出している。
-
-
-
ここに、n, r, k, bk は、すべて正の整数とする。
なお、r と n は、r ≤ n を満たすものとする。
k = 1 の場合、bk−1 = b1−1 = b0
から得られる b0 を、
-
と定義する。
次に、組合せの要素が算出されたあと、
組合せの各組を表示するとき、必ず守る必要がある基本的な表示方法
を以下で示す。
-
-
-
-
-
-
-
この上式が、組合せの各組を表示するとき、必ず守る必要がある基本的な表示方法
を数式の一般項で示したものである。くだけた、分かり易い言い方をすると、
{ 1, 2, . . . , n } を 1 から n までの正の整数の集合とし、
α, β, γ, δ, ε, ζ を、この集合の元、
α, β, γ, δ, ε, ζ ∈ { 1, 2, . . . , n } とする。
この時、α(bk−1に相当)を用いて算出された要素を、
β, γ, δ, ε, ζ(bkに相当)とすると、
組合せは以下のように表示しなければならない。
-
-
-
-
-
もし、α が b1 ならば、算出された組合せは、
-
-
-
-
-
と書く必要がある。
これが、組合せの各組を表示するとき、必ず守る必要がある基本的な表示方法
と言うことになる。
以下で数値を用いた例題を計算してみる。
例として、n = 6、r = 2 を計算する。この場合、組合せの総数 C(6, 2) は、
C(6, 2) = 15 である。したがって、15通りの組合せが計算される。
まず、前述の漸化式に、n = 6、r = 2 を適用すると、漸化式が下記のように書ける。
-
-
-
上記の式を整理して書き直すと下記の式を得る。
-
-
-
次に、上式について、k = 1 および k = 2 を適用して書き表すと、以下の式を得る。
-
-
ここで、上記の b1 = b0 + t0 および、
t0 = 1, 2, . . . , 5 − b0
に対して、定義、 b0 = 0 を適用すると、b1 と t0 が、
-
-
となるので、b1 として、
-
が得られる。すなわち、b1 として、
b1 = 1, 2, 3, 4, 5 の5種類の要素が算出されたことになる。
これにより、計算途中の組合せは、
-
と書ける。ここで、上式の星印( )は、次に算出される b2 を書き込む位置である。
したがって、r = 2 の組合せとしては、 と書ける。
次に、 b2 を算出する計算を示す。前述の式、
b2 = b1 + t1、
t1 = 1, 2, . . . , 6 − b1 を用いる。
いま、b1 = 1, 2, 3, 4, 5 であるから、t1 は、
b1 = 1、
b1 = 2、
b1 = 3、
b1 = 4、
b1 = 5
を t1 に適用すると、
-
-
-
-
-
となる。これにより、
b2 = b1 + t1 を用いて計算すると、
b2 が下記のように得られる。
-
-
-
-
-
次に、これらの b2 を、
-
の星印( )の位置に配置する。この時、
組合せの各組を表示するとき、必ず守る必要がある基本的な表示方法
が適用される。
まず、上式の
b2 = 2, 3, 4, 5, 6, (b1 = 1) を の
の位置へ配置する。これを表示すると、以下のようになる。
-
次に、b1 = 2 のときは、b2 = 3, 4, 5, 6 であるから、
組合せは,以下のように書ける。
-
次に、b1 = 3 のときは、b2 = 4, 5, 6 であるから、
組合せは,以下のように書ける。
-
次に、b1 = 4 のときは、b2 = 5, 6 であるから、
組合せは、以下のように書ける。
-
最後に、b1 = 5 のときは、b2 = 6 であるから、
組合せは、以下のように書ける。
-
以上の通り、n = 6、r = 2 の場合、漸化式により計算した算出の結果を以下に示す。
-
-
上に示した 15通りの組合せは、繰り返しを許さない組合せの総数 C(6, 2) が、
-
と計算されるので、漸化式による計算結果と総数が一致し、算出結果の正当性が確かめられる。
実際に、上述した15通りの組合せ〈1, 2〉から〈5, 6〉までは、
1,2,3,4,5,6 の 6 つから 2 つを取り出した組合せとして正しいことは明らかである。
漸化式による正しい算出結果の n と r の表
編集
前述で示した漸化式を用いて算出計算し、正しい結果を得た、n と r の組みを表にして、以下に載せておく。
表1. 漸化式で算出し、正しい結果を得た n と r の表
|
r = 1 |
r = 2 |
r = 3 |
r = 4 |
r = 5 |
r = 7
|
n = 1
|
n = 1, r = 1
|
—
|
—
|
—
|
—
|
—
|
n = 2
|
n = 2, r = 1
|
n = 2, r = 2
|
—
|
—
|
—
|
—
|
n = 3
|
n = 3, r = 1
|
n = 3, r = 2
|
n = 3, r = 3
|
—
|
—
|
—
|
n = 4
|
n = 4, r = 1
|
n = 4, r = 2
|
n = 4, r = 3
|
n = 4, r = 4
|
—
|
—
|
n = 5
|
n = 5, r = 1
|
n = 5, r = 2
|
n = 5, r = 3
|
n = 5, r = 4
|
n = 5, r = 5
|
—
|
n = 7
|
—
|
—
|
—
|
—
|
n = 7, r = 5
|
—
|
n = 9
|
—
|
—
|
—
|
—
|
—
|
n = 9, r = 7
|
漸化式の反例を探し出す計算を行ってはいるが、今現在までのところ、反例の存在を確認してはいない。(2019/07/01)
命題(1). 漸化式、
-
で算出した結果の組合せが偽である n と r の組みを示せ。【命題(1)おわり】
つまり、n と r を任意に与えて、上記の漸化式で算出した結果が、
正しい組合せとはならない n と r を、同時に示せれば、それが反例となる。
漸化式を用いて算出する計算の結果が正しいことを証明しようと試みてはいるが、証明は未だ得られていない。(2019/07/01)
下に載せた画像は、算出に用いた漸化式と、正しく算出された n と r の表を示している。
これまで示してきた漸化式を用いて算出した組合せは、全ての n と r に関して、常に正しいことを証明せよ。
順列/
組合せ数学/
組合せ論/
数え上げ数学/
- ↑ 長島 隆廣[繰り返しを許さない組合せの各組を全て算出できる数式]researchmap, 2018年12月. 論文PDF:https://researchmap.jp/T_Nagashima/
- ↑ 岩波 數學辭典(岩波書店,1954) 日本數學會
- ↑ 岩波 数学辞典 第2版(岩波書店,1968) 日本数学会
- ↑ 岩波 数学辞典 第3版(岩波書店,1985) 日本数学会
- ↑ 岩波 数学辞典 第4版(CD-ROM付),(岩波書店,2007) 日本数学会
- ↑ 一松 信,他:新数学事典(大阪書籍株式会社, 1979)
- ↑ 青本和彦,他:岩波 数学入門辞典(岩波書店, 2005)
- ↑ G.ポリア, R.E.タージャン, D.R.ウッズ:組合せ論入門(近代科学社, 2015)
- ↑ ラスロウ・ロバース, 他:入門 組合せ論(共立出版株式会社,1987)
- ↑ 樹下 眞一:組合せ論入門(共立出版株式会社,1993)