Projeto e Análise de Algoritmos - Aula 14 - Classes de problemas: Problemas P, NP e NP-completos

UNIVESP
2 Oct 201722:16

Summary

TLDRThis video script introduces concepts in algorithm project analysis, focusing on problem classes: P, NP, and NP-complete. It explains optimization versus decision problems, using examples like finding the shortest path in a graph. The script delves into P as tractable decision problems and NP as decision problems with polynomial-time verifiers. It highlights NP-complete problems, which are the hardest in NP, and uses the Boolean Satisfiability Problem as an example. The video concludes with the significance of these classes in computational complexity theory and the search for efficient algorithms or approximations for NP-complete problems.

Takeaways

  • 😀 The lecture introduces the concepts of optimization and decision problems, setting the stage for understanding computational complexity.
  • 🔍 Optimization problems involve finding the best solution among all possible solutions, such as the shortest path in a graph.
  • 🤔 Decision problems require a yes or no answer, like whether a graph contains an Eulerian circuit or a Hamiltonian cycle.
  • 🏫 The lecture explains the difference between P (polynomial time solvable) and NP (nondeterministic polynomial time) problem classes.
  • 🔑 NP problems have a polynomial-time verifier, meaning if a solution is provided, it can be quickly checked for correctness.
  • 🔄 The concept of reduction between problems is introduced, showing that solving one problem can help solve another if they are reducible.
  • 📚 The class NP-complete is defined, including problems that are in NP and for which every problem in NP can be reduced to them.
  • 🌐 The satisfiability problem (SAT) is highlighted as a foundational NP-complete problem, with implications for various computational tasks.
  • 🛠️ The lecture discusses the implications of P vs NP, a major unsolved question in computer science, and its impact on problem-solving efficiency.
  • 🎓 The importance of understanding problem classes and complexity is emphasized for computer science students and professionals.

Q & A

  • What is the main topic of the video script?

    -The main topic of the video script is an introduction to problem classes, specifically P, NP, and NP-complete problems in the context of algorithm analysis and project management.

  • What are optimization problems?

    -Optimization problems are those where each possible solution has an associated value, and the goal is to find the best solution among all viable solutions.

  • Can you give an example of an optimization problem mentioned in the script?

    -An example of an optimization problem given in the script is finding the shortest path between two vertices in a graph, which involves minimizing the number of edges in the path.

  • What are decision problems?

    -Decision problems are those where the answer is simply yes or no, determining whether a solution exists for a given problem.

  • What is the difference between P and NP classes of problems?

    -P class consists of decision problems for which a polynomial-time algorithm exists. NP class consists of decision problems for which a polynomial-time verifier exists for 'yes' instances.

  • What is the significance of the P vs. NP question in computer science?

    -The P vs. NP question is significant because it seeks to determine whether every problem whose solution can be checked quickly (in polynomial time) can also be solved quickly. It remains one of the most important open questions in computer science.

  • What is an NP-complete problem?

    -An NP-complete problem is a problem in NP that is at least as hard as the hardest problems in NP. If an efficient algorithm for solving any NP-complete problem is discovered, it can be used to solve all problems in NP efficiently.

  • What is the role of reduction in problem-solving within the script's context?

    -Reduction is used to transform one problem into another problem for which a solution is known or believed to exist. If a problem can be reduced to an NP-complete problem, it inherits the complexity of the NP-complete problem.

  • How is the concept of a certificate used in the context of NP problems?

    -In the context of NP problems, a certificate is a piece of evidence or data that can be used to verify the solution to a problem quickly (in polynomial time).

  • What is the relationship between optimization problems and decision problems as discussed in the script?

    -The script discusses that optimization problems can be formulated as decision problems by imposing a limit on the values being optimized. This allows for the application of decision problem-solving techniques to optimization problems.

  • What is the significance of the Hamiltonian cycle problem in the script?

    -The Hamiltonian cycle problem is used as an example of a decision problem in the script. It is a classic problem in graph theory that asks whether there is a cycle that visits each vertex exactly once and is NP-complete.

Outlines

00:00

📚 Introduction to Problem Classes and P vs NP

This paragraph introduces the topic of the video, which is about problem classes in computational complexity, specifically focusing on P (polynomial time) and NP (nondeterministic polynomial time) problems. It discusses the difference between optimization problems, where the goal is to find the best solution among all possible solutions, and decision problems, which simply require a yes or no answer. Examples of these problems are given, such as finding the shortest path in a graph (optimization) and determining if there is an Eulerian circuit in a graph (decision). The paragraph sets the stage for further exploration of these concepts.

05:02

🔍 Exploring Optimization and Decision Problems

The second paragraph delves deeper into the types of problems discussed, providing more examples and explanations. It explains how optimization problems involve finding the best solution with an associated value, such as the shortest path between two vertices in a graph. Decision problems, on the other hand, are about verifying the existence of a solution, exemplified by the Eulerian circuit problem. The paragraph also introduces the concept of reducing one problem to another, which is a common technique in computational complexity theory.

10:04

🔗 Relationship Between Optimization and Decision Problems

This paragraph explores the relationship between optimization and decision problems, illustrating how an optimization problem can be reformulated as a decision problem by imposing a limit on the values being optimized. It uses the example of finding the shortest path in a graph and modifying it to a decision problem that asks whether a path with fewer than a certain number of edges exists. The paragraph emphasizes the importance of understanding these problem classes in the context of computational complexity.

15:08

🧩 P and NP Problem Classes Defined

The fourth paragraph provides a more formal definition of the P and NP problem classes. P problems are those that can be solved by a polynomial-time algorithm, while NP problems have a polynomial-time verifier for their solutions. The paragraph explains the concept of a polynomial-time algorithm and how it relates to the definition of NP problems. It also discusses the significance of the P vs NP question in computer science and how it remains an open problem.

20:10

🏁 NP-Completeness and Problem Reduction

The final paragraph introduces the concept of NP-completeness, which is a central notion in computational complexity theory. It explains that an NP-complete problem is one for which every problem in NP can be reduced to it in polynomial time. The paragraph discusses the implications of NP-completeness and how it is used to demonstrate the hardness of problems within NP. It also touches on the idea of problem reduction and how it is used to prove NP-completeness.

Mindmap

Keywords

💡Optimization Problem

An optimization problem is defined as a problem where each possible solution has an associated value, and the goal is to find the best solution among all of them. In the context of the video, it is used to illustrate the concept of finding a 'shortest path' in a graph, which is a classic example of an optimization problem. The script mentions finding a path between two vertices with the minimum number of edges as an example of an optimization problem.

💡Decision Problem

A decision problem is one where the answer is simply 'yes' or 'no' to a given question. The video script uses the example of determining whether a graph contains an Eulerian circuit, which is a path that visits every edge exactly once, to explain decision problems. The script also discusses the Hamiltonian circuit problem, another type of decision problem, where the task is to determine if a graph contains a circuit that visits every vertex exactly once.

💡P Class

The P class, or polynomial time class, is a set of decision problems that can be solved by an algorithm in polynomial time. The script introduces this concept by explaining that problems in P are considered 'tractable', meaning they can be solved efficiently. An example given in the video is the Eulerian circuit problem, which can be solved in polynomial time, thus belonging to the P class.

💡NP Class

The NP class, or non-deterministic polynomial time class, is a set of decision problems for which a given solution can be verified in polynomial time. The script explains that NP includes problems that may not be solvable in polynomial time, but if a solution is presented, it can be checked quickly. The Hamiltonian circuit problem is given as an example of an NP problem, which can be verified efficiently but may be difficult to solve.

💡NP-Complete

An NP-complete problem is a problem in the NP class that is at least as hard as the hardest problems in NP. The script discusses the concept of NP-completeness by explaining that if a polynomial-time solution is found for any NP-complete problem, it can be used to solve all other NP problems in polynomial time. The problem of Boolean satisfiability (SAT) is mentioned as an example of an NP-complete problem.

💡Reduction

Reduction in the context of computational problems refers to the process of transforming one problem into another problem, such that a solution to the transformed problem can be used to solve the original problem. The script uses the concept of reduction to explain how the complexity of problems can be compared and how the NP-completeness of a problem can be established by reducing other NP problems to it.

💡Polynomial-Time Algorithm

A polynomial-time algorithm is an algorithm that can solve a problem in a time that is a polynomial function of the size of the input. The script discusses the importance of polynomial-time algorithms in determining the tractability of problems within the P class and the search for such algorithms in the context of NP-complete problems.

💡Boolean Satisfiability (SAT)

Boolean satisfiability, or SAT, is a problem of determining if there exists an assignment of truth values to a set of Boolean variables such that a given Boolean formula evaluates to true. The script uses SAT as an example of an NP-complete problem and explains how it involves finding a satisfying assignment for a logical expression in conjunctive normal form.

💡Eulerian Circuit

An Eulerian circuit is a path in a graph that visits every edge exactly once and returns to the starting vertex. The script explains the Eulerian circuit as an example of a decision problem that is in the P class, where the task is to determine if a given graph has such a circuit.

💡Hamiltonian Circuit

A Hamiltonian circuit is a closed loop on a graph that visits each vertex exactly once. The script discusses the Hamiltonian circuit problem as an example of an NP problem, where the goal is to determine if a given graph contains a Hamiltonian circuit, and it is used to illustrate the concept of NP-completeness.

Highlights

Introduction to problem classes, P, NP, and NP-complete problems in the context of algorithm analysis.

Definition of optimization problems where the goal is to find the best solution among all possible solutions.

Explanation of decision problems that require a simple yes or no answer regarding the existence of a solution.

Example of an optimization problem involving finding the shortest path between two vertices in a graph.

Illustration of a decision problem with the graph Euler problem, determining if a graph has an Eulerian cycle.

Discussion on the relationship between optimization and decision problems, and how one can be formulated as the other.

Introduction of P class, which consists of decision problems that can be solved by a polynomial-time algorithm.

NP class definition, including decision problems with a polynomial-time verifier for their answers.

The significance of the polynomial-time verification in defining NP problems and its relation to Turing machines.

Explanation of how to determine if a problem belongs to NP by checking for a polynomial-time verifier.

The concept of problem reduction as a common method for solving problems by transforming one problem into another.

Properties of problem reduction, including the implications for problem complexity and solvability.

Definition of NP-complete problems and the criteria for a problem to be considered NP-complete.

Cook's theorem and the first demonstration of a problem being NP-complete through the Boolean satisfiability problem.

The use of the reduction lemma to prove the NP-completeness of other problems by reducing them to known NP-complete problems.

3-SAT problem as an example of an NP-complete problem and its demonstration of NP-completeness.

Common belief in computer science that P ≠ NP and the implications for the solvability of NP-complete problems.

Conclusion of the lecture on problem classes and the significance of understanding these concepts in algorithm analysis.

Transcripts

play00:00

[Música]

play00:02

ah

play00:05

[Música]

play00:15

hola pesos sean bienvenidos a nosa aula

play00:19

número 14 de proyectos y análisis de

play00:21

algoritmos esa aula fallecer un aula

play00:23

introductoria sobre clases de problemas

play00:25

problemas pnp y en el p completos

play00:29

nos vemos trenton primero aparte de

play00:33

definición de que un problema de

play00:35

optimización y que un problema de

play00:37

decisión y finalmente vamos a hablar

play00:39

sobre las clases pnp y n p completo

play00:43

estas aulas de aquí son unas aulas

play00:44

introductorias

play00:46

el lazo mostrar todos esos conceptos de

play00:50

una manera más simplificada todos

play00:53

estamos interesados en esa aula en

play00:55

responder a sientes que esto es porque

play00:57

algunos problemas parecen ser

play00:58

computación mente más difíciles que

play01:01

otros como medimos su grado de

play01:03

dificultad y de un problema y cómo

play01:06

podemos saber cuáles problemas pueden

play01:09

ser resolví dos eficientemente o no

play01:14

antes de antes de saber entonces las

play01:16

clases de problemas en esa aula vamos a

play01:19

hacer la presentación de dos tipos de

play01:22

problemas los problemas de optimización

play01:23

los problemas de decisión

play01:26

que que un problema de optimización es

play01:29

un problema en que cada solución posible

play01:31

de un valor asociado y deseamos

play01:33

encontrar la mejor solución entre todas

play01:35

ellas

play01:36

una verdad lo que queremos responder de

play01:39

entre las soluciones viables para un

play01:41

problema dado que la mejor solución

play01:44

veamos un ejemplo dado un grafo y dos

play01:48

vértices vive queremos encontrar un

play01:51

camino de vtv que tenga un menor número

play01:54

de aristas usted ya queremos saber con

play01:56

qué un camino más corto supone que un

play01:57

oso grafo intentó todas sus aristas una

play02:01

sobra foto empezó un queremos saber con

play02:04

qué un camino más corto de vtv ese sería

play02:07

un problema de optimización porque hay

play02:09

en sí está intentando encontrar por qué

play02:12

un mejor camino consell o camino de

play02:14

menor costo en este caso

play02:17

tenemos también los problemas de

play02:19

decisión son problemas en que las

play02:21

esposas simplemente si no no todas

play02:24

nuestra pregunta entera va a ser existe

play02:26

una solución para ese problema para ese

play02:28

problema dado que hallamos dos ejemplos

play02:31

aquí el primero primero el problema de

play02:34

graf o bulería no

play02:35

dado un grafo existe un materia fechada

play02:39

que pasa por todas las áreas

play02:42

entonces estamos aquí sí

play02:45

ese grafo mostrado aquí es un grafo y le

play02:48

diría no no si existe tenemos que

play02:50

verificar si su matriz ya fechada que

play02:52

pasa por todas sus aristas nos vamos a

play02:55

ver aquí

play02:55

si hay en ti como si comenzamos nube a

play02:58

13 0 podría pasar por esa área está

play03:01

después por esa

play03:03

después por esa de ésta después por esa

play03:06

de ese después por esa y después por esa

play03:08

de aquí a entonces existe si un materia

play03:11

fechada que pasa por todas las aristas

play03:13

en ese caso y veamos si en todo acontece

play03:18

un mismo para otro grafo será que la

play03:20

gente posee encontrar más materia

play03:23

fechada que pasa por todas las aristas

play03:25

como su x comenzamos aquí pasamos por

play03:28

aquí pasamos por aquí por aquí por aquí

play03:31

de aquí a gente no consigue pasar por

play03:33

por estar esta no conseguimos pasar por

play03:35

estar esto de que si intentamos varias

play03:37

formas a gestión fue conseguir mismo

play03:39

fase list lento ese problema en la

play03:44

verdad y ese grafo euler ya no en cuanto

play03:46

a ese otro grafo unwra futbolería no

play03:52

euler mostró que un grafo conexo tiene

play03:56

un ciclo

play03:57

laureano si solamente si el y noten

play04:01

vértices de grado impar vamos ver si

play04:03

está aconteciendo mismo aquí nosotros

play04:05

dos ejemplos todos los vértices de aquí

play04:08

de ese grafo son pares tenga o par 70

play04:12

por ejemplo aquí un grado de vértice

play04:14

húmedo hoy es grau del vértice 2 también

play04:17

es 20 es 2

play04:19

un grado del vértice cuatro y dos grados

play04:22

del vértice tres dedos también

play04:26

entonces es un grafo y no que acontece

play04:30

con ese otro grafo de aquí un vértice

play04:34

cero por ejemplo no está en grado para

play04:37

un grado de l-3 tengo otro betis su

play04:40

vértice cuatro tenga a uno

play04:43

vértice 3

play04:48

varios que no tenga par por tanto el y

play04:52

no es un grafo eulària no

play04:56

un otro ejemplo del problema de decisión

play04:59

es un problema del grafo hamilton ya no

play05:01

creo que ese problema ha dado un grafo

play05:04

que queremos saber si existe o no un

play05:07

circuito hamilton ya no

play05:09

aunque el circuito hamilton ya no en un

play05:11

circuito simple es que pasa por todos

play05:14

sus vértices y todo por ejemplo supone

play05:16

que tenemos ese grafo aquí en las

play05:18

aristas aquí están puntillas también

play05:21

queremos saber si existe un circuito que

play05:24

pasa por todos sus vértices son su

play05:26

porque comenzamos aquí en ese vértice

play05:27

aquí si seguimos hacer estos que quizá

play05:30

marcada se enferme yo vemos que

play05:33

conseguimos pasar por todos sus vértices

play05:35

una vez

play05:38

y conseguimos llegar no gratis e

play05:42

iniciado que ha comenzado

play05:46

de aquí sí

play05:48

y un grafo hamilton ya no porque porque

play05:51

existe un circuito hamilton ya no negro

play05:53

beige en que los problemas de decisión

play05:55

las respuestas simples mencionó

play05:57

algoritmo debe responder sin uno sin en

play06:02

un grafo a hamilton ya no no es un grafo

play06:04

hamilton yang

play06:09

existe una relación entre problemas de

play06:11

optimización y problemas de decisión es

play06:13

posible formular un problema de

play06:15

optimización como un problema de

play06:17

decisión impone un límite sobre valores

play06:20

era optimizado la verdad ya se está

play06:22

modificando el problema de un cierto

play06:24

sector no veíamos un ejemplo

play06:28

tenemos un mismo ejemplo de inicio dado

play06:31

un grafo y dos vértices uribe encontrar

play06:34

un camino de atv que tenga un menor

play06:36

número de estas ese de aquí un problema

play06:38

de optimización

play06:43

si quisiera tener una versión similar a

play06:47

él más que sea de decisión agente podría

play06:50

colocar o si entidad un grafo y dos

play06:52

vértices uribe existe un camino de vtv

play06:55

que tenga menos de deixar está se está

play06:58

colocando un límite paso sobre un valor

play07:02

hacer optimizado que un número de

play07:03

aristas es de aquí sería un problema de

play07:06

decisión o algoritmo va a fallar si

play07:08

existe no existe

play07:12

porque que alguien si está preocupado en

play07:14

definir un problema de decisión y un

play07:17

problema un problema de optimización

play07:21

porque porque toda esa teoría que vamos

play07:25

ver hoy de manera introductoria simples

play07:28

en el ellis trabajan con problemas de

play07:32

decisión y no con problemas de

play07:34

optimización

play07:37

pensamos en todo primero a clase p

play07:39

porque que da clase a clase p formada

play07:43

por problemas de decisión tratables

play07:45

aunque que significa tratar en ese caso

play07:47

significa que el sporting se les olvidó

play07:50

por un algoritmo polinomio un ejemplo de

play07:53

problema de decisión trata de un ejemplo

play07:55

de problema que está en la clase p

play07:58

el problema del grafo eulària no porque

play08:01

hay que es un problema de la clase

play08:02

porque hay equipos y verificar la verdad

play08:05

si hay en chip o si vas a encontrar un

play08:08

algoritmo que polinomio que resuelve

play08:10

problemas en sí sabe que un grafo euler

play08:12

ya no

play08:13

el ifai de los vértices con grau para

play08:19

hacer un algoritmo

play08:22

que verifique si todos sus vértices son

play08:24

de grau par por ejemplo en este caso ser

play08:27

y que verifique también segura fue

play08:30

conexo

play08:33

una u otra clase de problemas son los

play08:35

problemas np a clase n p formada por

play08:39

problemas de decisión que posee un

play08:41

verificador polinomio para respuestas y

play08:44

formalmente una verdad si esta

play08:46

definición está relacionada con máquinas

play08:48

de touring npd no tu conjunto de

play08:51

lenguajes que pueden ser aceites en

play08:53

tiempo polinomio por una máquina de

play08:56

turing no determine si k

play08:58

lento en pena verdad y no significa no

play09:02

polinomio significa no determine si es

play09:05

polinomio time

play09:08

aunque vamos verificar los problemas

play09:10

para saber si esa clase n p

play09:14

indicar si existe un verificador

play09:17

polinomio para respuesta si un

play09:21

verificador polinomio para respuestas

play09:25

un poquito más formalmente para para

play09:28

poder definir la clase n p podríamos

play09:31

hablar sin un problema de decisiones en

play09:33

ep si existe un algoritmo a tau que para

play09:37

cualquier instancia si su problema con

play09:39

respuestas si existe un certificado

play09:42

ypsilon entonces esta palabra sabe aquí

play09:46

es certificado aunque a de chips y donde

play09:50

volver sin y ese algoritmo a consume

play09:53

tiempo polinomio x nos vamos a estar

play09:55

interesados con el certificado y su

play10:00

algoritmo de polinomio no tamaño de

play10:03

entrada

play10:07

comenzamos aquí un ejemplo pero el

play10:10

problema de un grafo hamilton ya no

play10:13

dada una instancia cuya esposa de cinco

play10:16

meses ha dado un grafo que hamilton ya

play10:19

no coge un certificado de que él y

play10:21

hamilton ya no hizo que a xente vai ter

play10:24

que encontrar co que un certificado

play10:28

una otra cosa como que hay enchufes para

play10:31

verificar si realmente hice un

play10:33

certificado o no y para hacer esa

play10:36

verificación hay en si está usando

play10:38

tiempo polinomio hizo que tenemos que

play10:40

nos preguntar

play10:42

entonces llamamos para un problema del

play10:44

grafo hamilton ya no

play10:46

supone que posee tengo grafo

play10:48

hamiltonianos y alguien falla para jose

play10:51

ok un ciclo que pasa por todos sus

play10:54

vértices se pega aquí la respuesta

play10:58

aunque que sería eso sería un

play11:00

certificado un certificado para

play11:02

respuestas sin porqué 'pozo verificar si

play11:05

ese conjunto de ver dice si ese ciclo

play11:09

si ese ciclo es realmente

play11:14

un ciclo que pasa por todos sus vértices

play11:17

o no y eso puede ser verificado en

play11:19

tempos polinomios y ser verificados y en

play11:23

tanto que un certificado en este caso el

play11:25

propio circuito hamilton ya no

play11:28

un conjunto de vértices desde una tvn y

play11:31

puede ser verificado en tiempo polinomio

play11:33

como el hecho y verifiquen tempo

play11:35

polinomio y solemos ver si el sistema

play11:36

está desde una vez dos dvds a b3

play11:39

etcétera etcétera dbn menos un ave

play11:44

en este caso estamos viendo sin

play11:46

realmente uno de un ciclo hamilton

play11:51

por tanto se hacen sin control

play11:54

certificado que verifica por el

play11:56

polinomio aumente la respuesta sin

play11:59

mancha por si falta lento que el

play12:01

problema del grafo hamilton ya no está

play12:03

en la clase n p

play12:06

un problema fundamentado en la teoría de

play12:09

la computación

play12:10

demostrar si pnp este problema está

play12:15

haciendo pesquisado por muchas personas

play12:18

en área de computación y agentes puede

play12:22

llamarse un problema de familia tanto en

play12:25

varios trabajos personas y personas

play12:27

trabajando neeson mining en ate ahora

play12:29

consiguió demostrar que p guagua n p

play12:38

otro concepto importante la reducción

play12:41

entre problemas más forma común de

play12:43

resolver un problema y transformarlo en

play12:46

otro problema b está cuya solución es

play12:49

consciente de cómo resolver ve y ahora

play12:52

para resolver a desembolsar me da más

play12:55

veces que encontré la solución

play12:56

voy con convertir por convertir a

play12:59

solución dv para una solución de a

play13:04

eso de ahí trae esa idea de reducción

play13:07

entón dado dos problemas hay una

play13:10

reducción de árabe que denotado por s

play13:14

por eso de aquí apoyo y ser reducido

play13:16

apoyo ser reducido para ver en un

play13:19

algoritmo un polinomio que resolver

play13:22

utilizando b donde llamamos un ejemplo

play13:26

acelerando cada décimo mínimo de un

play13:29

vector quiero encontrar por ejemplo un

play13:31

tercero un mínimo elemento de un gestor

play13:34

y sus pollos es reducido a un problema

play13:36

de ordenanza ose ya esposo resolver el

play13:39

problema de selección de cada décimo

play13:40

mínimo fácil de ordenación de un gestor

play13:42

con orden un vector de menor a mayor y

play13:45

hay pegó por ejemplo un tercero mínimo

play13:48

elemento de ese de esto

play13:50

porque estamos haciendo entonces ese

play13:52

caso asensi está reduciendo a para mí si

play13:57

un problema se reduce a otro problema ve

play14:00

en todo y no es más difícil de resolver

play14:02

lo que ve - desempeño

play14:07

para seleccionar un ka décimo mínimo de

play14:09

un vector

play14:11

todas en chip hoy resolver ese problema

play14:15

agencia falo usando problema resolviendo

play14:18

problemas de orden hasta después pegando

play14:20

o elemento correspondiente más a la

play14:23

selección nunca decimos mínimo porque se

play14:25

les olvidó por otros algoritmos así

play14:28

podéis encontrar un algoritmo de orden

play14:31

lineal para resolver un mismo problema

play14:32

es el problema no es más difícil que el

play14:35

problema de ordenación en cambio que el

play14:38

problema de ordenación

play14:41

la verdad hay un límite inferior pero

play14:43

los problemas de ordenación en el orden

play14:46

tanto

play14:48

el problema de selección decimos mínimo

play14:50

no es más difícil de resolver su

play14:53

problema de ordenanza

play14:56

existen algunas características algunas

play14:59

propiedades de la reducción de apoyo se

play15:02

ha reducido a b&b es un problema del

play15:07

tipo p entonces también es un tipo p

play15:12

tenemos aquí una otra propiedad y se

play15:15

apoya y se ha reducido del tipo de

play15:17

posición reducido hace en toma también

play15:19

puede ser reducido

play15:23

y ahora vayamos a nuestra última

play15:25

definición la clase n p completo

play15:28

un problema de decisión np completo

play15:34

np y si para todo ve que pertenecía en

play15:38

el p b posey ser reducido

play15:42

ok la primera parte

play15:46

más o menos simple encontrar un

play15:48

verificador polinomio para respuestas y

play15:50

la segunda para sí complicado porque

play15:53

porque jose ten que pegar todos sus

play15:55

problemas en n p intenta reducir todos

play15:58

esos problemas para ese problema que nos

play16:02

está tentando demostrar que en el p

play16:03

completo y eso de ahí complicado

play16:07

un problema

play16:09

la clase en el pe completo que fue

play16:12

demostrado que la clase en el pe

play16:13

completo del problema de satisfacción

play16:16

porque ese problema eu sigue entidad a

play16:19

una expresión lógica en la forma normal

play16:21

conjuntiva existe una atribución de

play16:23

valores para sus variables toque un

play16:26

resultado de expresión sea verdadera

play16:28

aquí tenemos una expresión lógica si son

play16:31

los dos y nos hizo o noches dos noches 4

play16:37

y 6 1 6 2 1 6 3

play16:41

esto de que está en la forma normal

play16:42

conjuntiva yo tengo disfunción de

play16:46

conjunción es cierto que tengo

play16:48

disfunciones

play16:51

de conjunciones

play16:55

ok queremos saber cuáles son las

play16:58

atribuciones para esas variables que

play17:01

podemos hacer de modo que un resultado

play17:03

de expresión completa es ella verdadera

play17:06

sin colocar para allí su verdadero esa

play17:10

primera cláusula de que iba a ser

play17:11

verdadera sino colocar así estrés falso

play17:16

en su tercer test a que su equipo es el

play17:19

verdadero y estoy aquí también va a ser

play17:21

verdadero

play17:23

para sí soy se podría colocar cualquier

play17:25

valor por ejemplo para 64 también nos

play17:27

colocan fauci faus es atribución de aquí

play17:30

vais con que esa cláusula seria

play17:32

verdadera pueden existir otras muy

play17:36

importante encontrar por lo menos suma

play17:37

si no conseguía encontrar una tribu es

play17:41

aún posible de modo que todo eso sellar

play17:43

verdadero podemos hablar que el problema

play17:45

es satisfactorio

play17:48

satisfacía entonces la expresión lógica

play17:51

es satisfacción es un problema de

play17:53

decisión que fue demostrado que la clase

play17:56

n completo

play17:58

la primera demostración de completitud

play18:01

fue feita por cook en 1971 el y probó

play18:06

que ese problema que acaba de mostrar

play18:08

para voces es un problema en el pe

play18:10

completo

play18:12

qué es esa profana una prueba simple

play18:15

bien complicada la partida demostración

play18:18

de que el problema de satisfacción y

play18:21

también llamado de sap

play18:22

np completo demostró sé que muchos otros

play18:27

problemas también son en el p completos

play18:29

como eso fue efecto

play18:31

fue usado un lema seguir su lema mostrar

play18:34

como demostración de un problema

play18:37

de un problema a ser en el completo pues

play18:40

se afecta de manera más directa

play18:43

su lema se sabe un problema en el pie

play18:46

completo ya que pertenece a n p sí pero

play18:50

si se ha reducido a en todas np completo

play18:53

entonces que está fallando una verdad y

play18:55

si no se quiere demostrar que un

play18:58

problema en el pie completo pero

play19:00

cualquier problema que no se salva que n

play19:03

p completo y falsa reducción de él y

play19:06

para ua me hizo que está faltando me

play19:09

produce que un problema sad

play19:12

n p completo yo quiero demostrar que un

play19:14

problema así también en el pp completo

play19:16

entonces esa reducción de usar parece

play19:19

problemas

play19:22

tenemos aquí un ejemplo un problema 3 a

play19:25

2 en un problema 3 a cada cláusula tengo

play19:28

exactamente 3 variables en una versión

play19:30

del sajjil específica en que cada

play19:33

cláusula fighter tres variables cada

play19:36

parte maite de tres variables será que

play19:38

ese problema es tan difícil cuanto a

play19:41

versionar a 22 h fue demostrado que sí

play19:46

que tan difícil cuando versión grados al

play19:50

cause ella fue demostrado que 3 sat

play19:53

también en el p completo como que fue

play19:56

mostrado eso primero fue mostrado que

play20:00

utilizar

play20:00

np encontrando un verificador polinomio

play20:04

para respuestas y que sería en este caso

play20:06

como serio certificado sería a un

play20:09

conjunto de valoraciones que hacen con

play20:11

que la expresión sea verdadera callasen

play20:14

si verifica sí

play20:17

un problema e satisfacía a partir de

play20:19

esas atribuciones y un segundo paso fue

play20:22

hacer la reducción de sat para trazar

play20:24

fase en una transformación considerando

play20:27

una cláusula de usar y construyendo una

play20:29

cláusula equivalente y con una fórmula 3

play20:32

al paraíso fueron introducidas nuevas

play20:34

variables de esa forma fue demostrado

play20:36

que utilizar

play20:37

np completo

play20:42

existen muchos problemas apareciendo que

play20:45

son n p completos en diferentes áreas

play20:50

por causa de la mayoría de los

play20:52

pescadores en ciencias la computación

play20:54

acredita que no hay guagua np

play20:58

en general hay gente podría fallar que

play21:00

un problema en el pp completo es un

play21:02

problema pero comprobado que exista un

play21:05

algoritmo eficiente o si hay un

play21:06

algoritmo polinomio por tanto debe ser

play21:09

buscar heurísticas o aproximaciones para

play21:12

resolver este tipo de problemas con esto

play21:15

terminamos entornos aula número 14 sobre

play21:19

clases de problemas espero que ellos

play21:21

estén y han gustado y también terminamos

play21:22

a nosa disciplina de proyecto y análisis

play21:25

de algoritmos ya te aproxima

play21:29

[Música]

play21:47

2

play21:49

[Música]

play21:58

[Música]

play22:03

play22:06

[Música]

play22:10

y

play22:12

y

Rate This

5.0 / 5 (0 votes)

Related Tags
AlgorithmsOptimizationDecision ProblemsP vs NPComputational ComplexityGraph TheoryEulerian PathHamiltonian CycleProblem ClassesComputing TheoryIntroductory Course