SlideShare uma empresa Scribd logo
1 de 3
Baixar para ler offline
1º NPC
                  CT907 – Complexidade de Algoritmos
                    prof. Jerffeson Teixeira de Souza
                   Data de Entrega: 04 de Novembro



Q1.     Responda as seguintes questões sobre classes de problemas:
          a) Defina as classes de problemas P, NP, NPI, NPC (NP-Completo) e
             NPD (NP-Difícil).
          b) Apresente pelo menos dois exemplos de problemas que pertencem
             a cada uma das classes descritas acima.
          c) Discuta a questão “P = NP ?”.

Q2.     Suponha que existem 4 problemas: A, B, C e D. Cada um desses
        problemas pode ou não pertencer a classe NP. No entanto, sabemos o
        seguinte sobre eles:
   i.   Existe uma redução em tempo polinominal de A para B.
  ii.   Existe uma redução em tempo polinominal de B para C.
 iii.   Existe uma redução em tempo polinominal de D para C.

Avalie, justificando sua resposta, cada afirmação abaixo como:
      Com certeza é verdadeira, independentemente de quais são os
      problemas A, B, C e D, e independentemente da veracidade de
      relacionamentos entre as classes de problemas, como “P = NP?”.
      Talvez seja verdadeira, dependendo de quais são os problemas A, B, C e
      D, e /ou dependendo da veracidade de relacionamentos entre as classes
      de problemas, como “P = NP?”.
      Nunca é verdadeira, independente de quais são os problemas A, B, C e
      D, e independentemente da veracidade de relacionamentos entre as
      classes de problemas, como “P = NP?”.
          a) B é NP-Completo e D está em P
          b) Se A é NP-Completo então C é NP-Completo
          c) Se C está em P então D está em P
          d) Se A é NP-Completo e B está em NP, então B é NP-Completo
          e) A é NP-Completo e C está em P
Q3.   Considere o problema SUBSET_SUM: Dada uma seqüência de números
      não negativos a1,...,an,T , decide se existe um subconjunto S {1,...,n} tal
      que i S ai = T. O problema SUBSET-SUM é NP-Completo.

      Agora considere o seguinte problema:

      PARTITION: Dada uma seqüência de números não negativos b1,...,bm ,
      decide se existe uma partição de {1,...,m} em dois subconjuntos disjuntos
      U e V tal que i U bi = j V bj, ou seja, deseja-se saber se existe uma
      maneira de dividir a seqüência b1,...,bm em duas subseqüências
      disjuntos que quando somadas tem o mesmo valor.

        a) Prove que o problema PARTITION é NP-Completo.
        b) Suponha que existe um algoritmo de tempo polinomial (PART) que
           resolve PARTITION. Descreva um algoritmo de tempo polinomial
           (PART_SEARCH) que, usando o algoritmo PART, resolve a versão
           de busca do problema PARTITION, ou seja, dado b1,...,bm , seu
           algoritmo PART_SEARCH deve retornar uma partição de {1,...,m}
           em dois subconjuntos disjuntos U e V tais que i U bi = j V bj, ou
           retornar “Sem solução” se nenhum particionamento é possível.
           (Dica: pense em uma forma de verificar se dois números da
           seqüência podem pertencer ao mesmo subconjunto da partição).

Q4.    Um conjunto independente de um grafo G = (V, E) é um subconjunto
       V´ V de vértices, tal que cada aresta em E é incidente em no máximo
       um vértice em V´. O problema do conjunto independente é encontrar
       um conjunto independente de tamanho máximo em G.
      a) Formule um problema de decisão relacionado para o problema do
         conjunto independente e prove que ele é NP-Completo.
         Dica: Use uma redução a partir do problema do Clique.
      b) Vamos supor que você recebeu uma sub-rotina de “caixa-preta” para
         resolver o problema de decisão que definiu na parte (a). Forneça um
         algoritmo para encontrar um conjunto independente de tamanho
         máximo. O tempo de execução de seu algoritmo deve ser polinomial
         em |V| e |E|, onde consultas à caixa preta são contadas como um
         único passo.
      c) Forneça um algoritmo eficiente para resolver o problema do conjunto
         independente quando cada vértice em G tem grau 2. Analise o tempo
         de execução e prove que seu algoritmo funciona corretamente.
Q5.   Considere o seguinte problema:
      HALF-CLIQUE = { G : G é um grafo não direcionado que possui um
      clique com exatamente n/2 vértices, onde n é um número par e
      representa o número de vértices de G. }
      Mostre que HALF-CLIQUE NPC.

Q6.   O problema do Isomorfismo de Grafos é um famoso problema em NPI.
      Seja então ISO_GRAF = { G , H |G e H são isomorfos}.
      Mostre que ISO_GRAF NP.

Q7.   O problema do Isomorfismo de SubGrafos pode ser definido da
      seguinte forma:
      ISO_SUBGRAF = { G , H |G é isomorfo à um subgrafo de H}.
      Mostre que ISO_SUBGRAF NPC.
      Dica: Use uma redução a partir do problema do Clique.

Q8.   Considere o problema do conjunto dominante como definido abaixo:
      CONJ_DOM = { G,k : G tem um conjunto dominante de k nós, ou seja,
      existe um subconjunto de nós de G de k nós, onde todo outro nó de G é
      adjacente a algum nó do subconjunto. }
      Mostre que CONJ_DOM NPC.
      Dica: Use uma redução a partir do problema da cobertura de vértices.

                                                                Boa Sorte !!

Mais conteúdo relacionado

Mais procurados

Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematicawab030
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipiowab030
 
Set packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set PackingSet packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set PackingHugo Santos
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica iiwab030
 
2º/2012 - Prova 03 de Autômatos e Computabilidade
2º/2012 - Prova 03 de Autômatos e Computabilidade2º/2012 - Prova 03 de Autômatos e Computabilidade
2º/2012 - Prova 03 de Autômatos e Computabilidadeshichibukai_01
 
Relações de recorrência
Relações de recorrênciaRelações de recorrência
Relações de recorrênciaPablo Silva
 
Recursividade em C
Recursividade em CRecursividade em C
Recursividade em CCaique Silva
 
Cederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrangeCederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrangeIgor Titara
 
Indução Matemática - Exemplos
Indução Matemática - ExemplosIndução Matemática - Exemplos
Indução Matemática - ExemplosCarlos Campani
 
Teoría y Problemas de Calculo Integral souza-ccesa007
Teoría y Problemas de Calculo Integral souza-ccesa007Teoría y Problemas de Calculo Integral souza-ccesa007
Teoría y Problemas de Calculo Integral souza-ccesa007Demetrio Ccesa Rayme
 
Apostila de Aritmética Modular
Apostila de Aritmética ModularApostila de Aritmética Modular
Apostila de Aritmética Modularmarcobazuca
 
Apostila tcc
Apostila tccApostila tcc
Apostila tccapfheob
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasUlrich Schiel
 

Mais procurados (20)

Aula 8 inducao matematica
Aula 8   inducao matematicaAula 8   inducao matematica
Aula 8 inducao matematica
 
Aula 7 inducao matematica-primeiroprincipio
Aula 7   inducao matematica-primeiroprincipioAula 7   inducao matematica-primeiroprincipio
Aula 7 inducao matematica-primeiroprincipio
 
Set packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set PackingSet packing - NP Proof / Prova NP Set Packing
Set packing - NP Proof / Prova NP Set Packing
 
Aula 9 inducao matematica ii
Aula 9   inducao matematica iiAula 9   inducao matematica ii
Aula 9 inducao matematica ii
 
2º/2012 - Prova 03 de Autômatos e Computabilidade
2º/2012 - Prova 03 de Autômatos e Computabilidade2º/2012 - Prova 03 de Autômatos e Computabilidade
2º/2012 - Prova 03 de Autômatos e Computabilidade
 
4 dualidade
4 dualidade4 dualidade
4 dualidade
 
Relações de recorrência
Relações de recorrênciaRelações de recorrência
Relações de recorrência
 
Conjunto máximo independente de vértices
Conjunto máximo independente de vérticesConjunto máximo independente de vértices
Conjunto máximo independente de vértices
 
Recursividade em C
Recursividade em CRecursividade em C
Recursividade em C
 
Teste Derivadas
Teste DerivadasTeste Derivadas
Teste Derivadas
 
Cederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrangeCederj máximos e minimos multiplicadores de lagrange
Cederj máximos e minimos multiplicadores de lagrange
 
Indução Matemática - Exemplos
Indução Matemática - ExemplosIndução Matemática - Exemplos
Indução Matemática - Exemplos
 
Teoría y Problemas de Calculo Integral souza-ccesa007
Teoría y Problemas de Calculo Integral souza-ccesa007Teoría y Problemas de Calculo Integral souza-ccesa007
Teoría y Problemas de Calculo Integral souza-ccesa007
 
Demonstrações
DemonstraçõesDemonstrações
Demonstrações
 
Lista 1 - FUV - Resolução
Lista 1 - FUV - ResoluçãoLista 1 - FUV - Resolução
Lista 1 - FUV - Resolução
 
Apostila de Aritmética Modular
Apostila de Aritmética ModularApostila de Aritmética Modular
Apostila de Aritmética Modular
 
Apostila tcc
Apostila tccApostila tcc
Apostila tcc
 
4 groebner danton4 dissertacao
4 groebner danton4 dissertacao4 groebner danton4 dissertacao
4 groebner danton4 dissertacao
 
Matemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivasMatemática Discreta - Parte III definicoes indutivas
Matemática Discreta - Parte III definicoes indutivas
 
Recursividade
RecursividadeRecursividade
Recursividade
 

Destaque

Filosofía de los ambientes virtuales de aprendizaje
Filosofía de los ambientes virtuales de aprendizajeFilosofía de los ambientes virtuales de aprendizaje
Filosofía de los ambientes virtuales de aprendizajeSERGIO DARIO URIBE MEDINA
 
Los derechos humanos en EEUU 2012- Registrto de RP China
Los derechos humanos en EEUU 2012- Registrto de RP ChinaLos derechos humanos en EEUU 2012- Registrto de RP China
Los derechos humanos en EEUU 2012- Registrto de RP Chinagabibelen
 
Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausura
 Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausura Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausura
Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausurac09271
 
Devil may cry 3 (PS2)
Devil may cry 3 (PS2)Devil may cry 3 (PS2)
Devil may cry 3 (PS2)grandjogos
 
Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...
Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...
Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...c09271
 
As necessidades dos empreendedores
As necessidades dos empreendedoresAs necessidades dos empreendedores
As necessidades dos empreendedoresTRIZ XXI
 
Utp sirn_s2_rna 2014-2
 Utp sirn_s2_rna 2014-2 Utp sirn_s2_rna 2014-2
Utp sirn_s2_rna 2014-2c09271
 
Night Light Cities
Night Light CitiesNight Light Cities
Night Light CitiesTom Kuipers
 
Tarea 1 beneficios web 2 washington cando
Tarea 1 beneficios web 2 washington candoTarea 1 beneficios web 2 washington cando
Tarea 1 beneficios web 2 washington candoN Doce Moya
 
Acta n°. 11 (decima primera)(01 junio 2011)
 Acta n°. 11 (decima primera)(01 junio 2011) Acta n°. 11 (decima primera)(01 junio 2011)
Acta n°. 11 (decima primera)(01 junio 2011)elotago
 

Destaque (20)

Filosofía de los ambientes virtuales de aprendizaje
Filosofía de los ambientes virtuales de aprendizajeFilosofía de los ambientes virtuales de aprendizaje
Filosofía de los ambientes virtuales de aprendizaje
 
Los derechos humanos en EEUU 2012- Registrto de RP China
Los derechos humanos en EEUU 2012- Registrto de RP ChinaLos derechos humanos en EEUU 2012- Registrto de RP China
Los derechos humanos en EEUU 2012- Registrto de RP China
 
Alfabetismo en medios
Alfabetismo en mediosAlfabetismo en medios
Alfabetismo en medios
 
Herrera marcelo 6_b_T8
Herrera marcelo 6_b_T8Herrera marcelo 6_b_T8
Herrera marcelo 6_b_T8
 
Presentacion ponencia 1
Presentacion ponencia 1Presentacion ponencia 1
Presentacion ponencia 1
 
Juego de scratch copia (3)
Juego de scratch   copia (3)Juego de scratch   copia (3)
Juego de scratch copia (3)
 
Gafas inteligentes
Gafas inteligentesGafas inteligentes
Gafas inteligentes
 
120468821 excel2010
120468821 excel2010120468821 excel2010
120468821 excel2010
 
Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausura
 Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausura Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausura
Utp pd_iy_va_sap6y7 diltacion y erosión binaria - apertura y clausura
 
One to ten in maori
One to ten in maoriOne to ten in maori
One to ten in maori
 
Devil may cry 3 (PS2)
Devil may cry 3 (PS2)Devil may cry 3 (PS2)
Devil may cry 3 (PS2)
 
Herrera marcelo 6_b_T5
Herrera marcelo 6_b_T5Herrera marcelo 6_b_T5
Herrera marcelo 6_b_T5
 
Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...
Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...
Uni fiee scm sesion 08 modelos empiricos de prediccion de propagación para mi...
 
As necessidades dos empreendedores
As necessidades dos empreendedoresAs necessidades dos empreendedores
As necessidades dos empreendedores
 
Utp sirn_s2_rna 2014-2
 Utp sirn_s2_rna 2014-2 Utp sirn_s2_rna 2014-2
Utp sirn_s2_rna 2014-2
 
Night Light Cities
Night Light CitiesNight Light Cities
Night Light Cities
 
10 normas
10 normas10 normas
10 normas
 
Uai Test - Quebrando o Paradigma do Agile Testing
Uai Test - Quebrando o Paradigma do Agile TestingUai Test - Quebrando o Paradigma do Agile Testing
Uai Test - Quebrando o Paradigma do Agile Testing
 
Tarea 1 beneficios web 2 washington cando
Tarea 1 beneficios web 2 washington candoTarea 1 beneficios web 2 washington cando
Tarea 1 beneficios web 2 washington cando
 
Acta n°. 11 (decima primera)(01 junio 2011)
 Acta n°. 11 (decima primera)(01 junio 2011) Acta n°. 11 (decima primera)(01 junio 2011)
Acta n°. 11 (decima primera)(01 junio 2011)
 

Semelhante a Classes de problemas, NP-completude e algoritmos para problemas de grafos

Análise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-CompletosAnálise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-CompletosDelacyr Ferreira
 
09 problemas de grafos np-completos
09 problemas de grafos np-completos09 problemas de grafos np-completos
09 problemas de grafos np-completosYuri Passos
 
Subgraph Isomorphism - NP Proof / Prova NP Isomorfismo em Subgrafo
Subgraph Isomorphism  - NP Proof / Prova NP Isomorfismo em SubgrafoSubgraph Isomorphism  - NP Proof / Prova NP Isomorfismo em Subgrafo
Subgraph Isomorphism - NP Proof / Prova NP Isomorfismo em SubgrafoHugo Santos
 
18 algoritmos de busca de palavras em texto
18   algoritmos de busca de palavras em texto18   algoritmos de busca de palavras em texto
18 algoritmos de busca de palavras em textoRicardo Bolanho
 
2013 lpp-aulas praticas
2013 lpp-aulas praticas2013 lpp-aulas praticas
2013 lpp-aulas praticasJota Thin
 
Estudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptx
Estudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptxEstudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptx
Estudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptxHermanoPeixoto
 
Classes de complexidades de problemas
Classes de complexidades de problemasClasses de complexidades de problemas
Classes de complexidades de problemasDavid Achahui Perez
 
616a9aa93f9554aa9a9550f5bd9a16147866a87d
616a9aa93f9554aa9a9550f5bd9a16147866a87d616a9aa93f9554aa9a9550f5bd9a16147866a87d
616a9aa93f9554aa9a9550f5bd9a16147866a87dMariza Roberto
 
Sucessões: Exercícios Resolvidos
Sucessões: Exercícios ResolvidosSucessões: Exercícios Resolvidos
Sucessões: Exercícios Resolvidosnumerosnamente
 
Aritmética - Aula 5 - Algoritmo de Euclides
Aritmética - Aula 5 - Algoritmo de EuclidesAritmética - Aula 5 - Algoritmo de Euclides
Aritmética - Aula 5 - Algoritmo de EuclidesLuciana Martino
 
Sistemas lineares
Sistemas linearesSistemas lineares
Sistemas linearescon_seguir
 
Ala.2016.2 lista1 (1) - Álgebra Linear - Matrizes
Ala.2016.2 lista1 (1) - Álgebra Linear - MatrizesAla.2016.2 lista1 (1) - Álgebra Linear - Matrizes
Ala.2016.2 lista1 (1) - Álgebra Linear - Matrizesvanilsonsertao01
 
Listadeexerciciodefunoexponencial 110517203544-phpapp01
Listadeexerciciodefunoexponencial 110517203544-phpapp01Listadeexerciciodefunoexponencial 110517203544-phpapp01
Listadeexerciciodefunoexponencial 110517203544-phpapp01RONEY13JOSE
 
Lista de exercicio de funcao exponencial
Lista de exercicio de funcao exponencialLista de exercicio de funcao exponencial
Lista de exercicio de funcao exponencialCleidison Melo
 
Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017Estratégia Concursos
 
Projeto, execução. Desmistificando o ensino de Funções Quadráticas.
Projeto, execução. Desmistificando o ensino de Funções Quadráticas.Projeto, execução. Desmistificando o ensino de Funções Quadráticas.
Projeto, execução. Desmistificando o ensino de Funções Quadráticas.Adrienne Oliveira
 

Semelhante a Classes de problemas, NP-completude e algoritmos para problemas de grafos (20)

Análise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-CompletosAnálise de Algoritmos - Mais problemas NP-Completos
Análise de Algoritmos - Mais problemas NP-Completos
 
09 problemas de grafos np-completos
09 problemas de grafos np-completos09 problemas de grafos np-completos
09 problemas de grafos np-completos
 
Subgraph Isomorphism - NP Proof / Prova NP Isomorfismo em Subgrafo
Subgraph Isomorphism  - NP Proof / Prova NP Isomorfismo em SubgrafoSubgraph Isomorphism  - NP Proof / Prova NP Isomorfismo em Subgrafo
Subgraph Isomorphism - NP Proof / Prova NP Isomorfismo em Subgrafo
 
18 algoritmos de busca de palavras em texto
18   algoritmos de busca de palavras em texto18   algoritmos de busca de palavras em texto
18 algoritmos de busca de palavras em texto
 
2013 lpp-aulas praticas
2013 lpp-aulas praticas2013 lpp-aulas praticas
2013 lpp-aulas praticas
 
NÚMEROS COMPLEXOS - PARTE 01
NÚMEROS COMPLEXOS - PARTE 01NÚMEROS COMPLEXOS - PARTE 01
NÚMEROS COMPLEXOS - PARTE 01
 
Estudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptx
Estudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptxEstudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptx
Estudos sobre PROBLEMAS P-NP-NP-COMPLETO.pptx
 
Classes de complexidades de problemas
Classes de complexidades de problemasClasses de complexidades de problemas
Classes de complexidades de problemas
 
616a9aa93f9554aa9a9550f5bd9a16147866a87d
616a9aa93f9554aa9a9550f5bd9a16147866a87d616a9aa93f9554aa9a9550f5bd9a16147866a87d
616a9aa93f9554aa9a9550f5bd9a16147866a87d
 
Apostila clic2
Apostila clic2Apostila clic2
Apostila clic2
 
Sucessões: Exercícios Resolvidos
Sucessões: Exercícios ResolvidosSucessões: Exercícios Resolvidos
Sucessões: Exercícios Resolvidos
 
Aritmética - Aula 5 - Algoritmo de Euclides
Aritmética - Aula 5 - Algoritmo de EuclidesAritmética - Aula 5 - Algoritmo de Euclides
Aritmética - Aula 5 - Algoritmo de Euclides
 
Intervalos Reais, Relações e Funções (AP 03)
Intervalos Reais, Relações e Funções (AP 03)Intervalos Reais, Relações e Funções (AP 03)
Intervalos Reais, Relações e Funções (AP 03)
 
Sistemas lineares
Sistemas linearesSistemas lineares
Sistemas lineares
 
Ala.2016.2 lista1 (1) - Álgebra Linear - Matrizes
Ala.2016.2 lista1 (1) - Álgebra Linear - MatrizesAla.2016.2 lista1 (1) - Álgebra Linear - Matrizes
Ala.2016.2 lista1 (1) - Álgebra Linear - Matrizes
 
Listadeexerciciodefunoexponencial 110517203544-phpapp01
Listadeexerciciodefunoexponencial 110517203544-phpapp01Listadeexerciciodefunoexponencial 110517203544-phpapp01
Listadeexerciciodefunoexponencial 110517203544-phpapp01
 
Lista de exercicio de funcao exponencial
Lista de exercicio de funcao exponencialLista de exercicio de funcao exponencial
Lista de exercicio de funcao exponencial
 
Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017
 
Projeto, execução. Desmistificando o ensino de Funções Quadráticas.
Projeto, execução. Desmistificando o ensino de Funções Quadráticas.Projeto, execução. Desmistificando o ensino de Funções Quadráticas.
Projeto, execução. Desmistificando o ensino de Funções Quadráticas.
 
Apostila
ApostilaApostila
Apostila
 

Classes de problemas, NP-completude e algoritmos para problemas de grafos

  • 1. 1º NPC CT907 – Complexidade de Algoritmos prof. Jerffeson Teixeira de Souza Data de Entrega: 04 de Novembro Q1. Responda as seguintes questões sobre classes de problemas: a) Defina as classes de problemas P, NP, NPI, NPC (NP-Completo) e NPD (NP-Difícil). b) Apresente pelo menos dois exemplos de problemas que pertencem a cada uma das classes descritas acima. c) Discuta a questão “P = NP ?”. Q2. Suponha que existem 4 problemas: A, B, C e D. Cada um desses problemas pode ou não pertencer a classe NP. No entanto, sabemos o seguinte sobre eles: i. Existe uma redução em tempo polinominal de A para B. ii. Existe uma redução em tempo polinominal de B para C. iii. Existe uma redução em tempo polinominal de D para C. Avalie, justificando sua resposta, cada afirmação abaixo como: Com certeza é verdadeira, independentemente de quais são os problemas A, B, C e D, e independentemente da veracidade de relacionamentos entre as classes de problemas, como “P = NP?”. Talvez seja verdadeira, dependendo de quais são os problemas A, B, C e D, e /ou dependendo da veracidade de relacionamentos entre as classes de problemas, como “P = NP?”. Nunca é verdadeira, independente de quais são os problemas A, B, C e D, e independentemente da veracidade de relacionamentos entre as classes de problemas, como “P = NP?”. a) B é NP-Completo e D está em P b) Se A é NP-Completo então C é NP-Completo c) Se C está em P então D está em P d) Se A é NP-Completo e B está em NP, então B é NP-Completo e) A é NP-Completo e C está em P
  • 2. Q3. Considere o problema SUBSET_SUM: Dada uma seqüência de números não negativos a1,...,an,T , decide se existe um subconjunto S {1,...,n} tal que i S ai = T. O problema SUBSET-SUM é NP-Completo. Agora considere o seguinte problema: PARTITION: Dada uma seqüência de números não negativos b1,...,bm , decide se existe uma partição de {1,...,m} em dois subconjuntos disjuntos U e V tal que i U bi = j V bj, ou seja, deseja-se saber se existe uma maneira de dividir a seqüência b1,...,bm em duas subseqüências disjuntos que quando somadas tem o mesmo valor. a) Prove que o problema PARTITION é NP-Completo. b) Suponha que existe um algoritmo de tempo polinomial (PART) que resolve PARTITION. Descreva um algoritmo de tempo polinomial (PART_SEARCH) que, usando o algoritmo PART, resolve a versão de busca do problema PARTITION, ou seja, dado b1,...,bm , seu algoritmo PART_SEARCH deve retornar uma partição de {1,...,m} em dois subconjuntos disjuntos U e V tais que i U bi = j V bj, ou retornar “Sem solução” se nenhum particionamento é possível. (Dica: pense em uma forma de verificar se dois números da seqüência podem pertencer ao mesmo subconjunto da partição). Q4. Um conjunto independente de um grafo G = (V, E) é um subconjunto V´ V de vértices, tal que cada aresta em E é incidente em no máximo um vértice em V´. O problema do conjunto independente é encontrar um conjunto independente de tamanho máximo em G. a) Formule um problema de decisão relacionado para o problema do conjunto independente e prove que ele é NP-Completo. Dica: Use uma redução a partir do problema do Clique. b) Vamos supor que você recebeu uma sub-rotina de “caixa-preta” para resolver o problema de decisão que definiu na parte (a). Forneça um algoritmo para encontrar um conjunto independente de tamanho máximo. O tempo de execução de seu algoritmo deve ser polinomial em |V| e |E|, onde consultas à caixa preta são contadas como um único passo. c) Forneça um algoritmo eficiente para resolver o problema do conjunto independente quando cada vértice em G tem grau 2. Analise o tempo de execução e prove que seu algoritmo funciona corretamente.
  • 3. Q5. Considere o seguinte problema: HALF-CLIQUE = { G : G é um grafo não direcionado que possui um clique com exatamente n/2 vértices, onde n é um número par e representa o número de vértices de G. } Mostre que HALF-CLIQUE NPC. Q6. O problema do Isomorfismo de Grafos é um famoso problema em NPI. Seja então ISO_GRAF = { G , H |G e H são isomorfos}. Mostre que ISO_GRAF NP. Q7. O problema do Isomorfismo de SubGrafos pode ser definido da seguinte forma: ISO_SUBGRAF = { G , H |G é isomorfo à um subgrafo de H}. Mostre que ISO_SUBGRAF NPC. Dica: Use uma redução a partir do problema do Clique. Q8. Considere o problema do conjunto dominante como definido abaixo: CONJ_DOM = { G,k : G tem um conjunto dominante de k nós, ou seja, existe um subconjunto de nós de G de k nós, onde todo outro nó de G é adjacente a algum nó do subconjunto. } Mostre que CONJ_DOM NPC. Dica: Use uma redução a partir do problema da cobertura de vértices. Boa Sorte !!