Изменения

Перейти к: навигация, поиск
Корректность алгоритма
{{Лемма
|id= ==lemma==
|about=лемма 12
|statement=
УсловиеЕсли <tex> p \in md(P \setminus \{p\}, R) </tex>, то <tex> md(P, R) = md(P \setminus \{p\}, R) </tex>
|proof=
БЛАБЛАБЛА
{{Лемма
|id= ==lemma==
|about=лемма 13
|statement=
УсловиеЕсли <tex> p \notin md(P \setminus \{p\}, R) </tex>, то <tex> md(P, R) = md(P \setminus \{p\}, R \cup {p}) </tex>
|proof=
БЛАБЛАБЛА
333
правки

Навигация