Контрольные эксперименты для бесконечных классов помеченных графов

Рассматривается задача проверки мобильным агентом изоморфизма помеченного графа-эталона и произвольного помеченного графа из бесконечного класса таких графов. Решение заключается в построении контрольного эксперимента - определяющей пары множеств слов в алфавите меток, аналогичной системе определяющ...

Повний опис

Збережено в:
Бібліографічні деталі
Дата: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 Ukraine
id 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