text: Штрейну и Теран определяют граф как ( k , l ) {\displaystyle (k,l)} -разреженный, если любой непустой подграф с n {\displaystyle n} вершинами имеет максимум k n − l {\displaystyle kn-l} рёбер, и ( k , l ) {\displaystyle (k,l)} -плотный, если он ( k , l ) {\displaystyle (k,l)} -разреженный и имеет в точности k n − l {\displaystyle kn-l} рёбер.