Un algoritmo numérico para problemas de satisfacción booleana sin álgebra

Descripción del Articulo

Presentación que se llevó a cabo durante el VIII Congreso Internacional de Computación y Telecomunicaciones COMTEL 2016 del 21 al 23 septiembre de 2016. COMTEL, es un certamen organizado por la Facultad de Ingeniería de Sistemas, Cómputo y Telecomunicaciones de la Universidad Inca Garcilaso de la Ve...

Descripción completa

Detalles Bibliográficos
Autor: Barrón Romero, Carlos
Formato: objeto de conferencia
Fecha de Publicación:2016
Institución:Universidad Inca Garcilaso de la Vega
Repositorio:UIGV-Institucional
Lenguaje:español
OAI Identifier:oai:repositorio.uigv.edu.pe:20.500.11818/609
Enlace del recurso:https://hdl.handle.net/20.500.11818/609
Nivel de acceso:acceso abierto
Materia:Lógica
SAT
CNF
Complejidad algorítmica
Problemas NP
Álgebra Booleana
id UIGV_cbfd749e41821b64a2517d20f3912857
oai_identifier_str oai:repositorio.uigv.edu.pe:20.500.11818/609
network_acronym_str UIGV
network_name_str UIGV-Institucional
repository_id_str 4817
spelling Barrón Romero, Carlos2017-06-15T03:15:19Z2017-06-15T03:15:27Z2017-06-15T03:15:19Z2017-06-15T03:15:27Z2016-09https://hdl.handle.net/20.500.11818/609Presentación que se llevó a cabo durante el VIII Congreso Internacional de Computación y Telecomunicaciones COMTEL 2016 del 21 al 23 septiembre de 2016. COMTEL, es un certamen organizado por la Facultad de Ingeniería de Sistemas, Cómputo y Telecomunicaciones de la Universidad Inca Garcilaso de la Vega, que congrega a profesionales, investigadores y estudiantes de diversos países con el fin de difundir e intercambiar conocimientos, mostrar experiencias académicas-científicas y soluciones para empresas en las áreas de Computación, Telecomunicaciones y disciplinas afines.Con un método novedoso de resolución para el clásico problema de decisión de Satisfacción Booleana (SAT) formulado con cláusulas CNF se describen algoritmos que permiten determinar cuando una formula pertenece al lenguaje SAT, o no pertenece, sin recurrir al álgebra. El método se basa en la clase especial de problemas SAT, que denominamos Simple SAT (SSAT). El resultado es un algoritmo numérico computable en la base binaria cuya complejidad es lineal con respecto al numero de cláusulas mas un proceso de datos sobre las soluciones parciales y que esta acotado por a lo mas 2n−1 iteraciones. Se presentan resultados teóricos de la conmutabilidad y de la complejidad de los algoritmos similares o mejores a los del estado del arte para resolver SAT.spaUniversidad Inca Garcilaso de la Vegainfo:eu-repo/semantics/openAccessUniversidad Inca Garcilaso de la VegaRepositorio Institucional - UIGVreponame:UIGV-Institucionalinstname:Universidad Inca Garcilaso de la Vegainstacron:UIGVLógicaSATCNFComplejidad algorítmicaProblemas NPÁlgebra BooleanaUn algoritmo numérico para problemas de satisfacción booleana sin álgebrainfo:eu-repo/semantics/conferenceObjectTEXTCOMTEL 2016 - Paper03.pdf.txtCOMTEL 2016 - Paper03.pdf.txtExtracted texttext/plain3442https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/138c97c3-ad73-44d1-a484-743e256e28f7/content9ee8270d5c247070f7dc74e3881cdc6bMD510ORIGINALCOMTEL 2016 - Paper03.pdfCOMTEL 2016 - Paper03.pdfapplication/pdf3427205https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/76be5175-ca7b-4e85-b406-19452315af6b/content33d7933ae12fa8b42d087a0accced95dMD51CC-LICENSElicense_urllicense_urltext/plain; charset=utf-849https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/c80c2182-5bc5-444c-80e6-2989a837ca5b/content924993ce0b3ba389f79f32a1b2735415MD52license_textlicense_texttext/html; charset=utf-80https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/18a62dfc-bf01-4548-89f3-f71fec625c39/contentd41d8cd98f00b204e9800998ecf8427eMD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-80https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/0e7bdafc-79c2-44a3-8d5c-3d2b812cc55d/contentd41d8cd98f00b204e9800998ecf8427eMD54THUMBNAILCOMTEL 2016 - Paper03.pdf.jpgCOMTEL 2016 - Paper03.pdf.jpgGenerated Thumbnailimage/jpeg26375https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/7b16905b-e19d-4985-ab99-83a364d7c569/content8ab5fc1dbcb803142b838560104258b7MD51120.500.11818/609oai:repositorio.uigv.edu.pe:20.500.11818/6092024-10-01 01:21:35.927open.accesshttps://repositorio.uigv.edu.peRepositorio de la Universidad Inca Garcilaso de la Vegarepositorio@uigv.edu.pe
dc.title.es_PE.fl_str_mv Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
title Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
spellingShingle Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
Barrón Romero, Carlos
Lógica
SAT
CNF
Complejidad algorítmica
Problemas NP
Álgebra Booleana
title_short Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
title_full Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
title_fullStr Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
title_full_unstemmed Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
title_sort Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
author Barrón Romero, Carlos
author_facet Barrón Romero, Carlos
author_role author
dc.contributor.author.fl_str_mv Barrón Romero, Carlos
dc.subject.es_PE.fl_str_mv Lógica
SAT
CNF
Complejidad algorítmica
Problemas NP
Álgebra Booleana
topic Lógica
SAT
CNF
Complejidad algorítmica
Problemas NP
Álgebra Booleana
description Presentación que se llevó a cabo durante el VIII Congreso Internacional de Computación y Telecomunicaciones COMTEL 2016 del 21 al 23 septiembre de 2016. COMTEL, es un certamen organizado por la Facultad de Ingeniería de Sistemas, Cómputo y Telecomunicaciones de la Universidad Inca Garcilaso de la Vega, que congrega a profesionales, investigadores y estudiantes de diversos países con el fin de difundir e intercambiar conocimientos, mostrar experiencias académicas-científicas y soluciones para empresas en las áreas de Computación, Telecomunicaciones y disciplinas afines.
publishDate 2016
dc.date.accessioned.none.fl_str_mv 2017-06-15T03:15:19Z
2017-06-15T03:15:27Z
dc.date.available.none.fl_str_mv 2017-06-15T03:15:19Z
2017-06-15T03:15:27Z
dc.date.issued.fl_str_mv 2016-09
dc.type.es_PE.fl_str_mv info:eu-repo/semantics/conferenceObject
format conferenceObject
dc.identifier.uri.none.fl_str_mv https://hdl.handle.net/20.500.11818/609
url https://hdl.handle.net/20.500.11818/609
dc.language.iso.es_PE.fl_str_mv spa
language spa
dc.rights.es_PE.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.es_PE.fl_str_mv Universidad Inca Garcilaso de la Vega
dc.source.es_PE.fl_str_mv Universidad Inca Garcilaso de la Vega
Repositorio Institucional - UIGV
dc.source.none.fl_str_mv reponame:UIGV-Institucional
instname:Universidad Inca Garcilaso de la Vega
instacron:UIGV
instname_str Universidad Inca Garcilaso de la Vega
instacron_str UIGV
institution UIGV
reponame_str UIGV-Institucional
collection UIGV-Institucional
bitstream.url.fl_str_mv https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/138c97c3-ad73-44d1-a484-743e256e28f7/content
https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/76be5175-ca7b-4e85-b406-19452315af6b/content
https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/c80c2182-5bc5-444c-80e6-2989a837ca5b/content
https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/18a62dfc-bf01-4548-89f3-f71fec625c39/content
https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/0e7bdafc-79c2-44a3-8d5c-3d2b812cc55d/content
https://repositorio.uigv.edu.pe/backend/api/core/bitstreams/7b16905b-e19d-4985-ab99-83a364d7c569/content
bitstream.checksum.fl_str_mv 9ee8270d5c247070f7dc74e3881cdc6b
33d7933ae12fa8b42d087a0accced95d
924993ce0b3ba389f79f32a1b2735415
d41d8cd98f00b204e9800998ecf8427e
d41d8cd98f00b204e9800998ecf8427e
8ab5fc1dbcb803142b838560104258b7
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio de la Universidad Inca Garcilaso de la Vega
repository.mail.fl_str_mv repositorio@uigv.edu.pe
_version_ 1835829116905979904
score 13.971837
Un algoritmo numérico para problemas de satisfacción booleana sin álgebra
Nota importante:
La información contenida en este registro es de entera responsabilidad de la institución que gestiona el repositorio institucional donde esta contenido este documento o set de datos. El CONCYTEC no se hace responsable por los contenidos (publicaciones y/o datos) accesibles a través del Repositorio Nacional Digital de Ciencia, Tecnología e Innovación de Acceso Abierto (ALICIA).

Ejemplares Similares