Está observar que os limites inferiores de estão intimamente relacionadas com todas as técnicas existentes de limite inferior. Para funções booleanas, isso parece verdadeiro, desde que a conjectura de log-rank seja verdadeira. No entanto, P n ( f ) pode ser exponencialmente maior do que o conjunto de enganar ligado.Pn(f)Pn(f)
Não está claro para mim o quanto e D ( f ) podem diferir no caso não-booleano.Pn(f)D(f)
No restante, faço esses comentários mais precisos.
KN (Kushilevitz e Nisan, em seu livro de 1997) descrevem as três técnicas básicas para funções booleanas: tamanho de um conjunto de brincadeiras, tamanho de um retângulo monocromático e classificação da matriz de comunicação.
Primeiro, jogos enganadores. Um conjunto enganar é monocromática: há alguns z ∈ { 0 , 1 } , tal que f ( x , y ) = z para cada ( x , y ) ∈ S . Algumas correções finais são necessárias para levar em conta a outra cor. Esta etapa extra pode ser evitada. Seja f : X × Y → { 0 , 1 } uma função. Um par de elementos distintos ( x 1 ,Sz∈{0,1}f(x,y)=z(x,y)∈Sf:X×Y→{0,1} éenganar fracamentepara f , se f ( x 1 , y 1 ) = f ( x 2 , Y 2 ) implica que seja f ( x 1 , y 2 ) ≠ f ( x 1 , y 1 ) ou f ((x1,y1),(x2,y2)∈X×Yff(x1,y1)=f(x2,y2)f(x1,y2)≠f(x1,y1) . Um conjunto S ⊆ X × Y é umconjunto de enganos fracopara f se cada par distinto de elementos de S for enganador de fraqueza. O KN declara implicitamente, após a prova de 1.20, que o tamanho do log de um conjunto de enganos fraco é um limite inferior para a complexidade da comunicação.f(x2,y1)≠f(x1,y1)S⊆X×YfS
Um maior conjunto de enganadores fraco seleciona um elemento representativo de cada retângulo monocromático em uma menor tampa do conjunto separado. O tamanho de um maior conjunto de enganos fracos é, portanto, no máximo tão grande quanto (o expoente) do número da partição. Infelizmente, o limite fornecido pelos conjuntos de enganar é geralmente fraco. A prova do KN 1.20 mostra que qualquer função que mapeie cada elemento de um conjunto de enganos fraco S para um retângulo monocromático R s contendo esse elemento é injetiva. No entanto, pode haver muitos retângulos monocromáticos R em uma menor capa disjunta que não aparecem na imagem de S , com todos os elementos de R brincando com alguns, mas não todos, os elementos desSRsRSR , e assim não pode simplesmente ser adicionado ao S . Na verdade Dietzfelbinger, Hromkovič e Schnitger mostrou (DOI:10.1016 / S0304-3975 (96) 00062-X) que para todos suficientemente grande n , pelo menos, 1 / 4 de todas as funções booleanas em n variáveis têm P n ( f ) = n ainda possui conjuntos enganosos (fracos) de tamanho de log O ( log n ) . Portanto, o log do tamanho de um conjunto de enganos maior (fraco) pode ser exponencialmente menor que a complexidade da comunicação.SSn1/4nPn(f)=nO(logn)
Para classificação, o estabelecimento de uma correspondência estreita entre a classificação da matriz da função e seu número de partição estabeleceria uma forma de conjectura de classificação logarítmica (dependendo da rigidez da correspondência). Por exemplo, se houver uma constante tal que P n ( f ) ≤ a log r k ( f ) para cada função booleana f , então D ( f ) ≤ ( 2 a log r k ( f ) ) 2a>0Pn(f)≤alogrk(f)fD(f)≤(2alogrk(f))2, e um tipo de conjectura de log-rank para as famílias de funções para as quais finalmente aumenta com | X | + | Y | , com expoente 2 + ϵ para qualquer ϵ > 0 alcançável para suficientemente grande | X | + | Y | . (Lembre-se de que a conjectura de log-rank de Lovász-Saks diz que existe uma constante c > 0 tal que D ( f ) ≤ ( log rrk(f)|X|+|Y|2+ϵϵ>0|X|+|Y|c>0 para cada função booleana f ; aqui r k ( f ) é a classificação da matriz de comunicação de f sobre os reais.)D(f)≤(logrk(f))cfrk(f)f
Da mesma forma, se houver apenas um retângulo monocromático bastante grande junto com muitos pequenos, o número da partição fornecerá um limite mais forte do que o tamanho do log de um retângulo monocromático maior. No entanto, a conjectura de log-rank também é equivalente a uma conjectura do tamanho de um maior retângulo monocromático (Nisan e Wigderson 1995, doi: 10.1007 / BF01192527 , Teorema 2). Portanto, o uso de retângulos monocromáticos não é atualmente conhecido como "o mesmo que" usar o número da partição, mas eles estão intimamente relacionados se a conjectura de classificação de log for mantida.
Em resumo, o tamanho do log de um maior conjunto de enganos fraco pode ser exponencialmente menor que o número da partição. Pode haver lacunas entre as outras técnicas de limite inferior e o número da partição, mas se a conjectura de classificação de log for mantida, essas lacunas serão pequenas.
Ao usar noções de tamanho que se estendem ao usual (de cardinalidade), o tamanho de qualquer retângulo monocromático pode ser usado para generalizar conjuntos de enganos e diminuir o limite da complexidade da comunicação (consulte KN 1.24). Não tenho certeza de quão próximo o maior "tamanho" generalizado de qualquer retângulo monocromático deve estar da complexidade da comunicação.
Em contraste com a discussão acima para funções booleanas, para funções não booleanas, a diferença entre e log r k ( f ) pode ser exponencial. KN 2.23 dá um exemplo: seja f a função que retorna o tamanho das interseções dos conjuntos representados pelos dois vetores característicos de entrada. Para esta função, o log-rank é log n . Agora, o conjunto de todos os pares de conjuntos sem interseção possui 3 n elementos. Até onde eu sei, não pode haver retângulos monocromáticos maiores que esse conjunto. Se isso estiver correto, então D ( f ) ≥D(f)logrk(f)flogn3n , portanto, para esta função, D ( f ) , P n ( f ) e o tamanho do log de um maior retângulo monocromático estão todos dentro de um fator de mais 2,5 um do outro, embora exponencialmente distantes da classificação do log. Portanto, pequenas separações entre P n ( f ) e D ( f )D(f)≥Pn(f) ≥ ( 2 - log3 ) n > 0,4 nD ( f)Pn ( f)2.5Pn ( f)D ( f)pode ser possível no caso não-booleano, mas eles não estão relacionados de maneira óbvia ao log-rank da matriz de . Não tenho conhecimento de nenhum trabalho publicado discutindo como essas medidas estão relacionadas no caso não-booleano.f
Finalmente, Dietzfelbinger et al. também definiu um limite estendido de conjunto de enganos, generalizando a condição de enganos de pares (subconjuntos "ordem 1") para subconjuntos maiores de elementos monocromáticos; a condição de enganar estendida requer que a submatriz estendida pelos elementos monocromáticos não seja monocromática. Não está claro como isso se comporta à medida que a ordem dos subconjuntos monocromáticos aumenta, pois é necessário dividir o tamanho da enganação estendida estabelecida pela ordem e considerar o maior valor em todas as ordens. No entanto, essa noção acaba sendo um limite inferior próximo a .Pn ( f)