High Quality Content by WIKIPEDIA articles! In computational complexity theory, an Arthur–Merlin protocol is an interactive proof system in which the verifier's coin tosses are constrained to be public (i.e. known to the prover too). This notion was introduced by Babai (1985). Goldwasser Sipser (1986) proved that all languages with interactive proofs of arbitrary length with private coins also have interactive proofs with public coins. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной тематики, представляя собой исключительно...

В наличии:
	Sprinter - 1238 руб.	Перейти		Лучшая цена
	Books.Ru - 1385 руб.	Перейти
Под заказ:
	OZON.ru - 1381 руб.	Перейти

Рейтинг книги: 4 из 5, 1 голос(-ов).