Изменения

Перейти к: навигация, поиск

Сведение по Карпу

8 байт добавлено, 14:16, 19 марта 2010
→‎Теорема о транзитивности
==Теорема о транзитивности==
Операция сведения по Карпу транзитивна. Т.е. То есть, если <tex>A \le B</tex>, <tex>B \le C</tex>, то <tex>A \le C</tex>.
==Доказательство транзитивности==
Slavnejshevfilipp
51
правка
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/466»

Навигация