Dadas duas CNF, se elas tiverem o mesmo número de atribuições para torná-las verdadeiras, responda "Sim", caso contrário, responda "Não". É fácil ver que está em , pois se soubermos o número exato de soluções para essas duas CNF, apenas as colocamos em campo e respondemos "Sim" ou...
1) É possível ter uma redução parcimoniosa de um problema # P-completo # A para um problema de contagem # B quando (a versão de decisão) A está NP-completa e B está em P? Por exemplo, pode haver uma redução parcimoniosa de #SAT para #B, quando B está em P? 2) Se B estiver em P, quais são as...
Esse é um nome que eu inventei para esse problema. Eu nunca vi isso descrito em nenhum lugar antes. Ainda não consegui encontrar uma prova de completude de NP nem um algoritmo de tempo polinomial para esse problema. Não é um problema de lição de casa - está relacionado a um problema que encontrei...
Considere alguma linguagem tal que:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e para que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Em outras palavras, a máquina...
Seja uma fórmula CNF com variáveis e cláusulas . Deixe representar uma atribuição de variável conte o número de cláusulas satisfeitas por uma atribuição de variável para . Em seguida, defina Median-SAT como o problema de calcular o valor mediano de em todo . Por exemplo, se é uma tautologia, a...
Considere o problema # P-complete de contar o número de coberturas de vértices de um determinado gráfico .G=(V,E)G=(V,E)G = (V, E) Gostaria de saber se há algum resultado mostrando como a dureza desse problema varia com algum parâmetro de (por exemplo, d = | E |GGG)d=|E||V|d=|E||V|d =...
Duas partes do TCS são algoritmos e complexidade. Vou dizer de forma simplista que algoritmos é o estudo dos limites superiores, mostrando que você pode fazer algo (com recursos restritos) e a complexidade é mostrar que você não pode fazê-lo sem alguns recursos mínimos. Com frequência, um problema...
Sabe-se há muito tempo que, dado qualquer grau de repetição, existe um grupo finitamente apresentado cujo problema de palavras se encontra nesse grau. Minha pergunta é se o mesmo se aplica aos graus de Turing no tempo polinomial arbitrário . Especificamente, dado um conjunto decidível, , existe um...
Existem vários problemas na teoria da representação combinatória e na geometria algébrica para os quais nenhuma fórmula positiva é conhecida. Existem vários exemplos em que estou pensando, mas deixe-me tomar como exemplo o coeficiente de computação Kronecker . Normalmente, a noção de "fórmula...
Beigi, Shor e Watrous têm um excelente artigo sobre o poder das provas interativas quânticas com mensagens curtas. Eles consideram três variantes de 'mensagens curtas', e a que mais me interessa é a segunda variante em que qualquer número de mensagens pode ser enviado, mas o tamanho total da...
A maneira mais comum pela qual os oráculos ocorrem na teoria da complexidade é a seguinte: Um oráculo fixo é disponibilizado para, digamos, uma máquina de Turing com certos recursos limitados e estuda-se como o oráculo aumenta o poder computacional da máquina. Há, no entanto, outra maneira pela...
Eu sei que (muitas chamadas logaritmicamente para o NP oracle) é equivalente a P N P | | (número polinomial de consultas paralelas ao oracle NP). Fiquei pensando se a versão "função" dessas classes também é equivalente, ou seja, sePNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log...
Esta pergunta está relacionada a uma das minhas perguntas anteriores, problemas difíceis de NP em árvores . Estou procurando problemas que sejam P completos nas
Haveria grandes consequências se o SAT tivesse no máximo provas subexponenciais de insat ou ainda mais fortemente, o SAT tivesse algoritmos de tempo
O problema da largura de banda do gráfico é definido da seguinte maneira. Dado um gráfico , um layout f de G é um mapeamento individual dos vértices de G para os números inteiros { 1 , … , | V | } . A largura de banda de f é definida comoG = ( V, E)G=(V,E)G=(V,E) fffGGGGGG{ 1 , … , | V|...
Questão. Em seu artigo Simulação aprimorada de circuitos estabilizadores , Aaronson e Gottesman afirmam que a simulação de um circuito CNOT é completa em L (sob reduções no espaço de log). É claro que está contido em ⊕L ; como se mantém o resultado da dureza? Equivalentemente: há uma redução do...
No artigo de Ben-Dor / Halevi [1], é apresentada outra prova de que a permanente é -completa. Na parte posterior do documento, eles mostram a cadeia de redução enquanto o valor permanente é preservado ao longo da cadeia. Como o número de atribuições satiesfying de uma fórmula 3SAT pode ser...
Estou interessado no histórico inicial de resultados publicados sobre compensações de espaço-tempo de uso geral. Em particular, quero saber quem primeiro descreveu o seguinte tipo de algoritmo para avaliar uma computação com um gráfico de fluxo de dados arbitrário com grau O (1) usando espaço...
Qual é a complexidade computacional da otimização de várias funções sobre o grupo unitário ?você( N )você(n)\mathcal{U}(n) Uma tarefa típica, surgindo muitas vezes em teoria da informação quântica, seria maximizar a quantidade do tipo (ou polinômios de ordem superior em ) sobre todo unitário...
Resposta: desconhecida. As perguntas são naturais, abertas e aparentemente difíceis; a questão agora é um wiki da comunidade. Visão geral A questão procura dividir as linguagens pertencentes à classe de complexidade - junto com as máquinas de decisão de Turing (TMs) que aceitam essas linguagens...