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

Questão. Em seu artigo Simulação aprimorada de circuitos estabilizadores , Aaronson e Gottesman afirmam que a simulação de um circuito CNOT é completa em L (sob reduções no espaço de log). É claro que está contido em ⊕L ; como se mantém o resultado da dureza? Equivalentemente: há uma redução …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Existem vários problemas na teoria da representação combinatória e na geometria algébrica para os quais nenhuma fórmula positiva é conhecida. Existem vários exemplos em que estou pensando, mas deixe-me tomar como exemplo o coeficiente de computação Kronecker . Normalmente, a noção de "fórmula positiva" não é definida precisamente na combinatória, …

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

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 

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 

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 

Sabemos que o problema de contar o número de atribuições satisfatórias em uma determinada fórmula booleana geral (CNF-SAT), em uma fórmula DNF ou em uma fórmula 2SAT é um problema # P-complete . Agora, considere um CNF-SAT sem literal negativo (sem negativo , sempre ). O problema de decisão é …

13 sat  counting-complexity  polynomial-time  monotone 

Paridade-L, também conhecida como L, é o conjunto de idiomas reconhecidos por uma máquina de Turing não determinística que só pode distinguir entre um número par ou um número ímpar de caminhos de "aceitação". Uma pergunta relacionada recente foi feita por Niel de Beaudrap.⊕⊕\oplus Minha pergunta é a seguinte: Sabemos …

13 cc.complexity-theory  counting-complexity 

Essa pergunta é motivada por uma pergunta do MathOverflow de Peng Zhang . Valiant mostrou que contar cliques máximos em um gráfico geral é # P-completo, mas e se restringirmos aos gráficos de incomparabilidade (ou seja, queremos contar os antichains máximos em um posito finito)? Essa questão parece suficientemente natural …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

O que me refiro como contagem é o problema que consiste em encontrar o número de soluções para uma função. Mais precisamente, dada uma função (não necessariamente caixa-preta), aproximados # { x ∈ N | f ( x ) = 1 } = | f - 1 ( 1 ) …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Recentemente, eu estava revisando uma introdução aos algoritmos holográficos. Me deparei com alguns objetos combinatórios chamados Pfaffians. Eu realmente não sei muito sobre isso no momento e me deparei com alguns usos surpreendentes que eles podem usar. Por exemplo, soube que eles podem ser usados ​​para contar com eficiência o …

13 reference-request  co.combinatorics  counting-complexity 

Uma fórmula Monotone-2CNF é uma fórmula CNF em que cada cláusula é composta por exatamente 2 literais positivos. Agora, eu tenho uma fórmula Monotone-2CNF . Seja o conjunto de atribuições satisfatórias deEu também tenho um oracle que é capaz de fornecer as seguintes informações:FFFSSSFFFOOO A cardinalidade do conjunto (ou seja, …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Dado um gráfico direcionado com n nós, de modo que cada vértice tenha exatamente duas arestas de saída e um número natural N codificado em binário, dois vértices s e t, Quero contar o número de caminhos (não necessariamente simples) de s a t em N etapas. Este é um …

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

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