No artigo de 1965 " Sobre a complexidade computacional dos algoritmos ", de Hartmanis e Stearns, os autores conjeturam que se uma Máquina de Turing em tempo real computa o número real , por exemplo, na base 10, então é um número racional ou um número transcendental.rrrrrr Existe um número...
A complexidade da prova é uma área mais básica da teoria da complexidade computacional. Um objetivo final dessa área é provar , ou seja, qualquer provador não pode dar uma prova de insatisfação de determinada fórmula de entrada. NP≠coNPNP≠coNPNP\neq coNP Um gráfico é um modelo formal de provas....
O problema de isomorfismo gráfico é um dos problemas mais antigos que resistiram à classificação em problemas ou . Temos evidências de que não pode ser completo. Em primeiro lugar, o isomorfismo do gráfico não pode ser completo, a menos que a hierarquia polinomial [1] desmorone para o segundo...
Após as perguntas equivalentes sobre NP-Completeness (consulte a pergunta sobre peso e a pergunta direcionada ), fiquei pensando como os problemas parametrizados são afetados por esses atributos. Quais gráfico duro são -Duro em gráficos direcionados, mas parâmetros fixos tratáveis em...
Os problemas foram classificados como um todo graças à complexidade computacional. Mas, em equações diferenciais, é possível classificar equações diferenciais dependendo de sua estrutura computacional? Por exemplo, se uma equação não homogênea de primeira ordem é comparativamente difícil de...
Dadas duas permutações e sobre elementos (ou seja, membros de ), qual é a complexidade de calcular a ordem do subgrupo gerado por ? Ou apenas decidir se o subgrupo está na ordem(ou seja, todos os )?h n S n g , h n ! S nggghhhnnnSnSnS_ng, hg,hg,hn
É um problema em aberto velho se um direto de soma teorema vale para a complexidade de comunicação determinística, isto é, se resolver instâncias independentes de um problema é t vezes mais difícil do que resolver uma única instância. [FKNN95] mostrou os seguintes resultados:tttttt Resultado...
Seja k > 0k>0k>0 uma constante fixa. Dado um número inteiro nnn , queremos construir uma permutação σ∈ Snσ∈Sn\sigma \in S_n tal que: A construção utiliza tempo e espaço constantes (ou seja, o pré-processamento leva tempo e espaço constantes). Nós podemos usar a randomização. Dado i ∈ [ n...
Gostaria de saber se pode existir uma maneira de fornecer uma espécie de "forma normal" para árvores de decisão binária (BDT) de maneira tratável. Mais precisamente: um BDT é uma árvore com nós internos rotulados por variáveis booleanas e folhas rotuladas por 0 00 00 ou 1 11 11 . Um BDT...
Considere o seguinte problema: Dada uma matriz , queremos otimizar o número de adições no algoritmo de multiplicação para calcular v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Acho esse problema interessante por causa de seus laços com a complexidade da multiplicação de matrizes (esse problema é uma...
É bem conhecido que certas classes de NP -Problemas Tem dicotomia teoremas, que garantia de que todas as tarefas na classe ou é NP -completo ou está em P . O resultado mais conhecido é o teorema da dicotomia de Schaefer , juntamente com várias generalizações. Entendo que provar esses teoremas da...
O termo a seguir (usando índices bruijn): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Quando aplicado a um número de igreja, Navalia rapidamente a forma normal em vários avaliadores existentes, incluindo ingênuos . No...
Existem exemplos naturais conhecidos de problemas de otimização para os quais é muito mais fácil produzir uma solução ideal do que avaliar a qualidade de uma determinada solução candidata? Por questões de concretude, podemos considerar problemas de otimização solucionáveis em tempo polinomial da...
Estou interessado em reduzir o -Clique para o SAT sem tornar a instância muito maior.kkk O Clique está no NP, portanto pode ser reduzido para SAT usando espaço logarítmico. A simples redução de livros didáticos da Garey / Johnson aumenta a instância para o tamanho cúbico . No entanto, -Clique está...
Seja um polinômio simétrico , ou seja, um polinômio tal que para todo e todas as permutações . Por conveniência, podemos assumir que é um campo finito, para evitar problemas com o modelo de computação.f: Kn→ Kf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}x ∈ K n σ ∈ S n Kf( x ) = f( σ( x )...
A inclusão inversa é óbvia, assim como o fato de que qualquer linguagem NP auto-redutível na BPP também está na RP. Isso também é conhecido por idiomas NP não
Permita que uma máquina de Turing probabilística tenha acesso a uma moeda injusta que aparece cara com probabilidade (os flips são independentes). Defina como a classe de idiomas reconhecíveis por essa máquina no tempo polinomial. É um exercício padrão para provar que:pppBPPpBPPpBPP_p A) Se é...
Vamos HALTnHALTnHALT_n denotar a cadeia de comprimento 2n2n2^n correspondente à tabela verdade do problema de parada para entradas de comprimento nnn . Se a sequência das complexidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , uma das sequências de aconselhamento seria usada...
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP é o conjunto de todos os idiomas decidíveis em tempo polinomial em uma máquina de Turing determinística, e CSLCSLCSL é a classe de linguagens sensíveis ao contexto, conhecida por ser equivalente a , as linguagens decididas por autômatos com...
Elberfeld, Jakoby e Tantau 2010 ( ECCC TR10-062 ) provaram ser uma versão com eficiência de espaço do teorema de Bodlaender. Eles mostraram que para gráficos com largura de árvore no máximo , pode-se encontrar uma decomposição em árvore da largura usando espaço logarítmico. O fator constante no...