fundamentos de la computación tc4001cb.mty.itesm.mx/tc4001/tc4001-np-completos-agenda.pdf · en el...

Problemas NP-Completos TC4001 - p. 1/11

Fundamentos de la ComputaciónTC4001

Problemas NP-CompletosCentro de Manufactura / Centro de Sistema Inteligentes

ITESM

IntroduccionAgenda: Clase PAgenda: Clase NPAgenda:ProblemasNP-CompletosAgenda:Algoritmos deAproximacionReferencias


Introducción

■ Hasta ahora se han abordado problemas que ensu mayoría pueden resolverse en tiempopolinomial.



Introducción


■ Sin embargo, hay problemas, como el deencontrar en un grafo un ciclo de Hamilton, en elcual la única solución en apariencia esresolverlos en forma casi exhaustiva.



Introducción


■ Sin embargo, hay problemas, como el deencontrar en un grafo un ciclo de Hamilton, en elcual la única solución en apariencia esresolverlos en forma casi exhaustiva. En el casodel ciclo de Hamilton da una complejidadfactorial.



Introducción



■ Lejos de intentar encontrar un algoritmopolinomial para el problema específico o para losproblemas que vengan, se ha optado por unapostura más radical:



Introducción



■ Lejos de intentar encontrar un algoritmopolinomial para el problema específico o para losproblemas que vengan, se ha optado por unapostura más radical: pensar en lo que se podráalguna vez llegar a hacer en lugar de lo queahora se puede hacer.



Agenda Clase P

■ Definir el concepto de problema de decisión ycontrastarlo contra el problema de optimización(cuando hay lugar).



Agenda Clase P

■ Definir el concepto de problema de decisión ycontrastarlo contra el problema de optimización(cuando hay lugar). Mostrar algunos ejemplos:◆ Coloreo de Grafos◆ Calendarización de trabajos◆ Empacamiento◆ Subconjuntos◆ Satisfactibilidad◆ Agente viajero



Agenda Clase P

■ Definir el concepto de problema de decisión ycontrastarlo contra el problema de optimización(cuando hay lugar). Mostrar algunos ejemplos:◆ Coloreo de Grafos◆ Calendarización de trabajos◆ Empacamiento◆ Subconjuntos◆ Satisfactibilidad◆ Agente viajero

■ Definición de la clase P



Agenda Clase NP

■ Contrastrar entre resolver y verificar.



Agenda Clase NP

■ Contrastrar entre resolver y verificar.■ Algoritmo no determinista.



Agenda Clase NP

■ Contrastrar entre resolver y verificar.■ Algoritmo no determinista.■ Ejemplo



Agenda Clase NP

■ Contrastrar entre resolver y verificar.■ Algoritmo no determinista.■ Ejemplo■ Definición de la clase NP



Agenda Clase NP

■ Contrastrar entre resolver y verificar.■ Algoritmo no determinista.■ Ejemplo■ Definición de la clase NP■ P ⊆ NP



Agenda: Problemas NP-Completos

■ El concepto de reducción polinómica yreducibilidad





■ Definición de problema NP-Completo y deNP-Hard.






■ Teorema de Cook: El problema de lasatisfactibilidad es NP-Completo







■ Lista de Karp







■ Lista de Karp■ Teorema: Si un problema NP-Completo

cualquiera está en P, entonces P = NP .







■ Lista de Karp■ Teorema: Si un problema NP-Completo

cualquiera está en P, entonces P = NP .■ Conjetura del millón de dolares: P = NP .

http://www.claymath.org/



Algoritmos de Aproximación

■ Enfoque: La solución exacta a un problema deoptimización es para fines prácticos inalcanzableen un tiempo razonable, pero una soluciónaproximada y rápida tiene sentido en elproblema y tiene un valor práctico.





■ El concepto de Heurísticas de solución.





■ El concepto de Heurísticas de solución.■ Heurísticas ejemplo para:

◆ TSP◆ Apareamiento mínimo





■ El concepto de Heurísticas de solución.■ Heurísticas ejemplo para:

◆ TSP◆ Apareamiento mínimo

■ Garantía de calidad de una heurística



Referencias Clásicas

■ La clase P fue introducida por Alan Cobham en:Cobham A: The intrinsic computationaldifficulty of functions. In Proceedings of theCongress for Logic, Methodology, and thePhilosophy of Science, pages 24-30.North-Holland. 1964.



■ La clase P también fue independientementedefinida por Jack Edmonds que tambiénintrodujo la definición de NP y conjeturó queP 6= NP .

Edmonds, J: Paths, trees, and Flowers.Canadian Journal of Mathematics.17:449-467, 1965.



El concepto de problema NP-Completo fue introducida por Step-hen Arthur Cook (Turing Award1982) dió la demostración de que elproblema de satisfactibilidad de ex-presiones 3-CNF era NP-Completo.

Cook, S: The complexity ofthe theorem proving procedu-res. Proceedings of the ThirdAnnual ACM Symposium onTheory of Computing. pages151-158. 1971.



Richard Manning Karp (TuringAward 1985) introdujo una metodo-logía para reducción de problemasa otros y demostró una variedad deproblemas NP-Completos en:

Karp, R: Reducibility amongcombinatorial problems. Com-plexity of Computer Compu-tations, pages 85-103. Ple-num Press, 1972.



Manindra Agrawal was born in May 1966,and since 2001 he has been a full professor atthe Indian Institute of Technology in Kanpur, In-dia. For some years he has been interested infinding a polynomial time algorithm to test whet-her a given number is prime. Although randomalgorithms can solve this problem with high cer-tainty in polynomial time, it remained a long-standing challenge to find a method that worksin every case.

To the great surprise of the experts, Agrawal

solved this problem in August 2002, working to-

gether with two undergraduate students: Neeraj

Kayal and Nitin Saxena. Their proof establishes

the correctness of a conjecture made in 1999

by Agrawal and Biswas.

fundamentos de la computación tc4001cb.mty.itesm.mx/tc4001/tc4001-np-completos-agenda.pdf · en el...

Documents