Differences

This shows you the differences between two versions of the page.

--- defintion_of_subsets-j [2024/07/12 11:52] – [The representative magic series of a magic square] mino
+++ defintion_of_subsets-j [2024/09/07 11:59] (current) – external edit 127.0.0.1
@@ Line 3: / Line 3: @@
 魔方陣全体の集合を小集合に分けるために、いくつかの用語を定義します。
-==== 魔方列とその2進数表現 ====
+==== 魔方組とその2進数表現 ====
-  * **//n//次の魔方列** とは、//[1..n<sup>2</sup>]//の範囲の//n//個の異なる整数からなる集合で、要素の和が//n//次の魔方和//( ( n<sup>2</sup> + 1 ) * n ) / 2//に等しいものです。
+  * **//n//次の魔方組** とは、//[1..n<sup>2</sup>]//の範囲の//n//個の異なる整数からなる集合で、要素の和が//n//次の魔方和//( ( n<sup>2</sup> + 1 ) * n ) / 2//に等しいものです。
     * 例:
-      * { 2, 9, 4 } は 3次の魔方列です。
+      * { 2, 9, 4 } は 3次の魔方組です。
-      * { 10, 7, 14, 3 } は 4次の魔方列です。
+      * { 10, 7, 14, 3 } は 4次の魔方組です。
   * 異なる正整数の集合{ a<sub>1</sub>, a<sub>2</sub>, a<sub>3</sub> ...  }は値が 2<sup>a<sub>1</sub>-1</sup> + 2<sup>a<sub>2</sub>-1</sup> + 2<sup>a<sub>3</sub>-1</sup> + ... に等しい一つの整数で表現できます。これを整数集合の2進数表現と呼ぶことにします。
     * 例:
@@ Line 13: / Line 13: @@
       * { 10, 7, 14, 3 } は 0010 0010 0100 0100<sub>2</sub> = 0x2244 と表現できます。
-==== 異なる正整数集合の順序(大小関係) ====
+==== 正整数集合の順序(大小関係) ====
-    * 異なる正整数集合の大小関係は、2進数表現の大小で定義することができます。
+    * 異なる正整数の集合の大小関係は、2進数表現の大小で定義することができます。
     * 例:
-      * 魔方列 { 5, 16, 2, 11 } は魔法列 { 12, 1, 15, 6 } よりも大きいと定義されます。なぜなら、それらの2進数表現は1000 0100 0001 0010 ( = 0x8412 ) と 0100 1000 0010 0001 ( = 0x4821 )であり、0x8412 > 0x4821だからです。
+      * 魔方組 { 5, 16, 2, 11 } は魔方組 { 12, 1, 15, 6 } よりも大きいと定義されます。なぜなら、それらの2進数表現は1000 0100 0001 0010 ( = 0x8412 ) と 0100 1000 0010 0001 ( = 0x4821 )であり、0x8412 > 0x4821だからです。
-==== 魔方列の補列 ====
+==== 魔方組の補数組 ====
-魔方列の各要素 //x// をすべて // n<sup>2</sup> + 1 - x //で置き換えてできる集合も魔方列になります。
+//n//次魔方陣の要素 //x// を //n<sup>2</sup> + 1 - x //で置き換えることを補数変換と呼び、
-このようにしてできる魔方列を元の魔法列の **補列(complement)**と呼びます。
+魔方組の各要素をすべて補数変換してできる集合は必ず魔方組になります。
+このようにしてできる魔方組を元の魔方組の **補数組(complement)**と呼びます。
   * 4次における例:
-    * { 12, 1, 15, 6 } は { 5, 16, 2, 11 } の補列です。
+    * { 12, 1, 15, 6 } は { 5, 16, 2, 11 } の補数組です。
-    * { 7, 10, 3, 14 } は自分自身の補列です。
+    * { 7, 10, 3, 14 } は自分自身の補数組です。
-進数表現においては、補列は 2進数の逆順(bit reversal)で得られます。
+進数表現においては、補数組は 2進数の桁を逆順にすること(bit reversal)で得られます。
   * 4次の例:
-    * 1000 0100 0001 0010 の補列は 0100 1000 0010 0001 です。
+    * 1000 0100 0001 0010 の補数組は 0100 1000 0010 0001 です。
-==== 魔方陣の代表魔法列 ====
+==== 魔方陣の代表魔方組 ====
-魔方陣のすべての行と列は魔方列です。ここで** 代表魔方列 ** を **「魔方陣の行、列、行の補列、列の補列のうち、最大のもの」**と定義します。なお、対角列は代表魔方列には関係しないことに注意してください。
+魔方陣のすべての行と列は魔方組です。ここで** 代表魔方組 ** を **「魔方陣の行魔方組、列魔方組、行の補数組、列の補数組のうち、最大のもの」**と定義します。なお、対角列は代表魔方組に関係しないことに注意してください。
 例:
@@ Line 43: / Line 44: @@
   6 15 11
-の代表魔法列は { 16, 13, 3, 2 } = 0x9006であり、これは3列目の補列です。
+の代表魔方組は { 16, 13, 3, 2 } = 0x9006であり、これは3列目の補数組です。
-**魔方陣をその代表魔方列によって小集合に分類します。この分類は魔方陣の回転、反転、M変換、相補変換のもとで不変な分類となります。
+**魔方陣をその代表魔方組によって小集合に分類します。この分類は魔方陣の回転、反転、[[https://oeis.org/A266237|M-変換]],、補数変換のもとで不変な分類となります。
 **