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

Considere a seguinte tarefa computacional: Queremos provar uma fórmula 3-SAT de variáveis ​​(uma variante: variáveis cláusulas) com relação à distribuição uniforme de probabilidade, condicionada à satisfação da fórmula:n mnnnnnnmmm Q1: Isso pode ser alcançado com eficiência por um computador clássico (com bits aleatórios)? P2: Isso pode ser alcançado com eficiência …

23 cc.complexity-theory  quantum-computing  sample-complexity 

Uma coisa que os computadores quânticos podem fazer (possivelmente apenas com apenas os circuitos quânticos BPP + com profundidade de log) é obter uma amostra aproximada da transformada de Fourier de uma função booleana em P.± 1±1 1\pm 1 Aqui e abaixo, quando falo sobre amostragem da transformada de Fourier, …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

Sabe-se que, para a aprendizagem do PAC, existem classes de conceitos naturais (por exemplo, subconjuntos de listas de decisão) para as quais existem lacunas polinomiais entre a complexidade da amostra necessária para o aprendizado da teoria da informação por um aprendiz computacionalmente ilimitado e a complexidade da amostra necessária para …

12 machine-learning  lg.learning  sample-complexity 

Aqui está um problema com um sabor semelhante ao aprendizado de juntas: Entrada: Uma função , representada por um oracle de associação, ou seja, um oracle que forneceu , retorna .f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\}xxxf(x)f(x)f(x) Objetivo: Encontre um subcubo de com volume modo que . Assumimos que esse subcubo exista.SSS{0,1}n{0,1}n\{0,1\}^n|S|=2n−k|S|=2n−k|S|=2^{n-k}|Ex∈Sf(x)|≥0.1|Ex∈Sf(x)|≥0.1\left|\mathbb{E}_{x \in …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

Como nenhuma resposta foi dada, foi definido um sinalizador solicitando que essa pergunta fosse convertida em um wiki da comunidade. Os comentários de Aaron Sterling, Sasho Nikolov e Vor foram sintetizados na seguinte resolução, que está aberta para discussão no wiki da comunidade: Resolvido: com relação aos algoritmos clássicos que …

9 quantum-computing  program-verification  sample-complexity