Iterative equitable partition of graph as a model of constant structure discrete time closed semantic system
Бесплатный доступ
Constant structure closed semantic systems are the systems each element of which receives its definition through the correspondent unchangeable set of other elements (neighbors) of the system. The definitions of the elements change iteratively and simultaneously based on the neighbor portraits from the previous iteration. In this paper, I study the behavior of such model systems, starting from the zero state, where all the system's elements are equal. The development of constant-structure discrete time closed semantic systems may be modelled as a discrete time coloring process on a connected graph. Basically, I consider the iterative redefinition process on the vertices only, assuming that the edges are plain connectors, which do not have their own colors and do not participate in the definition of the incident vertices. However, the iterative coloring process for both vertices and edges may be converted to the vertices-only coloring case by the addition of virtual vertices corresponding to the edges assuming the colors for the vertices and for the edges are taken from the same palette and assigned in accordance with the same laws. I prove that the iterative coloring (redefinition) process in the described model will quickly degenerate into a series of pairwise isomorphic states and discuss some directions of further research.
Closed semantic system, graph, isomorphism
Короткий адрес: https://sciup.org/147159455
IDR: 147159455 | DOI: 10.14529/mmp170403
Список литературы Iterative equitable partition of graph as a model of constant structure discrete time closed semantic system
- Bloom, P. How Children Learn the Meanings of Words/P. Bloom. -Cambridge: MIT Press, 2002.
- Papadimitriou, C.H. Computational Complexity/C.H. Papadimitriou. -London: Pearson, 1993.
- Godsil, C.D. Algebraic Combinatorics/C.D. Godsil. -London: Chapman and Hall, 1993.
- Unger, S.H. GIT -a Heuristic Program for Testing Pairs of Directed Line Graphs for Isomorphism/S.H. Unger//Communications of the ACM. -1964. -V. 7, № 1. -P. 26-34.
- Вейсфейлер, Б.Ю. Сведение графа к канонической форме и алгебра, возникающая при этом сведении/Б.Ю. Вейсфейлер, А.А. Леман//Научно-техническая информация. -1968. -Т. 2, № 9. -С. 12-16.
- Арлазаров, В.Л. Алгоритм приведения конечных неориентированных графов к каноническому виду/В.Л. Арлазаров, И.И. Зуев, А.В. Усков, И.А. Фараджев//Журнал вычислительной математики и математической физики. -1974. -Т. 14, № 3. -С. 195-201.
- McKay, B.D. Practical Graph Isomorphism/B.D. McKay, A. Piperno//Journal of Symbolic Computation. -2014. -№ 60. -P. 94-112.
- Syvanen, M. Horizontal Gene Transfer: Evidence and Possible Consequences/M. Syvanen//Annual Review of Genetics. -1994. -V. 28, № 1. -P. 237-261.