上下の添字を使うのはアスキーで書けない。A[i, j] とかがいいが、これだと向きがいまいちわからない。そこで、A[i->j]とかA[jΣ(B[kテンソル計算と同じ。アインシュタイン規約でΣを省略可能。Aの転置をAlloyに倣って ~A とすると、~A[ii] のように書ける。A[…

Aが有限プレ順序集合として、f:A→N が： fは全単射である。 fの像は、{1, ..., n} の形で、nはAの基数。 順序に関して単調。 このとき、fを単調シリアライゼーションと呼ぶ。次の問題を考える： 与えられたAに対して、単調シリアライゼーションはあるか？ あ…

隣接行列をインシデンス行列と言うのは違うだろう。 http://en.wikipedia.org/wiki/Incidence_matrix http://en.wikipedia.org/wiki/Adjacency_matrix

グラフの頂点数と同じサイズの正方行列を計算する。頂点付値、辺付値がある。 {0, 1}半環 可達性 min-plus代数 コストの最小化（例：距離、運送費用） max-plus代数 ゲインの最大化（例：金貨拾い問題） max-times代数 乗法係数の最大化 （例：氷運搬問題） …