Não consegui encontrar uma afirmação relacionada a e N P R P na literatura; ponteiros seriam apreciados.MAMA\mathsf{MA}NPRPNPRP\mathsf{NP}^\mathsf{RP} Eu acredito que eles são iguais: : O N P máquina suposições cadeia de Merlin, e os R P verifica da Oracle a cadeia como Arthur...
Corrija . Para qualquer grande o suficiente , gostaríamos de rotular todos os subconjuntos de de tamanho exatamente por números inteiros positivos de . Gostaríamos que essa rotulagem satisfizesse a seguinte propriedade: existe um conjunto de números inteiros, stn { 1 .. n } n / k { 1 ... T }...
Os tipos de propriedade e a lógica de separação parecem ter objetivos semelhantes, controle sobre propriedade e alias. Talvez eu deva acrescentar: a capacidade de escrever especificações modulares. O que se sabe sobre o relacionamento entre os tipos de propriedade e a lógica de...
Seja um conjunto de pontos em . Para qualquer , um -spanner é um grafo não direcionado ponderada sob a medida Euclidiana, de tal modo que para quaisquer dois pontos , , a distância mais curta em , , é no máximo vezes a distância euclidiana entre e ,(observe que essa definição pode ser facilmente...
Na maioria dos sistemas de prova probabilística (teorema do PCP, por exemplo), as probabilidades de erro são geralmente definidas no lado dos falsos positivos, ou seja, uma definição típica pode parecer: se , o verificador sempre aceita, mas em outro caso, a probabilidade de rejeição é de pelo...
Eu sei que a eliminação gaussiana realiza operações aritméticas , mas não tenho certeza se algum algoritmo melhor é
Na semântica da linguagem de programação, costuma-se ouvir as pessoas falando sobre significado e denotação . Eles parecem não ser os mesmos. Qual é a diferença? O primeiro está associado à semântica operacional e o segundo à semântica denotacional?
Dada uma família de no máximo subconjuntos de . O fecho de união é uma outra família conjunto contendo cada conjunto que pode ser construído, tendo a união de 1 ou mais conjuntos em . Pordenotamos o número de conjuntos em . n { 1 , 2 , … , n } F CFF\mathcal Fnnn{ 1 , 2 , … , n }{1,2,…,n}\{ 1, 2,...
Minha pergunta é: por que limites inferiores para circuitos booleanos de profundidade 3 com portas "e" e "xor" para determinantes não implicam os mesmos limites inferiores para circuitos aritméticos sobre ?ZZ\mathbb{Z} O que há de errado com o seguinte argumento: Seja um determinante de cálculo do...
Estou procurando referências sobre a complexidade do problema de balanceamento de fórmulas booleanas . Em particular, Sabia-se que as fórmulas booleanas podem ser balanceadas em AC0AC0\mathsf{AC^0} ? Existe uma prova simples de que o balanceamento de fórmula booleana esteja em AC0AC0\mathsf{AC^0}...
Permita que a classe BPNC (a combinação de e ) seja um algoritmo paralelo de profundidade de log com probabilidade de erro limitada e acesso a uma fonte aleatória (não tenho certeza se este tem um nome diferente). Defina a classe DBPNC da mesma forma, exceto que todos os processos têm acesso...
A questão a seguir está relacionada à otimização do algoritmo de programação dinâmica de caminho mais curto de Bellman-Ford - (consulte esta publicação para obter uma conexão). Além disso, uma resposta positiva implicaria que o tamanho mínimo de um programa de ramificação não determinístico...
Estou interessado em uma ligeira generalização do DFA. Como sempre, temos definido pelo estado , alfabeto finito , uma ação definida em por e estado inicial ; mas em vez do conjunto de terminais de costume, nós tomamos uma família de subconjuntos de . Um DFA multilíngue é a...
Estou escrevendo minha tese de mestrado em CS e estou trabalhando com análise de alias. O que me interessa é a análise intraprocedimento, sensível ao fluxo, que pode e deve ser um alias para linguagens do tipo Java. Estou procurando textos que descrevam o básico deste assunto de maneira detalhada,...
Em uma palestra de Razborov, uma pequena e curiosa declaração é publicada. Se FACTORING for difícil, o pequeno teorema de Fermat não é comprovável em .S1 12S21 1S_{2}^{1} O que é e por que as provas atuais não estão em ? S1 12S21 1S_{2}^{1}S1 12S21
BPPBPP\mathsf{BPP} eZPPZPP\mathsf{ZPP} são duas classes de complexidade probabilística básica. BPPBPP\mathsf{BPP} é a classe de linguagens decidida pelos algoritmos de Turing probabilísticos em tempo polinomial, nos quais a probabilidade do algoritmo retornar uma resposta incorreta é limitada, ou...
Vamos definir uma classe de funções sobre um conjunto de bits. Corrija duas distribuições p , q que são "razoavelmente" diferentes uma da outra (se desejar, a distância variacional é pelo menos ϵ ou algo semelhante).nnnp , qp,qp, qϵϵ\epsilon Agora, cada função nesta classe é definida por um...
Na complexidade da comunicação, a conjectura de log-rank afirma que cc(M)=(logrk(M))O(1)cc(M)=(logrk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Onde é a complexidade da comunicação de e é a classificação de (como uma matriz) sobre os reais.M ( x , y ) r k ( M )
A classe de complexidade é definida da seguinte maneira (da Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Uma linguagem está em se existir um predicado de tempo polinomial tal queLLLSP2S2PS_2^PPPP Se , existe um tal que para todos ,x∈Lx∈Lx \in LyyyzzzP(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Se , existe...
Existe uma classe natural de fórmulas de CNF - de preferência uma que tenha sido previamente estudada na literatura - com as seguintes propriedades:CCC é um caso fácil de SAT, como, por exemplo, Horn ou 2-CNF, ou seja, a associação empode ser testada em tempo polinomial e as fórmulaspodem ser...