Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans

We search for nonuniform analogs of the complexity class N P ¿ coN P. Following mainly the work of Karp and Lipton on these classes, 1) We define two types of polynomial time reducibility, study some of their basic properties and separate them; 2) We show that the corresponding reduction classes of...

ver descrição completa

Detalhes bibliográficos
Autor: Gavaldà Mestre, Ricard|||0000-0003-4736-7179
Formato: informe técnico
Fecha de publicación:1987
País:España
Recursos:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:catalán
OAI Identifier:oai:upcommons.upc.edu:2117/189285
Acesso em linha:https://hdl.handle.net/2117/189285
Access Level:acceso abierto
Palavra-chave:Computational complexity
Tècnica Karp
Tècnica Lipton
Circuits booleans
Complexitat computacional
Àrees temàtiques de la UPC::Informàtica
id ES_dcca9059cf749f307c2e32d9da6fbf63
oai_identifier_str oai:upcommons.upc.edu:2117/189285
network_acronym_str ES
network_name_str España
repository_id_str
spelling Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleansGavaldà Mestre, Ricard|||0000-0003-4736-7179Computational complexityTècnica KarpTècnica LiptonCircuits booleansComplexitat computacionalÀrees temàtiques de la UPC::InformàticaWe search for nonuniform analogs of the complexity class N P ¿ coN P. Following mainly the work of Karp and Lipton on these classes, 1) We define two types of polynomial time reducibility, study some of their basic properties and separate them; 2) We show that the corresponding reduction classes of the sparse sets give two versions of the desired nonuniform class; 3) We propose a model of circuits for one of the classes obtained.19871987-11-0120202020-05-27reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/189285reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Cataláncatopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivs 3.0 Spainhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/1892852026-05-27T15:37:01Z
dc.title.none.fl_str_mv Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
title Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
spellingShingle Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
Gavaldà Mestre, Ricard|||0000-0003-4736-7179
Computational complexity
Tècnica Karp
Tècnica Lipton
Circuits booleans
Complexitat computacional
Àrees temàtiques de la UPC::Informàtica
title_short Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
title_full Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
title_fullStr Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
title_full_unstemmed Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
title_sort Tractabilitat de NP i altres classes de complexitat per famílies de circuits booleans
dc.creator.none.fl_str_mv Gavaldà Mestre, Ricard|||0000-0003-4736-7179
author Gavaldà Mestre, Ricard|||0000-0003-4736-7179
author_facet Gavaldà Mestre, Ricard|||0000-0003-4736-7179
author_role author
dc.subject.none.fl_str_mv Computational complexity
Tècnica Karp
Tècnica Lipton
Circuits booleans
Complexitat computacional
Àrees temàtiques de la UPC::Informàtica
topic Computational complexity
Tècnica Karp
Tècnica Lipton
Circuits booleans
Complexitat computacional
Àrees temàtiques de la UPC::Informàtica
description We search for nonuniform analogs of the complexity class N P ¿ coN P. Following mainly the work of Karp and Lipton on these classes, 1) We define two types of polynomial time reducibility, study some of their basic properties and separate them; 2) We show that the corresponding reduction classes of the sparse sets give two versions of the desired nonuniform class; 3) We propose a model of circuits for one of the classes obtained.
publishDate 1987
dc.date.none.fl_str_mv 1987
1987-11-01
2020
2020-05-27
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/189285
url https://hdl.handle.net/2117/189285
dc.language.none.fl_str_mv Catalán
cat
language_invalid_str_mv Catalán
language cat
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869421801105260544
score 15,301629

Registos relacionados