No modelo de caixa preta, o problema de determinar a saída de uma máquina BPP na entrada é o problema de contagem aproximado de determinar com erro aditivo 1/3 (digamos).M( x , r )M(x,r)M(x,r)xxxErM( x , r )ErM(x,r)E_r M(x,r) Existe um problema semelhante para o BQP? Este comentário de Ken Regan...
Na complexidade computacional, existe uma distinção importante entre cálculos monótonos e gerais e um famoso teorema de Razborov afirma que 3-SAT e até MATCHING não são polinomiais no modelo monótono de circuitos booleanos. Minha pergunta é simples: existe um análogo quântico para circuitos...
Quero saber se a não uniformidade ajuda na prática as funções de computação. É fácil mostrar que existem funções em P / p o l y - P , assuma qualquer função incontestável f e considere a linguagem { 0 f ( n ) : n ∈ ω }, que claramente possui circuitos não uniformes simples, mas não é computável de...
O que são "regiões fáceis" para garantir a satisfação? Em outras palavras, condições suficientes para que algum solucionador SAT seja capaz de encontrar uma tarefa satisfatória, assumindo que ela exista. Um exemplo é quando cada cláusula compartilha variáveis com poucas outras cláusulas, devido...
Essa pode ser uma pergunta básica, mas eu tenho lido e tentado entender artigos sobre assuntos como computação de equilíbrio de Nash e teste de degeneração linear e não tenho certeza de como os números reais são especificados como entrada. Por exemplo, quando se afirma que o LDT possui certos...
Qual é a complexidade de decidir se um circuito com bits de entrada e bits de saída calcula uma permutação de ? em outras palavras, se cada bit em é uma saída do circuito para alguma entrada? Parece um problema que foi estudado, mas não consigo encontrar nenhuma referência.N C0 0NC0...
Considere o problema mínimo de cobertura do conjunto com as seguintes restrições: cada conjunto contém no máximo kkk elementos e cada elemento do universo ocorre no máximo fff conjuntos. Exemplo: o caso k=4k=4k = 4 e f=2f=2f = 2 é equivalente ao problema de cobertura mínima de vértice em gráficos...
Existem problemas naturais no que não são (se sabe / são) no ?U P ∩ C o U PNP∩ c o NPNP∩coNPNP \cap coNPvocêP∩ c o UPUP∩coUPUP \cap coUP Obviamente, o grande problema que todos conhecem no é a versão de decisão do fatoração (não tem um fator de tamanho no máximo k), mas isso é de fato no .U P ∩ C...
Para uma fórmula 3CNF deixar ser o número máximo de cláusulas satisfeitos em qualquer atribuição para . Sabe-se que o Max-3SAT é difícil de aproximar (sujeito a P ≠ NP), ou seja, não há algoritmo polytime cuja entrada seja uma fórmula 3CNF e cuja saída seja o número modo que esteja dentro de um...
O estudo da representação sucinta de gráficos foi iniciado por Galperin e Wigderson em um artigo de 1983, onde eles provam que, para muitos problemas simples como encontrar um triângulo em um gráfico, a versão sucinta correspondente no concluída. Papadimitriou e Yanakkakis aprofundam essa linha de...
É sabido que a conectividade st direcionada é completa. Resultado da descoberta de Reingold mostrou que não direcionado conectividade st está em . Sabe -se que a conectividade st direcionada planar está na . Cho e Huynh definiram um problema de mochila parametrizado e exibiram uma hierarquia de...
Shiva Kintali acaba de anunciar um resultado (legal!) De que o isomorfismo do gráfico para gráficos de largura de árvore limitada de largura é hard L- duro≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, minha pergunta é: "Quão difícil é isso?" Sabemos que não uniforme , veja as respostas para esta...
Seja uma matriz inteira quadrada e seja um número inteiro positivo. Estou interessado na complexidade do seguinte problema de decisão:MMMnnn A entrada no canto superior direito de MnMnM^n positiva? Observe que a abordagem óbvia do quadrado iterado (ou qualquer outro cálculo explícito) exige que...
Uma máquina PHPHPH recebe acesso Oracle a uma função booleana aleatória f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} e dois espectros de Fourier ggg e hhh . O espectro de Fourier de uma função fff é definido como F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R...
O seguinte problema é NP-difícil? Dada a configuração do quadro para rascunhos internacionais , encontre uma única jogada legal.n × nn×nn\times n O problema correspondente para damas americanas (também conhecidas como rascunhos em inglês) é trivialmente solucionável em tempo polinomial....
Quais seriam as consequências de #P = FP? Estou interessado em conseqüências práticas e teóricas. Do ponto de vista prático, estou particularmente interessado em consequências na inteligência artificial. Ponteiros para papéis ou livros são mais que bem-vindos. Por favor, não diga que #P = FP...
À luz do resultado recente de Arora, Barak e Steurer, Algoritmos Subexponenciais para Jogos Exclusivos e Problemas Relacionados , estou interessado em problemas gráficos que têm algoritmos de tempo subexponenciais, mas que não são polinomialmente solucionáveis. Um exemplo é famoso isomorfismo...
Dado um gráfico não-direcionado e não ponderado e um número inteiro par , qual é a complexidade computacional da contagem de conjuntos de vértices modo que e o subgrafo de restrito ao conjunto de vértices admite uma combinação perfeita? A complexidade é # P-completa? Existe uma referência para este...
Esta resposta para os principais problemas não resolvidos em ciência da computação teórica? pergunta afirma que está aberto se um problema específico no NP exigir tempo .Ω ( n2)Ω(n2)\Omega(n^2) Observar os comentários em resposta me fez pensar: Além do preenchimento e de truques semelhantes,...
Considere o seguinte problema: dada uma fórmula CNF e uma atribuição que satisfaça essa fórmula, existe outra atribuição satisfatória para essa fórmula? Qual é a complexidade desse problema? (Certamente está em NP, mas também é difícil em NP?) E se você não receber a tarefa e apenas quiser...