Suponha que P! = NP. Sabemos que podemos criar instâncias fáceis do 3-SAT a qualquer momento. Também podemos gerar o que acreditamos ser instâncias difíceis (porque nossos algoritmos não podem resolvê-los rapidamente). Existe algo que impeça que o conjunto de instâncias rígidas seja...
Existem algoritmos conhecidos para o seguinte problema que superam o algoritmo ingênuo? Entrada: matriz e vetores , em que todas as entradas de são números inteiros não negativos.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Saída: uma solução ideal para . máx { c T x : A x ≤ b , x ∈ { 0 , 1 } n...
Suponha que eu tenha conjuntos com elementos extraídos de possíveis. Cada conjunto é do tamanho ( ), onde os conjuntos podem se sobrepor. Quero determinar se os dois problemas a seguir estão completos ou não com NP:r n n <
Estou interessado em uma variante da correspondência máxima de peso em um gráfico, que chamo de "Máxima correspondência justa". Assume-se que o gráfico está cheio (ou seja, E=V×VE=V×VE=V\times V ), tem ainda o número de vértices, e que o peso é dada por uma função de lucro . Dado um...
Gostaria de saber se o seguinte problema é NP-difícil. Insira: G = ( V, E)G=(V,E)G = (V,E) um gráfico simples e uma coloração f: E→ { 1 , 2 , 3 }f:E→{1 1,2,3}f : E \to \{1,2,3\} das arestas ( fff não verifica nenhuma propriedade específica). Pergunta: é possível particionar EEE em | E| /...
O problema padrão 1-em-3 SAT (ou XSAT ou X3SAT) é: Instância : uma fórmula CNF com todas as cláusulas contendo exatamente 3 literais. Pergunta : existe uma atribuição satisfatória configurando exatamente 1 literal por cláusula? O problema é NP-completo e permanece difícil, mesmo se nenhuma...
Dado um grafo orientado fixo (d�rafo) , a -COLORING problema decisão pergunta se um digrama de entrada tem um homomorphism para . (Um homomorfismo de para é um mapeamento de para que preserva os arcos, ou seja, se é um arco de , então é um arco de )D L D L D F V ( L ) V ( D ) u v L f ( u ) f ( v...
Há um belo artigo de 1991 que contém três diagramas sobre famílias de classes gráficas diferentes, mostrando o que se sabe sobre a dureza de determinar o índice cromático para eles. Desde então, há alguma notícia sobre isso? Estou mais interessado no que se sabe sobre gráficos com um número...
A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo que:euLLeuLL{ xEu}i ∈ [ t ]{xi}i∈[t]\{ x_i...
Dado um torneio , onde e ser dois acíclico sub-torneio de .S 1 S 2 tTTTS1S1S_1S2S2S_2TTT O seguinte problema é NP-Complete: Localizando um sub-torneio acíclico máximo , que é um subconjunto de ?S 1 ∪ S 2SSSS1∪ S2S1∪S2S_1 \cup S_2 O problema em questão pode ser resolvido em tempo polinomial?...
Nós, em nosso grupo de pesquisa, estamos trabalhando na aplicação de métodos heurísticos ao problema de iluminação inversa (ou seja, dado um conjunto de restrições sobre as condições de iluminação em uma cena, encontramos os locais onde as fontes de luz devem ser colocadas e suas intensidades)....
Estou procurando vincular um problema em que estou trabalhando com um problema conhecido como NP-hard. Acho que posso modelar meu problema como um problema de caminho mais curto com recursos limitados. No entanto, a estrutura do meu gráfico não é completamente arbitrária. Assim, será útil saber...
Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y - S UB S E T S UM ∈ LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} S UB S E T S...
O seguinte problema é NP-difícil? Dado um conjunto de números reais (metas) e um "tridente" definido por duas distâncias , do centro do tridente, qual é o número mínimo de posições de o tridente para cobrir todos os alvos, por exemplo, x 1 , … , x N a b K p 1 , … , p K K ⋃ k = 1 { p k - a , p k ,...
Net (conhecido também como FreeNet, ou como NetWalk) é um jogo jogado em um grade com os seguintes objetos:n×nn×nn \times n existem computadores ; cada computador ocupa uma célula e possui um cabo de ligação;mmm cada computador deve estar conectado à unidade central que ocupa uma célula e possui...
Enquanto estudava um problema na teoria algorítmica dos jogos, fiquei interessado na complexidade da seguinte pergunta de otimização: Problema Dado: conjunto de base dado por n ,você= [ n ] = { 1 , … , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nnn classificação dada como ordens totais ⟨ S i , σ...
Para poder explicar o problema P vs NP a não matemáticos, eu gostaria de ter um exemplo pedagógico de quando a busca por força bruta pode ser evitada. Idealmente, o problema deve ser imediatamente compreensível e o truque não deve ser muito fácil nem muito difícil. O melhor que eu vim até agora...
Ao discutir a pergunta que fiz aqui , @NealYoung e eu encontramos outro problema, que é julgar a complexidade do problema abaixo: Dado um gráfico não direcionado conectado, localize um subconjunto de tamanho máximo das arestas, de modo que todo vértice tenha grau no máximo dois. Eu encontrei...
Para mostrar a dureza NP de um problema, é necessário escolher um problema NP-difícil conhecido e encontrar uma redução polinomial do problema conhecido para o problema em questão. Teoricamente, qualquer problema NP-difícil pode ser usado para a redução, mas, na prática, alguns dos problemas são...
No OrderedPartitionproblema, a entrada são duas seqüências de nnn inteiros positivos, (ai)i∈[n](ai)i∈[n](a_i)_{i\in [n]} e (bi)i∈[n](bi)i∈[n](b_i)_{i\in [n]} . A saída é uma partição dos índices [n][n][n] em dois subconjuntos separados, III e JJJ , de modo