Полный инвариант графа и алгоритм его вычисления; Известия Томского политехнического университета [Известия ТПУ]; Т. 325, № 5 : Информационные технологии
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 325, № 5 : Информационные технологии.— 2014.— [С. 110-122] |
|---|---|
| Auteur principal: | |
| Collectivité auteur: | |
| Résumé: | Заглавие с титульного листа Электронная версия печатной публикации Актуальность научной работы определяется тем, что в теории графов начиная со средины прошлого века все попытки найти вид полного инварианта и разработать для него эффективный алгоритм вычисления оказывались безуспешными. Предложенное в статье решение данной проблемы будет способствовать развитию методов инвариантного представления и анализа абстрактных структур графов. Цель исследования: сформулировать теоретические положения метода независимой интеграции кодов структурных различий и на этой основе разработать эффективный алгоритм вычисления полного инварианта графа. Методы исследования основаны на теории графов и методах свободной и зависимой интеграции кодов структурных различий для получения интегральных описателей вершин абстрактных структур графов. Результаты. Предложено новое правило назначения кодов структурных различий для дифференциации вершин структуры графа. Правило отличается простотой, представляет независимую систему кодирования и гарантирует получение интегрального описателя структуры (Integral Structure Descriptor - ISD), инвариантного относительно исходной нумерации её вершин. Используя данное правило, разработан метод независимой интеграции кодов структурных различий в графе. На основе этого метода разработан эффективный алгоритм вычисления полного инварианта графа. Показано, что для самых неблагоприятных случаев предельные объёмы вычислений ограничиваются полиномиальными оценками. На языке Java разработано программное средство GraphISD и проведены экспериментальные исследования эффективности работы алгоритма. Эксперименты показали, что предложенный полный инвариант и алгоритм его вычисления способны эффективно работать с библиотеками графов, содержащих до 5000 вершин, инвариантно представлять графы в библиотеке, выделять изоморфные графы на основе сравнения полных инвариантов, формировать подстановки изоморфизма и исходные представления графов. The relevance of the discussed issue is caused by the fact, that in graph theory, since the mid of the last century, all attempts to find the form of complete invariant and to develop the effective algorithm for it computation have been failed. The proposed solution of the problem will contribute to development of methods of invariant representation and graphs structure analysis. The main aim of the study is to form theoretical basis of independent integration method of codes of structural differences and to develop the effective algorithm for complete invariant computation. The methods of the study are based on graph theory and methods of free and dependent integration of codes of structural differences for obtaining integral descriptors of vertices of abstract graph structures. The results. The author has proposed a new rule of assigning structural differences code to differentiate graph vertices. The rule is simple, it is represented as an independent encoding system and ensures the obtain the integral structure descriptor (ISD), invariant with respect to the vertices original numbering. Based on this method the effective algorithm of complete graph computation was developed. It is shown, that even for the worst cases the computation complexity is limited by polynomial evaluation. Software GraphISD was written on Java language. It was used for experimental researches of algorithm effectiveness. The experiments showed that the proposed complete graph invariant and algorithm of its computation are capable of working effectively with libraries of graph invariants, containing up to 5000 vertices, of distinguishing isomorphic graphs based on comparison of the complete invariants, of forming isomorphism substitutions and initial graph representations. |
| Langue: | russe |
| Publié: |
2014
|
| Sujets: | |
| Accès en ligne: | http://earchive.tpu.ru/bitstream/11683/5390/1/bulletin_tpu-2014-325-5-14.pdf |
| Format: | MixedMaterials Électronique Chapitre de livre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=276023 |
MARC
| LEADER | 00000nla2a2200000 4500 | ||
|---|---|---|---|
| 001 | 276023 | ||
| 005 | 20231031230921.0 | ||
| 035 | |a (RuTPU)RU\TPU\book\299276 | ||
| 090 | |a 276023 | ||
| 100 | |a 20141118d2014 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 135 | |a drnn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Полный инвариант графа и алгоритм его вычисления |b Электронный ресурс |f А. В. Погребной | |
| 203 | |a Текст |c электронный | ||
| 215 | |a 1 файл (311 Kb) | ||
| 230 | |a Электронные текстовые данные (1 файл : 311 Kb) | ||
| 300 | |a Заглавие с титульного листа | ||
| 300 | |a Электронная версия печатной публикации | ||
| 320 | |a [Библиогр.: с. 120-121 (17 назв.)] | ||
| 330 | |a Актуальность научной работы определяется тем, что в теории графов начиная со средины прошлого века все попытки найти вид полного инварианта и разработать для него эффективный алгоритм вычисления оказывались безуспешными. Предложенное в статье решение данной проблемы будет способствовать развитию методов инвариантного представления и анализа абстрактных структур графов. Цель исследования: сформулировать теоретические положения метода независимой интеграции кодов структурных различий и на этой основе разработать эффективный алгоритм вычисления полного инварианта графа. Методы исследования основаны на теории графов и методах свободной и зависимой интеграции кодов структурных различий для получения интегральных описателей вершин абстрактных структур графов. Результаты. Предложено новое правило назначения кодов структурных различий для дифференциации вершин структуры графа. Правило отличается простотой, представляет независимую систему кодирования и гарантирует получение интегрального описателя структуры (Integral Structure Descriptor - ISD), инвариантного относительно исходной нумерации её вершин. Используя данное правило, разработан метод независимой интеграции кодов структурных различий в графе. На основе этого метода разработан эффективный алгоритм вычисления полного инварианта графа. Показано, что для самых неблагоприятных случаев предельные объёмы вычислений ограничиваются полиномиальными оценками. На языке Java разработано программное средство GraphISD и проведены экспериментальные исследования эффективности работы алгоритма. Эксперименты показали, что предложенный полный инвариант и алгоритм его вычисления способны эффективно работать с библиотеками графов, содержащих до 5000 вершин, инвариантно представлять графы в библиотеке, выделять изоморфные графы на основе сравнения полных инвариантов, формировать подстановки изоморфизма и исходные представления графов. | ||
| 330 | |a The relevance of the discussed issue is caused by the fact, that in graph theory, since the mid of the last century, all attempts to find the form of complete invariant and to develop the effective algorithm for it computation have been failed. The proposed solution of the problem will contribute to development of methods of invariant representation and graphs structure analysis. The main aim of the study is to form theoretical basis of independent integration method of codes of structural differences and to develop the effective algorithm for complete invariant computation. The methods of the study are based on graph theory and methods of free and dependent integration of codes of structural differences for obtaining integral descriptors of vertices of abstract graph structures. The results. The author has proposed a new rule of assigning structural differences code to differentiate graph vertices. The rule is simple, it is represented as an independent encoding system and ensures the obtain the integral structure descriptor (ISD), invariant with respect to the vertices original numbering. Based on this method the effective algorithm of complete graph computation was developed. It is shown, that even for the worst cases the computation complexity is limited by polynomial evaluation. Software GraphISD was written on Java language. It was used for experimental researches of algorithm effectiveness. The experiments showed that the proposed complete graph invariant and algorithm of its computation are capable of working effectively with libraries of graph invariants, containing up to 5000 vertices, of distinguishing isomorphic graphs based on comparison of the complete invariants, of forming isomorphism substitutions and initial graph representations. | ||
| 337 | |a Adobe Reader | ||
| 453 | |t Complete graph invariant and algorithm of its computation |o translation from Russian |f A. V. Pogrebnoy |c Tomsk |n TPU Press |d 2014 |d 2014 |a Pogrebnoy, Andrey | ||
| 453 | |t Bulletin of the Tomsk Polytechnic University | ||
| 453 | |t Vol. 325, № 5 : IT Technologies | ||
| 461 | 1 | |0 (RuTPU)RU\TPU\book\176237 |t Известия Томского политехнического университета [Известия ТПУ] |f Томский политехнический университет (ТПУ) |d 2000- | |
| 463 | 1 | |0 (RuTPU)RU\TPU\book\298625 |x 1684-8519 |t Т. 325, № 5 : Информационные технологии |v [С. 110-122] |d 2014 | |
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a полный инвариант | |
| 610 | 1 | |a графы | |
| 610 | 1 | |a абстрактные структуры | |
| 610 | 1 | |a однородные графы | |
| 610 | 1 | |a интегральный описатель структур | |
| 610 | 1 | |a устойчивые группы | |
| 610 | 1 | |a вершины | |
| 610 | 1 | |a симметричные графы | |
| 610 | 1 | |a изоморфизмы | |
| 610 | |a complete graph invariant | ||
| 610 | |a abstract graph structure | ||
| 610 | |a homogeneous graph | ||
| 610 | |a integral structure descriptor | ||
| 610 | |a stable group of vertices | ||
| 610 | |a symmetric graph | ||
| 610 | |a graph isomorphism | ||
| 700 | 1 | |a Погребной |b А. В. |g Андрей Владимирович |6 z01712 | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский политехнический университет (ТПУ) |b Институт кибернетики (ИК) |b Кафедра информатики и проектирования систем (ИПС) |h 124 |2 stltpush |3 (RuTPU)RU\TPU\col\18697 |6 z01700 |
| 801 | 2 | |a RU |b 63413507 |c 20190517 |g PSBO | |
| 856 | 4 | |u http://earchive.tpu.ru/bitstream/11683/5390/1/bulletin_tpu-2014-325-5-14.pdf | |
| 942 | |c CF | ||