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

A Zoologia da Complexidade, por Greg Kuperberg, afirma que existe uma linguagem que - em outras palavras, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - mas não fornece uma referência para este resultado. Por que isso se aplica? Ou onde uma …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Quais são os problemas padrão dos quais podemos reduzir para provar limites inferiores?Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) Obviamente, declare outros problemas além de classificação e distinção de elementos.

12 cc.complexity-theory  lower-bounds 

SAT exclusivo é o problema bem conhecido: dada a fórmula CNF , é verdade que tem exatamente um modelo?FFFFFFF Estou interessado no problema «Exatamente -SAT»: dada uma fórmula CNF e um número inteiro , é verdade que tem exatamente modelos?F m > 1 F mmmmFFFm > 1m>1m>1FFFmmm Ambos os problemas …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

AC0AC0AC^0 é a classe de circuitos de tamanho polinomial de profundidade constante com portas NOT e portas AND e OR sem ventoinha, em que entradas e portas também possuem saída fanout ilimitada. Agora considere uma nova classe, chame-a de que é como mas para quais entradas e portões têm fanout …

12 cc.complexity-theory  circuit-complexity 

Dada uma sequência de números, ela pode ser classificada com comparações e swaps / movimentos? Qualquer ponteiro para publicações sobre esse assunto ou contra-argumentos mostrando um limite inferior ajudaria.O ( n ln n ) O ( n ) Ω ( n ln n )nnnO ( n lnn )O(nln⁡n)O(n \ln n)O …

12 cc.complexity-theory  ds.algorithms 

Estou procurando lógicas modais, axiomatizadas por um conjunto finito de axiomas de profundidade de aninhamento modal um e cujo problema de satisfação / derivabilidade dificilmente estará no PSPACE. Sem a restrição na profundidade de aninhamento modal, isso não é um problema, consulte, por exemplo, PDL. Mas parece que, ao provar, …

12 cc.complexity-theory  lo.logic  modal-logic 

Considere o seguinte problema, Dado um conjunto de números positivos { a 1 , … , a n } em que k ≥ 3 é uma constante, queremos particionar o conjunto em m subconjuntos de tamanho k, para que o produto da soma de cada subconjunto é maximizado.n=kmn=kmn = k …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Esta pergunta é semelhante a problemas difíceis de NP em árvores : Há um grande número de problemas NP-completos que são tratáveis ​​nas cografias . Existem problemas conhecidos que permanecem NP-completos quando restritos a cografias? Para ser mais preciso, estou interessado em exemplos em que a entrada consiste apenas em …

12 cc.complexity-theory  np-hardness  graph-algorithms 

É sabido que as fórmulas CNF podem ser divididas em 2 classes amplas: aleatória versus estruturada. As fórmulas estruturadas de CNF, em oposição às fórmulas aleatórias de CNF, exibem algum tipo de ordem, mostrando padrões que dificilmente acontecerão por acaso. No entanto, pode-se encontrar fórmulas estruturadas mostrando algum grau de …

12 cc.complexity-theory  sat  randomness  symmetry 

Existem 4 restrições diferentes que podemos ter ao definir o Random K-SAT. 1) O número total de literais em uma determinada cláusula é exatamente K ou AT no máximo K 2) Um determinado literal pode ser usado com ou sem substituição na mesma cláusula (A ou A ou A) 3) …

12 cc.complexity-theory  sat  randomness  phase-transition 

Razborov provou que todo circuito monótono que calcula a função de correspondência perfeita para gráficos bipartidos deve ter pelo menos portas (ele chamou de "permanente lógico"). Foi provado um limite inferior melhor para o mesmo problema desde então? (diga ?) Até onde me lembro, esse problema estava aberto em meados …

12 cc.complexity-theory  circuit-complexity  matching 

Hoje em dia, a programação linear é muito bem compreendida. Temos muito trabalho que caracteriza a estrutura de soluções viáveis ​​e a estrutura de soluções ideais. Temos a forte dualidade, algoritmos de poli-tempo, etc. Mas o que se sabe sobre soluções mínimas máximas de LPs? Ou, equivalentemente, soluções mínimas máximas? …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Eu li em SP Jordan, D. Gosset, "PJ Amor -Complete problemas para Hamiltonians stoquastic e matrizes de MarkovQ MUMAQMAQMA " que é improvável que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Fiquei surpreso com essa afirmação. Então, qual é a relação adequada entre e A M ?Q MUMAQMAQMAA MAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e uma compreensão da área em geral. …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Seja G um gráfico conectado. Qual é a complexidade de contar todos os subgráficos conectados se G for dos seguintes tipos? G é geral. G é plano. G é bipartido. Eu não ligo para nenhuma estrutura ou ..., só preciso contar todos os subgráficos conectados! Também estou interessado na complexidade …

12 cc.complexity-theory  graph-theory  counting-complexity