Perguntas com a marcação «query-complexity»

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 …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Suponha que é uma árvore de grau constante cuja estrutura não conhecemos. O problema é produzir a árvoreTTTTTT , solicitando consultas no formulário: "O nó xxx fica no caminho do nó aaa ao nó bbb ?". Suponha que cada consulta possa ser respondida em tempo constante por um oráculo. Sabemos …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Trabalhar diretamente com complexidade de tempo ou limitar os limites inferiores do circuito é assustador. Por isso, desenvolvemos ferramentas como complexidade da consulta (ou complexidade da árvore de decisão) para lidar com limites inferiores. Como cada consulta executa pelo menos uma etapa da unidade e os cálculos entre as consultas …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

É sabido que os computadores quânticos são estritamente mais poderosos do que seus equivalentes clássicos em termos de complexidade de consultas . Existem outros modelos (naturais ou artificiais) estritamente entre o quantum e o clássico em termos de complexidade da consulta? A separação pode estar em problemas específicos: o modelo …

18 cc.complexity-theory  quantum-computing  query-complexity 

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 todas as instâncias …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

fundo Uma árvore de decisão binária é uma árvore com raiz onde cada nó interno (e raiz) é marcado por um índice j ∈ { 1 , . . . , n } de modo que nenhum caminho da raiz para a folha repita um índice, as folhas são rotuladas …

16 ds.algorithms  query-complexity  decision-trees 

A complexidade da informação tem sido uma ferramenta muito útil na complexidade da comunicação, usada principalmente para limitar a complexidade da comunicação de problemas distribuídos. Existe um análogo da complexidade da informação para a complexidade da consulta? Existem muitos paralelos entre a complexidade da consulta e a complexidade da comunicação; …

15 it.information-theory  communication-complexity  query-complexity 

Fundo: A complexidade da árvore de decisão ou a complexidade da consulta é um modelo simples de computação definido da seguinte maneira. Seja uma função booleana. A complexidade da consulta determinística de f , denotada D ( f ) , é o número mínimo de bits da entrada x ∈ …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

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 …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Sabe-se agora que o limite inferior do adversário geral caracteriza a complexidade da consulta quântica devido ao trabalho inovador de Reichardt et al. A mesma linha de trabalho também estabelece conexões com a estrutura do programa span para projetar algoritmos quânticos. Muitos algoritmos quânticos interessantes, incluindo aqueles com aceleração exponencial …

12 cc.complexity-theory  quantum-computing  query-complexity 

Dana Angluin ( 1987 ; pdf ) define um modelo de aprendizado com perguntas sobre membros e questões teóricas (contra-exemplos a uma função proposta). Ela mostra que uma linguagem regular representada por um DFA mínimo de estados pode ser aprendida em tempo polinomial (onde as funções propostas são DFAs) com …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

Embora sejam conhecidas separações exponenciais entre a complexidade da consulta quântica com erro limitado ( ) e a complexidade determinística da consulta ( ) ou a complexidade aleatória da consulta com erro limitado ( ), elas se aplicam apenas a determinadas funções parciais. Se as funções parciais tiverem estruturas especiais …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Um programa span é uma maneira algébrica-linear de especificar uma função booleana apresentada aqui . Recentemente, esse modelo foi usado para mostrar que o método adversário negativo fornece uma caracterização rígida (pelo menos até ) da complexidade da consulta quântica.registron / logregistronlog⁡n/log⁡log⁡n\log n/ \log \log n A medida de complexidade …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Na complexidade da árvore de decisão de uma função booleana, um método de limite inferior muito bem conhecido é encontrar um polinômio (aproximado) que represente a função. Paturi deu uma caracterização para funções booleanas simétricas (parciais e totais) em termos de uma quantidade indicada ΓΓ\Gamma : Teorema ( Paturi ): …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

No presente trabalho , Hajnal afirma o seguinte lema: Seja o conjunto de todos os gráficos bipartidos com vértices na parte esquerda e vértices na parte direita. Suponha que seja não trivial, monótono e invariável em relação aos isomorfismos dos gráficos bipartidos. Ordene o conjunto de gráficos mínimos com a …

8 graph-theory  query-complexity