6
Quandle QuandaryエピソードI:有限カンドルの識別
与えられた行列がカンドルを表すかどうかを判断するプログラムを作成します。quandleは以下の公理に従う単一(非可換、非会合)操作◃を備えたセットです。 操作は閉じられます。つまり、a◃b = cは、セットの要素である場合a、常にセットのb要素です。 操作は、自己分散型です(a◃b)◃c = (a◃c)◃(b◃c)。 操作は右割り可能です:aおよびの任意のペアに対して、次のようなb単一の一意性cがあります。c◃a = b 操作はべき等です: a◃a = a 有限のカンドルは正方行列として表すことができます。以下は、5次カンドル(source)の例です。 0 0 1 1 1 1 1 0 0 0 3 4 2 4 3 4 2 4 3 2 2 3 3 2 4 n番目の行とm番目の列(0から始まる)にある値は、n◃mの値です。たとえば、このカンドルでは、4◃1 = 3。この行列から、カンドルプロパティの一部を簡単に確認できます。 この5x5マトリックスには値0〜4のみが表示されるため、閉じられます。 行列の対角が0 1 2 3 4であるため、べき等です。 列に重複値が含まれていないため、右分割可能です。(行は可能であり、通常はそうなります。) …