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

Suponha . Em seguida, uma simples mostra argumento que P H P P = N P . Podemos dar um passo adiante e obter P P P P = N P ? O argumento simples éNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Se então P H P P = N P .NP= …

8 cc.complexity-theory  counting-complexity  conditional-results 

O #P foi introduzido pela primeira vez em [1] ? [1] Valiant, Leslie G. "A complexidade de computar o permanente". Teoria da computação 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Talvez esteja faltando algo óbvio, mas não consigo encontrar referências sobre a complexidade da contagem de correspondências (não correspondências perfeitas) em gráficos bipartidos. Aqui está o problema formal: Entrada: um gráfico bipartido comE ⊆ U × VG=(U,V,E)G=(U,V,E)G = (U, V, E)E⊆U×VE⊆U×VE \subseteq U \times V Saída: o número de coincidências …

8 counting-complexity  matching  bipartite-graphs 

De acordo com o lema do handshaking: qualquer gráfico não direcionado que tenha um vértice cujo grau seja um número ímpar deve ter outro vértice cujo grau seja um número ímpar. Essa observação significa que, se recebermos um gráfico e um vértice de grau ímpar, e formos solicitados a encontrar …

8 complexity-classes  counting-complexity  ppad 

Em [1] afirma-se que "Continua sendo uma questão em aberto se todas as funções em possuem circuitos T C 0 (embora seja pelo menos sabido que nem todas as funções # P possuem circuitos T C 0 uniformes para DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 circuitos gerados por funções dlogtime não contém # P …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

É 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 

Quais algoritmos / técnicas matemáticas estão disponíveis para contar exatamente / aproximadamente o número de conjuntos independentes? Existe / há uma boa referência / boas referências sobre este tópico? Estou interessado em gráficos regulares.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

Seja uma dada matriz quadrada. Existe alguma evidência de que ultrapassar limites inferiores quadráticos para modo que possa ser difícil?B det ( B ) = por ( A )UMAAABBBdet ( B ) = por ( A )det(B)=per(A)\text{det}(B) = \text{per}(A) Existe alguma conjectura plausível que implique que provar limites mais baixos …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent