Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы / Глибовец Н. Н., Гломозда Д. К. (2008)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000466028
  Кибернетика и системный анализ      А - 2019  /     Випуск (2008, Т. 44, № 4)

Глибовец Н. Н., Гломозда Д. К.
Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы

Розглянуто задачу верифікації координаційного механізму системи програмної підтримки мережної співпраці. Показано спорідненість цієї задачі з задачею верифікації агентів. Доведено, що за обчислювальною складністю задача верифікації координаційного механізму є co-NP-повною.

Бібліографічний опис:
Глибовец Н. Н., Гломозда Д. К. Сложность задачи верификации координационного механизма системы программной поддержки совместной сетевой работы. Кибернетика и системный анализ. 2008. Т. 44, № 4. С. 15-19. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000466028

English  Cybernetics and Systems Analysis   /     Issue (2008, 44 (4))

translit 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].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна