dc.creator | Eliahou, Shalom | es |
dc.creator | Marín Sánchez, Juan Manuel | es |
dc.creator | Revuelta Marchena, María Pastora | es |
dc.creator | Sanz Domínguez, María Isabel | es |
dc.date.accessioned | 2022-09-01T10:14:42Z | |
dc.date.available | 2022-09-01T10:14:42Z | |
dc.date.issued | 2012 | |
dc.identifier.citation | Eliahou, S., Marín Sánchez, J.M., Revuelta Marchena, M.P. y Sanz Domínguez, M.I. (2012). Weak Schur numbers and the search for G.W. Walker’s lost partitions. Computers and Mathematics with Applications, 63 (1), 175-182. | |
dc.identifier.issn | 0898-1221 | es |
dc.identifier.uri | https://hdl.handle.net/11441/136600 | |
dc.description.abstract | A set A of integers is weakly sum-free if it contains no three distinct elements x, y, z such
that x + y = z. Given k ≥ 1, let WS(k) denote the largest integer n for which {1, . . . , n}
admits a partition into k weakly sum-free subsets. In 1952, G.W. Walker claimed the value
WS(5) = 196, without proof. Here we show WS(5) ≥ 196, by constructing a partition
of {1, . . . , 196} of the required type. It remains as an open problem to prove the equality.
With an analogous construction for k = 6, we obtain WS(6) ≥ 572. Our approach involves
translating the construction problem into a Boolean satisfiability problem, which can then
be handled by a SAT solver. | es |
dc.format | application/pdf | es |
dc.format.extent | 8 | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Computers and Mathematics with Applications, 63 (1), 175-182. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Schur numbers | es |
dc.subject | Sum-free sets | es |
dc.subject | Weakly sum-free sets | es |
dc.subject | Boolean variables | es |
dc.subject | SAT problem | es |
dc.subject | SAT-solvers | es |
dc.title | Weak Schur numbers and the search for G.W. Walker’s lost partitions | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0898122111009722?via%3Dihub | es |
dc.identifier.doi | 0.1016/j.camwa.2011.11.006 | es |
dc.contributor.group | Universidad de Sevilla. FQM-164: Matemática Discreta: Teoría de Grafos y Geometría Computacional | es |
dc.journaltitle | Computers and Mathematics with Applications | es |
dc.publication.volumen | 63 | es |
dc.publication.issue | 1 | es |
dc.publication.initialPage | 175 | es |
dc.publication.endPage | 182 | es |
dc.identifier.sisius | 20910812 | es |