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

P versus NP e outra computação limitada a recursos.

1
Existe um oráculo
fundo Sabemos que .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Além disso, sabemos pelo teorema de Toda que .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Para mais informações sobre , consulte aqui: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Questão Existe um oráculo tal que ?UMAUMAA( P# P)UMA≠ PSPA CEUMA(P#P)UMA≠PSPUMACEUMA(P^{\#P})^{A} \neq PSPACE^{A}
1
A associação de quarto de subconjunto pode ser decidida com eficiência de espaço?
Considere o seguinte problema de decisão. Seja e deixe ser adequado enumeração dos subconjuntos de que possuem no máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 Quartas-de-Subconjunto Membership Entrada: tupla de inteiros não negativos representada em binário Pergunta: é ? (i,j,n)(i,j,n)(i,j,n) i∈Cnji∈Cjni \in C_j^n Ao escolher uma enumeração "legal" , a Associação …
1
Complexidade da circunferência: circuito monótono da função Maioria
Como mostrado no artigo "Circuitos monótonos para a função majoritária", é possível construir um circuito booleano monótono para a função majoritária em n variáveis ​​com tamanho O (n ^ 3) e profundidade 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Minha pergunta é: qual é a complexidade temporal dessa construção? (ou …
2
Incertezas no programa GCT
Em https://en.wikipedia.org/wiki/Geometric_complexity_theory , é mencionado que ".. Ketan Mulmuley acredita que o programa, se viável, provavelmente levará cerca de 100 anos para resolver o problema P vs. NP". Parece indicar que o único programa atualmente viável poderia enfrentar sérios obstáculos. Quais são alguns dos obstáculos em que o programa pode …
1
A conjectura do isomorfismo implica limites exponenciais inferiores na densidade das testemunhas?
O Isomorfismo conjectura de Berman e Hartmanis afirma que todos conjuntos são -completo tempo polinomial isomorfo para o outro. Isto significa que N P problemas -Complete são eficientemente redutível para o outro através de calculável tempo polinomial e bijeções inversíveis. A conjectura implica P ≠ N P .NPNPNPNPNPNPP≠ NPP≠NPP\neq NP …
1
Uma pergunta sobre GCT
No artigo 'Sobre o desaparecimento dos coeficientes de Kronecker', aqui em http://arxiv.org/pdf/1507.02955v1.pdf , é mostrado que decidir a positividade dos coeficientes de Kronecker é geralmente difícil para o NP. No entanto, existe uma ressalva que afirma que apenas a positividade dos 'coeficientes retangulares de Kronecker' é necessária no TCG . …
1
O teorema da hierarquia para NTIME interseção coNTIME?
\newcommand{\cc}[1]{\mathsf{#1}} Um teorema ao longo das seguintes linhas é válido: Se é um pouco maior que , então ?g(n)g(n)g(n)f(n)f(n)f(n)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)NTIME(g)∩coNTIME(g)≠NTIME(f)∩coNTIME(f)\cc{NTIME}(g) \cap \cc{coNTIME}(g) \neq \cc{NTIME}(f) \cap \cc{coNTIME}(f) É fácil mostrar que , pelo menos. Prova: Suponha que não. Então então e, portanto, (por preenchimento) . Mas então nossa suposição implica que , …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.