The KneserGraph(n,k) command returns the Kneser graph with parameters n, k.

The OddGraph(d) command returns a Kneser graph with parameters n=2*d+1, k=d.

$\mathrm{with}\left(\mathrm{GraphTheory}\right)\:$$\mathrm{with}\left(\mathrm{SpecialGraphs}\right)\:$

$P≔\mathrm{KneserGraph}\left(5\,2\right)$

$P≔\mathrm{Graph\; 1:\; an\; undirected\; graph\; with\; 10\; vertices\; and\; 15\; edges}$

$\mathrm{NumberOfVertices}\left(P\right)$

$10$

$\mathrm{NumberOfEdges}\left(P\right)$

$15$

$\mathrm{ChromaticNumber}\left(P\right)$

$3$

$\mathrm{DrawGraph}\left(P\right)$