4551
правка
Irina (обсуждение | вклад) Нет описания правки |
Irina (обсуждение | вклад) |
||
Строка 54: | Строка 54: | ||
<math>\mathbf{Pr} [G_{n, \hat p} \in \mathcal{A}] \le \mathbf{Pr} [G_{n,m,p} \in \mathcal{A}]</math> | <math>\mathbf{Pr} [G_{n, \hat p} \in \mathcal{A}] \le \mathbf{Pr} [G_{n,m,p} \in \mathcal{A}]</math> | ||
где <math>\hat p = f(p)</math>. Свойство графа <math>\mathcal{A} \;</math> является возрастающим в том и только том случае, что если <math>\mathcal{A} \;</math> выполняется для графа <math>G(V, E) \;</math>, то <math>\mathcal{A} \;</math> выполняется для любого графа <math>G(v, E')</math>: <math>E' \supseteq E \;</math>. | где <math>\hat p = f(p)</math>. Свойство графа <math>\mathcal{A} \;</math> является возрастающим в том и только том случае, что если <math>\mathcal{A} \;</math> выполняется для графа <math>G(V, E) \;</math>, то <math>\mathcal{A} \;</math> выполняется для любого графа <math>G(v, E') \; </math>: <math>E' \supseteq E \;</math>. | ||
== Основные результаты == | == Основные результаты == |
правка