Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы / Глибовец Н. Н., Гломозда Д. К. (2008)
web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000466028
Cybernetics and Systems Analysis   А - 2019 /  Issue (2008, Т. 44, № 4)
Глибовец Н. Н., Гломозда Д. К.
Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы Розглянуто задачу верифікації координаційного механізму системи програмної підтримки мережної співпраці. Показано спорідненість цієї задачі з задачею верифікації агентів. Доведено, що за обчислювальною складністю задача верифікації координаційного механізму є co-NP-повною.
Бібліографічний опис:
Глибовец Н. Н., Гломозда Д. К. Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы. Кибернетика и системный анализ. 2008. Т. 44, № 4. С. 15-19. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000466028 |  Cybernetics and Systems Analysis / Issue (2008, 44 (4))
 Transliteration
Glibovets N. N., Glomozda D. K.
Slozhnost zadachi verifikatsii koordinatsionnogo mekhanizma sistemy programmnoj podderzhki sovmestnoj setevoj raboty
Cite:
Glibovets, N. N., Glomozda, D. K. (2008). Slozhnost zadachi verifikatsii koordinatsionnogo mekhanizma sistemy programmnoj podderzhki sovmestnoj setevoj raboty. Cybernetics and Systems Analysis, 44 (4), 15-19 http://jnas.nbuv.gov.ua/article/UJRN-0000466028 [In Russian]. | |
|
|
PDF