Perguntas com a marcação «complexity-classes»

(Publiquei esta pergunta no CS há dez dias, sem resposta desde então - então publico aqui.) Qualquer fórmula CNF pode ser transformada em tempo polinomial em uma fórmula 3-CNF usando novas variáveis. Nem sempre é possível se novas variáveis ​​não são permitidas (por exemplo, a fórmula de cláusula única: ).( …

8 cc.complexity-theory  complexity-classes  sat 

Para poder explicar o problema P vs NP a não matemáticos, eu gostaria de ter um exemplo pedagógico de quando a busca por força bruta pode ser evitada. Idealmente, o problema deve ser imediatamente compreensível e o truque não deve ser muito fácil nem muito difícil. O melhor que eu …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Espero que esta pergunta não seja muito ingênua para este site. Em matemática (topologia, geometria, álgebra), é comum distinguir entre dois objetos criando uma invariante algébrica ou numérica e provando que os dois objetos têm valores diferentes. Estou me perguntando até que ponto isso foi tentado com classes de complexidade …

8 cc.complexity-theory  complexity-classes  algebra 

É possível encontrar uma redução na contagem de #SAT para #HornSAT? Eu não encontrei esta pergunta postada aqui, então decidi verificar se alguém tem alguma resposta para isso. Deixe-me explicar o que quero dizer com contagem de redução. Suponha que são dois problemas de contagem. Por exemplo, #SAT pergunta como …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Isso é conhecido sobre linguagens reconhecidas pelo autômato determinístico bidirecional bidirecional ou pelo logspace TM com contador (modelo equivalente)? Esta classe chamada Aux2DC no meu conselheiro papel . Ou sobre essa classe não determinística? Eu obtive que a classe de idiomas reconhecidos por esses maschines não determinísticos inclui NL e …

8 cc.complexity-theory  complexity-classes  fl.formal-languages  logspace  counter-automata 

Existe uma porta de alçapão, como função cuja codificação complexidade é tempo polinomial nk1nk1n^{k_{1}} e invertendo complexidade (sem chave secreta) é também uma função polinomial de comprimento de entrada nk2nk2n^{k_{2}} com k1&lt; &lt; K2k1&lt;&lt;k2k_{1} << k_{2} (dizer k1= 2k1=2k_{1} = 2 e k2k2k_{2} é incondicionalmente passível de ser delimitado abaixo …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function 

Como sabemos, o Graph Isomorphism está em NP, mas não é conhecido como NP-Complete ou P-Complete. Fiquei me perguntando se existem problemas conhecidos no PSPACE, mas que não são PSPACE-Complete e não estão no PH?

8 cc.complexity-theory  complexity-classes 

você pode fornecer uma referência ou dar exemplos particulares de problemas completos do PSPACE que são solucionáveis ​​em tempo pseudo-polinomial? Notas adicionais: Definição de tempo pseudo-polinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Em resposta a alguns comentários mencionados anteriormente. Perguntei anteriormente se havia algum problema PSPACE-complete que tivesse um FPTAS. A resposta surpreendente foi SIM! …

8 cc.complexity-theory  complexity-classes 

Esta é uma pergunta um tanto frívola que surgiu na minha cabeça depois de ler as várias respostas para "Qual é a menor classe de complexidade para a qual um circuito superlinear é conhecido? ". As respostas se referem a e, quando olhei para a entrada do zoológico , descobri …

8 cc.complexity-theory  complexity-classes 

Sabe-se se ESPAÇO (n) (a classe de linguagens reconhecida por TMs determinísticas com espaço linear) é um subconjunto apropriado de E (a classe de linguagens reconhecida por TMs determinística no tempo 2 ^ O (n))?

8 cc.complexity-theory  complexity-classes 

O problema # MONOTONE-2SAT é conhecido por # P-complete. Isso significa que #SAT pode ser reduzido a ele. Minha pergunta é: dada uma instância #SAT , que é a transformação que converte F na instância correspondente # MONOTONE-2SAT F ′ ?FFFFFFF′F′F' A segunda questão é: deixar ser o número de …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat