Изменения

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

Транзитивный остов

6 байт добавлено, 02:01, 9 января 2017

→‎Псевдокод

'''foreach''' <tex>c \in X</tex>

'''if''' <tex>aRb</tex> '''and''' <tex>bRc</tex> '''and''' <tex>aRc</tex>

<tex>R^- = R^-\setminus(a, c)</tex>

===Доказательство корректности===

65

правок

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/59451»