[追記] http://d.hatena.ne.jp/m-hiyama-memo/20110713/1310515189 とだぶっていた。[/追記]もともとの（かなり狭義の）フロイド／ウォーシャル法では、無向グラフ上の最短距離行列や最短経路を求める。有向グラフにして、距離を非負値コストにしてもたいし…

文字「L」自体には特に意味が無い。プレースホルダーつうか変数つうか。適当な有限個の代数（広い意味の「代数」！）の集合上を走る変数がL。代数系の集合は {I, F1, F2, N, Z} あたりか。 I または I -- 自明なモノイド F1 または F1 -- 自明な零付きモノイ…