Mostra el registre d'ítem simple
Automatic evaluation of reductions between NP-complete problems
dc.contributor.author | Creus López, Carles |
dc.contributor.author | Fernández Durán, Pau |
dc.contributor.author | Godoy Balil, Guillem |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2014-10-05T06:34:30Z |
dc.date.created | 2014 |
dc.date.issued | 2014 |
dc.identifier.citation | Creus, C.; Fernandez, P.; Godoy, G. Automatic evaluation of reductions between NP-complete problems. A: International Conference on Theory and Applications of Satisfiability Testing. "Theory and Applications of Satisfiability Testing : SAT 2014 : 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings". Viena: Springer, 2014, p. 415-421. |
dc.identifier.isbn | 978-3-319-09283-6 |
dc.identifier.uri | http://hdl.handle.net/2117/24254 |
dc.description.abstract | We implement an online judge for evaluating correctness of reductions between NP-complete problems. The site has a list of exercises asking for a reduction between two given problems. Internally, the reduction is evaluated by means of a set of tests. Each test consists of an input of the first problem and gives rise to an input of the second problem through the reduction. The correctness of the reduction, that is, the preservation of the answer between both problems, is checked by applying additional reductions to SAT and using a state-of-the-art SAT solver. In order to represent the reductions, we have defined a new programming language called REDNP. On one side, REDNP has specific features for describing typical concepts that frequently appear in reductions, like graphs and clauses. On the other side, we impose severe limitations to REDNP in order to avoid malicious submissions, like the ones with an embedded SAT solver. |
dc.format.extent | 7 p. |
dc.language.iso | eng |
dc.publisher | Springer |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació |
dc.subject.lcsh | REDNP (Computer program language) |
dc.subject.other | NP-completeness |
dc.subject.other | Reductions |
dc.subject.other | SAT application |
dc.subject.other | Self- learning |
dc.title | Automatic evaluation of reductions between NP-complete problems |
dc.type | Conference report |
dc.subject.lemac | REDNP (Llenguatge de programació) |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.identifier.doi | 10.1007/978-3-319-09284-3_30 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F978-3-319-09284-3_30 |
dc.rights.access | Restricted access - publisher's policy |
local.identifier.drac | 15206484 |
dc.description.version | Postprint (published version) |
dc.date.lift | 10000-01-01 |
local.citation.author | Creus, C.; Fernandez, P.; Godoy, G. |
local.citation.contributor | International Conference on Theory and Applications of Satisfiability Testing |
local.citation.pubplace | Viena |
local.citation.publicationName | Theory and Applications of Satisfiability Testing : SAT 2014 : 17th International Conference, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings |
local.citation.startingPage | 415 |
local.citation.endingPage | 421 |