Estou lendo o excelente artigo de Watrous sobre a teoria da complexidade quântica. Nele, ele afirma que seria surpreendente se um problema completo de QMA tivesse uma promessa vazia (ou seja, um idioma). Porque isto é assim? Isso tem a ver com o fato de que o problema hamiltoniano k-local é um...
Dado um gráfico misto G=(V,E,A)G=(V,E,A)G=(V,E,A) com as arestas EEE e arcos AAA , encontre uma correspondência em EEE que minimize o número de arcos em G/MG/MG/M , onde G/MG/MG/M é obtido de GGG contratando vértices correspondentes e removendo arcos paralelos. (A versão de decisão) deste problema...
Suponha que seja uma linguagem booleana, de seqüências finitas acima de { 0 , 1 } . Seja L n o número de strings em L com comprimento n . Para uma função d ( n ) dos números inteiros positivos aos números reais positivos, L tem densidade superior d ( n ) se L n ≤ 2 n d ( n ) para todo n...
Um idioma está na classe se houver dois idiomas e modo queLLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Um problema canônico de completo é SAT-UNSAT: dadas duas expressões 3-CNF, e , é verdade que é satisfatório eDPDPDPFFFGGGFFFGGG não é? Também se sabe que o...
Contexto: Consideramos apenas dígitos. Deixe CYCLE ser a linguagem dos gráficos com um ciclo; é um problema NL-completo. Seja HASEDGE o idioma dos gráficos com pelo menos uma aresta. Em seguida, trivialmente, não é mais NL, enquanto permanece assim.CICLO ∪ ¯ HASEDGECICLO ∪...
No livro de Arora-Barak, na definição de funções construtivas no tempo, diz-se que o uso de funções que não são construtíveis no tempo pode levar a "resultados anômalos". Alguém tem um exemplo desse "resultado anômalo"? Ouvi, em particular, que podem existir funções tais que o teorema da hierarquia...
Estou procurando exemplos de problemas difíceis (em NP ou mais difíceis) da ciência da computação que podem ser reduzidos a modelos de processos físicos. Por exemplo, max-2-sat pode ser reduzido à minimização de energia em um modelo Ising. Eu gostaria de encontrar mais exemplos desse tipo de...
É extremamente difícil aproximar o número cromático fracionário em gráficos de graus
A matriz de Moore é semelhante à matriz de Vandermonde, mas possui uma definição ligeiramente modificada. http://en.wikipedia.org/wiki/Moore_matrix Qual é a complexidade de calcular o determinante de um dado módulo n da matriz de Moore n×nn×nn \times n com algum número inteiro? O determinante de...
Seja um gráfico não direcionado. Uma decomposição de em subconjuntos separados é chamada de decomposição de Hamilton de se o subgráfico induzido por cada conjunto for um gráfico de Hamilton ou consistir em uma única aresta com .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Exemplo :...
Does implica ?E = N EE X P = N E X
Sabe-se que o cálculo de uma máquina de Turing não determinística (NTM) é representável como uma árvore de configurações, enraizada na configuração inicial. Qualquer transição no programa é representada por um link pai-filho nesta árvore. Árvores semelhantes também podem ser construídas para...
A Wikipedia escreve: O FPT contém os problemas tratáveis do parâmetro fixo, que são aqueles que podem ser resolvidos no tempo para alguma função computável . Normalmente, essa função é considerada exponencial única, como mas a definição admite funções que crescem ainda mais rapidamente. Isso é...
Decidindo o gráfico O homomorfismo é geralmente NP-Completo. Existem resultados que estudam esse problema quando os gráficos subjacentes têm estrutura algébrica (como decidir homomorfismos dos gráficos de cosset de Cayley ou Cayley para outros gráficos com alguma estrutura definida também)? Além...
Em comemoração ao aniversário de Alan Turing, o Google publicou um doodle mostrando uma máquina. Que tipo de máquina é o doodle? Ele pode expressar um idioma completo de Turing? Existem diferenças óbvias na máquina de turing clássica: uma fita finita, restrições de como o estado pode ser...
Seja qualquer problema completo de EXP. Em seguida, P A = N P A .UMAUMAAPUMA= NPUMAPUMA=NPUMAP^A = NP^A Deixe ser algum oráculo que leva em contas as consultas que M (a TM em P) vai fazer, e podemos obter P B ≠ N P B .BBBMMMPB≠ NPBPB≠NPBP^B \neq NP^B Pergunta: Temos resultados semelhantes de...
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...
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...
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}...