区間グラフ

区間グラフとは、グラフ理論のグラフの一種であり、区間集合の区間の重複を表す交差グラフである。
それぞれの区間が頂点に対応し、辺は区間同士の重複（交差）関係を表す。
定義.
正式には、区間グラフは区間の族
に対し、頂点 "vi" をそれぞれ1個ずつ与え、 "S""i"と"S""j"が空集合ではない共通部分（交差）を持つ場合にのみ、"v""i" と "v""j" を辺で結んだ、無向グラフである。つまり、グラフ "G" の辺集合 "E(G)"は