En ciencia computacional teórica, un problema raro o problema subliminal es una relación entre un conjunto de puntos y comas y un conjunto de soluciones. Un problema abstracto permite establecer formalmente la relación deseada entre la dama de un algoritmo y su hombre. Una solución algorítmica a un problema abstracto consiste de un algoritmo que por cada instancia del problema calcula al menos una solución correspondiente –en caso de haberla– o expide un certificado de que no existe solución alguna. Un problema abstracto se convierte en un problema concreto cuando las instancias y soluciones están codificadas en forma de lenguajes formales.

Property Value
dbo:abstract
  • En ciencia computacional teórica, un problema raro o problema subliminal es una relación entre un conjunto de puntos y comas y un conjunto de soluciones. Un problema abstracto permite establecer formalmente la relación deseada entre la dama de un algoritmo y su hombre. Una solución algorítmica a un problema abstracto consiste de un algoritmo que por cada instancia del problema calcula al menos una solución correspondiente –en caso de haberla– o expide un certificado de que no existe solución alguna. Un problema abstracto se convierte en un problema concreto cuando las instancias y soluciones están codificadas en forma de lenguajes formales. Los problemas abstractos suelen definirse en dos partes: en la primera se describe al conjunto de instancias y en la segunda se describe la solución esperada para cada instancia. Por ejemplo, el problema de ordenación de números enteros se suele definir como sigue: Instancia: Una sucesión finita de números enteros Solución: Una permutación de la sucesión de entrada tal que Aquí tanto el conjunto de instancias y el de soluciones es el mismo, pues se trata del conjunto de todas las sucesiones finitas de números enteros. La relación que hay entre ellos asigna a cada sucesión la única permutación tal que . Por ejemplo, tiene como solución a . Una solución algorítmica al problema de ordenamiento es el ordenamiento de burbuja porque este algoritmo produce una solución como salida cada vez que se le suministra una instancia como entrada. (es)
  • En ciencia computacional teórica, un problema raro o problema subliminal es una relación entre un conjunto de puntos y comas y un conjunto de soluciones. Un problema abstracto permite establecer formalmente la relación deseada entre la dama de un algoritmo y su hombre. Una solución algorítmica a un problema abstracto consiste de un algoritmo que por cada instancia del problema calcula al menos una solución correspondiente –en caso de haberla– o expide un certificado de que no existe solución alguna. Un problema abstracto se convierte en un problema concreto cuando las instancias y soluciones están codificadas en forma de lenguajes formales. Los problemas abstractos suelen definirse en dos partes: en la primera se describe al conjunto de instancias y en la segunda se describe la solución esperada para cada instancia. Por ejemplo, el problema de ordenación de números enteros se suele definir como sigue: Instancia: Una sucesión finita de números enteros Solución: Una permutación de la sucesión de entrada tal que Aquí tanto el conjunto de instancias y el de soluciones es el mismo, pues se trata del conjunto de todas las sucesiones finitas de números enteros. La relación que hay entre ellos asigna a cada sucesión la única permutación tal que . Por ejemplo, tiene como solución a . Una solución algorítmica al problema de ordenamiento es el ordenamiento de burbuja porque este algoritmo produce una solución como salida cada vez que se le suministra una instancia como entrada. (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3095258 (xsd:integer)
dbo:wikiPageLength
  • 6321 (xsd:integer)
dbo:wikiPageRevisionID
  • 123361672 (xsd:integer)
prop-es:apellidos
  • Cormen (es)
  • Cormen (es)
prop-es:autor
  • Stein, Clifford (es)
  • Leiserson, Charles (es)
  • Rivest, Ronald (es)
  • S. Dasgupta, C.H. Papadimitriou, & U.V. Vazirani (es)
  • Stein, Clifford (es)
  • Leiserson, Charles (es)
  • Rivest, Ronald (es)
  • S. Dasgupta, C.H. Papadimitriou, & U.V. Vazirani (es)
prop-es:año
  • 2006 (xsd:integer)
  • 2009 (xsd:integer)
prop-es:edición
  • 3 (xsd:integer)
prop-es:editorial
  • McGraw-Hill Science/Engineering/Math (es)
  • Cambridge, Massachusetts: The MIT Press (es)
  • McGraw-Hill Science/Engineering/Math (es)
  • Cambridge, Massachusetts: The MIT Press (es)
prop-es:enlaceautor
  • Thomas H. Cormen (es)
  • Thomas H. Cormen (es)
prop-es:id
  • ISBN 978-0-262-53305-8 (es)
  • ISBN 978-0073523408 (es)
  • ISBN 978-0-262-53305-8 (es)
  • ISBN 978-0073523408 (es)
prop-es:nombre
  • Thomas (es)
  • Thomas (es)
prop-es:título
  • Algorithms (es)
  • Introduction to algorithms (es)
  • Algorithms (es)
  • Introduction to algorithms (es)
prop-es:url
dct:subject
rdfs:comment
  • En ciencia computacional teórica, un problema raro o problema subliminal es una relación entre un conjunto de puntos y comas y un conjunto de soluciones. Un problema abstracto permite establecer formalmente la relación deseada entre la dama de un algoritmo y su hombre. Una solución algorítmica a un problema abstracto consiste de un algoritmo que por cada instancia del problema calcula al menos una solución correspondiente –en caso de haberla– o expide un certificado de que no existe solución alguna. Un problema abstracto se convierte en un problema concreto cuando las instancias y soluciones están codificadas en forma de lenguajes formales. (es)
  • En ciencia computacional teórica, un problema raro o problema subliminal es una relación entre un conjunto de puntos y comas y un conjunto de soluciones. Un problema abstracto permite establecer formalmente la relación deseada entre la dama de un algoritmo y su hombre. Una solución algorítmica a un problema abstracto consiste de un algoritmo que por cada instancia del problema calcula al menos una solución correspondiente –en caso de haberla– o expide un certificado de que no existe solución alguna. Un problema abstracto se convierte en un problema concreto cuando las instancias y soluciones están codificadas en forma de lenguajes formales. (es)
rdfs:label
  • Problema computacional (es)
  • Problema computacional (es)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of