É sabido que nenhum protocolo determinístico de duas partes pode resolver o problema de disjunção (DISJ) em entradas de bits sem enviar n + 1 bits no pior caso (consulte, por exemplo, o livro de Kushilevitz e Nisan). Para delimitada-randomizados erro protocolos, um limite inferior de δ n , para alguns constante δ , também tem sido demonstrado em um papel seminal por Razborov [Razborov92]. Minha pergunta é:
Qual é o valor explícito mais conhecido de atualmente (limites superior e inferior)?
Além disso, existe alguma crença no valor real de ?
[Razborov92] Alexander A. Razborov: Sobre a complexidade distributiva da disjunção. Theor. Comput. Sci. 106 (2): 385-390 (1992) doi: 10.1016 / 0304-3975 (92) 90260-M
Respostas:
Em um artigo recente , Braverman, Garg, Pankratov e Weinstein calculam o valor de como exatamente uma constante em torno de 0,4827, até fatores sublineares. Isso dá um estreito vínculo com a complexidade de comunicação da disjunção.δ
A constante em si foi encontrada usando um sistema de álgebra computacional e, até onde sei, não pode ser expressa de maneira simples.
fonte