3622
правки
Изменения
→1. Отношения
# [[Определение отношения]]
# [[Композиция отношений|Композиция отношений, степерь отношения, обратное отношение]]
# ''fixed'' [[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]## Объединить ссылки с источниками## Не везде присутствует tex, где должен быть# ''fixed'' [[Симметричное отношение]]## Объединить источники и ссылки# ''fixed'' [[Антисимметричное отношение]]## Объединить источники и ссылки## Исправить знаки неравенств в техе## Увеличить картинки## Заменить тире на шаблон
# [[Транзитивное отношение]]
# [[Отношение порядка]]
# [[Отношение эквивалентности]]
# ''fixed'' [[Транзитивное замыкание|Транзитивное замыкание отношения]]## Заменить тире на шаблон## Исправить кривой местами tex## Заменить ссылки на источники информации# '''!!!''' [[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]](5)
## Отформатировать псевдокод
## Добавить ссылок в источники информации
## интересно, что алгоритм работает только для конечных отношений, хотя транзитивно замкнуть можно и бесконечное бинарное отношение. Кто сделает модификацию для бесконечных, молодец :) (можно считать, что у нас есть "бесконечная матрица" бинарного отношения, и что мы такую же "бесконечную матрицу" заполняем, впринципе). Понятно, что всю таблицу мы никогда не заполним, но важно, чтобы каждый конкретный элемент таблицы был заполнен через какое-то конечное время.
## Нужен пример, картинка
# '''!!!''' [[Транзитивный остов]](5)
## Отформатировать псевдокод
## Добавить категории
