Mostra el registre d'ítem simple
Learning ordered binary decision diagrams
dc.contributor.author | Gavaldà Mestre, Ricard |
dc.contributor.author | Guijarro Guillem, David |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-01-29T11:06:52Z |
dc.date.available | 2016-01-29T11:06:52Z |
dc.date.issued | 1995-03 |
dc.identifier.citation | Gavaldà, R., Guijarro, D. "Learning ordered binary decision diagrams". 1995. |
dc.identifier.uri | http://hdl.handle.net/2117/82261 |
dc.description.abstract | We study the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that finds the minimum obdd for the target respecting a given ordering. We also prove that both types of queries and the restriction to a given ordering are necessary if we want minimality in the output, unless P=NP. If learning has to occur with respect to the optimal variable ordering, polynomial-time learnability implies the approximability of two NP-hard optimization problems: the problem of finding the optimal variable ordering for a given obdd and the Optimal Linear Arrangement problem on graphs. |
dc.format.extent | 16 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.other | Obdds |
dc.subject.other | Ordered binary decision diagrams |
dc.title | Learning ordered binary decision diagrams |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1874714 |
dc.description.version | Postprint (published version) |
local.citation.author | Gavaldà, R.; Guijarro, D. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]