The Kneser graph (when ) has the -subsets of an -set as its vertices, two vertices being adjacent in whenever they are disjoint sets. The th-chromatic number of any graph (denoted by ) is the least integer such that the vertices can be assigned -subsets of with adjacent vertices receiving disjoint -sets. S. Stahl has conjectured that, if where and , then . This expression is easily verified when ; Stahl has also established its validity for , for and for . We show here that the expression is also valid for all in the following further classes of cases:
Unknown environment 'enumerate'