Контрольные эксперименты для бесконечных классов помеченных графов
Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющ...
Gespeichert in:
| Veröffentlicht in: | Труды Института прикладной математики и механики |
|---|---|
| Datum: | 2009 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2009
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/123918 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Zusammenfassung: | Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющих соотношений для конечного автомата, и способа проверки наличия/отсутствия соответствующих множеств путей на графе, требующего одну дополнительную метку (камень). Найдены критерии, при которых произвольная пара множеств слов является определяющей парой некоторого помеченного графа.
|
|---|---|
| ISSN: | 1683-4720 |