積の魔方陣は構成できるか?
※この記事は苫小牧高専アドベントカレンダー2020 10日目の記事です。
9日目の記事はまだ上がっていないようです。高専という感じがして好きですよ。
というわけで10日目はみみねこが担当します。Twitterをやっているので是非フォローしてください。
→みみねこ (@3_3_nk) | Twitter
高専といえば勉強ですね!勉強といえば数学!というわけで今日は数学の話をします。
目次
- はじめに:魔方陣とは
- 積魔方陣を定義する
- 和魔方陣から積魔方陣を構成する
- サイズの小さい積魔方陣を構成したい
- 素因数が2つ存在する積魔方陣
- ラテン方陣とオイラー方陣について
- 各要素が互いに素な集合を探す
- 他の次元の積魔方陣も構成してみる
- 結論
- 課題
はじめに:魔方陣とは
魔方陣って知ってますか?知らない人はWikipediaを読んでください。
簡単に言うと、異なる数字を正方形状に並べたとき、その各行・各列(・各対角線)の和がそれぞれ等しくなるようなものを魔方陣といいます。縦横にそれぞれ 個の正整数が並んでいる魔方陣を 次魔方陣と呼ぶことにします。
次魔方陣は次のようなものが考えられます。縦横に並ぶ数の合計はどこも となっていますね。
和魔方陣から積魔方陣を構成する
最初に説明した魔方陣を「和魔方陣」と呼ぶことにします。
実は、 次の和魔方陣が一つ求まっていれば、そこから 次の積魔方陣を構成することができます。とりあえず構成アルゴリズムを示します。
- 元となる和魔方陣の各要素を としたとき、各要素を と置き換える
次積魔方陣の構成方法を具体的に示すとこうです。
なぜこの方法で積魔方陣が構成できるかは一目瞭然ですね。 のべき乗の掛け算は、指数部分の足し算として計算できるからです。
以上より、この方法を使えば「 次以上の積魔方陣は存在し、実際に和魔方陣から積魔方陣を構成できる」ということが証明できました!「積の魔方陣は構成できるか?」というタイトルは回収したので、これ以降は数学が好きな人だけ見てください。
サイズの小さい積魔方陣を構成したい
先ほどの方法ならいくらでも積の魔方陣を生成できます。しかし のべき乗しか使えないので、積魔方陣の次数が増えていくほど使われる整数もどんどん大きくなっていきます。もっと"サイズの小さい"積の魔方陣はないか、考えてみましょう。
ここで、魔方陣の大きさを比較するために「積の魔方陣のサイズ」をある一列の数の総積で定義します。たとえば、先ほどの方法で生成した 次の積魔方陣のサイズは となります。このサイズがより小さくなるような積魔方陣を構成したいです。すぐに思いつくのは、すべての要素を で割る方法です。
この場合サイズは となりますが、まだまだ小さくなりそうです。もっと別のアプローチで積魔方陣を構成できないでしょうか?
素因数が2つ存在する積魔方陣
積魔方陣は整数の掛け算に関する問題なので、各要素を素因数分解して考えるとよさそうです。先ほどまでの方法だと各要素の素因数は だけでしたが、それ以外の素因数が含まれる場合を考えてみます。
積魔方陣に素因数が2種類含まれる場合、それぞれの素因数は互いに素なので、その素因数ごとに積の魔方陣を分解できます。たとえば、各要素が と表せる積の魔方陣が存在すると仮定すると、各要素が である積魔方陣と である積魔方陣に分解して考えることができます。分解した後の積魔方陣は「どの2つの数も異なる」という条件を満たしていなくても構いません(合成した後に条件を満たしていれば十分)。条件が緩いので、分解してできる二つの積魔方陣のことは「準積魔方陣」と呼び分けることにしましょう。
素因数が1種類だけの積魔方陣の生成方法は先ほど説明しました。これを使って、実際に 型の 次積魔方陣を一つ構成してみましょう。
作成したい積魔方陣には 種類の相異なる正整数が必要です。 型の準積魔方陣と 型の準積魔方陣に登場する正整数の種類をそれぞれ 種類ずつとすると、二つの準積魔方陣をうまく組み合わせることで合成後の積魔方陣に 種類の相異なる正整数を生成することが可能です。(行列の掛け算と違って、単純に同じ位置にある要素同士を掛け合わせています。)
ちょっと見づらいので、指数部分だけ抜き出して書いてみます。数字の並びがうまくずれているおかげで、合成後の指数の組に重複が無いというところに注目してみてください。
この方法で生成された積魔方陣は以下の通りで、そのサイズは となります。
初めに生成したものと比べると、だいぶサイズが小さくなってきました!見た目もシンプルになってきましたね。ただ、 のべき乗と のべき乗しか使用していないので、積魔方陣の次数 が大きくなるとやはり指数的にサイズが大きくなってしまいます。どうやら、もっとサイズを小さくできそうですので、もう少し議論を続けることにしましょう。
ラテン方陣とオイラー方陣について
先ほどの方法で出てきた「二つの準積魔方陣を"うまく"組み合わせる」というあいまいな部分を少し詳しく見てみましょう。
合成する前の準積魔方陣のうち、指数部分のみを抜き出してできる方陣のような、「 から までの整数が各列・各行に重複なく並ぶ」方陣のことをラテン方陣といいます。
ラテン方陣の例:など
また、ラテン方陣を二つ合成して、各要素が整数のペアであるような方陣を作ります。このとき、どの 要素も異なるようなものをオイラー方陣といいます。
ここで、先ほどまでの議論より、ある正整数 に対して 次のオイラー方陣が存在すれば、サイズの小さい 次の積魔方陣を構成できると言えます。
話がそれるので証明や具体的な構成方法は省きますが、 の時を除いて 次のオイラー方陣が存在することがわかっています。つまり、 次と 次以外の積魔方陣は、オイラー方陣を用いる方法で構成することができるのです*1!
各要素が互いに素な集合を探す
ところで、合成する前の二つの準積魔方陣の各要素は、それぞれ 型と 型でした。このように異なる素因数で分解した理由は、二つの準積魔方陣の要素を掛け合わせた結果がすべて異なるように設定したからでしたね。つまり、二つの準積魔方陣に登場するどの2要素を取ってきても、互いに素になるように設定したということが言えます。
ここで、二つの準積魔方陣を と名付け、それぞれの 次準積魔方陣に登場する要素の集合を とします。集合 の要素数は に等しくなります。
例を挙げましょう。 次の二つの準積魔方陣 を
と定義すると、準積魔方陣の各要素の集合 は以下のようになります。
確かに、集合 の要素と集合 の要素は互いに素であることがわかります。さらに、準積魔方陣 を合成してできる積魔方陣のサイズは、集合 の要素の総積と等しくなります(いままでの図を見れば理解できるはずです)。つまり、集合 の要素である正整数の値が小さくなればなるほど、完成する積魔方陣のサイズも小さくなるということです。
ここで、二つの集合の要素を眺めてみると、集合 の要素のうち が比較的大きいことに気が付きます。集合 の全要素と互いに素となる正整数のうち、まだ使われていない最小のものは です。なんと、集合 の要素を と置換しても、積魔方陣が正しく構成でき、サイズを小さくすることが可能です!
この方法で生成された積魔方陣は以下の通りとなります。サイズは で、先ほどの積魔方陣よりさらにサイズが小さくなっていることがわかります!
他の次元の積魔方陣も構成してみる
今までの議論のおさらいとして、他の次元の積魔方陣を構成してみます。
1次の積魔方陣
次の方陣とはつまり、整数が 個しか使われていない方陣です。なので当然、各列・各行の積は等しくなります。よって、すべての 次方陣は積魔方陣であるといえます!
次の最小の積魔方陣は以下の通りで、そのサイズは です。
2次の積魔方陣
次の積魔方陣は存在しません。証明を記します。
【証明】
と表せる 次の積魔方陣が存在すると仮定します。積魔方陣の定義より、以下の等式が成り立ちます。
より両辺を で割って、 が得られます。しかしこれは、積魔方陣の定義である「どの2つの数も異なる」に矛盾します。よって仮定が誤りで、 次の積魔方陣は存在しません。
4次の積魔方陣
オイラー方陣を用いて構成してみます。準積魔方陣 を構成する要素の集合 の値をどう決めるかが重要です。とりあえず、集合 に のべき乗を、集合 に のべき乗をそれぞれ入れてみましょう。集合 の要素数は なので、小さい順に並べます。
明らかに集合 の値が大きいですね。集合 には素因数 が含まれているので、集合 には の倍数を含むことができません。 の倍数でない正整数、つまり奇数は必ず集合 の全ての要素と互いに素になります。よって、集合 は最終的に次のようになります。
これらの集合の各要素を 次のオイラー方陣に適用させると、 次の積魔方陣が完成します。
この積魔方陣のサイズは です。この積魔方陣が 次の積魔方陣の中で最小のサイズである証明はできませんでしたが、おそらく最小と思われます。
5次の積魔方陣
先ほどと同様にして、 次の積魔方陣を構成してみます。集合 の要素は のべき乗、集合 の要素は奇数、と仮定すると以下のようになります。
よくみると、今度は集合 の要素のうち が大きく見えます。ここで、「素数は自分自身の倍数を除いてどんな整数とも必ず互いに素となる」という性質を使うと、と置き換えることができますね。よって、最終的な集合 は次のようになります。
これらの集合をもとに積魔方陣を構成すると、以下のようになります。
この積魔方陣のサイズは となります。 次の積魔方陣が 桁以下の整数だけで構成されている美しい姿には、もはや感動すら覚えます。素晴らしい…
課題
この中では議論できなかった課題を並べておきます。「これ解けたよ!」ってのがあったら教えてください。
- 次の最小サイズの積魔方陣は求められるでしょうか?
- 集合 の適切な要素の選び方はあるでしょうか? もし素数のリストが与えられている場合に、効率よく構成することはできないでしょうか?
- さらっと条件から外していましたが、今回の議論では方陣の各対角線の積は考慮しませんでした。各対角線の積も等しくするためには、今回紹介したオイラー方陣を用いる構成方法は使えません。どんな方法が考えられるでしょうか?
- 今回は数学の問題として手作業で構成することを想定していましたが、もし 次の最小の積魔方陣を構成するプログラムを組むとしたらどんなアルゴリズムが考えられるでしょうか? そのアルゴリズムの計算量はどうなるでしょうか?
以上です。ここまでで約10000文字らしいです!400字詰めのレポートが25枚書けます。高専生の皆さんは、ちゃんとレポートを書きましょうね!!!
苫小牧高専アドベントカレンダー、明日はあやさんの担当です。それでは!