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

Muitos especialistas acreditam que a conjectura é verdadeira e a usa em seus resultados. Minha preocupação é que a complexidade dependa fortemente da conjectura .P ≠ N PPNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} Então, minha pergunta é: Desde que a conjectura não seja comprovada, alguém deve / deve considerá-la como uma …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

Supondo que P! = NP, acredito que tenha sido demonstrado que existem problemas que não estão em P e nem em NP-Complete. O isomorfismo do gráfico é conjecturado como um problema. Existe alguma evidência de mais dessas "camadas" no NP? isto é, uma hierarquia de mais de três classes começando …

30 cc.complexity-theory 

Eu gostaria de encontrar um algoritmo de tempo polinomial que determine se o intervalo de um determinado conjunto de matrizes contém uma matriz de permutação. Se alguém souber se esse problema é de uma classe de complexidade diferente, isso seria igualmente útil. EDIT: Marquei esta questão com Programação Linear, porque …

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

Suponha que P = NP seja verdadeiro. Haveria alguma aplicação prática na construção de um computador quântico, como resolver certos problemas mais rapidamente, ou alguma melhoria seria irrelevante com base no fato de P = NP ser verdadeiro? Como você caracterizaria a melhoria da eficiência que aconteceria se um computador …

29 cc.complexity-theory  complexity-classes  quantum-computing 

Deixe denotar um problema (de decisão) no NP e deixe # denotar sua versão de contagem.XXXXXX Em que condições é sabido que "X é NP-completo" "#X é # P-completo"?⟹⟹\implies É claro que a existência de uma redução parcimoniosa é uma dessas condições, mas isso é óbvio e a única condição …

29 cc.complexity-theory  np-hardness  counting-complexity 

Recentemente, houve duas perguntas feitas no cs.se que estavam relacionadas ou tiveram um caso especial equivalente à seguinte pergunta: Suponha que você tenha uma sequência de números tais que Decomponha-o na soma de duas permutações, e , de , de modo que ,. n ∑ n i = 1 a …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

O teorema de Valiant-Vazirani diz que, se houver um algoritmo de tempo polinomial (determinístico ou aleatório) para distinguir entre uma fórmula SAT que possui exatamente uma tarefa satisfatória e uma fórmula insatisfatória - então NP = RP . Este teorema é provado mostrando que UNIQUE-SAT é NP- hard sob reduções …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

Supõe-se que pois o inverso implicaria \ mathsf {PH} = \ Sigma_2 . O teorema de Ladner estabelece que se \ mathsf {P} \ ne \ mathsf {NP} então \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

Em uma frase: a existência de uma hierarquia para implicaria algum resultado de des randomização?B P T I M EBPTIME\mathsf{BPTIME} Uma questão relacionada, mas mais vaga, é: a existência de uma hierarquia para implica limites inferiores difíceis? A resolução desse problema atinge uma barreira conhecida na teoria da complexidade?B P …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

É bem conhecido pelo Teorema de Ladner que se , então existem infinitas N P Intermédio ( N P I problemas). Também existem candidatos naturais para esse status, como Isomorfismo em grafos, e vários outros, consulte Problemas entre P e NPC . No entanto, a vasta maioria no multidão de …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Seja uma função booleana e pensemos em f como uma função de a . Nesta linguagem, a expansão de Fourier de f é simplesmente a expansão de f em termos de monômios quadrados livres. (Esses monômios formam uma base para o espaço de funções reais em . A soma dos …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

Os métodos polinomiais , como os teoremas Combinatorial Nullstellensatz e Chevalley – Warning, são ferramentas poderosas na combinatória aditiva. Ao representar um problema com polinômios adequados, eles podem garantir a existência de uma solução ou o número de soluções para os polinômios. Eles foram usados ​​para resolver problemas como subconjuntos …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

O recente resultado do limite inferior da complexidade do circuito de Ryan Williams fornece uma técnica de prova que usa o resultado do limite superior para provar os limites inferiores da complexidade. Suresh Venkat, em sua resposta a esta pergunta, existem resultados contra-intuitivos em ciência da computação teórica? , forneceu …

29 cc.complexity-theory  lower-bounds 

É fácil ver que o isomorfismo do gráfico (IG) está no PN. É um grande problema em aberto se a IG está no coNP. Existem candidatos potenciais às propriedades dos gráficos que podem ser usados ​​como certificados coNP de IG. Alguma conjectura que implique ? Quais são algumas implicações de …

29 cc.complexity-theory  graph-isomorphism 

Vamos fixar uma codificação sem prefixo de máquinas de Turing e uma máquina de Turing universal que na entrada (codificada como o código sem prefixo de seguido de ) produza o que produz na entrada (possivelmente ambos correndo para sempre). Defina a complexidade de Kolmogorov de , , como a …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines