細矢インデックス (original) (raw)

グラフ理論における細矢インデックスまたはZインデックスとは、与えられたグラフのマッチングの総数のことである。このとき辺の空集合もマッチングの一つとして数えるので、細矢インデックスは必ず1以上である。同じことだが、「グラフの空でないマッチングの個数に1を足した値」と定義してもよい。