クネーザーグラフ
数学のグラフ理論におけるクネーザーグラフ(英: Kneser graph) KGn,k とは、n 元集合のk元部分集合を各頂点に配し、互いに素な集合に対応する頂点を辺で結んだグラフのことを言う。1955年に初めて研究したマルティン・クネーザーの名にちなむ。