Изменения

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

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

29 байт убрано, 01:01, 9 января 2017
Псевдокод
'''foreach''' <tex>c \in X</tex>
'''if''' <tex>aRb</tex> '''and''' <tex>bRc</tex> '''and''' <tex>aRc</tex>
<tex>R^- </tex>.delete\setminus(pair<tex>\langle a, c\rangle)</tex>)
===Доказательство корректности===
65
правок

Навигация