Isso é algo que não consegui encontrar - mas sempre achei interessante que o lema de bombeamento fosse apenas um lema (especialmente porque ele tem o mesmo nome para idiomas regulares, idiomas livres de contexto, etc ...) Para que é um
Eu tenho gráficos e com com que passam verificações de sanidade como como lema sem homomorfismo. Existem ferramentas gratuitas e fáceis de usar para testar o homomorfismo gráfico de para
Estou tendo problemas para entender por que é fácil detectar ciclos de peso negativo (Bellman Ford), mas é difícil encontrar o ciclo de peso máximo em um gráfico não direcionado. Se negarmos o peso de cada aresta, podemos descobrir facilmente se existem ciclos com peso total> 0. No entanto,...
Recentemente, estou lendo artigos sobre dicotomia . Não entendo que condição pode ser chamada de dicotomia ? Qual é o significado de "uma pergunta está em P ou em NP - completa "? (suponha P NP )≠≠\neq Por exemplo, eu conheço o teorema da dicotomia de Schaefer, no qual é dada uma dicotomia sobre...
Estou aprendendo sobre análise assintótica e vi algumas complexidades de aparência exótica vivendo entre outras comuns. Por exemplo, "log log n" é estritamente entre 1 e log n. Isso me faz pensar se sempre podemos encontrar complexidades entre os outros dois. Especificamente, para quaisquer...
Essa é uma tarefa do concurso alemão de TI ("Bundeswettbewerb Informatik"), mas como o prazo já passou, fazer esta pergunta não é trapaça. Dado um gráfico direcionado ponderado por vértice e valores , encontre um subconjunto de nós que maximize sujeito a Esse problema é difícil para o...
Sabemos que P = NP implica NP = coNP. A implicação inversa é válida? NP igual coNP implica que P é igual a NP? Se não, por que não? Pesquisei no Google, mas não encontrei a
Após minha aula de Teoria da Computação hoje, essa pergunta surgiu em minha mente: se um problema pode ser resolvido por um autômato finito, esse problema pertence a P. Eu acho que é verdade, já que os autômatos reconhecem linguagens muito simples, portanto todas essas linguagens teriam...
Recentemente, tenho lidado com um problema que me levou às seguintes perguntas: Existe um bom algoritmo para enumerar todas as correspondências máximas / perfeitas em um gráfico geral? Existe um bom algoritmo para encontrar todas as correspondências máximas / perfeitas em um gráfico geral? Esses...
Em um gráfico, um conjunto dominante de aresta é um subconjunto D das arestas, de modo que qualquer aresta no gráfico esteja em D ou compartilhe um ponto final com uma aresta em D. O problema do Conjunto dominante de aresta mínimo é encontrar um conjunto dominante de aresta de cardinalidade mínima....
Existe alguma classe de problemas de NP com uma solução única? Estou perguntando isso, porque quando eu estava estudando criptografia, li sobre a mochila e achei a idéia muito
Uma abordagem comum para decidir se dois gráficos dados são isomórficos é calcular o chamado rótulo canônico (alternativamente, gráfico canônico) de cada gráfico e verificar se eles correspondem ou não. Ferramentas como o Nauty calculam o gráfico canônico através de árvores de pesquisa removidas...
Tentei procurar on-line, mas não consegui encontrar nenhuma declaração definitiva. Faria sentido para mim que Union e Intersection de duas linguagens NPC produzissem uma linguagem não necessariamente na NPC. Também é verdade que os idiomas NPC não estão fechados nas operações complemento,...
Tenho certeza de que deve haver algo errado com o seguinte raciocínio, porque, caso contrário, muitas pesquisas de P vs. NP seriam reduzidas, mas não consigo determinar meu erro: Para qualquer número inteiro fixo k>0k>0k>0 definir Bk:={⟨φ⟩|φis a wff of ZF and has a proof of...
A classe de Nick (NC) é a classe de problemas que podem ser resolvidos em tempo de poliolog usando um número polinomial de processadores. Quero saber sobre o analógico exponencial, que abrangeria problemas que podem ser decididos em tempo polinomial usando um número exponencial de...
Minha pergunta é a seguinte. Assuma issoΠΠ\Pié um problema difícil de NP. Dada uma instância arbitráriaIII do ΠΠ\Pi e suponha que um adversário sabe que essa instância é fácil de resolver, é possível encontrar um algoritmo determinístico de tempo polinomial para resolver essa instância específica...
Acabamos de terminar nossa lição "Construtibilidade do tempo" na aula na semana passada e, por exemplo, mostramos que nk,2nnk,2nn^k, 2^n são totalmente construtíveis no tempo, ou seja, existe uma máquina de Turing (determinística para várias fitas) que, para nnn dado, pára após exatamente...
Eu ficaria surpreso se esse não fosse um problema bem estudado, mas não tenho certeza do que mais procurar nesse momento: você recebe um conjunto de códigos binários. nnn-vetores S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. O problema é encontrar outro conjunto de bináriosnnn-vetores B ⊂ { 0 ,...
Portanto, representa problemas nos quais temos pequenas testemunhas verificáveis para instâncias e para pequenas testemunhas verificáveis para instâncias. Como isso funciona paraNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} e assim por...
Recebi n objetos e um conjunto de n permutações desses n objetos (de n! Permutações totais). Existe uma verdadeira permutação subjacente, que eu sei que é uma entre o conjunto de n permutações, mas não sei qual. Um oráculo, no entanto, conhece a verdadeira permutação. Para encontrar a permutação...