162
правки
Изменения
м
Нет описания правки
'''Алгебра графов''' (англ. ''Graph algebra'') {{---}} способ построить на пространстве [[Основные определения теории графов#Ориентированные графы | ориентированных графов]] алгебраическую структуру. Впервые такая возможность была продемонстрирована McNulty и George F. в 1983 году.<ref>[https://www.researchgate.net/publication/225490641_Inherently_nonfinitely_based_finite_algebras в работе McNulty, George F.; Shallon, Caroline R. (1983) {{---}} "Inherently nonfinitely based finite algebras", Universal algebra and lattice theory (Puebla, 1982), Lecture Notes in Math., 1004, Berlin, New York: Springer-Verlag, pp. 206–231.] в 1983 году.</ref>
== Основные определения ==
{{Определение
Дело в том, что способ представления в виде списка смежности либо матрицы смежности, широко используемых в императивных программах, оказался очень тяжело применим в функциональной среде. Компилятор при представлении графа в виде списка не может проверить, ни его корректность в приныпе, ни корректность совершения некоторой операции над ним. Но если представить граф в виде последовательных операций из просевших графов, то почти все проблемы связанные с построением графа и проверкой его корректности устраняются.
Подробная реализация на языке Haskell может быть найдена в этой статье.<ref>[https://blogs.ncl.ac.uk/andreymokhov/an-algebra-of-graphs/ найдена в этой статье.An algebra of graphs {{---}} "no time" Andrey Mokhov's blog]</ref>
== См. также ==
* [[Основные определения теории графов]]
==Примечания==
<references />
== Источники информации ==
* [https://www.researchgate.net/publication/225490641_Inherently_nonfinitely_based_finite_algebras McNulty, George F.; Shallon, Caroline R. (1983), "Inherently nonfinitely based finite algebras", Universal algebra and lattice theory (Puebla, 1982), Lecture Notes in Math., 1004, Berlin, New York: Springer-Verlag, pp. 206–231 ]
