1: \begin{definition}{\bf Critical Graphs and Symmetric Rate Critical Graphs}\\

2: Given an index coding problem (linear or non-linear/one-shot or asymptotic) on a graph, we say that the graph is \emph{critical} if removal of any edge from it \emph{strictly} shrinks the rate region (capacity when we are looking at asymptotics) associated to the graph. 

3: 

4: The maximum symmetric rate supported by a graph is the supremum of $r$ such that $\overline{\bf r} = (r,r,\cdots, r)$ is achievable. We say that the graph is \emph{symmetric rate critical} if removal of any edge from it \emph{strictly} reduces the maximum symmetric rate by the graph. Every symmetric rate critical graph is critical, but the reverse is not necessarily true (see Theorem \ref {thm:newstr1}).

5: \end{definition}