Неужели проще рендерить формулы в картинки, чем надёргать символов из charmap?
E>Есть у меня двудольный граф (т.е. с вершинами двух разных типов.) который я хочу привести к обычному графу путем исключения других и замечения их дугами. Итак есть граф: E>N = (P, T, F), где
Судя по обозначениям, N — это сеть Петри (Petri net), P — места (places), T — переходы (transitions)?
E>T — вершины одного вида, квадраты. E>P — вершины другого вида, круги. E>И F : P×T ∪ T×P функция инциндентности, т.е. дуги которая соединяет круги с квадратами и квадраты с кругами.
Я бы сказал, что это не функция, а отношение.
E>Но (!) квадраты с квадратами и круги с кругами соединения не имеют. E>Нужно из этого графа получить граф в котором останутся квадраты, но круги с дугами заменим просто дугами. На рисунках показано:
E>Т.е. я пишу пусть есть N = (P, T, F), тогда N1=(T,F1), где F1 функция инцидентности... Вопрос в том как ее определить? Чему равна F1?
F1 — опять-таки бинарное отношение на множестве T, то есть подмножество T×T.
Очевидно, F1 = F^2 = {(t1, t2) ∈ T×T | (∃p∈P)((t1, p) ∈ F & (p, t2) ∈ F)}.
Либо, если считать F и F1 функциями соответственно из (P×T ∪ T×P) и (T×T) в B = {false, true}, то
F1(t1, t2) = (∃p∈P)((t1, p) ∈ F & (p, t2) ∈ F) = ∑(F(t1, p)F(p, t2)) по всем p∈P.
