Qual é a complexidade de contar o número de soluções de um problema do P-Space Complete? E quanto às classes de maior complexidade?

Eu acho que seria chamado # P-Space, mas eu encontrei apenas um artigo mencionando-o vagamente. Que tal a versão de contagem dos problemas EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? Existe algum trabalho anterior que se possa citar em relação a esse ou a qualquer tipo de inclusão ou exclusão como o Teorema de Toda?

— Tayfun Pay
fonte

Você está perguntando muito em uma pergunta!

— Tsuyoshi Ito

#PSPACE é igual à classe de funções que pode ser calculada no espaço polinomial (FPSPACE).

— Tsuyoshi Ito

@Tsuyoshi Isso é verdade. No entanto, a maioria das perguntas feitas, se não todas, pode ser reformulada como uma única pergunta geral: existem classes de contagem para classes superiores a

N P

$NP$ (como se pode observar na definição de #

P

$P$ ) e os resultados conhecidos se aplicam?

— precisa saber é o seguinte

@ Tayfun Pay: Não sei bem o que você quer dizer com classes determinísticas como PSPACE, EXP, EXPSPACE. A noção de "número de soluções" geralmente está intimamente ligada ao não-determinismo - desde então, você pode perguntar sobre o número de caminhos aceitantes - ou quantificadores / projeções existenciais. No caso do PSPACE, é claro, você pode usar a definição de quantificadores alternados - mas é necessário especificar quais quantificadores você deseja contar - ou o fato de que NPSPACE = PSPACE.

— Joshua Grochow

Como vários comentários mencionados, não está totalmente claro o que você quer dizer com #PSPACE. A melhor aposta seria usar o analógico acolchoado de #L, que é bem estudado. Como #L está contido no DSPACE (log ^ 2 n), isso implicaria que # PSPACE = PSPACE, como @TsuyoshiIto mencionado acima. (Estou ignorando aqui a distinção formal entre imaterial problemas de decisão e funções.)

— Noam

-3

O número de atribuições satisfatórias para uma fórmula booleana é igual ao número de quantificações válidas da fórmula. A prova indutiva é bastante elegante. Então, #P = #PSpace.

— daniel pehoushek
fonte

Isso não está coberto pelos comentários de Tsuyoshi e Noam acima?

— Huck Bennett

É isso que você realmente quer dizer? Se #P = #PSPACE, isso não implica que PSPACE P ? Eu não acredito que isso seja conhecido.

\subseteq

$\subseteq$

^{# P}

$^{\#\mathrm{P}}$

— quer

@ PeterShor Estou bastante certo de que Daniel significa isso mathoverflow.net/a/12608/35733 . Mas meu palpite (não verificado) é que um problema # PSPACE-complete é contar o número de atribuições satisfatórias de um QBF fixo, não contar o número de quantificações satisfatórias de um determinado CNF.

— Sasho Nikolov

Não, eu quis dizer que o número de quantificações válidas de um determinado cnf é igual ao número de atribuições satisfatórias do cnf, dada uma ordem fixa das variáveis. É muito interessante que mudar a ordem das variáveis altere os qbfs válidos, mas não o número total de qbfs válidos.

— Daniel pehoushek 25/03