Se recebermos duas cadeias de tamanho n1n1n_1 e n2n2n_2 , o cálculo padrão da distância de edição de Levenshtein é por um algoritmo dinâmico com complexidade de tempo O ( n1n2)O(n1n2)O(n_1 n_2) e complexidade de espaço O ( n1n2)O(n1n2)O(n_1 n_2) . (Algumas melhorias podem ser feitas em função da...
Houve alguns esforços para atacar o problema do isomorfismo de grafos usando a caminhada aleatória quântica de bósons do núcleo duro (simétrica, mas sem ocupação dupla). O poder simétrico da matriz de adjacência, que parecia promissor, mostrou-se incompleto para gráficos gerais neste artigo por...
Corrija um problema de pesquisa completo do NP, por exemplo, o formulário de pesquisa do SAT. A pesquisa de Levin fornece um algoritmo para resolver que é ótimo em algum sentido. Especificamente, o algoritmo é "Execute todos os programas possíveis com a entrada , uma vez que algum retorne a...
é amplamente conjecturado ser falsa.RP=NPRP=NPRP = NP Mas imagine por um momento que seja verdade. Nesse caso, qual a probabilidade de ?P=NPP=NPP = NP Em outras palavras: em um mundo onde , o que ainda pode ser visto como um obstáculo para acreditarmos em P = N P ?RP=NPRP=NPRP = NPP=NPP=NPP =...
O teorema da dicotomia de Schaefer mostra que cada problema de CSP acima de é solucionável em tempo polinomial ou é NP completo. Isso se aplica apenas a problemas CSP de largura limitada, excluindo SAT e Horn-SAT, por exemplo. Os problemas gerais de largura ilimitada do CSP podem ser muito difíceis...
Estou procurando resultados de dureza na coloração de vértices de gráficos com grau delimitado. Dado um gráfico , sabemos que para qualquer ϵ > 0 , é difícil aproximar χ ( G ) dentro de um fator de | V | 1 - ϵ a menos que NP = ZPP [ 1 ]. Mas e se o grau máximo de G for delimitado por d ?...
Sudoku é um quebra-cabeça conhecido que é NP-completo. O Sudoku binário é uma variante que permite apenas os números e 1 . As regras são as seguintes.000111 Cada linha e cada coluna deve conter um número igual de zeros e uns. Cada linha e cada coluna é única. Nenhuma linha ou coluna contém...
Defina como a classe de idiomas que pode ser aceita por uma máquina de Turing (multitape) no tempo f ( n ) + 1 . (O " + 1 " é apenas para simplificar a notação e evitar confusão.) Observe que não há O ( ⋅ ) em torno de f ( n ) + 1 .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+...
A análise suavizada foi aplicada muitas vezes para entender o tempo de execução de algoritmos exatos para muitos problemas, como programação linear e médias k. Existem resultados bastante gerais neste domínio, por exemplo, Heiko Röglin e Berthold Vöcking, Análise Suavizada da Programação Inteira,...
Qual é a relação entre PLSPLS\mathsf{PLS} e APXAPX\mathsf{APX} ? Em outras palavras, os problemas que admitem uma pesquisa local em horário polinomial são aproximados? Problemas aproximados de otimização implicam em geral um algoritmo de busca
Dado um jogo determinístico de soma zero com informações parciais determinísticas, com apenas muitos estados finitos, cujos resultados possíveis são [perder, empatar, vencer] com valores [-1,0, + 1], respectivamente, qual é a complexidade de se aproximar o valor de tais um jogo de forma...
Sabemos que a hierarquia não colapso ( para todos os d )?TC0TC0\mathsf{TC^0} dTC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd A entrada Zoo para TC0TC0\mathsf{TC^0} menciona apenas a separação entre as profundidades 2 e 3. Também existe uma referência padrão para o fato de...
Esta questão é motivada por este post. Você consegue identificar a soma de duas permutações no tempo polinomial? , e meu interesse em propriedades computacionais de permutações. Uma sequência de diferenças de uma permutação dos números é formada pela descoberta da diferença entre cada dois números...
Autômatos residuais de estado finito (RFSAs, definidos em [DLT02]) são NFAs que possuem alguns recursos interessantes em comum com os DFAs. Em particular, sempre existe um RFSA de tamanho mínimo canônico para cada idioma regular, e o idioma reconhecido por cada estado no RFSA é um resíduo, assim...
Contidas entre cada nível da hierarquia polinomial existem várias classes de complexidade, incluindo ΔPEuΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k e ΣPEu∩ ΠPEuΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Por falta de melhor terminologia, que irá referir-se a estas e quaisquer...
Recentemente, comecei a ler muito sobre a complexidade das provas e realmente gostei do que estava lendo. Eu realmente gostaria de aprender mais sobre isso, mas estou tendo dificuldades para encontrar um bom material para iniciantes, para começar. Alguém seria capaz de recomendar alguns...
Estou tentando entender a qual classe de complexidade o seguinte problema pertence: Problema de raiz polinomial exponencial (EPRP) Seja um polinômio com deg ( p ) ≥ 0 com coeficientes extraídos de um campo finito G F ( q ) com q um número primo e r uma raiz primitiva para esse campo. Determine as...
Instância: Um gráfico não direcionado com dois vértices distintos s ≠ t e um número inteiro k ≥ 2 .GGGs ≠ ts≠ts\neq tk ≥ 2k≥2k\geq 2 Pergunta: Existe um caminho em G , de modo que o caminho toque no máximo k vértices? (Um vértice é tocado pelo caminho se o vértice estiver no caminho ou tiver um...
Uma propriedade de gráfico é chamada de hereditária se fechada com relação à exclusão de vértices (ou seja, todos os subgráficos induzidos herdam a propriedade). Uma propriedade de gráfico é chamada aditiva se for fechada com relação à obtenção de uniões disjuntas. Não é difícil encontrar...
Um grande problema no TCS é o problema de expressar uma permanente como determinante. Eu estava lendo o artigo de Agrawal, Determinant Versus Permanent, e em um parágrafo ele afirma que o problema inverso é fácil. É fácil de ver que o determinante de uma matriz pode ser expresso como o...