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...
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...
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...
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...
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:...