Контрольные эксперименты для бесконечных классов помеченных графов
Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющ...
Збережено в:
Дата: | 2009 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут прикладної математики і механіки НАН України
2009
|
Назва видання: | Труды Института прикладной математики и механики |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/123918 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-123918 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1239182017-09-14T03:03:23Z Контрольные эксперименты для бесконечных классов помеченных графов Сапунов, С.В. Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющих соотношений для конечного автомата, и способа проверки наличия/отсутствия соответствующих множеств путей на графе, требующего одну дополнительную метку (камень). Найдены критерии, при которых произвольная пара множеств слов является определяющей парой некоторого помеченного графа. 2009 Article Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. 1683-4720 http://dspace.nbuv.gov.ua/handle/123456789/123918 519.7 ru Труды Института прикладной математики и механики Інститут прикладної математики і механіки НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
description |
Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющих соотношений для конечного автомата, и способа проверки наличия/отсутствия соответствующих множеств путей на графе, требующего одну дополнительную метку (камень). Найдены критерии, при которых произвольная пара множеств слов является определяющей парой некоторого помеченного графа. |
format |
Article |
author |
Сапунов, С.В. |
spellingShingle |
Сапунов, С.В. Контрольные эксперименты для бесконечных классов помеченных графов Труды Института прикладной математики и механики |
author_facet |
Сапунов, С.В. |
author_sort |
Сапунов, С.В. |
title |
Контрольные эксперименты для бесконечных классов помеченных графов |
title_short |
Контрольные эксперименты для бесконечных классов помеченных графов |
title_full |
Контрольные эксперименты для бесконечных классов помеченных графов |
title_fullStr |
Контрольные эксперименты для бесконечных классов помеченных графов |
title_full_unstemmed |
Контрольные эксперименты для бесконечных классов помеченных графов |
title_sort |
контрольные эксперименты для бесконечных классов помеченных графов |
publisher |
Інститут прикладної математики і механіки НАН України |
publishDate |
2009 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/123918 |
citation_txt |
Контрольные эксперименты для бесконечных классов помеченных графов / С.В. Сапунов // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2009. — Т. 19. — С. 214-224. — Бібліогр.: 12 назв. — рос. |
series |
Труды Института прикладной математики и механики |
work_keys_str_mv |
AT sapunovsv kontrolʹnyeéksperimentydlâbeskonečnyhklassovpomečennyhgrafov |
first_indexed |
2023-10-18T20:45:15Z |
last_indexed |
2023-10-18T20:45:15Z |
_version_ |
1796151021436665856 |