特定の有限マグマの乗算表がグループを表すかどうかを決定するプログラムを作成します。マグマは、閉じている二項演算のセットです。つまり、
- Gのすべてのa、bについて、a * bは再びGにあります(閉店)
(G、*)をマグマとします。(G、*)は次の場合にグループです
- Gのすべてのa、b、cに対して、(a * b)* c = a *(b * c)(結合性)
- Gにすべてのaに対してe * a = a * e = aとなる要素eが存在します(中立要素の存在)
- Gのすべてのaについて、a * b = b * a = eであるようなGにabがあります。ここで、eは中立要素です(逆の存在)
スペック
入力は、n ^ 2-1文字の文字列(マグマの各要素に1文字、許可されるのは0-9、az)で、演算子名を省略して、行ごとに読み取ったテーブルを表します。入力が有効なマグマを表すと仮定できます(つまり、各要素はヘッダー行/列で1回だけ出現します)。
例:ここにZ_4のテーブルがあります
+ | 0 1 2 3
-----------
0 | 0 1 2 3
1 | 1 2 3 0
2 | 2 3 0 1
3 | 3 0 1 2
入力文字列はになります012300123112302230133012
。(または、シンボルを使用する場合も可能ですnezdnnezdeezdnzzdneddnez
)。行と列の要素の順序は同じである必要はないため、Z_4の表も次のように見えることに注意してください。
+ | 1 3 2 0
-----------
1 | 2 0 3 1
0 | 1 3 2 0
2 | 3 1 0 2
3 | 0 2 1 3
これは、ニュートラル要素が必ずしも最初の列または最初の行にあるとは限らないことも意味します。
グループの場合、プログラムは中立要素を表す文字を返す必要があります。そうでない場合は、偽の(値0-9 azとは異なる)値を返す必要があります
テストケース
非グループは、文字列の1桁を変更するだけで、またはグループ公理の1つと矛盾する操作を定義するテーブルを人為的に変更することで、簡単に構築できます。
グループ
些細な
* | x
-----
x | x
xxx
Neutral Element: x
H(四元数グループ)
* | p t d k g b n m
-------------------
m | b d t g k p m n
p | m k g d t n p b
n | p t d k g b n m
b | n g k t d m b p
t | g m n p b k t d
d | k n m b p g d t
k | t b p m n d k g
g | d p b n m t g k
ptdkgbnmmbdtgkpmnpmkgdtnpbnptdkgbnmbngktdmbptgmnpbktddknmbpgdtktbpmndkggdpbnmtgk
Neutral Element: n
D_4
* | y r s t u v w x
-------------------
u | u x w v y t s r
v | v u x w r y t s
w | w v u x s r y t
x | x w v u t s r y
y | y r s t u v w x
r | r s t y v w x u
s | s t y r w x u v
t | t y r s x u v w
yrstuvwxuuxwvytsrvvuxwrytswwvuxsrytxxwvutsryyyrstuvwxrrstyvwxusstyrwxuvttyrsxuvw
Neutral Element: y
Z_6 x Z_2
x | 0 1 2 3 5 7 8 9 a b 4 6
---------------------------
0 | 0 1 2 3 5 7 8 9 a b 4 6
1 | 1 2 3 4 0 8 9 a b 6 5 7
2 | 2 3 4 5 1 9 a b 6 7 0 8
7 | 7 8 9 a 6 2 3 4 5 0 b 1
8 | 8 9 a b 7 3 4 5 0 1 6 2
9 | 9 a b 6 8 4 5 0 1 2 7 3
a | a b 6 7 9 5 0 1 2 3 8 4
b | b 6 7 8 a 0 1 2 3 4 9 5
3 | 3 4 5 0 2 a b 6 7 8 1 9
4 | 4 5 0 1 3 b 6 7 8 9 2 a
5 | 5 0 1 2 4 6 7 8 9 a 3 b
6 | 6 7 8 9 b 1 2 3 4 5 a 0
01235789ab46001235789ab4611234089ab6572234519ab67087789a623450b1889ab7345016299ab684501273aab6795012384bb678a0123495334502ab67819445013b67892a5501246789a3b66789b12345a0
Neutral Element: 0
A_4
* | i a b c d e f g h j k l
---------------------------
i | i a b c d e f g h j k l
a | a b i e c d g h f l j k
b | b i a d e c h f g k l j
c | c f j i g k a d l b e h
d | d h k b f l i e j a c g
e | e g l a h j b c k i d f
f | f j c k i g d l a h b e
g | g l e j a h c k b f i d
h | h k d l b f e j i g a c
j | j c f g k i l a d e h b
k | k d h f l b j i e c g a
l | l e g h j a k b c d f i
iabcdefghjkliiabcdefghjklaabiecdghfljkbbiadechfgkljccfjigkadlbehddhkbfliejacgeeglahjbckidfffjckigdlahbegglejahckbfidhhkdlbfejigacjjcfgkiladehbkkdhflbjiecgalleghjakbcdfi
Neutral Element: i
非グループ
ループ(結合性のないグループ、またはニュートラル要素を持つ準グループ)
* | 1 2 3 4 5
-------------
1 | 1 2 3 4 5
2 | 2 4 1 5 3
3 | 3 5 4 2 1
4 | 4 1 5 3 2
5 | 5 3 2 1 4
12345112345224153335421441532553214
Neutral Element: 1
(2*2)*3 = 4*3 = 5 != 2 = 2*1 = 2*(2*3)
IPループ(http://www.quasigroups.eu/contents/download/2008/16_2.pdfから)
* | 1 2 3 4 5 6 7
-----------------
1 | 1 2 3 4 5 6 7
2 | 2 3 1 6 7 5 4
3 | 3 1 2 7 6 4 5
4 | 4 7 6 5 1 2 3
5 | 5 6 7 1 4 3 2
6 | 6 4 5 3 2 7 1
7 | 7 5 4 2 3 1 6
123456711234567223167543312764544765123556714326645327177542316
Neutral Element: 1
2*(2*4) = 2*6 = 5 != 7 = 3*4 = (2*2)*4
モノイド(Quincunxによる、ありがとう!)
モノイドは、連想性と中立的な要素を持つマグマです。
* | 0 1 2 3
-----------
0 | 0 1 2 3
1 | 1 3 1 3
2 | 2 1 0 3
3 | 3 3 3 3
012300123113132210333333
Neutral Element: 0
もう一つのモノイド
(乗算mod 10、5なし)明らかに逆数はなく、結合性は10を法とする乗算によって与えられます。
* | 1 2 3 4 6 7 8 9
-------------------
1 | 1 2 3 4 6 7 8 9
2 | 2 4 6 8 2 4 6 8
3 | 3 6 9 2 8 1 4 7
4 | 4 8 2 6 4 8 2 6
6 | 6 2 8 4 6 2 8 4
7 | 7 4 1 8 2 9 6 3
8 | 8 6 4 2 8 6 4 2
9 | 9 8 7 6 4 3 2 1
Neutral Element: 1 12346789112346789224682468336928147448264826662846284774182963886428642998764321
10101010
順序は同じで、ニュートラルは最後の行と列にあります