Контрольные эксперименты для бесконечных классов помеченных графов
Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющ...
Saved in:
| Published in: | Труды Института прикладной математики и механики |
|---|---|
| Date: | 2009 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут прикладної математики і механіки НАН України
2009
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/123918 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862726541262192640 |
|---|---|
| author | Сапунов, С.В. |
| author_facet | Сапунов, С.В. |
| citation_txt | Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Труды Института прикладной математики и механики |
| description | Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющих соотношений для конечного автомата, и способа проверки наличия/отсутствия соответствующих множеств путей на графе, требующего одну дополнительную метку (камень). Найдены критерии, при которых произвольная пара множеств слов является определяющей парой некоторого помеченного графа.
|
| first_indexed | 2025-12-07T18:58:13Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-123918 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1683-4720 |
| language | Russian |
| last_indexed | 2025-12-07T18:58:13Z |
| publishDate | 2009 |
| publisher | Інститут прикладної математики і механіки НАН України |
| record_format | dspace |
| spelling | Сапунов, С.В. 2017-09-13T09:54:01Z 2017-09-13T09:54:01Z 2009 Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. 1683-4720 https://nasplib.isofts.kiev.ua/handle/123456789/123918 519.7 Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющих соотношений для конечного автомата, и способа проверки наличия/отсутствия соответствующих множеств путей на графе, требующего одну дополнительную метку (камень). Найдены критерии, при которых произвольная пара множеств слов является определяющей парой некоторого помеченного графа. ru Інститут прикладної математики і механіки НАН України Труды Института прикладной математики и механики Контрольные эксперименты для бесконечных классов помеченных графов Article published earlier |
| spellingShingle | Контрольные эксперименты для бесконечных классов помеченных графов Сапунов, С.В. |
| title | Контрольные эксперименты для бесконечных классов помеченных графов |
| title_full | Контрольные эксперименты для бесконечных классов помеченных графов |
| title_fullStr | Контрольные эксперименты для бесконечных классов помеченных графов |
| title_full_unstemmed | Контрольные эксперименты для бесконечных классов помеченных графов |
| title_short | Контрольные эксперименты для бесконечных классов помеченных графов |
| title_sort | контрольные эксперименты для бесконечных классов помеченных графов |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/123918 |
| work_keys_str_mv | AT sapunovsv kontrolʹnyeéksperimentydlâbeskonečnyhklassovpomečennyhgrafov |