Perguntas com a marcação «cc.complexity-theory»

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 algorítmico é …

14 cc.complexity-theory  sorting 

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 mais rápida calcula L no tempo O ( f ( n ) ) e a máquina mais eficiente em espaço M ' calcula L enquanto usa o …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

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 = \frac{|E|}{|V|} Minha sensação …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

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? …

14 cc.complexity-theory  complexity-classes  counting-complexity 

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 "Não".P#PP#PP^{\#P} Qual …

14 cc.complexity-theory  complexity-classes  counting-complexity 

SACiSACiSAC^i é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos de profundidade com portas OR sem ventoinha OR e ventoinha AND limitada. Negações são permitidas apenas no nível de entrada. Sabe-se que para está fechado sob complemento e não. Além disso, e, portanto, possui uma caracterização …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

O problema #SAT é o problema canônico # P-complete. É um problema de função e não de decisão. Ele pergunta, dada uma fórmula booleana na lógica proposicional, quantas atribuições satisfatórias F possui. Quais são os melhores limites inferiores no #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Existe uma maneira de codificar uma instância de Subset Sum ou o Number Partition Problem para que uma solução (pequena) para uma relação inteira produza uma resposta? Se não definitivamente, então em algum sentido probabilístico? Eu sei que o LLL (e talvez o PSLQ) foram usados ​​com sucesso moderado na …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

O teorema de Rice afirma que todas as propriedades não triviais do conjunto reconhecidas por alguma máquina de Turing são indecidíveis. Estou procurando pelo teorema do tipo Rice, teórico da complexidade, que nos diz quais propriedades não triviais dos conjuntos NP são intratáveis.

14 cc.complexity-theory  computability  np 

Se você estiver familiarizado com a verificação do programa, provavelmente preferirá ler a pergunta antes do plano de fundo . Se você não estiver familiarizado com a verificação do programa, ainda poderá responder a essa pergunta, mas é provável que prefira ler o Plano de fundo primeiro. fundo Afirma-se frequentemente …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Parece-me que a maioria dos teóricos da complexidade geralmente acredita na seguinte regra filosófica: Se não podemos descobrir um algoritmo eficiente para o problema , e nós podemos reduzir problema para o problema , então provavelmente não há um algoritmo eficiente para o problema , também.A B BAUMAAAUMAABBBBBB É por …

14 cc.complexity-theory  big-picture  reductions 

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, …

14 cc.complexity-theory  sat  counting-complexity 

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 …

14 cc.complexity-theory  np-hardness 

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 subexponencial?

14 cc.complexity-theory  sat  proof-complexity