Let , and be nonnegative integers with and . Let be a graph of order with . A graph is called an -critical graph if after deleting any vertices of , the remaining graph has an -factor. In this paper, it is proved that is an -critical graph if and only if for every non-empty independent subset of , and Furthermore, it is shown that the result in this paper is best possible in some sense.