Perguntas com a marcação «conditional-results»

Adicione X como uma hipótese, onde X não é conhecido como verdadeiro ou falso.

4
Quais são as consequências de
Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , em que L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Nós também sabe que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}porque o último tem problemas completos no espaço logarítmico, muitas reduções, enquanto o primeiro não (devido ao teorema da hierarquia …
3
Faz
Tanto quanto eu entendo, o programa da teoria da complexidade geométrica tenta separar , provando que o permamento de uma matriz de valor complexo é muito mais difícil de calcular do que o determinante.VP≠ VNPVP≠VNPVP \neq VNP A pergunta que tive depois de examinar os Documentos do GCT: Isso implicaria …
3
NC = P consequências?
O zoológico de complexidade indica na entrada em EXP que, se L = P , PSPACE = EXP. Como NPSPACE = PSPACE da Savitch, até onde eu sei, o argumento de preenchimento subjacente se estende para mostrar que Também sabemos que L NL NC P via hierarquia alternada limitada por …
2
Status dos mundos de Impagliazzo?
Em 1995, Russell Impagliazzo propôs cinco mundos de complexidade: 1- Algoritmica: com todas as conseqüências surpreendentes.P=NPP=NPP=NP 2- Heurística: completos de são difíceis no pior dos casos ( ), mas são eficientemente solucionáveis ​​no caso médio.NPNPNPP≠NPP≠NPP \ne NP 3- Pessiland: Existem completos de casos médios , mas funções unidirecionais não existem. …
4
Dureza de aproximação assumindo NP! = CoNP
Duas das suposições comuns para provar resultados de dureza de aproximação são e Unique Games Conjecture. Existe alguma dureza de resultados de aproximação assumindo ? Estou procurando o problema modo que "é difícil aproximar um fator menos que ".P≠NPP≠NPP \neq NPNP≠coNPNP≠coNPNP \neq coNPAAAAAAαα\alphaNP=coNPNP=coNPNP = coNP Sabe-se que "mostrar dureza NP …
3
Consequências da existência de um algoritmo fortemente polinomial para programação linear?
Um dos Santo Graal do projeto de algoritmos é encontrar um algoritmo fortemente polinomial para programação linear, ou seja, um algoritmo cujo tempo de execução é limitado por um polinômio no número de variáveis ​​e restrições e é independente do tamanho da representação dos parâmetros (assumindo custo unitário aritmético). A …
2
Razões para acreditar
Esta questão foi migrada do Computer Science Stack Exchange porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 6 anos . Parece que muitas pessoas acreditam que P≠NP∩coNPP≠NP∩coNPP \ne NP \cap coNP , em parte porque acreditam que o fatoramento não é passível de solvência. (Shiva Kintali …
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.