SlideShare una empresa de Scribd logo
1 de 7
Descargar para leer sin conexión
INTELIGENCIA ARTIFICIAL   -   CICLO 2012-I   -   GRUPO 6
• La complejidad computacional estudia el
  coste de la resolución de un problema.

• Los recursos mas estudiados son: el tiempo y
  espacio de memoria que necesitan los
  algoritmos para resolver los problemas dados.


                                                                    2 de 7


         INTELIGENCIA ARTIFICIAL   -   CICLO 2012-I   -   GRUPO 6
• Los problemas de decisión son aquellos
  problemas que pueden dar una respuesta
  positiva o negativa.

• Un problema de decisión también se puede
  formalizar como el problema de decidir si una
  cierta frase pertenece a un conjunto dado de
  frases, también llamado lenguaje formal.
• En este tipo de problemas destacan los
  problemas P y NP.                                                   3 de 7


           INTELIGENCIA ARTIFICIAL   -   CICLO 2012-I   -   GRUPO 6
• Los problemas de localización son aquellos en
  donde se trata de encontrar la mejor ubicación
  de una instalación dentro de un espacio
  geográfico.

• Los problemas de optimización son aquellos
  que intentan dar respuesta a un tipo general
  de problemas donde se desea elegir el mejor
  entre un conjunto de opciones.
                                                                      4 de 7


           INTELIGENCIA ARTIFICIAL   -   CICLO 2012-I   -   GRUPO 6
• Los problemas P son aquellos problemas de
  decisión que pueden ser resueltos por una
  maquina determinista en tiempo polinomio.

• Los problemas NP son problemas de decisión
  que pueden ser resueltos en tiempo
  polinomio por una maquina no determinista.


                                                                    5 de 7


         INTELIGENCIA ARTIFICIAL   -   CICLO 2012-I   -   GRUPO 6
• Problemas de suma de subconjuntos.- dado un
  conjunto S de enteros, ¿existe algún
  subconjunto cuya suma sea exactamente cero?

• Problema de parada.- Este problema consiste
  en tomar un programa y sus datos y decidir si va
  a terminar o si se ejecutará indefinidamente.


                                                                       6 de 7


            INTELIGENCIA ARTIFICIAL   -   CICLO 2012-I   -   GRUPO 6
• Problema de satisfactibilidad booleana (SAT).-
  donde interesa saber si una expresión booleana
  con variables y sin cuantificadores tiene
  asociada una asignación de valores para sus
  variables que hace que la expresión sea
  verdadera

                                                                      7 de 7


           INTELIGENCIA ARTIFICIAL   -   CICLO 2012-I   -   GRUPO 6

Más contenido relacionado

Similar a S1 clasificación de problemas algorítmicos-grupo6

Investigación de Operaciones an intro.pptx
Investigación de Operaciones an intro.pptxInvestigación de Operaciones an intro.pptx
Investigación de Operaciones an intro.pptxJuankZBk
 
Métodos de solución de problemas
Métodos de solución de problemasMétodos de solución de problemas
Métodos de solución de problemasJorge Moreno
 
Problemas matemáticos y su resolución método singapur
Problemas matemáticos y su resolución método singapurProblemas matemáticos y su resolución método singapur
Problemas matemáticos y su resolución método singapurFabián Inostroza
 
Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02
Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02
Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02Williams Avila
 
Introducción al curso - Aplicaciones Multimedia Interactivas
Introducción al curso - Aplicaciones Multimedia InteractivasIntroducción al curso - Aplicaciones Multimedia Interactivas
Introducción al curso - Aplicaciones Multimedia InteractivasXavier Ochoa
 
Secuencias que deben realizarse para la elaboracionn de
Secuencias que deben realizarse para la elaboracionn deSecuencias que deben realizarse para la elaboracionn de
Secuencias que deben realizarse para la elaboracionn dealumnaFatima
 
Análisis de problemas y toma de decisiones 2
Análisis de problemas y toma de decisiones 2Análisis de problemas y toma de decisiones 2
Análisis de problemas y toma de decisiones 2Ricardo Ranalli
 
TOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMAS
TOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMASTOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMAS
TOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMASJorgeChavez283
 

Similar a S1 clasificación de problemas algorítmicos-grupo6 (10)

Investigación de Operaciones an intro.pptx
Investigación de Operaciones an intro.pptxInvestigación de Operaciones an intro.pptx
Investigación de Operaciones an intro.pptx
 
Métodos de solución de problemas
Métodos de solución de problemasMétodos de solución de problemas
Métodos de solución de problemas
 
Objetivos.ppt
Objetivos.pptObjetivos.ppt
Objetivos.ppt
 
Problemas matemáticos y su resolución método singapur
Problemas matemáticos y su resolución método singapurProblemas matemáticos y su resolución método singapur
Problemas matemáticos y su resolución método singapur
 
Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02
Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02
Problemasmatemticosysuresolucinmtodosingapur 140716193316-phpapp02
 
Introducción al curso - Aplicaciones Multimedia Interactivas
Introducción al curso - Aplicaciones Multimedia InteractivasIntroducción al curso - Aplicaciones Multimedia Interactivas
Introducción al curso - Aplicaciones Multimedia Interactivas
 
Pensamiento
PensamientoPensamiento
Pensamiento
 
Secuencias que deben realizarse para la elaboracionn de
Secuencias que deben realizarse para la elaboracionn deSecuencias que deben realizarse para la elaboracionn de
Secuencias que deben realizarse para la elaboracionn de
 
Análisis de problemas y toma de decisiones 2
Análisis de problemas y toma de decisiones 2Análisis de problemas y toma de decisiones 2
Análisis de problemas y toma de decisiones 2
 
TOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMAS
TOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMASTOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMAS
TOPS(EQUIPOS ORIENTADOS A LA SOLUCIÓN DE PROBLEMAS
 

Más de Hiper S.A.

Silabo inteligencia artificia2012_1
Silabo inteligencia artificia2012_1Silabo inteligencia artificia2012_1
Silabo inteligencia artificia2012_1Hiper S.A.
 
T3 ejercicios de recursividad-grupo6
T3 ejercicios de recursividad-grupo6T3 ejercicios de recursividad-grupo6
T3 ejercicios de recursividad-grupo6Hiper S.A.
 
S7 fundamentos de sistemas expertos-grupo6
S7 fundamentos de sistemas expertos-grupo6S7 fundamentos de sistemas expertos-grupo6
S7 fundamentos de sistemas expertos-grupo6Hiper S.A.
 
S5 métodos de búsquedas informados-grupo6
S5 métodos de búsquedas informados-grupo6S5 métodos de búsquedas informados-grupo6
S5 métodos de búsquedas informados-grupo6Hiper S.A.
 
S6 métodos de búsqueda para juegos hombre máquina-grupo6
S6 métodos de búsqueda para juegos hombre máquina-grupo6S6 métodos de búsqueda para juegos hombre máquina-grupo6
S6 métodos de búsqueda para juegos hombre máquina-grupo6Hiper S.A.
 
S4 métodos de búsqueda a ciegas-grupo6
S4 métodos de búsqueda a ciegas-grupo6S4 métodos de búsqueda a ciegas-grupo6
S4 métodos de búsqueda a ciegas-grupo6Hiper S.A.
 
S3 métodos de búsqueda en un espacio de estado-grupo6
S3 métodos de búsqueda en un espacio de estado-grupo6S3 métodos de búsqueda en un espacio de estado-grupo6
S3 métodos de búsqueda en un espacio de estado-grupo6Hiper S.A.
 
T2 tutorial de lisp completo-grupo6
T2 tutorial de lisp completo-grupo6T2 tutorial de lisp completo-grupo6
T2 tutorial de lisp completo-grupo6Hiper S.A.
 
S2 fundamentos de la inteligencia artificial-grupo6
S2 fundamentos de la inteligencia artificial-grupo6S2 fundamentos de la inteligencia artificial-grupo6
S2 fundamentos de la inteligencia artificial-grupo6Hiper S.A.
 
T1 primer tutorial de lisp-grupo6
T1 primer tutorial de lisp-grupo6T1 primer tutorial de lisp-grupo6
T1 primer tutorial de lisp-grupo6Hiper S.A.
 

Más de Hiper S.A. (10)

Silabo inteligencia artificia2012_1
Silabo inteligencia artificia2012_1Silabo inteligencia artificia2012_1
Silabo inteligencia artificia2012_1
 
T3 ejercicios de recursividad-grupo6
T3 ejercicios de recursividad-grupo6T3 ejercicios de recursividad-grupo6
T3 ejercicios de recursividad-grupo6
 
S7 fundamentos de sistemas expertos-grupo6
S7 fundamentos de sistemas expertos-grupo6S7 fundamentos de sistemas expertos-grupo6
S7 fundamentos de sistemas expertos-grupo6
 
S5 métodos de búsquedas informados-grupo6
S5 métodos de búsquedas informados-grupo6S5 métodos de búsquedas informados-grupo6
S5 métodos de búsquedas informados-grupo6
 
S6 métodos de búsqueda para juegos hombre máquina-grupo6
S6 métodos de búsqueda para juegos hombre máquina-grupo6S6 métodos de búsqueda para juegos hombre máquina-grupo6
S6 métodos de búsqueda para juegos hombre máquina-grupo6
 
S4 métodos de búsqueda a ciegas-grupo6
S4 métodos de búsqueda a ciegas-grupo6S4 métodos de búsqueda a ciegas-grupo6
S4 métodos de búsqueda a ciegas-grupo6
 
S3 métodos de búsqueda en un espacio de estado-grupo6
S3 métodos de búsqueda en un espacio de estado-grupo6S3 métodos de búsqueda en un espacio de estado-grupo6
S3 métodos de búsqueda en un espacio de estado-grupo6
 
T2 tutorial de lisp completo-grupo6
T2 tutorial de lisp completo-grupo6T2 tutorial de lisp completo-grupo6
T2 tutorial de lisp completo-grupo6
 
S2 fundamentos de la inteligencia artificial-grupo6
S2 fundamentos de la inteligencia artificial-grupo6S2 fundamentos de la inteligencia artificial-grupo6
S2 fundamentos de la inteligencia artificial-grupo6
 
T1 primer tutorial de lisp-grupo6
T1 primer tutorial de lisp-grupo6T1 primer tutorial de lisp-grupo6
T1 primer tutorial de lisp-grupo6
 

Último

Abril 2024 - Maestra Jardinera Ediba.pdf
Abril 2024 -  Maestra Jardinera Ediba.pdfAbril 2024 -  Maestra Jardinera Ediba.pdf
Abril 2024 - Maestra Jardinera Ediba.pdfValeriaCorrea29
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAJAVIER SOLIS NOYOLA
 
Los avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesLos avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesMarisolMartinez707897
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfapunteshistoriamarmo
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Juan Martín Martín
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxlclcarmen
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docxEliaHernndez7
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptAlberto Rubio
 
semana 4 9NO Estudios sociales.pptxnnnn
semana 4  9NO Estudios sociales.pptxnnnnsemana 4  9NO Estudios sociales.pptxnnnn
semana 4 9NO Estudios sociales.pptxnnnnlitzyleovaldivieso
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSYadi Campos
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAEl Fortí
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalJonathanCovena1
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxYadi Campos
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioELIASAURELIOCHAVEZCA1
 
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docxTALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docxNadiaMartnez11
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024IES Vicent Andres Estelles
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIAFabiolaGarcia751855
 
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptxEL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptxsisimosolorzano
 

Último (20)

Abril 2024 - Maestra Jardinera Ediba.pdf
Abril 2024 -  Maestra Jardinera Ediba.pdfAbril 2024 -  Maestra Jardinera Ediba.pdf
Abril 2024 - Maestra Jardinera Ediba.pdf
 
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLAACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
ACRÓNIMO DE PARÍS PARA SU OLIMPIADA 2024. Por JAVIER SOLIS NOYOLA
 
Los avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtualesLos avatares para el juego dramático en entornos virtuales
Los avatares para el juego dramático en entornos virtuales
 
Revista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdfRevista Apuntes de Historia. Mayo 2024.pdf
Revista Apuntes de Historia. Mayo 2024.pdf
 
Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024Prueba libre de Geografía para obtención título Bachillerato - 2024
Prueba libre de Geografía para obtención título Bachillerato - 2024
 
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptxLA LITERATURA DEL BARROCO 2023-2024pptx.pptx
LA LITERATURA DEL BARROCO 2023-2024pptx.pptx
 
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
🦄💫4° SEM32 WORD PLANEACIÓN PROYECTOS DARUKEL 23-24.docx
 
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).pptPINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
PINTURA DEL RENACIMIENTO EN ESPAÑA (SIGLO XVI).ppt
 
semana 4 9NO Estudios sociales.pptxnnnn
semana 4  9NO Estudios sociales.pptxnnnnsemana 4  9NO Estudios sociales.pptxnnnn
semana 4 9NO Estudios sociales.pptxnnnn
 
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VSOCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
OCTAVO SEGUNDO PERIODO. EMPRENDIEMIENTO VS
 
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURAFORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
FORTI-MAYO 2024.pdf.CIENCIA,EDUCACION,CULTURA
 
La Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración AmbientalLa Sostenibilidad Corporativa. Administración Ambiental
La Sostenibilidad Corporativa. Administración Ambiental
 
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptxSEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
SEXTO SEGUNDO PERIODO EMPRENDIMIENTO.pptx
 
origen y desarrollo del ensayo literario
origen y desarrollo del ensayo literarioorigen y desarrollo del ensayo literario
origen y desarrollo del ensayo literario
 
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docxTALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
TALLER DE DEMOCRACIA Y GOBIERNO ESCOLAR-COMPETENCIAS N°3.docx
 
Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024Interpretación de cortes geológicos 2024
Interpretación de cortes geológicos 2024
 
Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024Tema 17. Biología de los microorganismos 2024
Tema 17. Biología de los microorganismos 2024
 
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIASISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
SISTEMA RESPIRATORIO PARA NIÑOS PRIMARIA
 
Supuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docxSupuestos_prácticos_funciones.docx
Supuestos_prácticos_funciones.docx
 
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptxEL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
EL HABITO DEL AHORRO en tu idea emprendedora22-04-24.pptx
 

S1 clasificación de problemas algorítmicos-grupo6

  • 1. INTELIGENCIA ARTIFICIAL - CICLO 2012-I - GRUPO 6
  • 2. • La complejidad computacional estudia el coste de la resolución de un problema. • Los recursos mas estudiados son: el tiempo y espacio de memoria que necesitan los algoritmos para resolver los problemas dados. 2 de 7 INTELIGENCIA ARTIFICIAL - CICLO 2012-I - GRUPO 6
  • 3. • Los problemas de decisión son aquellos problemas que pueden dar una respuesta positiva o negativa. • Un problema de decisión también se puede formalizar como el problema de decidir si una cierta frase pertenece a un conjunto dado de frases, también llamado lenguaje formal. • En este tipo de problemas destacan los problemas P y NP. 3 de 7 INTELIGENCIA ARTIFICIAL - CICLO 2012-I - GRUPO 6
  • 4. • Los problemas de localización son aquellos en donde se trata de encontrar la mejor ubicación de una instalación dentro de un espacio geográfico. • Los problemas de optimización son aquellos que intentan dar respuesta a un tipo general de problemas donde se desea elegir el mejor entre un conjunto de opciones. 4 de 7 INTELIGENCIA ARTIFICIAL - CICLO 2012-I - GRUPO 6
  • 5. • Los problemas P son aquellos problemas de decisión que pueden ser resueltos por una maquina determinista en tiempo polinomio. • Los problemas NP son problemas de decisión que pueden ser resueltos en tiempo polinomio por una maquina no determinista. 5 de 7 INTELIGENCIA ARTIFICIAL - CICLO 2012-I - GRUPO 6
  • 6. • Problemas de suma de subconjuntos.- dado un conjunto S de enteros, ¿existe algún subconjunto cuya suma sea exactamente cero? • Problema de parada.- Este problema consiste en tomar un programa y sus datos y decidir si va a terminar o si se ejecutará indefinidamente. 6 de 7 INTELIGENCIA ARTIFICIAL - CICLO 2012-I - GRUPO 6
  • 7. • Problema de satisfactibilidad booleana (SAT).- donde interesa saber si una expresión booleana con variables y sin cuantificadores tiene asociada una asignación de valores para sus variables que hace que la expresión sea verdadera 7 de 7 INTELIGENCIA ARTIFICIAL - CICLO 2012-I - GRUPO 6