Iterative Equitable Partition of Graph As a Model of Constant Structure Discrete Time Closed Semantic System
DOI:
https://doi.org/10.14529/mmp170403Ключевые слова:
замкнутая семантическая система, граф, изоморфизм.Аннотация
Замкнутые семантические системы с постоянной структурой это системы, в которых каждый элемент определяется с помощью соответствующего ему фиксированного множества других элементов системы. Определения элементов изменяются итеративно и одновременно на основе 'портретов соседей', полученных на предыдущей итерации. В настоящей статье автор рассматривает поведение подобных модельных систем, в которых процесс раскраски начинается с нулевого состояния, где все элементы идентичны. Изменение замкнутых семантических систем с постоянной структурой и дискретным временем может моделироваться как дискретный процесс раскраски на связном графе. В основном в статье рассматривается итерационный процесс переопределений только на вершинах, в предположении, что ребра являются не более, чем связями, не обладающими собственными цветами и не участвующими в процессе раскраски. Между тем, итерационный процесс одновременной раскраски вершин и ребер может быть сведен к процессу раскраски только вершин с помощью добавления виртуальных вершин, соответствующих ребрам при условии, что цвета для реальных и виртуальных вершин (ребер) выбираются из одного множества по одним правилам. В статье доказывается, что подобный итеративный процесс переопределений на основе цветов соседей быстро вырождается в последовательность попарно изоморфных состояний, а также обсуждаются возможные направления дальнейших исследований.Библиографические ссылки
Bloom P.How Children Learn the Meanings of Words. Cambridge, MIT Press, 2002.
Papadimitriou C.H.Computational Complexity, London, Pearson, 1993.
Godsil C.D.Algebraic Combinatorics. London, Chapman and Hall, 1993.
Unger S.H. GIT - a Heuristic Program for Testing Pairs of Directed Line Graphs for
Isomorphism.Communications of the ACM, 1964, vol. 7, no. 1, pp. 26-34.
Weisfeiler B., Lehman A.A. [A Reduction of a Graph to a Canonical Form and an Algebra
Arising During This Reduction].Nauchno-technicheskaya informatsia[Scientic-Technical
Information], 1968, vol. 2, no. 9, pp. 12-16. (in Russian)
Arlazarov V.L., Zuev I.I., Uskov A.V., Faradzhev I.A. An Algorithm for the Reduction of
Finite Non-Oriented Graphs to Canonical Form.USSR Computational Mathematics and
Mathematical Physics, 1974, vol. 14, no. 3, pp. 195201.
McKay B.D., Piperno A. Practical Graph Isomorphism.Journal of Symbolic Computation,
, vol. 60, pp. 94-112.
Syvanen M. Horizontal Gene Transfer: Evidence and Possible Consequences.Annual Review
of Genetics, 1994, vol. 28, no. 1, pp. 237261.










