:not to be confused with the critical path method, a concept in project management. right|thumb|250px|on the left-top a vertex critical graph with chromatic number 6; next all the n-1 subgraphs with chromatic number 5. in general the notion of criticality can refer to any measure. but in graph theory, when the term is used without any qualification, it almost always refers to the chromatic number of a graph. critical graphs are interesting because they are the minimal members in terms of chromatic number, which is a very important measure in graph theory. more precise definitions follow. a vertex or an edge is a critical element of a graph g if its deletion would decrease the chromatic number of g. obviously such decrement can be no more than 1 in a graph. a critical graph is a graph in which every vertex or edge is a critical element. a k-critical graph is a critical graph with chromatic number k; a graph g with chromatic number k is k-vertex-critical if each of its vertices is a critical element. some properties of a k-critical graph g with n vertices and m edges: * g has only one component. * g is finite (this is the de bruijnâerdÅs theorem of ). * Î´(g) â¥ k &minus; 1, that is, every vertex is adjacent to at least k&nbsp;&minus;&nbsp;1 others. more strongly, g is (k&nbsp;&minus;&nbsp;1)-edge-connected. see  * if g is (k&nbsp;&minus;&nbsp;1)-regular, meaning every vertex is adjacent to exactly k&nbsp;&minus;&nbsp;1 others, then g is either kk or an odd cycle . this is brooks' theorem; see ). * 2 m â¥ (k &minus; 1) n + k &minus; 3 . * 2 m â¥ (k &minus; 1) n + [(k &minus; 3)/(k2 &minus; 3)] n . * either g may be decomposed into two smaller critical graphs, with an edge between every pair of vertices that includes one vertex from each of the two subgraphs, or g has at least 2k&nbsp;-&nbsp;1 vertices . more strongly, either g has a decomposition of this type, or for every vertex v of g there is a k-coloring in which v is the only vertex of its color and every other color class has at least two vertices . it is fairly easy to see that a graph g is vertex-critical if and only if for every vertex v, there is an optimal proper coloring in which v is a singleton color class. as  showed, every k-critical graph may be formed from 
Graph_coloring Graph_families