Turing's algorithmic lens: From computability to complexity theory

Distribuido bajo una licencia de uso y distribución “Creative Commons Reconocimiento-No Comercial 3.0 España”.

Detalles Bibliográficos
Autores: Díaz, Josep, Torras, Carme
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2013
País:España
Institución:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/96467
Acceso en línea:http://hdl.handle.net/10261/96467
Access Level:acceso abierto
Palabra clave:Interactive proofs and holographic proofs
the permanent problem
P and NP problems
Complejidad computacional
Problemas P y NP
Computational complexity
Demostraciones interactivas y holográficas
id ES_f7d7dfe30de98e1d4d903b4e13fc08b0
oai_identifier_str oai:digital.csic.es:10261/96467
network_acronym_str ES
network_name_str España
repository_id_str
spelling Turing's algorithmic lens: From computability to complexity theoryLa lente algorítmica de Turing: de la computabilidad a la teoría de la complejidadDíaz, JosepTorras, CarmeInteractive proofs and holographic proofsthe permanent problemP and NP problemsComplejidad computacionalProblemas P y NPComputational complexityDemostraciones interactivas y holográficasDistribuido bajo una licencia de uso y distribución “Creative Commons Reconocimiento-No Comercial 3.0 España”.[EN]: The decidability question, i.e., whether any mathematical statement could be computationally proven true or false, was raised by Hilbert and remained open until Turing answered it in the negative. Then, most efforts in theoretical computer science turned to complexity theory and the need to classify decidable problems according to their difficulty. Among others, the classes P (problems solvable in polynomial time) and NP (problems solvable in non-deterministic polynomial time) were defined, and one of the most challenging scientific quests of our days arose: whether P = NP. This still open question has implications not only in computer science, mathematics and physics, but also in biology, sociology and economics, and it can be seen as a direct consequence of Turing's way of looking through the algorithmic lens at different disciplines to discover how pervasive computation is. © 2013 CSIC.[ES]: La cuestión de la decidibilidad, es decir, si es posible demostrar computacionalmente que una expresión matemática es verdadera o falsa, fue planteada por Hilbert y permaneció abierta hasta que Turing la respondió de forma negativa. Establecida la no-decidibilidad de las matemáticas, los esfuerzos en informática teórica se centraron en el estudio de la complejidad computacional de los problemas decidibles. En este artículo presentamos una breve introducción a las clases P (problemas resolubles en tiempo polinómico) y NP (problemas resolubles de manera no determinista en tiempo polinómico), al tiempo que exponemos la dificultad de establecer si P = NP y las consecuencias que se derivarían de que ambas clases de problemas fueran iguales. Esta cuestión tiene implicaciones no solo en los campos de la informática, las matemáticas y la física, sino también para la biología, la sociología y la economía. La idea seminal del estudio de la complejidad computacional es consecuencia directa del modo en que Turing abordaba problemas en diferentes ámbitos mediante lo que hoy se denomina la lupa algorítmica. El artículo finaliza con una breve exposición de algunos de los temas de investigación más actuales: transición de fase en problemas NP, y demostraciones holográficas, donde se trata de convencer a un adversario de que una demostración es correcta sin revelar ninguna idea de la demostración.Peer ReviewedConsejo Superior de Investigaciones Científicas (España)2014201420132014info:eu-repo/semantics/articlehttp://purl.org/coar/resource_type/c_6501Publisher's versioninfo:eu-repo/semantics/publishedVersionhttp://hdl.handle.net/10261/96467reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)Ingléshttp://dx.doi.org/10.3989/arbor.2013.764n6003info:eu-repo/semantics/openAccessoai:digital.csic.es:10261/964672026-05-22T06:33:51Z
dc.title.none.fl_str_mv Turing's algorithmic lens: From computability to complexity theory
La lente algorítmica de Turing: de la computabilidad a la teoría de la complejidad
title Turing's algorithmic lens: From computability to complexity theory
spellingShingle Turing's algorithmic lens: From computability to complexity theory
Díaz, Josep
Interactive proofs and holographic proofs
the permanent problem
P and NP problems
Complejidad computacional
Problemas P y NP
Computational complexity
Demostraciones interactivas y holográficas
title_short Turing's algorithmic lens: From computability to complexity theory
title_full Turing's algorithmic lens: From computability to complexity theory
title_fullStr Turing's algorithmic lens: From computability to complexity theory
title_full_unstemmed Turing's algorithmic lens: From computability to complexity theory
title_sort Turing's algorithmic lens: From computability to complexity theory
dc.creator.none.fl_str_mv Díaz, Josep
Torras, Carme
author Díaz, Josep
author_facet Díaz, Josep
Torras, Carme
author_role author
author2 Torras, Carme
author2_role author
dc.subject.none.fl_str_mv Interactive proofs and holographic proofs
the permanent problem
P and NP problems
Complejidad computacional
Problemas P y NP
Computational complexity
Demostraciones interactivas y holográficas
topic Interactive proofs and holographic proofs
the permanent problem
P and NP problems
Complejidad computacional
Problemas P y NP
Computational complexity
Demostraciones interactivas y holográficas
description Distribuido bajo una licencia de uso y distribución “Creative Commons Reconocimiento-No Comercial 3.0 España”.
publishDate 2013
dc.date.none.fl_str_mv 2013
2014
2014
2014
dc.type.none.fl_str_mv info:eu-repo/semantics/article
http://purl.org/coar/resource_type/c_6501
Publisher's version
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10261/96467
url http://hdl.handle.net/10261/96467
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv http://dx.doi.org/10.3989/arbor.2013.764n6003
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Consejo Superior de Investigaciones Científicas (España)
publisher.none.fl_str_mv Consejo Superior de Investigaciones Científicas (España)
dc.source.none.fl_str_mv reponame:DIGITAL.CSIC. Repositorio Institucional del CSIC
instname:Consejo Superior de Investigaciones Científicas (CSIC)
instname_str Consejo Superior de Investigaciones Científicas (CSIC)
reponame_str DIGITAL.CSIC. Repositorio Institucional del CSIC
collection DIGITAL.CSIC. Repositorio Institucional del CSIC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869424920597889024
score 15,812455

Similares en LA Referencia