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

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

4
Por que consideramos o espaço de log como um modelo de computação eficiente (em vez do espaço de polilog)?
Essa pode ser uma pergunta subjetiva, e não uma resposta concreta, mas de qualquer maneira. Na teoria da complexidade estudamos a noção de cálculos eficientes. Existem classes como significa tempo polinomial e significa espaço no log . Ambos são considerados representados como uma espécie de "eficiência" e capturam muito bem …
20
Problemas NP-difíceis em árvores
Vários problemas de otimização conhecidos por serem NP-hard em gráficos gerais são trivialmente solucionáveis ​​em tempo polinomial (alguns até em tempo linear) quando o gráfico de entrada é uma árvore. Os exemplos incluem cobertura mínima de vértices, conjunto independente máximo, isomorfismo do subgrafo. Cite alguns problemas de otimização natural que …
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
Uma variante NP-completa de fatoração.
O livro de Arora e Barak apresenta o fatorial como o seguinte problema: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Eles acrescentam, ainda no capítulo 2, que remover o fato de …
4
Teorema de Ladner Generalizado
O Teorema de Ladner afirma que se P ≠ NP, existe uma hierarquia infinita de classes de complexidade contendo estritamente P e estritamente contidas em NP. A prova usa a integridade do SAT sob várias reduções no NP. A hierarquia contém classes de complexidade construídas por um tipo de diagonalização, …
8
Obituários de conjecturas mortas
Estou procurando conjecturas sobre algoritmos e complexidade que foram vistas por muitos em algum momento credíveis, mas mais tarde elas foram refutadas ou, pelo menos, desacreditadas, devido à crescente contra-evidência. Aqui estão dois exemplos: Hipótese aleatória do oráculo: relações entre classes de complexidade que são válidas para quase todos os …
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.