Lembro-me de ler um post do blog exibindo duas versões da mesma prova, uma escrita por um humano e a outra por uma máquina, e pedi aos leitores para dizer qual é qual. Tentando pesquisar no Google novamente, não consigo encontrar as palavras-chave corretas; a maioria das coisas me direciona para...
É comum definir a completude de em relação às reduções de numerosas uma no espaço de log.PPP Estou procurando uma classe de complexidade modo que haja problemas de P- completos com reduções de C de muitos um .C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Qual é a menor classe de redução conhecida...
No artigo 'Sobre o desaparecimento dos coeficientes de Kronecker', aqui em http://arxiv.org/pdf/1507.02955v1.pdf , é mostrado que decidir a positividade dos coeficientes de Kronecker é geralmente difícil para o NP. No entanto, existe uma ressalva que afirma que apenas a positividade dos...
Em [1] afirma-se que "Continua sendo uma questão em aberto se todas as funções em possuem circuitos T C 0 (embora seja pelo menos sabido que nem todas as funções # P possuem circuitos T C 0 uniformes para DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 circuitos gerados por funções dlogtime...
Existe um algoritmo para verificar se uma expressão regular de tamanho corresponde a uma string de tamanho , assumindo um alfabeto de tamanho fixo, se isso importa?O ( n + m )O(n+m)O(n+m)nnnmmm O algoritmo NFA padrão é pior caso de . Groz et al. obtenha tempo linear para uma variedade de classes...
nnnv1,…,vn∈RNv1,…,vn∈RNv_1,\dots,v_n\in\Bbb R^N∥vi∥22≤1‖vi‖22≤1\|v_i\|_2^2\leq1i∈{1,…,n}i∈{1,…,n}i\in\{1,\dots,n\}c∈Rc∈Rc\in\Bbb
Eu sempre me perguntei se as provas em ciência da computação seriam consideradas provas suficientes da proposição se elas precisassem assumir leis físicas? Por exemplo, estou imaginando o que aconteceria se alguém algum dia provasse P! = NP sob a suposição da segunda lei da termodinâmica. Isso...
Existe alguma complexidade aleatória de comunicação aleatória (não trivial) conhecida para os problemas de gap natural nos quais as entradas 1 estão linearmente distantes das entradas 0? Ou seja, funções parciais modo que a distância de Hamming entre cada e é linear - e que requer protocolos...
No artigo Discriminando termos lambda codificados - Henk Barendregt, um codificador de um termo lambda M é um termo tal que M (e suas partes) podem ser reconstruídas a partir dele de maneira definível por lambda. Essencialmente, precisamos ser capazes de escrever um auto-intérprete \ mathsf E...
De acordo com o lema do handshaking: qualquer gráfico não direcionado que tenha um vértice cujo grau seja um número ímpar deve ter outro vértice cujo grau seja um número ímpar. Essa observação significa que, se recebermos um gráfico e um vértice de grau ímpar, e formos solicitados a encontrar outro...
O Isomorfismo conjectura de Berman e Hartmanis afirma que todos conjuntos são -completo tempo polinomial isomorfo para o outro. Isto significa que N P problemas -Complete são eficientemente redutível para o outro através de calculável tempo polinomial e bijeções inversíveis. A conjectura implica P...
Estou procurando mais problemas em com limites mais baixos de complexidade de tempo clássica. Algumas pessoas podem se perguntar como você pode provar um limite tão baixo. Ver abaixo.PPP Limites inferiores exponenciais: Reivindicação: Se você tiver um problema que é E X P T I M E completo com...
Quais são alguns exemplos de problemas com o tempo de semi-polinomial ( ) algoritmos que poderia ser concebivelmente em P . Em outras palavras, eles estão no Q P por nenhuma razão óbvia, exceto que ninguém encontrou um algoritmo de tempo polinomial?Q PQPQPPPPQ PQPQP Esta pergunta é motivada pelo...
Deixe ser cópias iid de Gaussian variável aleatória . Sabe-se que Esses dois resultados decorrem da desigualdade de concentração das variáveis aleatórias sub-Gaussianas e sub-exponenciais e o segundo é uma desigualdade do tipo Bernstein. Gostaria de saber se existem resultados semelhantes para...
Em https://en.wikipedia.org/wiki/Geometric_complexity_theory , é mencionado que ".. Ketan Mulmuley acredita que o programa, se viável, provavelmente levará cerca de 100 anos para resolver o problema P vs. NP". Parece indicar que o único programa atualmente viável poderia enfrentar sérios...
Defina como um gráfico direcionado aleatoriamente ( vértices; colocamos aresta entre dois vértices com probabilidade ).n pG(n,p)G(n,p)G(n, p)nnnppp Quais são os resultados conhecidos para o seguinte problema: Corrija dois vértices e . Qual é a probabilidade de que existe pelo menos um caminho...
A interseção de dois idiomas no NP que não são NP completos pode ser NP completa? A interseção de dois idiomas no coNP que não são completos no coNP pode ser completa no coNP? A interseção de dois idiomas, um em coNP, mas não completo e outro em NP, mas não NP completo, pode ser NP completo ou...
No problema dos especialistas, especialistas fornecem previsões binárias diariamente e você precisa prever se choverá amanhã.nnn Ou seja, no dia , você conhece as previsões passadas dos especialistas, o tempo real para os dias 1 , 2 , … te as previsões para amanhã, e precisa prever se choverá no...
Minha compreensão da tese de Church-Turing é a: Ele limita o que pode ser calculado por qualquer processo discreto e finito. Embora ainda seja uma tese, não um teorema, se fosse refutada, isso não significaria apenas uma atualização para nossos modelos atuais de computação. Seria um resultado de...
Eu li o jornal Ahmed Younes, " Um algoritmo de tempo polinomial quântico com erro limitado para dois problemas de bissecção de gráficos ", 2015. doi: 10.1007 / s11128-015-1069-y publicado na revista Quantum Information Processing da Springer. O artigo parece afirmar que fornece um algoritmo...