Обсуждение:Алгоритм Флойда — Уоршалла

☑ Переписать секцию от /Алгоритм/ до /Псевдокод/, стиль какой-то очень мутный, тяжёлый для понимания.

☑ «Три вложенных цикла содержат операцию, исполняемую за константное время.» — про константное время можно вообще не упоминать

☑ Для того, чтобы индексы суммирования записывались под значком суммы, а не сбоку от него, необходимо сразу после «\sum» дописать «\limits». Ну, и, да, в том случае для ясности лучше будет записать три значка суммы, а не один с «n,n,n».

☑ «булево обозначение» — какой-то треш, назвать нормально

☑ одна из причин того что пришлось переделывать статью — то, что тут всё сформулировано в терминах путей, а надо это делать в терминах отношений.

☑ опять же, непонятно, что тут считать «кратчайшим путём» и зачем они вообще могут понадобиться, так что про них, наверное, вообще лучше не упоминать. Кстати, данный алгоритм даже не будет строить «кратчайший путь», так как нет никаких релаксаций в явном виде. --Дмитрий Герасимов

☑ предикат пишут в квадратных скобках обычно (не [math]((i, j) \subset R) [/math]), а [math][(i, j) \subset R] [/math]).

☑ чтобы показать принадлежность элемента множеству надо юзать не [math] \subset [/math], а [math] \in [/math]. То есть будет [math][(i, j) \in R] [/math]

☑ Что за множество [math]M[/math]?

☐ Опять, «путь на одну дугу короче», наш алгоритм не различает длины путей и не знает что такое дуги. А ещё обоснование какое-то упоротое, Флойд же по индукции доказывается. --Дмитрий Герасимов 04:46, 24 ноября 2011 (MSK)