Контрольные эксперименты для бесконечных классов помеченных графов
Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющ...
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| Summary: | Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющих соотношений для конечного автомата, и способа проверки наличия/отсутствия соответствующих множеств путей на графе, требующего одну дополнительную метку (камень). Найдены критерии, при которых произвольная пара множеств слов является определяющей парой некоторого помеченного графа.
|
|---|---|
| ISSN: | 1683-4720 |