Depois de corrigirmos um verificador determinístico de tempo polinomial V (entrada, certificado), seu problema NP correspondente é a pergunta: Para esta entrada, existe um certificado (tamanho polinomial) de tal forma que V (entrada, certificado) retorne True? O problema de contagem associado...
Na teoria dos algoritmos distribuídos, existem problemas com limites inferiores, como Ω(n2)Ω(n2)\Omega(n^2), que são "grandes" (ou seja, maiores que Ω(nlogn)Ω(nregistron)\Omega(n\log n)) e não trivial. Gostaria de saber se existem problemas com limites semelhantes na teoria do algoritmo serial,...
Estou interessado na auto-redutibilidade do problema do Graph 3-Coloralibity. Definição do problema do gráfico 3-Coloralibity. Dado um gráfico não direcionado GGG existe uma maneira de colorir os nós vermelho, verde e azul para que nenhum nó adjacente tenha a mesma cor? Definição de...
Dado o fato de os qbits terem superposições e maior poder representacional em relação aos circuitos, existem problemas que requerem pelo menos tempo exponencial para garantir uma solução com um computador quântico? Eu verifiquei o Complexity Zoo e não consegui encontrar nenhuma classe de...
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...
Dado um gráfico , encontre vértices , cuja remoção resultaria em um gráfico com o menor componente maior. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Presumo quee grande o problema é difícil (NP-difícil), mas estou interessado em pequenos valores de k ( k \ in \ {1, 2,...
O problema da partição é um problema NP-completo bem conhecido. Nas definições que eu vi, a entrada é assumida como um conjunto múltiplo de números inteiros, e queremos decidir a existência de uma partição em dois conjuntos com a mesma soma. Minha pergunta é: O problema da partição ainda está...
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 ,...
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...
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
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...
Não consegui encontrar um gráfico representando ou respondendo à seguinte pergunta: Existe uma relação direta entre a complexidade de um algoritmo (como o melhor / pior caso de classificação rápida) e a classe de autômatos que podem implementar o algoritmo. Por exemplo, existe uma variedade de...
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
Eu acho que essas duas classes devem ser as mesmas, mas não consigo encontrar nenhuma literatura sobre isso e tenho um conhecimento limitado sobre o assunto. Esse é o meu raciocínio, e eu gostaria de saber se (1) isso já é conhecido ou (2) eu entendi mal algo ou (3) acabei de descobrir algo...
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,...
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...