. . . . . . . . . . . "Protocole Arthur-Merlin"@fr . . . . . . . "154249167"^^ . . . "8668988"^^ . . . "11117"^^ . . . "En th\u00E9orie de la complexit\u00E9, un protocole Arthur-Merlin est un syst\u00E8me de preuve interactive dans lequel on impose que les lancers de pi\u00E8ces du v\u00E9rificateur soient publics (c'est-\u00E0-dire \u00E9galement connus du d\u00E9monstrateur). Cette notion a \u00E9t\u00E9 introduite par L\u00E1szl\u00F3 Babai en 1985. Godwasser et Sipser ont prouv\u00E9 en 1986 que tous les langages avec preuves interactives de longueur arbitraire avec al\u00E9atoire priv\u00E9 peuvent aussi \u00EAtre d\u00E9cid\u00E9s par des preuves interactives avec al\u00E9atoire public."@fr . "En th\u00E9orie de la complexit\u00E9, un protocole Arthur-Merlin est un syst\u00E8me de preuve interactive dans lequel on impose que les lancers de pi\u00E8ces du v\u00E9rificateur soient publics (c'est-\u00E0-dire \u00E9galement connus du d\u00E9monstrateur). Cette notion a \u00E9t\u00E9 introduite par L\u00E1szl\u00F3 Babai en 1985. Godwasser et Sipser ont prouv\u00E9 en 1986 que tous les langages avec preuves interactives de longueur arbitraire avec al\u00E9atoire priv\u00E9 peuvent aussi \u00EAtre d\u00E9cid\u00E9s par des preuves interactives avec al\u00E9atoire public."@fr . . "AM (Complexitat)"@ca . . . . . . "10"^^ . . "Protocoles interactifs"@fr . . . . .