Eu gostaria de entender Applicativeem termos de teoria de categorias. A documentação para Applicativediz que é um forte monitoral relaxado . Primeiro, a página da Wikipedia sobre functores monoidais diz que um functor monoidal é relaxado ou forte . Portanto, parece-me que uma das fontes está...
No clássico artigo de Andrew Chi-Chih Yao, de 1979, ele faz referência a "MO Rabin e AC Yao, em preparação". Isso ocorre pelo resultado de que a complexidade da comunicação de erro limitado da função de igualdade EQ N (se dois inteiros no intervalo de 0 a N - 1 são iguais) é O ( log log N ) .NN_N0...
Seja uma tarefa algorítmica. (Pode ser um problema de decisão, um problema de otimização ou qualquer outra tarefa.) Vamos chamar "do lado polinomial" se assumir que é NP-difícil implica que a hierarquia polinomial entra em colapso. Vamos chamar "do lado do NP" se supor que admite que um algoritmo...
Vou recapitular as anotações do curso no CIS 500: Software Foundations e os exercícios são muito divertidos. Estou apenas no terceiro exercício, mas gostaria de saber mais sobre o que está acontecendo quando uso táticas para provar coisas comoforall (n m : nat), n + n = m + m -> n =...
O problema do isomorfismo de grafos (IG) é sem dúvida o candidato mais conhecido para um problema intermediário de NP . O algoritmo mais conhecido é o algoritmo subexponencial com tempo de execução . Sabe-se que o IG não éNP-completo a menos que ahierarquia polinomialcolapsa.2O ( n...
Apesar de vários anos de aula, ainda estou perdido quando se trata de escolher um tópico de pesquisa. Estive olhando documentos de diferentes áreas e conversei com professores e estou começando a pensar que essa é a abordagem errada. Eu li que ajuda a encontrar um problema interessante (não se...
Nos anos 80, Razborov mostrou famosa que existem funções booleanas explícitas e monótonas (como a função CLIQUE) que exigem exponencialmente muitos portões AND e OR para calcular. No entanto, a base {AND, OR} sobre o domínio booleano {0,1} é apenas um exemplo de um conjunto de portas interessante...
Prova de Adleman que está contido em P / p o l y mostra que, se houver um algoritmo aleatório para um problema que é executado no tempo t ( n ) em entradas de tamanho n , em seguida, há também um algoritmo determinística para o problema que é executado no tempo Θ ( t ( n ) ⋅ n ) em entradas de...
Estou procurando uma resposta definitiva para saber se a geração de números "verdadeiramente aleatórios" é computável por Turing. Não sei como expressar isso com precisão. Esta pergunta do StackExchange sobre "algoritmos eficientes para geração de números aleatórios" chega perto de responder à...
Quais são as aplicações dos códigos de correção de erros na teoria, além da própria correção de erros? Estou ciente de três aplicações: o teorema de Goldreich-Levin sobre bit de núcleo duro, a construção do extrator por Trevisan e a amplificação da dureza da função booleana...
Por que a maioria das pessoas prefere usar muitas reduções para definir a completude do PN em vez de, por exemplo, reduções de
Eu sou um estudante de doutorado do terceiro ano em uma área de CS teórico que gostaria de aconselhamento para uma situação difícil com meu orientador. Meu orientador não está envolvido nos meus projetos de pesquisa. Em particular, eu inventei todas as minhas idéias de trabalho e os executei...
Deixe o PRIMES (também conhecido como teste de primalidade ) ser o problema: Dado um número natural , é um número primo?nnnnnn Que FACTORING seja o problema: Dados os números naturais , com , tem um fator com ?nnnmmm1 ≤ m ≤ n1≤m≤n1 \leq m \leq nnnnddd1 < d< m1<d<m1 < d <...
Acredita-se que, para todo , é possível multiplicar duas matrizes em . Alguma discussão está aqui .ϵ>0ϵ>0\epsilon > 0n×nn×nn \times nO(n2+ϵ)O(n2+ϵ)O(n^{2 + \epsilon}) Perguntei a algumas pessoas que estão mais familiarizadas com a pesquisa se elas pensam que existe um independente de modo...
Existe algum algoritmo de classificação de comparação conhecido que não se reduz a redes de classificação, de modo que cada elemento seja comparado vezes?O ( logn )O(logn)O(\log n) Até onde eu sei, a única maneira de classificar com a comparação em cada elemento é construir uma rede de...
Um gráfico é choosable (também conhecido como -list-colorable ) se, para cada função que mapeia vértices para conjuntos de cores, há uma atribuição de cores tal que, para todos os vértices , , e tal que, para todas as arestas , .k f k c v c ( v ) ∈ f ( v ) v w c ( v ) ≠ c ( w )kkkkkkfffkkkcccvvvc (...
Ryan Williams acabou de postar seu limite inferior no ACC , a classe de problemas que têm circuitos de profundidade constantes com ventiladores e portas AND ilimitados AND, OR, NOT e MOD_m para todos os m possíveis. O que há de tão especial nos portões MOD_m? Eles permitem simular aritmética...
Esta é uma postagem cruzada de math.stackexchange. Deixe FACT denotar o problema de fatoração de número inteiro: dado encontre os números primos e os números inteiros modo quep i ∈ N , e i ∈ N , n = Π k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},pEu∈ N ,pi∈N,p_i \in \mathbb{N},eEu∈ N ,ei∈N,e_i...
Às vezes, afirma-se que a Teoria da Complexidade Geométrica de Ketan Mulmuley é o único programa plausível para resolver as questões abertas da teoria da complexidade, como a questão P vs. NP. Houve vários comentários positivos de famosos teóricos da complexidade sobre o programa. Segundo Mulmuley,...
Eu ouvi recentemente isso: "Uma máquina não determinística não é a mesma que uma máquina probabilística. Em termos brutos, uma máquina não determinística é uma máquina probabilística na qual as probabilidades de transições não são conhecidas". Sinto como se entendi, mas realmente não entendo....