En théorie des graphes, les graphes de Kneser forment une famille infinie de graphes. Le graphe de Kneser KGn,k est un graphe simple dont les sommets correspondent aux sous-ensembles à k éléments d'un ensemble à n éléments. Deux sommets sont reliés s'ils correspondent à des sous-ensembles disjoints. Son ordre est donc égal {displaystyle C_{n}^{k}} C_{n}^{k}, le nombre de combinaison de k parmi n, et il est régulier de degré {displaystyle C_{n-k}^{k}} C_{{n-k}}^{k}