List of NP-complete Problems

Machine Lista de problemas
Translated NP-completos - Wikipedia, a enciclopédia livre

by Google Página 1 de 17
Lista de problemas NP-completos

Da Wikipédia, a enciclopédia livre
Aqui estão alguns dos problemas mais comumente conhecidos que são NP-completos quando expressos como problemas
de decisão. Esta lista não é abrangente (há mais de 3000 problemas NP-completos conhecidos). A maioria dos problemas nesta
lista são retirados do livro seminal de Garey e Johnson Computers and Intractability: A Guide to the Theory of NP-Completeness, e
são apresentados aqui na mesma ordem e organização.
Conteúdo
ÿ 1 Teoria dos grafos
ÿ 1.1 Cobertura e particionamento
ÿ 1.2 Subgráficos e supergrafos
ÿ 1.3 Ordenação de vértices
ÿ 1.4 Iso- e outros morfismos
ÿ 1.5 Diversos
ÿ 2 Projeto de rede ÿ 2.1
Árvores geradoras
ÿ 2.2 Cortes e conectividade
ÿ 2.3 Problemas de roteamento
ÿ 2.4 Problemas de fluxo
ÿ 2.5 Diversos
ÿ 2.6 Desenho Gráfico
ÿ 3 conjuntos e partições ÿ
3.1 Cobrindo, batendo e dividindo
ÿ 3.2 Problemas de conjunto ponderado
ÿ 3.3 Definir partições
ÿ 4 Armazenamento e recuperação ÿ
4.1 Armazenamento de dados
ÿ 4.2 Compressão e representação
ÿ 4.3 Problemas de banco de dados
ÿ 5 Sequenciamento e agendamento
ÿ 5.1 Sequenciamento em um processador
ÿ 5.2 Agendamento de multiprocessadores
ÿ 5.3 Agendamento da loja
ÿ 5.4 Diversos
ÿ 6 Programação matemática
ÿ 7 Álgebra e teoria dos números ÿ 7.1
Problemas de divisibilidade
ÿ 7.2 Solvabilidade das equações
ÿ 7.3 Diversos
ÿ 8 jogos e quebra-cabeças
ÿ 9 Lógica ÿ
9.1 Lógica proposicional
ÿ 9.2 Diversos
ÿ 10 Autômatos e teoria da linguagem ÿ 10.1
Teoria dos autômatos
http://en.wikipedia.org/wiki/List_of_NP-complete_problems 01/12/2011
Machine Lista
Translated by Google
de problemas NP-completos - Wikipedia, a enciclopédia livre Página 2 de 17
ÿ 10.2 Idiomas formais

ÿ 11 Geometria computacional
ÿ 12 Otimização do programa ÿ
12.1 Geração de código
ÿ 12.2 Programas e esquemas
ÿ 13 Diversos
ÿ 14 Veja também
ÿ 15 Notas
ÿ 16 Referências
Teoria dos grafos
Cobertura e divisória
ÿ Cobertura de vértice [1][2]
ÿ Conjunto dominante, também conhecido como número de dominação[3]
Casos especiais NP-completos incluem o problema do conjunto dominante de arestas, ou seja, o problema do conjunto
dominante em grafos de linha. As variantes NP-completas incluem o problema do conjunto dominante conectado.
ÿ Partição domática, também conhecida como número domático[4]

ÿ Coloração do gráfico, também conhecido como número cromático[1][5]
ÿ Particionar em cliques
Este é o mesmo problema de colorir o complemento do gráfico dado.[6]
ÿ Coloração completa, também conhecida como número acromático[7]

ÿ Triângulo monocromático[8]
ÿ Conjunto de vértices de feedback [1][9]
ÿ Arco de feedback definido[1][10]
ÿ Conjunto de borda de feedback parcial [11]

ÿ Conjunto independente máximo mínimo também conhecido como conjunto dominante independente mínimo[12]
Casos especiais NP-completos incluem o problema de casamento máximo mínimo,[13] que é essencialmente igual
ao problema do conjunto dominante de arestas (veja acima).
ÿ Partição em triângulos[14]
ÿ Partição em subgráficos isomórficos[15]
ÿ Partição em subgrafos hamiltonianos[16]
ÿ Divisão em florestas[17]
ÿ Particionar em correspondências perfeitas[18]
ÿ Correspondência estocástica de peso máximo de dois estágios
ÿ Problema de cobertura de cliques [1][19]
ÿ Problema de alocação de berço [carece de fontes]
ÿ Cobertura por subgráficos bipartidos completos[20]
ÿ Número Grundy[21]
Machine Lista de problemas NP-completos - Wikipedia, a enciclopédia livre
Translated by Google Página 3 de 17
ÿ Classificação de coloração também conhecida como classificação de ciclo
Largura da árvore[22] ÿ
Subgrafos e supergrafos
Clique[1][23] ÿ
ÿ Conjunto independente [24]
ÿ [citação necessária]
Subgrafo induzido com propriedade ÿ
ÿ [citação necessária]
Subgrafo conexo induzido com propriedade ÿ
ÿ Caminho induzido [25]
ÿ Subgráfico bipartido completo balanceado[26]
ÿ Subgráfico bipartido[27]
ÿ Subgrafo conectado com limite de grau[28]
ÿ Subgráfico plano[29]
Subgráfico de borda[30] ÿ
ÿ Subgráfico transitivo[31]
ÿ Subgráfico não conectado[32]
ÿ Subgráfico mínimo conectado em k[33]
ÿ Subgráfico cúbico[34]
ÿ Dígrafo equivalente mínimo[35]
ÿ Completação hamiltoniana[36]
ÿ Conclusão do gráfico de intervalo[37]
ÿ Conclusão do gráfico de caminho[38]
Ordenação de vértices
ÿ Circuito hamiltoniano [1][39]

ÿ Circuito Hamiltoniano dirigido [1][40]
ÿ Caminho hamiltoniano [41]
Largura de banda[42] ÿ
ÿ Largura de banda direcionada[43]
ÿ Arranjo linear ideal[44]

ÿ Arranjo linear ótimo direcionado[45]
ÿ Arranjo linear de corte mínimo[46]
ÿ Arranjo de árvore enraizada[47]
ÿ Ordenação de eliminação dirigida[48]
ÿ Sequência de grau de eliminação[49]
ÿ Largura do caminho,[22] ou, equivalentemente, espessura do intervalo e número de separação do vértice[50]
Iso- e outros morfismos
ÿ Isomorfismo de subgrafo[51]
ÿ Maior subgráfico comum[52]
ÿ Correspondência máxima de subgráfico[53]
ÿ Contratibilidade do gráfico[54]
Machine Lista
ÿ Homomorfismo gráfico[55]
ÿ D-morfismo Dígrafo[56]
Diversos
ÿ Caminho com pares proibidos[57]

ÿ Correspondência de múltipla escolha[58]
ÿ Numeração do gráfico Grundy[21]
Kernel[59] ÿ
K-fechamento[60] ÿ
ÿ Base do gráfico de interseção[61]
ÿ Distintores de caminho[62]
ÿ Dimensão métrica[63]
ÿ Dimensão Neškártil–Rödl[64]
ÿ Número limite[65]
ÿ Diâmetro orientado[66]
ÿ Diâmetro ponderado[67]
Design de rede
Árvores de abrangência
ÿ Árvore de abrangência com restrição de grau

ÿ Árvore de abrangência de grau mínimo
ÿ Árvore de abrangência máxima de folhas
ÿ Árvore de extensão k mínima
ÿ Árvore que abrange o comprimento total do caminho mais curto
ÿ Árvore geradora de diâmetro limitado
ÿ Árvore geradora capacitada
ÿ Árvore geradora capacitada geométrica
ÿ Árvore de abrangência de comunicação ideal
ÿ Árvore geradora isomórfica
ÿ K-ésima árvore geradora
ÿ Componente limitado que abrange a floresta
ÿ Ramificação de múltipla escolha
ÿ Árvore de
Steiner[1] ÿ Árvore geométrica de Steiner
ÿ Problema de trincheira de cabo
ÿ Árvore de toque mínimo/Corredor de comprimento mínimo
Cortes e conectividade
ÿ Particionamento de gráfico
ÿ Partição acíclica
ÿ Corte máximo [1] ÿ
Corte limitado mínimo (corte mínimo em conjuntos limitados)
ÿ Aumento de biconectividade
ÿ Forte aumento da conectividade ÿ

Confiabilidade da rede ÿ Sobrevivência da
rede
ÿ Corte normalizado
[68] ÿ Corte multidirecional
ÿ Corte k mínimo ÿ
arestas k-vitais
Problemas de roteamento
ÿ Caixeiro viajante gargalo ÿ Carteiro

chinês para grafos mistos ÿ Caixeiro viajante
euclidiano ÿ Carteiro k-chinês ÿ K arcos mais
vitais ÿ K-ésimo problema do caminho mais
curto ÿ Caixeiro viajante métrico ÿ Problema
do circuito mais longo ÿ Problema do
caminho mais longo ÿ Caixeiro viajante
colecionador de prêmios ÿ Carteiro rural ÿ
Caminho mais curto em redes gerais ÿ
Caminho mais curto com restrição de peso ÿ
Transelevador ÿ Viabilidade do caixeiro
viajante com restrição de tempo ÿ Problema
do caixeiro viajante ÿ Problema de roteamento
de veículos ÿ Problema de roteamento de
arco capacitado
Problemas de fluxo
ÿ Fluxo de custo mínimo de borda

ÿ Fluxo integral com multiplicadores ÿ
Fluxo de rede com restrição de caminho
ÿ Fluxo integral com arcos homólogos ÿ Fluxo
integral com pacotes ÿ Fluxo não direcionado
com limites inferiores ÿ Fluxo integral
direcionado de duas mercadorias ÿ Fluxo integral
não direcionado de duas mercadorias ÿ Conexão
desarticulada caminhos ÿ Caminhos disjuntos
limitados por comprimento máximo ÿ Caminhos
disjuntos máximos de comprimento fixo ÿ Problema
de interdição de rede de fluxo máximo ÿ Fluxo
multicommodity indivisível
Diversos
ÿ Problema de atribuição quadrática ÿ

Minimizando atividades fictícias em redes PERT ÿ Triangulação
restrita
Machine Lista
ÿ Gráfico de interseção para segmentos em uma grade

ÿ Incorporação de borda em uma grade
ÿ Conjunto dominante conectado geométrico
ÿ Problema de tempo mínimo de transmissão
ÿ Multicentro mín.-máx.
ÿ Multicentro de soma mínima
ÿ Localização da instalação não capacitada
ÿ Centro k métrico
Desenho do gráfico
Os gráficos ocorrem com frequência em aplicativos diários e são usados para modelar muitos dados, muitas vezes grandes. Tal
exemplos incluem redes biológicas ou sociais, que contêm centenas, milhares e até bilhões de
nós em alguns casos (veja, por exemplo, Facebook ou LinkedIn). Portanto, mesmo quando todas as informações estão disponíveis
na forma de um gráfico, é importante ter boas maneiras de visualizar os dados para dar sentido a eles e extrair recursos interessantes, e é
isso que torna importante o desenho do gráfico.
ÿ Teste de planaridade retilínea[69]

ÿ Teste de planaridade ascendente[69]
ÿ Teste de esfericidade ascendente
ÿ Computação máxima de subgrafo planar ascendente para dígrafos embutidos
Conjuntos e partições
Cobrindo, batendo e dividindo
ÿ Correspondência tridimensional[1][70]
ÿ Capa exata [1][71]
ÿ Definir embalagem[1][72]
ÿ Definir divisão[73]
ÿ Definir capa[1][74]
ÿ Conjunto de teste mínimo [75]
ÿ Definir base[76]
ÿ Conjunto de rebatidas [1][77]
ÿ Padrão de interseção[78]
ÿ Contenção comparativa[79] interseção
ÿ de 3 matróides[80]
Problemas de conjunto ponderado
Partição[1] ÿ
ÿ Soma do subconjunto
ÿ Produto de subconjunto
ÿ 3 partições
ÿ Correspondência tridimensional numérica
ÿ Correspondência numérica com somas de destino
ÿ Soma do componente esperado
ÿ Soma mínima dos quadrados

ÿ K-ésimo maior subconjunto
ÿ K-ésima maior m-tupla
Definir partições
ÿ Partição mediana
Armazenamento e recuperação
Armazenamento de dados
ÿ Embalagem do recipiente[81]
ÿ Alocação de armazenamento dinâmico[82]

ÿ Minimização de espaço trie podada[83]
ÿ Custo de recuperação esperado [84]
ÿ Atribuição de armazenamento de árvore enraizada[85]
ÿ Alocação de arquivos de cópia múltipla[86]
ÿ Atribuição de capacidade[87]
Compressão e representação
ÿ Supersequência comum mais curta[88]

ÿ Supercorda comum mais curta[89]
ÿ Maior problema de subsequência comum para o caso de um número arbitrário (ou seja, não fixo a priori ) de
sequências de entrada. (Em contraste, o tamanho do alfabeto é irrelevante, desde que seja maior que um.)[90]
ÿ Problema de correspondência de postagem limitada[91]

ÿ Batendo string[92]
ÿ Compressão de matriz esparsa[93]
ÿ Submatriz de unidades consecutivas[94]
ÿ Partição de matriz de unidades consecutivas[95]
ÿ Aumento de matriz de unidades consecutivas[96]
ÿ Minimização de blocos consecutivos[97]
ÿ Conjuntos consecutivos
ÿ [98] conjuntos consecutivos bidimensionais [99]
ÿ Correção de string para string[100]
ÿ Agrupamento por troca[101]
ÿ Compressão de dados de macro externa[102]
ÿ Compressão de dados de macro interna[103]
ÿ Substituição de expressão regular[104]
ÿ Compressão de imagem retilínea[105]
ÿ Livro de código de quantização vetorial ideal [citação necessária]
ÿ Compressão baseada em gramática mínima[ carece de fontes]
ÿ Compressão adaptável de tamanho de bloco
Problemas de banco de dados
ÿ Chave de cardinalidade mínima [106]

ÿ Chave adicional [107]
ÿ Nome do atributo principal [108]
ÿ Violação da forma normal de Boyce-Codd[109]
ÿ Dobrabilidade de consulta conjuntiva[110]
ÿ Consulta booleana conjuntiva [111]
ÿ Equivalência do Tableau[112]
ÿ Serializabilidade de históricos de banco de dados[113]
ÿ Segurança dos sistemas de transações de banco de dados[114]
ÿ Consistência das tabelas de frequência do banco de dados[115]
ÿ Segurança dos sistemas de proteção de arquivos[116]
Sequenciamento e agendamento
Sequenciamento em um processador
ÿ Sequenciamento de
tarefas[1] ÿ Sequenciamento com tempos de liberação e prazos
ÿ Sequenciamento para minimizar tarefas atrasadas
ÿ Sequenciamento para minimizar o peso atrasado
ÿ Sequenciamento para minimizar o tempo de conclusão ponderado
ÿ Sequenciamento para minimizar atrasos ponderados
ÿ Sequenciamento com prazos e tempos de configuração
ÿ Sequenciamento para minimizar o custo cumulativo máximo
Escalonamento multiprocessador
ÿ Agendamento de multiprocessador
ÿ Agendamento com restrição de precedência
ÿ Agendamento com restrição de recursos
ÿ Agendamento com prazos individuais
ÿ Agendamento preventivo
ÿ Agendamento para minimizar o tempo de conclusão ponderado
Agendamento de loja
ÿ Agendamento de loja aberta

ÿ Problema de programação do Flow Shop
ÿ Agendamento de Flow Shop sem espera
ÿ Flow Shop de dois processadores com buffer limitado
ÿ Agendamento de oficinas
Diversos
ÿ Projeto de horário
ÿ Agendamento de
equipe ÿ Planejamento de
produção ÿ Prevenção de impasse
Programação matemática
ÿ Programação linear inteira 0-1

ÿ programação linear[1] ÿ
Programação quadrática (NP-difícil em alguns casos, P se convexa) ÿ
Programação linear paramétrica de custo ÿ Extensão de base viável ÿ Hemisfério
aberto ÿ K-relevância ÿ Politopo do caixeiro viajante não- Adjacência Mochila[1]
ÿ ÿ Mochila inteira ÿ Mochila contínua de múltipla escolha ÿ Mochila parcialmente
ordenada ÿ Problema de atribuição generalizada ÿ Desigualdades vetoriais
comparativas Selecionando uma submatriz de volume máximo – Problema de
selecionar o melhor subconjunto condicionado de uma matriz mxn maior. Essa
classe de problema está associada a fatorações QR reveladoras de Rank e
desenho experimental D ótimo.[117]
ÿ Aproximação esparsa
Álgebra e teoria dos números
Problemas de divisibilidade
ÿ Congruências quadráticas ÿ
Incongruências simultâneas ÿ
Divisibilidade simultânea de polinômios lineares ÿ Divisibilidade
comparativa ÿ Divisibilidade de expressão exponencial ÿ Não
divisibilidade de um polinômio produto ÿ Máximo divisor
comum não trivial
Solvabilidade das equações
ÿ Equações diofantinas quadráticas ÿ

Equações algébricas sobre GF(2); ou sobre qualquer corpo finito. ÿ Raiz
do módulo 1 ÿ Número de raízes para um polinômio produto ÿ Relação
de recorrência de solução periódica
ÿ Polinômios univariados não lineares sobre GF[2n ], n o comprimento da entrada. De fato sobre qualquer GF [qn ].
Diversos
ÿ Avaliação permanente ÿ
Integração do produto cosseno ÿ
Ponto de equilíbrio ÿ Unificação
com operadores comutativos ÿ Unificação para
álgebras finitamente apresentadas ÿ Associação de
expressão inteira ÿ Cadeia de adição mínima
Jogos e quebra-cabeças
ÿ Conjunto de rebatidas
alternadas ÿ Combinação ponderada máxima
alternada ÿ Aniquilação ÿ Navio de guerra ÿ Touros
e vacas, comercializados como Master Mind ÿ
Clickomania (mesmo jogo) ÿ Somas cruzadas ÿ
Construção de palavras cruzadas ÿ Eternity II
Fillomino[118] ÿ
Inundar[119] ÿ
FreeCell[120] ÿ
Heyawake[121] ÿ ÿ
Insanidade
Instantânea ÿ Kakuro
Lemmings[122] ÿ ÿ
Acende ÿ Masyu
ÿ Problema de consistência do caça-minas[123]

ÿ Nurikabe ÿ
Pintar por números (Nonograma) ÿ
Jogos Rabin ÿ Sift ÿ Slither Link ÿ
Ladrilhos quadrados ÿ Sudoku ÿ Tetris
ÿ Atribuição de verdade de partição
variável ÿ Aritmética verbal
Lógica
Lógica proposicional
Problemas de lógica proposicional, em particular problemas de satisfatibilidade e suas variantes, são de particular interesse
prático porque muitos problemas práticos podem ser resolvidos expressando-os como problemas de satisfatibilidade e, em
seguida, usando solucionadores SAT eficientes para obter uma solução exata rapidamente. .
ÿ Satisfação booleana[1][124] 3-
satisfatibilidade[1][125] ÿ
ÿ 3SAT não-todos iguais [126]
ÿ Um em três 3SAT[127]
ÿ Máximo 2-satisfação[128]
ÿ Satisfação generalizada[129]
Não tautologia[130] ÿ
ÿ Forma normal disjuntiva equivalente mínima para uma determinada tabela verdade[131]
ÿ Conectivos funcionalmente completos de verdade[132]
ÿ Planar-3SAT
ÿ Monotone-3SAT
Diversos
ÿ Lógica modal S5-Satisfação

ÿ Lógica sem negação
ÿ Satisfabilidade conjuntiva com funções e desigualdades
ÿ Conjunto mínimo de axiomas
ÿ Subsunção de primeira ordem
ÿ Instanciação de segunda ordem
Autômatos e teoria da linguagem
Teoria dos autômatos
ÿ Redução de autômatos incompletamente especificados[133]

ÿ Autômato de estado finito mínimo inferido[134]
Idiomas formais
ÿ Expressão regular inferida mínima[135]

ÿ Reynolds cobrindo gramáticas livres de contexto[136]
ÿ Gramática livre de contexto não-LR(k)[137]
ÿ Associação de linguagem programada sem contexto[138]
ÿ Associação de idioma quase em tempo real[139]
Machine Lista
Geometria computacional
ÿ Testando se uma árvore pode ser representada como árvore geradora mínima euclidiana
ÿ Reconhecimento de gráfico de disco unitário (Os gráficos de disco unitário são gráficos de interseção de círculos de raio
unitário no plano)[140] ÿ Muitos planejamentos de movimento entre obstáculos poligonais no plano são NP-hard.
ÿ Particionamento planar em subconjuntos conectados: Dado um conjunto A de polígonos não sobrepostos

(mas possivelmente tocantes) no plano, decida se existe um subconjunto adequado S de A que pode ser
separado de A\S por um movimento rígido livre de colisão de S, e de modo que S e A\S estejam conectados.
[141] ÿ Problema da galeria de arte e suas variações.
Otimização do programa
Geração de código
ÿ Suficiência de registro ÿ
Atribuição de registro viável ÿ Suficiência
de registro para loops ÿ Geração de código
em uma máquina de um registro ÿ Geração de código com
registros ilimitados ÿ Geração de código para atribuições
paralelas ÿ Geração de código com expressões de endereço
ÿ Geração de código com localizações de variáveis não
fixas ÿ Computação de conjunto ÿ Otimização de bits de microcódigo
Programas e esquemas
ÿ Inequivalência de programas com arrays ÿ

Inequivalência de programas com atribuições ÿ Inequivalência
de programas de memória finita ÿ Inequivalência de programas
em loop sem aninhamento ÿ Inequivalência de funções simples ÿ
Forte inequivalência de esquemas de Ianov ÿ Forte inequivalência
para recursão monádica ÿ Não contenção para B- livre esquemas
ÿ Não-liberdade para esquemas de programa sem loops ÿ
Programas com procedimentos formalmente recursivos
Diversos
ÿ Ordenação por Reversões ÿ

Ordenação por Transposições ÿ
Ordenação por Blocos (Ordenação por Movimentos de
Blocos) ÿ Ordenação por Panquecas ÿ Ordenação Cíclica
ÿ Não vivacidade de livre escolha Redes de Petri
ÿ Acessibilidade para redes de Petri 1-conservativas

ÿ Geração de função finita ÿ Geração de permutação
ÿ Decodificação de códigos lineares ÿ Índice de
poder Shapley-Shubik ÿ Clustering ÿ Teste de
randomização para pares combinados ÿ Classificação
de máxima verossimilhança ÿ Dominação matricial
ÿ Cobertura matricial ÿ Disjunção simplesmente
desviada ÿ Decisão árvore ÿ Peso mínimo e/ou
solução gráfica ÿ Detecção de falhas em circuitos
lógicos ÿ Detecção de falhas em gráficos
direcionados ÿ Detecção de falhas com pontos de
teste
ÿ Modelo Ising tridimensional [142]
Veja também
ÿ 21 problemas NP-completos de Karp ÿ

Lista de problemas PSPACE-completos
Notas
^ abcdefghijklmnopqrstu 1.
Karp (1972)
2. ^ Garey & Johnson (1979): GT1
7. ^ Garey & Johnson (1979): GT5 8.
^ Garey & Johnson (1979): GT6 9. ^
Garey & Johnson (1979): GT7 10. ^
Garey & Johnson (1979): GT8 11 . ^
Conjunto de Dominação Independente Mínima (http://www.csc.kth.se/~viggo/wwwcompendium/node14.html)
20. ^ Garey & Johnson (1979): GT18 ^
ab 21.
Garey & Johnson (1979): GT56
^ ab 22.
Arnborg, Corneil & Proskurowski (1987)
Machine Lista
28. ^ Garey & Johnson (1979): GT26 29.

^ Garey & Johnson (1979): GT27 30. ^
Garey & Johnson ( 1979): GT39 42. ^
Kashiwabara & Fujisawa (1979) )); Otsuki et ai. (1979); Lengauer (1981).
51. ^ Garey & Johnson (1979): GT48 52.
^ Garey & Johnson (1979): GT49 53. ^
Garey & Johnson ( 1979): GT62 65. ^
Garey & Johnson (1979): GT65 68.
^ "Cortes normalizados e segmentação de imagens" (http://www.cs.berkeley.edu/~malik/papers/SM-ncut.pdf) .
IEEE. 20 de outubro de 2009. http://www.cs.berkeley.edu/~malik/papers/SM-ncut.pdf. ^
69. ab "Sobre a complexidade computacional do teste de planaridade ascendente e
retilínea". Notas de aula em
Ciência da Computação. 894/1995. 1995. pp. 286-297. doi:10.1007/3-540-58950-3_384
(http://dx.doi.org/10.1007%2F3-540-58950-3_384) .
70. ^ Garey & Johnson (1979): SP1 71.
^ Garey & Johnson (1979): SP2 72. ^
Garey & Johnson (1979): SP3 73. ^
Garey & Johnson (1979): SP9 79 . ^
Garey & Johnson (1979): SR1
82. ^ Garey & Johnson (1979): SR2 83.

^ Garey & Johnson (1979): SR3 84. ^
Garey & Johnson (1979): SR4 85. ^
Garey & Johnson (1979): SR10 91 . ^
Garey & Johnson ( 1979): SR15 96. ^
Garey & Johnson (1979): SR19 100. Rey
Garey & Johnson (1979) ) ): SR24 105. ^
Garey & Joh nson (1979): SR30 111. ^
http://www.cs.rpi.edu/~civria/max-vol-inappr.pdf 118.
^
Yato, Takauki (2003). "Complexidade e completude de encontrar outra solução e sua aplicação para
Quebra-cabeças" (http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.103.8380&rep=rep1&type=pdf).
http://citeseerx.ist.psu.edu/viewdoc/download?doi= 10.1.1.103.8380&rep=rep1&type=pdf.
119. ^ R. Clifford, M. Jalsenius, A. Montanaro e B. Sach (2010-08-19). A Complexidade dos Jogos de Preenchimento
de Inundações. arXiv:1001.4420 (http://arxiv.org/abs/1001.4420) .
120. ÿ Malte Helmert, Complexity results for standard benchmark domains in planning, Artificial Intelligence Journal
143(2):219-262, 2003.
121. ^ Holzer & Ruepp (2007) 122.
^ Cormode, Graham (2004). "A dureza do jogo dos lemingues, ou Oh não, mais provas de NP-completude" (http://
dimacs.rutgers.edu/~graham/pubs/papers/cormodelemmings.pdf) . http://dimacs.rutgers.edu/~graham/pubs/
papers/cormodelemmings.pdf. 123. ^ Kaye (2000)
124. ^ Garey & Johnson (1979): LO1 125.

^ Garey & Johnson (1979): LO2 126. ^
Garey & Johnson (1979): LO3 127. ^
Garey & Johnson (1979): LO10
133. ^ Garey & Johnson (1979): AL7

140. ^ H. Breu e David G. Kirkpatrick. "O reconhecimento de gráfico de unidade de disco é NP-hard." Computar. Geom.
Theory Appl., 9(1-2):3-24, 1998
141. ^ "A montagem em duas partes conectadas é NP-completa", Inf. Proc. Cartas 55 (1995), 159-165.
142. ^ Barry A. Cipra, "The Ising Model Is NP-Complete", SIAM News, Vol 33, No 6.
Referências
ÿ Garey, Michael R.; Johnson, David S. (1979), Computers and Intractability: A Guide to the Theory of NP-
Completeness, WH Freeman, ISBN 0-7167-1045-5. Este livro é um clássico, desenvolvendo a teoria e, em
seguida, catalogando muitos problemas NP-Completos.
ÿ Cook, SA (1971). "A complexidade dos procedimentos de prova de teoremas". Anais, Terceiro Simpósio
Anual da ACM sobre a Teoria da Computação, ACM, Nova York. págs. 151-158. doi:10.1145/800157.805047
(http://dx.doi.org/10.1145%2F800157.805047) .
ÿ Karp, Richard M. (1972). "Redutibilidade entre problemas combinatórios". Em Miller, Raymond E.; Thatcher,
James W.. Complexidade de Computações Computacionais. Pleno. págs. 85-103.
ÿ Dunne, PE. "Uma lista anotada de problemas NP-completos
selecionados" (http://www.csc.liv.ac.uk/~ped/teachadmin/COMP202/annotated_np.html) .
COMP202, Departamento de Ciência da Computação, Universidade de
Liverpool. http://www.csc.liv.ac.uk/~ped/teachadmin/COMP202/annotated_np.html. Recuperado em 2008-06-
21.
ÿ Crescenzi, P.; Kann, V.; Halldorsson, M.; Karpinski, M.; Woeginger, G. "Um compêndio de problemas de
otimização NP" (http://www.nada.kth.se/~viggo/problemlist/compendium.html).
KTH NADA, Estocolmo. http://www.nada.kth.se/~viggo/problemlist/compendium.html.
Recuperado em 21/06/2008.
ÿ Dahlke, K. "NP complete problems" (http://www.mathreference.com/lan-cx-np,intro.html).
Projeto de referência matemática. http://www.mathreference.com/lan-cx-np,intro.html. Recuperado em 2008-
06-21.
ÿ Friedman, E (2002). "Quebra-cabeças de pérolas
são NP completos" (http://www.stetson.edu/~efriedma/papers/pearl/pearl.html) . Stetson University, DeLand,
Flórida. http://www.stetson.edu/~efriedma/papers/pearl/pearl.html. Recuperado em 2008-
06-21.
ÿ Holzer, Markus; Ruepp, Oliver (2007). "Os problemas do design de interiores - uma análise de
complexidade do jogo Heyawake". Proceedings, 4th International Conference on Fun with Algorithms,
LNCS 4475. Springer, Berlin/Heidelberg. págs. 198–212. doi:10.1007/978-3-540-
72914-3_18 (http://dx.doi.org/10.1007%2F978-3-540-72914-3_18) . ISBN 978-3-540-72913-
6.
ÿ Kaye, Richard (2000). "O Campo Minado é NP-completo". Inteligência Matemática 22 (2): 9–
15. doi:10.1007/BF03025367 (http://dx.doi.org/10.1007%2FBF03025367). Mais
informações disponíveis online nas páginas do Campo Minado de Richard Kaye (http://
web.mat.bham.ac.uk/RWKaye/minesw/).
ÿ Kashiwabara, T.; Fujisawa, T. (1979). "NP-completude do problema de encontrar um grafo de
intervalo de número mínimo de cliques contendo um dado grafo como um subgrafo". Proc.
Simpósio Internacional de Circuitos e Sistemas. págs. 657-660.
ÿ Ohtsuki, Tatsuo; Mori, Hajimu; Kuh, Ernest S.; Kashiwabara, Toshinobu; Fujisawa, Toshio (1979). "Atribuição de
porta lógica unidimensional e gráficos de intervalo". IEEE Transactions on Circuits and Systems 26 (9): 675– 684.
doi: 10.1109/TCS.1979.1084695 (http://dx.doi.org/10.1109%2FTCS.1979.1084695).
ÿ Lengauer, Thomas (1981). "Seixos preto-branco e separação de gráfico". Acta Informatica 16

(4): 465-475. doi:10.1007/BF00264496 (http://dx.doi.org/10.1007%2FBF00264496) .
ÿ Arnborg, Stefan; Corneil, Derek G.; Proskurowski, Andrzej (1987). "Complexidade de encontrar embeddings em
uma árvore $k$". SIAM Journal on Algebraic and Discrete Methods 8 (2): 277–284. doi:10.1137/0608024 (http://
dx.doi.org/10.1137%2F0608024) .
ÿ Cormode, Graham (2004). "A dureza do jogo dos lemingues, ou Oh não, mais provas de completude
NP". Anais da Terceira Conferência Internacional sobre Diversão com Algoritmos (FUN 2004). págs. 65-76.
Recuperado de "http://en.wikipedia.org/w/index.php?title=List_of_NP
complete_problems&oldid=462834938"
Categorias: Listas relacionadas à matemática Problemas NP-completos
ÿ Esta página foi modificada pela última vez em 28 de novembro de 2011 às 02:59.
ÿ O texto está disponível sob a Licença Creative Commons Attribution-ShareAlike; termos adicionais podem ser
aplicados. Consulte os Termos de uso para obter detalhes.
Wikipedia® é uma marca registrada da Wikimedia Foundation, Inc., uma organização sem fins lucrativos.

List of NP-complete Problems

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

List of NP-complete Problems

Enviado por

Direitos autorais:

Formatos disponíveis

Machine Lista de problemas

Translated NP-completos - Wikipedia, a enciclopédia livre

Lista de problemas NP-completos

ÿ 10.2 Idiomas formais

Teoria dos grafos

ÿ Conjunto dominante, também conhecido como número de dominação[3]

ÿ Partição domática, também conhecida como número domático[4]

Este é o mesmo problema de colorir o complemento do gráfico dado.[6]

ÿ Coloração completa, também conhecida como número acromático[7]

ÿ Arco de feedback definido[1][10]

ÿ Conjunto de borda de feedback parcial [11]

ÿ Classificação de coloração também conhecida como classificação de ciclo

ÿ Circuito hamiltoniano [1][39]

ÿ Arranjo linear ideal[44]

Iso- e outros morfismos

ÿ Caminho com pares proibidos[57]

ÿ Árvore de abrangência com restrição de grau

ÿ Forte aumento da conectividade ÿ

ÿ Caixeiro viajante gargalo ÿ Carteiro

ÿ Fluxo de custo mínimo de borda

ÿ Problema de atribuição quadrática ÿ

ÿ Gráfico de interseção para segmentos em uma grade

ÿ Teste de planaridade retilínea[69]

Cobrindo, batendo e dividindo

Problemas de conjunto ponderado

ÿ Soma mínima dos quadrados

ÿ Alocação de armazenamento dinâmico[82]

ÿ Supersequência comum mais curta[88]

ÿ Problema de correspondência de postagem limitada[91]

Problemas de banco de dados

ÿ Chave de cardinalidade mínima [106]

ÿ Agendamento de loja aberta

ÿ Programação linear inteira 0-1

Álgebra e teoria dos números

Solvabilidade das equações

ÿ Equações diofantinas quadráticas ÿ

ÿ Problema de consistência do caça-minas[123]

ÿ Lógica modal S5-Satisfação

Autômatos e teoria da linguagem

Teoria dos autômatos

ÿ Redução de autômatos incompletamente especificados[133]

ÿ Expressão regular inferida mínima[135]

ÿ Particionamento planar em subconjuntos conectados: Dado um conjunto A de polígonos não sobrepostos

ÿ Inequivalência de programas com arrays ÿ

ÿ Ordenação por Reversões ÿ

ÿ Acessibilidade para redes de Petri 1-conservativas

ÿ Modelo Ising tridimensional [142]

ÿ 21 problemas NP-completos de Karp ÿ

28. ^ Garey & Johnson (1979): GT26 29.

82. ^ Garey & Johnson (1979): SR2 83.

124. ^ Garey & Johnson (1979): LO1 125.

133. ^ Garey & Johnson (1979): AL7

ÿ Lengauer, Thomas (1981). "Seixos preto-branco e separação de gráfico". Acta Informatica 16

Você também pode gostar