Difference between revisions 45241985 and 45246862 on ruwiki

'''Системой графов''' является такая совокупность или [[множество]] [[граф]]ов, где между элементами зафиксировано ''соотношение''. Графы систематизируются исходя из характеристик, чаще всего, таких как ''планарность, регулярность, транзитивность'' и т.д. Большая работа была проделана в области ''перечисления графов'' в соответствии с числом вершин и ребер <ref> Harary, F., Palmer, E. M., 1973. ''Graph Enumeration''. Academic Press. </ref>. Тем не менее, эти случаи не представляют собой [[система]]ми, так как там не фиксировано соотношение между элементами (т. е. между графами). Эти соотношения были найдены в последующих исследованиях <ref> Tevet, J. T., 1990. ''Interpretation on some Graph Theoretical Problems''. Estonian Academy of Sciences. </ref>.

== Атрибутика системы ==
Система графов с |''V''| вершинами раскладывается по числам ребер на ''m'' подсистем. Их количество ''m'' соответствует количеству рёбер ''полного графа'' плюс один, что означает наличие ''пустого графа'' (т. е. графа с 0 ребер).

Каждый граф <math> G </math> имеет свои ''наибольшие подграфы'' <math> G^{sub} </math>, полученные ''удалением ребра'' <math> G^{sub} = G\setminus e_{i,j} </math> и свои ''наименьшие надграфы'' <math> G^{sup} = G\cup e_{i,j} </math>, полученные ''добавлением ребра''. Число наибольших подграфов равно числу ребер графа и число наименьших надграфов равно числу «не-ребер» графа. Полученные графы называется ''смежными графами'' <math> G^{adj} </math>. Так, в системе графов с |''V''| вершинами каждая подсистема связана со своей нижней и верхней смежной подсистемой.

Множество вершин графа распределяется на ''орбиты''
(т. е. на определенные классы эквивалентности или транзитивности) и, в их рамках, в свою очередь пары вершин разбиваются на свои орбиты <ref> Harary, F., 1972. ''Graph Theory''. Addison-Wesley, N.Y.</ref>. В рамках каждой орбиты пары вершин, полученные смежные графы являются [[изоморфизм|изоморфными]] и образовывает ''класс изоморфизма''. Однако, каждая подсистема системы графов состоит из неизоморфных графов, т. е. из графов которые представляют разные классы изоморфизма, другими словами, из структур.

Таким образом, каждой орбите пары вершин соответствует одна смежная структура. Эти соответствя представляют собой ''соотношения'' <math> F </math> или ''морфизмы'' <math> F = G\rightarrow G^{adj} </math> между структурами (т. е. между графами представляющих классы изоморфизма). Устанавливание морфизмов <math> F </math> между структурами (графами) превращает совокупность графов в '''''систему графов''''' <math>\mathfrak {G} = (G, F) </math> с |''V''| вершинами.

== Общие свойства системы графов ==
[[File:Tevetlattice.jpg|thumb|Первая половина решетки системы графов с шестью вершин]]
* Система графов <math>\mathfrak {G} </math> представима в виде обычного графа (точнее – решетки)
* Если число подсистем ''m'' чётное число (например, при |''V''| = 6 и |''V''| = 7), тогда решетка ''билатерально симметрична'' по отношении оси, которая делит систему пополам и разделяет графы <math> G </math> от их ''дополнений'' <math> \overline G </math>.
* Если число подсистем ''m'' нечётное число (например, при |''V''|= 4, |''V''|= 5, |''V''|= 8, |''V''|= 9,), то в этом случае, разделяющей осью является подсистема, в которой находится графы <math> G </math> и их ''дополнения'' <math> \overline G </math>, а также ''самодополняющиеся'' структуры.
* Морфизм <math> F </math> является ''обратимым'', каждая смежная структура <math> G^{adj} </math> графа имеет «обратную орбиту», к которой приложенный «обратный морфизм» <math> F^{op} </math> восстанавливает исходный граф <math> F^{op}= G^{adj}\rightarrow G </math>.
* Система <math>\mathfrak {G}</math> непосредственно связана с [[проблема восстановление|проблемой восстановлений]].

Пусть в каждой системе графов с |''V''| вершин число графов равно ''p'', в том числе связных ''p*'', число подсистем ''m'', число морфизмов ''q'' и число орбит ''q*''.

Системы графов по числам вершин |''V''|:
* 3-вершинные: ''p'' = 4, ''p*'' = 2, ''m'' = 4, ''q'' = 3, ''q*'' = 6.
* 4-вершинные: ''p'' = 11, ''p*'' = 6, ''m'' = 7, ''q'' = 14, ''q*'' = 28.
* 5-вершинные: ''p'' = 34, ''p*'' = 21, ''m'' = 11, ''q'' = 72, ''q*'' = 144.
* 6-вершинные: ''p'' = 156, ''p*'' = 112, ''m'' = 16, ''q'' = 527, ''q*'' = 1144.
* 7-вершинные: ''p'' = 1044, ''p*'' = 853, ''m'' =  22, ''q'' = ?

Число графов ''p'', когда: |''V''| = 8 – 12344, когда |''V''| = 9 – 276668, когда |''V''| = 10 – 12005168, когда |''V''|=11 – 1018997864 и т. д. Последние не образуют системы, потому что соотношения ещё не найдено.

== Вероятностные свойства ==
* Случайность в системе <math>\mathfrak {G} </math> проявляется в виде ''выбора смежных структур''. Вероятность связана с ''внутренней системной разнообразностью'' структуры, т. е. с ''орбитами''.
* Отношение <math> PF_{n}=\left(\frac {m_{n}} {card}\right) </math>, где ''n'' индекс бинарной орбиты, <math> m_{n} </math> её мощность и ''card'' число соответственных пар вершин структуры, определяет ''вероятность морфизма'' от структуры <math> G </math> к смежной структуры <math> F_{n}=G\rightarrow G_{n}^{adj} </math>.
* Наряду с вероятности морфизма, в системе определяется и ''вероятность перехода'' <math> P_{i,j} </math> от исходной структуры <math> G_{i} </math> к не-смежной структуры <math> G_{j} </math>.
* Вероятности переходов <math> P_{i,j} </math> в системе образуют стационарную [[цепь Маркова]].
* ''Вероятность существования'' структуры <math> PS </math> в системе <math>\mathfrak {G} </math> характеризует её наличие среди других структур подсистемы. Эта выражается формулой: <math> PS=\sum_{n=1}^N PS_{n}^{sup}\times PF_{n}^{sub} </math>, где ''n'' индекс бинарной орбиты данной структуры (графа), <math> PS_{n}^{sup} </math> вероятность существования смежной надструктуры, и <math> PF_{n}^{sub} </math> вероятность её морфизма.
* Сумма вероятностей существовании структур подсистемы равно единице, <math> PS_{m}=\sum PS_{i}=1 </math>.
* Вероятности существовании структуры и её дополнений равны, <math> PS(G)= PS(\overline G) </math>.
* Вероятности существования <math> PS </math> являются [[рациональное число|рациональными числами]], где их ''наименьшие общие кратные'' непосредственно связано со степениью |''V''| системы.
* Распределение <math> PS </math> в подсистеме обладает правосторонней симметрией и приближается к ''логарифмическому нормальному распределению''

== Об алгебраических свойствах ==
Морфизмы в системе <math>\mathfrak {G} </math> играют значительную роль. Так, некоторые фрагменты или аспекты системы могут быть характеризованы определенными алгебраическими структурами. Легко доказуемым являются следующие утверждение:
* Класса морфизмов  '''F''' образует в смысле композиции ''F&F'' [[группа|аддитивную группу]] <math> A </math>.
* Класса структур '''GS''' системы совместно с классом морфизмов  '''F''' образует [[категория|категорию]] <math> C </math>.

== О возможном использовании ==
Существуют реальные системы, чью функционирование возможным представить в виде последовательного изменения её структуры во времени. Если структуры системы <math>\mathfrak {G} </math> рассматривать как ''состояния'' <math> S_{t} </math> реальной системы в момент времени <math> t </math>, то сукцессия <math> SF = S_{t=1}\rightarrow S_{t=2}\rightarrow S_{t=3}\rightarrow </math> представляет собой динамическое или [[эволюция|эволюционное]] явление, порожденное морфизмами <math> F </math>, как результат внутреннего влиания. Таким способом построена одна элегантная, но абстрактная модель [[онтогенез]]а.

Такой подход использован при исследовании ценогенеза, эволюции природных сообществ, где состояния исследуемого процесса было представлено в виде графов <ref> Martin, J., Tevet, J. T. 1988. ''On the interrelations between structure, dynamics and evolution of ephilitic lichen synusiae''. – Proc. Estonian Acad. Sci., 37 (1988) N 1, 56-66 </ref>.

== Резюме ==
Официально признанными являются лишь совокупности |''V''|-вершинных графов, а не системы. Первая совокупность диаграмм графов до шести вершин была представлена в 1969 году известным математиком Фрэнком Харари. В 2004 году был издан объемный «Атлас графов», который содержит диаграммы и параметры уже до семи вершинных графов <ref> Read, R. C., Wilson, R. J. 2004. ''An Atlas of Graphs''. Clarendon Press, Oxford. </ref>. Тем не менее, эта книга отличается по своим масштабам (более 10000 графов), а также по классификации и параметрам графов. Такие системы графов можно формировать только алгоритмическим путем, точнее, путём [[семиотика структуры|семиотического моделирования]]. Мало вероятно, что кто-то пытался выполнить эту работу на основе комбинаторики или алгебры, так как там отсутствуют атрибуты установления морфизмов <math> F = G\rightarrow G^{adj} </math>.


== Ссылки ==
<references/>

{{изолированная статья}}

[[Категория:Математика]]
[[Категория:Теория графов]]