Il est bien connu qu'aucun protocole déterministe bipartite ne peut résoudre le problème de disjonction (DISJ) sur les entrées à bits sans envoyer n + 1 bits dans le pire des cas (voir, par exemple, le livre de Kushilevitz et Nisan). Pour les protocoles randomisés à erreur bornée, une borne inférieure de δ n , pour une constante δ , a également été montrée dans un article fondateur de Razborov [Razborov92]. Ma question est:
Quelle est actuellement la valeur explicite la plus connue de (bornes supérieure et inférieure)?
De plus, y a-t-il une croyance sur la valeur réelle de ?
[Razborov92] Alexander A. Razborov: Sur la complexité distributionnelle de la disjonction. Théor. Comput. Sci. 106 (2): 385-390 (1992) doi: 10.1016 / 0304-3975 (92) 90260-M
Réponses:
La constante elle-même a été trouvée à l'aide d'un système d'algèbre informatique et, pour autant que je sache, ne peut pas être exprimée simplement.
la source