首页 > Term: prueba probabilísticamente controlable
prueba probabilísticamente controlable
Un sistema de prueba interactivo en el cual provers siga una estrategia fija, es decir, uno no afectado por los mensajes del verificador. Estrategia de el prover para una instancia determinada x de un problema de decisión puede ser representado por un finito oracle lengua B x, que constituye una prueba de la respuesta correcta para x.
0
创建者
- Ashley2003
- 100% positive feedback
(Bilbao, Spain)