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

Questões relacionadas à complexidade (computacional) da solução de problemas



1
Prova do teorema de Karp-Lipton
Estou tentando entender a prova do teorema de Karp-Lipton, conforme declarado no livro "Complexidade computacional: uma abordagem moderna" (2009). Em particular, este livro declara o seguinte: Teorema de Karp-Lipton Se NP , PH .⊆⊆\subseteq P∖ p o l yP∖poeuyP_{\backslash poly} = Σ p 2 = Σp2=Σ2p= \Sigma^p_2 Prova: pelo Teorema …

2
Existe um algoritmo eficiente para equivalência de expressão?
por exemplo, ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) As expressões são da álgebra comum do ensino médio, mas restritas à adição e multiplicação aritmética (por exemplo, ), sem inversões, subtrações ou divisões. Letras são variáveis.2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 Se ajudar, podemos proibir qualquer expressão representável com valores numéricos diferentes de ; ou seja, não nem nem :111x2x2x^23x3x3x444 …


6
Encontrando o XOR máximo de dois números em um intervalo: podemos fazer melhor que quadrático?
Suponha que nós estamos dando dois números e e que queremos encontrar para l \ le i, \, j \ le r .lllrrr l ≤ i ,max(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r O algoritmo ingênuo simplesmente verifica todos os pares possíveis; por exemplo, em ruby, teríamos: def max_xor(l, r) max = 0 …

3
Complexidade do problema da adoção de gatinhos
Isso surgiu enquanto eu tentava responder a essa pergunta sobre Minimização do comprimento da fiação . Eu chamaria isso de problema do "casamento polígamo", mas a internet, então gatinhos. Yay! Suponha que temos gatinhos que precisam ser adotado por pessoas, . Para cada gatinho, e cada pessoa existe um custo …








1
Redução direta de
Sabemos que a está em pelo teorema do teorema de Immerman – Szelepcsényi e como é portanto, a é reduzida em muitos espaços de log redutível à . Mas existe uma redução direta / combinatória que não passa pelo gráfico de configuração das máquinas de Turing em ?N G s …

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.