Em testes propriedade gráfico, um algoritmo de consulta um gráfico de alvo para a presença ou ausência de arestas e necessidades para determinar se o alvo quer tem uma certa propriedade ou é -muito de ter a propriedade. (Um algoritmo pode ser solicitado a ter sucesso com um erro lados ou dois...
Existe uma grande literatura sobre "teste de propriedade" - o problema de fazer um pequeno número de consultas de caixa preta em uma função para distinguir entre dois casos:f: { 0 , 1 }n→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff é membro de alguma classe de funçõesCC\mathcal{C} fff é de todas as...
O método adversário negativo ( ) é um SDP que caracteriza a complexidade da consulta quântica. É uma generalização do método adversário amplamente utilizado ( ) e supera as duas barreiras que impediram o método adversário:A D V±UMADV±ADV^\pmA D VUMADVADV A barreira do teste de propriedades: se...
Em [1], Turan mostra que a sensibilidade (chamada "complexidade crítica" no artigo) de uma propriedade de gráfico é estritamente maior que ondemé o número de vértices no gráfico. Ele continua conjecturando que qualquer propriedade não-trivial do gráfico tenha sensibilidade≥m-1. Ele menciona que...
Alice e Bob têm strings de n bits e querem descobrir se são iguais enquanto fazem pouca comunicação. A solução aleatória padrão é tratar as seqüências de n bits como polinômios de grau nnn e depois avaliar os polinômios sobre alguns elementos escolhidos aleatoriamente em um campo de tamanho maior...
Um algoritmo de teste de distribuição para uma propriedade de distribuição P (que é apenas um subconjunto de todas as distribuições acima de [n]) tem acesso permitido às amostras de acordo com alguma distribuição D e é necessário decidir (whp) se ou ( aqui é geralmente a distância ). A medida de...
Eu gostaria de saber (relacionado a essa outra pergunta ) se os limites inferiores eram conhecidos para o seguinte problema de teste: um deles recebe acesso de consulta a uma sequência de números não negativos e , com a promessa de que ou . ε ∈ ( 0 , 1 ) Σ n k = 1 uma k = 1 Σ n k = 1 uma k ≤ 1 -...
Suponha que recebamos um gráfico GGG e os parâmetros k,ϵk,ϵk,\epsilon . Existem intervalos de valores para kkk (ou é possível para todos os kkk ) para os quais é possível testar se GGG é ϵϵ\epsilon - longe de ter um conjunto independente de tamanho pelo menos kkk no tempo...
Deixe- G∼G(n,n−1/2)G∼G(n,n−1/2)G \sim G(n, n^{-1/2}) ser um gráfico aleatório em ≈n3/2≈n3/2\approx n^{3/2} bordas. Com probabilidade muito alta, GGG tem muitas 444 motos. Nosso objetivo é produzir qualquer uma dessas 444 motos o mais rápido possível. Supondo que tenhamos acesso a GGG na forma de...