Qual é a complexidade de consulta mais conhecida do algoritmo de aprendizado Goldreich-Levin? As notas da palestra do blog de Luca Trevisan , Lemma 3, afirmam . Isso é o mais conhecido em termos de dependência de n ? Ficarei particularmente grato por uma referência a uma fonte citável!O ( 1 / ϵ4n...
Estou procurando informações sobre a complexidade computacional da multiplicação de matrizes de matrizes retangulares. A Wikipedia afirma que a complexidade de multiplicar por é (multiplicação de livros escolares). B ∈ R n × p O ( m n p )A ∈ Rm × nA∈Rm×nA \in \mathbb{R}^{m \times n}B ∈ Rn ×...
Estou iniciando meu doutorado neste outono e planejo trabalhar na teoria da complexidade para minha tese. Estou compilando uma lista de artigos importantes que todo teórico da complexidade deve conhecer. Que papéis você sugeriria para uma pessoa como eu? E, por favor, explique brevemente por que...
Minha primeira pergunta é se uma caracterização interativa de sistema de prova é conhecida por todas as classes clássicas de complexidade. Eu chamaria funções clássicas de P, NP, PSPACE, EXP, NEXP, EXPSPACE, recursivas e recursivamente enumeráveis (entre outras). Especificamente, uma...
Resultado 1: O teorema de Linial-Mansour-Nisan diz que o peso quádruplo das funções calculadas pelos circuitos está concentrado nos subconjuntos de tamanho pequeno com alta probabilidade.A C0 0UMAC0 0\mathsf{AC}^0 Resultado 2: O tem seu peso fourier concentrado no coeficiente do grau . nP A R I T...
GI e Knot Problem são problemas para decidir a equivalência estrutural de objetos matemáticos. Existem resultados estabelecendo conexões entre eles? Boas conexões do problema do nó à física estatística foram exploradas através de polinômios do nó ; existem resultados semelhantes para ?G...
Qual é a classe de complexidade associada a algoritmos de pesquisa exaustivos? (se houver) É NP ou PSPACE? Existem modelos restritos de computação que capturam a classe de algoritmos exaustivos de pesquisa semelhantes aos modelos para programação dinâmica e
Dado como entrada um número inteiro e um conjunto de conjuntos de elementos de , qual é a complexidade de encontrar um conjunto de elementos de tal que tem cardinalidade mínima e está incluído em nenhum dos conjuntos de ?nnnSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT{1,...,n}{1,...,n}\{1, ...,...
A partir dos comentários de uma das minhas perguntas no MathOverflow, sinto que a pergunta sobre o GCD estar em vs. é semelhante à pergunta sobre a Fatoração Inteira em vs. .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Existe algo como um algoritmo "quantum " para GCD, pois existe um...
Durante muito tempo, pensei que um problema era NP-completo se fosse (1) NP-difícil e (2) estivesse em NP. No entanto, no famoso artigo "O método elipsóide e suas conseqüências na otimização combinatória" , os autores afirmam que o problema do número cromático fracionário pertence ao NP e é...
Jan Pax fez essa pergunta na lista de discussão Fundamentos da Matemática . Certamente mas suspeito pelas respostas desta pergunta que não se sabe se (caso contrário, o seria um possível resposta a essa pergunta). Se não se sabe, existe uma separação do oráculo?P⊕ P⊆ P# P=PPPP⊕P⊆P#P=PPPP^{\oplus...
Como todos sabem, o SAT está completo para reduções de numerosas uma em tempo polinomial . Ainda há reduções completas de wrt .N PNP\mathsf{NP}A C0 0UMAC0 0\mathsf{AC^0} Minhas perguntas é qual é a profundidade mínima exigida para as reduções? Mais formalmente, Qual é o menor que SAT é -hard...
Procurei na internet, mas não consegui encontrar nenhuma 'grande lista' de variantes do problema SAT. Além do (comum) SENTOU, k-SAT, MAX-kSAT, Half-SAT, XOR-SAT, NAE-SAT o que mais variantes existem? (também será realmente útil se houver classes de complexidade (quando...
Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...
A propagação de crenças tem se mostrado um método muito poderoso através da pesquisa em modelos gráficos probabilísticos. No entanto, eu não sei nada sobre a BP que seja comparável aos métodos MCMC, onde podemos ter esquemas de aproximação aleatória totalmente polinomiais (FPRAS) para problemas de...
É mencionado em um comentário em outro post do cstheorySE que a completude do PSPACE implica dureza do APX. Alguém pode explicar / compartilhar uma referência para isso? Isso é "apertado"? (ou seja, existem problemas completos do PSPACE cujo problema de otimização admite uma aproximação constante...
Parece-me que a maioria dos teóricos da complexidade geralmente acredita na seguinte regra filosófica: Se não podemos descobrir um algoritmo eficiente para o problema , e nós podemos reduzir problema para o problema , então provavelmente não há um algoritmo eficiente para o problema , também.A B...
Eu quero aprender sobre algoritmos algébricos e complexidade thoery. Em particular, estou interessado em PIT. Existe um conjunto de notas de aula, livros, papéis e pesquisas para estudantes que leram livros didáticos padrão sobre teoria como o livro de Sipser ou o livro de complexidade de...
Eu estava lendo o artigo da Wikipedia sobre o problema das oito rainhas. Afirma-se que, não existe uma fórmula conhecida para o número exato de soluções. Após algumas pesquisas, encontrei um artigo chamado "Sobre a dureza de contar problemas de mapeamentos completos". Neste artigo, há um problema,...
Consideramos DAG (gráficos acíclicos dirigidos) com um nó de origem e um nó de destino ; arestas paralelas unindo o mesmo par de vértices são permitidas. Uma - corte é um conjunto de arestas cuja remoção destrói todos - caminhos mais longos do que ; mais curtos - caminhos, bem como longos caminhos...